skysight-inc/HackerNews huggingface dataset:
Talking about minutiae of capitalism here is sort of detracting from the core issue (that also underlies the problems of capitalism).

The core problem is: humans can't coordinate at scale. Working together towards a shared goal comes naturally to us when we're in small, tightly-knit groups. The larger the group, the harder it gets. Once the group reaches ~hundred members[0], coordination generally collapses, and the group succumbs to the usual breed of prisonner-dilemma's-like problems. Or, it develops a governance structure.

If you look at history of civilization through the lens of coordination, you'll notice that all the governance structures, all the economies, up to and including democracy and the free market, are essentially a mechanism of coordinating larger and larger amounts of people. A government cuts trough prisonner-dilemma's-like problems. Its hierarchical nature lets direct coordination costs scale as O(n log n) instead of O(n^2) - but that's still not efficient enough for smaller and more localized problems. There, markets come to the rescue: they let people coordinate on smaller and more local issues, often without even explicitly noticing them - all gets handled by the feedback loops around prices.

The core observation here being: the market works at efficiently coordinating groups of people with diverse interests and smaller, more localized problems. It absolutely sucks at responding to a problem requiring to coordinate large groups of people. That's where you want the top-down solution. It's reasonable to look up to the government to solve a coordination problem below its level[1], that's what governments are for.

--

(And you do need both a government and a market to limit each other's power. For instance, you mention that "businesses can be so easily destroyed". That only holds true in a spherical-cow free market that never existed. One of the features of capitalism is that profit compounds; a successful company has more resources to protect itself from its competition, ensuring further success. A successful company can't be easily destroyed.

The end-goal of competing businesses is monopoly, but society needs the competition, not the victory - so you need the government to ensure the victors get struck down and competition continues.)

--

[0] - Dunbar number is ~150, which may or may not be a coincident. https://en.wikipedia.org/wiki/Dunbar%27s_number

[1] - Governments have their own coordination problems at the international level; geopolitics is essentially a completely unregulated free market.
>I just wonder if one day we'll be using systems with 4tb of ram that would be snappier if upgraded to 8tb or 16tb.

Can't find but feel there's a quote like "Programs will grow to fill memory"
Although you are making great points I think you are double counting.

Vein biometrics aren’t any more “two” things than most other biometrics.
One question about sealed:

Does anyone know how it will play with type parameters in the interface? I know in Scala, you can simulate GADTs with that.

sealed interface Expr<A> {}
record IntExpr(Integer i) implements Expr<Integer> { }
record StringExpr(String i) implements Expr<String> { }

Will that be legal? And will switch be able to do its magic and carry that type variable through?
As much as I love making this my habit, the biggest obstacle for me is syncing. I want to jot something down in so many different places: not just in front of a PC, but also in a train, car, shower room, restaurant, grocery, and bed. I use a mixed environment (Unix, Mac and Windows). Some of the machines are separated by firewalls. So I tend to scatter a journal-like file in many places. It's hard to combine them all in one place. And no, I don't want to give my journal to some third-party cloud solution. I wonder if anyone handles cases like this.
Not sure if I'm misunderstanding but PCL is another page description language like PS, some printers can use both depending on the driver.

Most of our Xerox printers spoke Postscript natively, these days more printers can use PDF. We generally used a tool to convert PCL to PS to suit our workflow if that was the only option for the file, because being able to manipulate the file (reordering and applying barcodes or minor text modifications) was important. Likewise for AFP and other formats. PCL jobs were rare so I never worked on them personally.
Anecdotally, I've worked with a lot of companies who are already on the Microsoft stack and either get heavy discounts for Power BI or already have it included in their Enterprise licenses. (There's also another class of companies who refuse to look at any competing product if Microsoft have an offering...)

My recommendation to the technical decision makers in those companies who are either confined to Power BI or just feel a lot safer working in that environment (instead of investing heavily in development time to recreate the same thing) is to embrace the Power BI service out of the box as much as possible, and then if they really need to, create custom D3 Visuals for their reports (yes, this is possible with Power BI, I was quite delighted when I discovered this): https://docs.microsoft.com/en-us/power-bi/developer/visuals/....
Ouch, the /usr/bin/tar team beat me. I only added 63 options to /bin/ps from Slackware 3.1 (1996) to Ubuntu 12 (2015). They added 81 options. If I'd known about the contest, I could have added enough options to win.

The true winner is probably gcc though, which was unfairly excluded from competition. Over 1000 options is excellent work.
Thank you! I did a while back, will see if HN lets me do it again. Feel free to AMA!
wow.... that happened fast.
Well, SETI@home would have predated folding@home, so people stuck with what they knew.
I don't think it's fair to say "A is faster than B" like in the above comments based on the order they appear in a list that mixes GPU clusters and laptops results. The author of the benchmark does nothing wrong deontologically, but the results table seems ordered by time and some people jump to quick conclusion or use it as a way to rank performance when it's not appropriate.
I've worked on software for some time and have seen a wide range of interesting failure modes. All of the interesting failures (some of which have had large monetary or visible outage impact) involved systems that broke in ways that aren't well-addressed by proof systems. Instead, they've been about things like statistical binning of parts, rare errors that escaped through middling checksums, and complex distributed systems. In most of these cases, there is some physical component, such as corrupted packets which pass CRC checksum, or a chip that occasionally miscomputes the hash of a string. Not sure how proof systems handle this, but in practice, those have been some of the most impactful errors, and they are typically dealt with using heavy but not comprehensive software testing.
You usually can’t choose who holds your 401k money, but most often get several to dozens of choices for investments (like most things in life, of varying quality).
There's a pretty good vim mode for vscode.
>Isn't it evolution and Darwinian selection?

Yeah I find the question Hoare poses a little bit hilarious because it is so stereotypically academic and 'mathy'.

Software got reliable the same way not only biological systems but also markets produce reliable solutions without experts needing to write formal specifications down. By decentrally and through many iterations producing incremental improvements with price signals and adoption as a measure for success, and faulty software being replaced by better competition.
How did you scan the documents to PDF? I use a Canon P-208 that has served me well for many many years (long may it!) and the OCR on that works well.

Does the scanning system you use not do OCR?

I use a Mac and Spotlight does a good job of indexing the files. I think alternatives for other OSes might be something like Apache Solr?
I doubt it, they're actually recruiting people right now to help with work on COVID-19 proteins.
Clearview AI Security Vulnerabilities Identified
Google I/O Cancelled Due to Coronavirus
That's probably what they did for v1.0 after they saw it is not that easy to zoom such that the whole paragraph always fits into the visible area.
Ugh, false. This document goes into quite some detail explaining the situation and all the many options you have to not paying Oracle:
https://docs.google.com/document/d/1nFGazvrCvHMZJgFstlbzoHjp...
You misinterpret my comment as being against databases, when in fact I'm simply against the notion of utilizing a purpose-built OLAP database (Clickhouse) merely as the storage layer for yet another analytical platform (Pandas). In this hypothetical scenario, before the data ever makes it into Clickhouse, there's a very high likelihood it would already live in an OLTP database such as Postgres or perhaps parquet files living on S3 designed to be read by Athena or Redshift Spectrum etc.
Problem is you risk killing more people with the quarantine than due to the virus if it is too draconian. You need some flexibility to let people get food.
TLDR; they took an impulse response in the building for use in a convolution reverb.

https://en.wikipedia.org/wiki/Convolution_reverb
I've been doing mostly Java work in my career and I'm using more JS these days on the side. I'm envious of the rest, spread, and deconstruction functionality in ES6. Really, really, envious.
>> it's still believed to be easier to make them on Earth than in space

I don't mean to be glib, but space is very large and time before our planet was formed is very long.

I assume that if it was easy here in those first few hundred million years, it had already been even easier in many elsewhere places. Any one, or multiples of which could have seeded us with as yet locally unavailable precursors and possibly even life.
FAQ thread from OP: https://twitter.com/brxxnh1/status/1234941621696892928?s=20

Open buckets identified here: https://twitter.com/hackermaderas/status/1234641711420276744...
I use Sway but what I do is use Google Hangouts in Chromium (Xwayland) instead of Firefox (Wayland) when I want to screen share. I heard Zoom doesn't work yet though.
I remember learning about Agile and Scrum when I was in college. The material I read back then gave me the feeling that they were tools to extract a maximum amount of labor out of your workforce, and that I would dislike working in an environment where this was practiced. In retrospect, I may have been mistaken about the intent of Agile. Working under a Scrum regime certainly hasn't been nearly as stressful as I had expected it to be.

Still, I have grown weary of Agile. It seems to have grown into religious dogma. Agile "best practices" are continuously changing, and I can't shake the feeling the changes are there to justify the existence of the army of coaches and certificate factories. An industry has formed around Agile, and that industry has been successful in making anything that doesn't fit into some brand of Agile absolutely taboo.

Has anybody else recently tried discussing the merits of a "waterfall" approach with their colleagues, even if only for the sake of argument? Last time I did, it felt as if I were blaspheming.
Go also has https://golang.org/doc/faq#nil_error, so interface != nil doesn't ensure it's safe to call any of its methods.
Rust does in fact have a ? operator [0], but it works slightly differently than Kotlin's in that it returns early if a None/Result<Err> is encountered instead of just resolving to that None/Result<Err>. If that isn't what you want, then Option::map() is a fine substitute.

[0]: https://doc.rust-lang.org/edition-guide/rust-2018/error-hand...
I actually think that the FOSS movement and licensing is really progressive in this space.
This thing comes with NO Warranty etc is really great because you own the risk of the systems you build. If only that got surfaced more to the users so they realized that a T&C page isn't really protection for anything.

Rather than force devs to use formal methods, I'd really like it if software got to the point where regulators and insurers demand that we treat personal information like radioactive waste and try and handle the least amount possible.
I don't think setting up for long term success is incompatible with an IPO, but the way the IPO market is structured could be making it harder.

I'd also question whether or not "a significant payday" is a necessary goal to consider what you've done a success.
> At the time it wasn’t labeled on google maps

That's exactly what OpenStreetMap is good for, at least where I am.
Too true! That's probably why all of the agencies near me wanted .doc files so they could scrape them and remove my address to insert themselves as middlemen with the aim of holding both employer and prospective employee hostage to their bounties.
Glad to hear that; I thought I remembered reading something like that back when the license change was first announced, but I wasn't sure if something else had changed in the meantime.
Just show up to liturgy early and practice with the choir! They'll be happy you're there, and you don't have to sing during service if you aren't comfortable.
Maybe Justin Kan should have focused less on his tweets and more on his company.
464? I run mine at just 450 and I was so proud of it. Now, this 464 -> 450 explains (I hope so) why I lost so many online Quake 3 battles ;]
I always told people to do mersenne prime search instead of s@h.

https://www.mersenne.org/
This is why I never did it. I remember thinking it was really cool back when I was in high school, but could never justify the electricity use.
May be his tweets were a reflection of his inner journey and struggle with where the company was headed? Let's be kind. This is not easy.
Since these are greenhouses they have to be clear to let the light in during the day, I assume.

Anything that's going to reflect light to prevent it from leaving at night will also block the sun from hitting the leaves during the day, unless it's a complicated mechanical system that can be folded up during the daytime.

I'm guessing such a reliable mechnical system together with maintenance is much more expensive than the light leakage.
Simplenote, text files on Syncthing ...

Honestly just email yourself with an autotag... If your email is foo@bar.com, try foo+journal@bar.com. It should still land in your inbox, but sorted under that folder.

You can even text from your phone to email addresses nowadays. I do this all the time to collect notes, and email clients are robust, emails have metadata like dates, and everything is easily searchable, etc.
Let’s wait for the full autopsy but perhaps a better strategy would have been supplying tools and software to lawfirms, aggregating data and knowhow and then pivoting to an “automated” law firm as a service.

But hindsight is always 20/20
Congrats Matrix, excellent choice by Mozilla.
8% of Iran's parliament has the coronavirus
Diseases take time to spread.
Unless you're particularly unlucky about being where it starts, it's not like an earthquake where you have no warning.
Honestly the biggest benefit I can see with knowing some math beyond basic arithmetic for some types of programming is understanding code complexity and big-O notation.

If you're doing 3D graphics projections you're going to want linear algebra. If you're doing financial forecasts you'll probably want to know calculus. If you're modeling throughput of large menssage-passing systems with multiple cooperating processes you need to know ratios and proportions. If you're the one maintaining the query planner for a database or maintaining a large, high-performance data store you're going to want to understand relational algebra.

For a CRUD application or some light server automation understanding data flows, boolean logic, and some really light set theory helps but is not necessary to get started. There's an awful lot of code out there that is not actuarial, simulation, or engineering code.

People understand things numerically, sure, but also spatially, linguistically, mechanically, or logically. Mathematicians and physicists can give you more precise descriptions of many things that people don't do much math about in their daily lives. Just like people don't need to be linguists to communicate, people don't need to do a lot of heavy math just because the underlying tools are based in math and mathematical logic.

Math can definitely help one understand the system better and excel at optimizing code and solving certain programming issues. And as I said, a lot of the problem domains people write code for are themselves very heavy with math. There's a reason CS grew largely out of mathematics and physics departments at universities, but this study was about understanding the concepts of programming in a high-level language.
Kramer, is that u?
I think US gov has done quite well by cut air traffic with China after CCP announced that there is a plague going on around Jan 2x. But the problem is the plague has gone on at least 2 months in China until that time, so even North Korean which closed its border immediately after CCP announcement now has an outbreak. Before CCP made the announcement they suppressed info as much as possible and did nothing to control the spread. Until around the Jan 2x when it can not hide it anymore. Even after this, CCP still made WHO to lower the alert level of the world. Today's situation is the sole result of CCP's wrong doings and they should do a full accounting of it in the world court.
Fully agreed; every time I happen to watch a movie recommended by a friend or so, I come up with a score and then check the site's predicted score, and it's always within 5%, usually less!

Plus it has recommended some obscure gems, like Branded to Kill.
Facebook is shifting its Libra cryptocurrency plans after regulatory pressure
Within the past year is more nuanced. Clang was building working kernels since clang-4. X86 developers decided to require asm goto around Linux 4.20, which regressed clang builds for one architecture, until clang-9 implemented it. You could still build LTS kernels without asm goto.
They had at least a decade to get revenue and I'm sure they were paid by the studios and the theatres. I don't know the finances but it's well within the realm of possibility.
Audie Award Winners
2020 is one messy year
I know that some people are only as efficient as they're forced to be. I hope there are efforts to take what is needed, and make it more efficient. There are efforts like Commander X16 to make a new 8 bit computer, and others where people are rewriting things in Rust..

BTW, I have a first gen iPad sitting around that worked very the first two years or so of its existence, and it barely functions today. I know part of that is Apple "protecting" older batteries by slowing down older stuff so we go out and buy new things, but I would like to believe that we're capable or creating an OS for that hardware today that would run better than it did originally, rather than barely function at all.
The Duron had a set of circuit traces exposed on the ceramic chip carrier that were cut by laser at the factory to set the maximum allowed clock multiplier (and thus its final speed). You could reconnect all the cut traces with pencil lines and use a motherboard that let you set the multiplier directly to overclock freely.
Quercetti is great. We got a lot of mileage with Tubation.
https://www.quercettistore.com/en/toys/buildings/4175-tubati...
The militant wing of CAMRA is the Society for the Preservation of Beers from the Wood
well, this is a sad day.
This is a problem that I'm facing right now, and the solution looks simple and easy to use.

I wonder if anyone has experience to make a comparison with more complex BPMN tools like Camunda and Zeebe? Or with Salesforce plugins like Process Builder?
These came up when I looked at more established solutions for the "business process automation" solutions.

Can Flowdash handle fan-out/parallel stages for example?
The reasoning sounds like a very dotcom days reason as well. "We're going to make money on this product because e-commerce and literally any other potential revenue stream possible on the Internet! Do we have a concrete business plan? We don't need one!"
I just implemented a GNU C extension in Clang today! `asm inline`
Foil isn't as reflective as one would guess. Mylar or even matte white painted surface are better.

It really surprises me, too. I guess the sheer size of these operations make it difficult or impractical. The cost must be greater than that of the wasted light. Too bad, because that is a lot of wasted light.
Measures like this make me think that a lot of modern privacy advocacy is misguided. Each of us is unique in a huge variety of ways. We have unique fingerprints, unique iris patterns, unique genomes, unique gaits, unique writing styles, unique speech patterns, unique hair, unique teeth, unique sweat composition, and even unique coding styles that survive compilation and optimization [1]. What are you going to do --- use a combination of social pressure and regulation to prevent people analyzing any of these things? We're moving toward a world in which you can be identified if you go out of public. Instead of trying to plug an increasingly leaky dike, we should just learn to accept this new future and take advantage of the upsides.

[1] https://arxiv.org/abs/1512.08546
compare learning a dozen songs to memorizing a particular order you want to perform them in.
The case for free speech at work
In 2020, software is reliable?
Not on Android, which is an order of magnitude more mainstream than any other Linux distribution.
Wouldn't the stack overflow developers survey be more valid than relying on your professional peers?

Around 30% use vim or Emacs. Linux is about as popular as Mac and windows is still as popular as both combined.

https://insights.stackoverflow.com/survey/2019
I have been following Atrium almost since its inception after being flagged by Andreessen and Justin was from the beginning tweeting pseudo-inspirational thoughts. In interviews he seemed more concerned with the story (serial entrepreneur / Twitch founder aims to disrupt legal field) than the content of the company (why the hybrid model? how is this going to move forward?).
So glad this project is still going! I remember looking at the userspace code last time it was linked here and marveling at how clean and uncluterred it was.
> I eventually just gave up and made my script ignore any filenames containing \n

I think we can all do that. Did anyone ever came across a
legitimate reason for filenames with newlines? All I can think
of are intentionally bad-named files to exploit bugs. Those
filenames should be avoided in the first place.