skysight-inc/HackerNews huggingface dataset:
One way I've seen architectures get really complex really quickly, is when engineers try to foresee and plan to multiple rare non-critical scenarios.

The famous "what if" driven architecture:

- What if we get 10k concurrent users tomorrow? Everything needs to be CQRS event-driven, HA queue backed, produced and consumed by a fleet of microservices or it wont work perfectly!

- What if the user loses their internet connectivity while submitting this mundane form? We need localstorage backup for all CRUD operations and implement custom conflict resolution logic for each POST/PUT/DELETE.

I mean, yes we can try to tackle all possible issues and outcomes in our timeline but the sun would have cooled down by the time we are done.

Sometimes, well most of the times, you just gotta keep the project focused and 80/20 it.
> wonder what is going to happen to all the actual people

Most will hopefully wind up in shelters.
While that was probably meant to be rhetorical, the answer surprisingly seems to be an extremely strong "Yes, it does". Exciting times.
> if a quorum of replicas is available to the client, they can still get both strong consistency, and uncompromised availability.

Then it’s not a partition.
They won't just outright terminate the whole tld just like that. They'll first try to find another registry willing to take over the zone.

But that poses another problem, assuming you haven't reg it for something like 10 years, suddenly it won't be as cheap anymore if the new registry taking it over decided to hike the fee.

Afaik .top is just really cheap for the 1st year. For subsequent renewal its around $4-5. More stable, less spammy, no looming problem of registry getting revoked .de .be .uk is around $4-5 too.
Costs from Global Outage Could Exceed $1B – But Determining Liability Is Complex
> as does Hilshire Farm Kielbasa...which now comes in 14 oz packages

Your grievance reminds me of this classic phone call:

https://www.youtube.com/watch?v=f4RNb3tt0LM
What was the total energy consumption required to acheive this result (both training and running)

And, how much CO2 was released into earths atmosphere?
One thing I'll agree on John Mearsheimer is that an incredibly well articulated. He's also absolutely wrong. One of my also russian friends used one of his videos as a proof that everything is west's fault in the conflict in Russia. I patiently listened and what I heard was might makes right/who are we to meddle in the affairs of great Russia or great powers/Russia is great and we're doomed. It's a take that takes ANY agency out of Ukraine or any small country. Catnip for Z-patriots!. He's one of those "useful idiots" that Putin and his gang cultivate around the world.

For just a bit of - at the glance similar - but much, much more thought out and balanced stuff, I would recommend anything at all by Steven Kotkin. He speaks with folks from Brookings quite a bit. His experience is unparalleled and world view is considerably more nuanced
That's what I meant with slow progress.
I accumulated 8,000+ visited locations on Google Maps, but they've been increasingly abandoning "power users".
You might want to reconsider before "investing" or being emotionally attached to Google Maps's saved lists:

[1] https://www.reddit.com/r/GoogleMaps/comments/1cfqk52/did_i_j...

[2] https://techissuestoday.com/google-maps-limits-entries-into-...
Quite frankly, I'm really bothered by the HIV drug commercial that says that it makes the virus "undetectable"

So you're saying that it's still there, but you'll test negative for your partner? Disingenuous and disgusting.
I want to agree with you, but I don't think we really know enough to say this with certainty. What you propose is on of several plausible scenarios.
The computer did find the answers itself. I.e., it found "even integers" for P1, "{1,1}" for P2, and "2" for P6. It then also provided provided a Lean proof in each case.
Oh yeah, if you’re on the later end of Group C it means you’re gonna be deciding which person to give the bad news to. It sucks.
Meta could be slapped with fines as high as $13.4B by EU
Amendment XIII, Section 1. Neither slavery nor involuntary servitude, except as a punishment for crime whereof the party shall have been duly convicted, shall exist within the United States, or any place subject to their jurisdiction.
> while you could make a jig for a specific wall, even if all houses used that same size wall, transport fees would more than the cost of building the wall manually as we do now

But one is still cheaper!

> why pre-fab never took off

Same reason we have more car colors. It’s more expensive. But we value variety more than that marginal cost. That doesn’t change that producing one costs more than the other.

(There is also a massive difference between consolidating fabrication and consolidating construction. Developments work because you have one team doing a similar set of tasks at the same location repeatedly.)
Wait, what? Do you enter all your email addresses by hand in your mail app? How do you add new addresses?
The skydiver who survived a 14,000-foot fall
Ah someone else posted a link and I understand the unsoundness now.

The only time an issue ever came up for me was in dealing with arrays

let foo: number[] = [0, 1, 2]

// typed as number but it’s really undefined
let bar = foo[3]

But once you’re aware of the caveat it’s something you can deal with, and it certainly doesn’t negate the many massive benefits that TS confers over vanilla JS.
"A good driver sometimes misses a turn, a bad driver never misses a turn"

A good engineer knows that all real-time systems are turn-based, and the network is _always_ partitioned
The future is Miro. I've noticed that I can create mockups out of boxes more quickly than drawing something with pen and paper, then putting tons of notes and arrows, then just implementing it.
For the old libraries I maintain that are typescript and transpiled into .cjs and .mjs for npm, I'll probably just start shipping all three versions.

For a new thing I was writing from scratch, yeah, I might just ship typescript and not bother transpiling.

[edit: Apparently not. TS is only for top-level things, not libraries in node_modules according to the sibling comment from satanacchio who I believe is the author of the PR that added TS support and a member of the Node.js Technical Steering Committee]
The future of Netflix isn't going to feature DiCaprio or Zendaya. It will be you, your wife, and your friends on the screen as hobbits adventuring to Mordor.
I think that's more than obvious to any nerd who has ever played an online game.
Also, with `syntax-case` or `syntax-parse`, you can have the IDE know the syntax for the test case that failed:

https://www.neilvandyke.org/racket/overeasy/
I was initially going to say it was sanitized "bum fights" from early YouTube but switched to hunger games
New superheavy element synthesis could soon add a new row to the periodic table
https://archive.is/KPEet
> Quickselect gets us linear performance, but only in the average case. What if we aren’t happy to be average, but instead want to guarantee that our algorithm is linear time, no matter what?

I don't agree with the need for this guarantee. Note that the article already says the selection of the pivot is by random. You can simply choose a very good random function to avoid an attacker crafting an input that needs quadratic time. You'll never be unlucky enough for this to be a problem. This is basically the same kind of mindset that leads people into thinking, what if I use SHA256 to hash these two different strings to get the same hash?
Very cool of you to take on board feedback.

In relation to user experience on first try...I just wanted to test it out for 30 second to see if it's worth keeping. I haven't tested now, will have to wait until I get an hour free later because there are a few roadblocks.
- You require email and password registration and to click a verification link. Not too bad
- When first launched the app asks you to allow mic permissions by clicking settings. However in Hooper settings on Android there is no mic permissions option. Bad.
- You require 5gb free to use the product at all. Understandable given storage is required for video but how about reducing that so users can do like a 30-second test for first use? That way they don't have to spend an hour going through their phone's media to see what they want to keep and what they can delete.

You'd be amazed at how many people (like me lol) have almost full storage on their device most of the time.

Edit: oh....it's not a setting for mic permissions, it's a general permissions setting and if you touch that you can add additional permissions. Based on the text of the popup I hadn't guessed that was the right place to look and I hadn't realised it was possible to add permissions by touching that area of the settings menu.
Compared to all of the humans who compete at this level and their inputs and outputs for the trailing 5 years.
Wow I really like the topographic visualization of the data, looks really slick!
Firefox is not currently a supported browser.
Nah, Gavin Belson is a satirical CEO and has a bunch of mannerisms ripped from some other real tech CEOs (I think he was primarily based on Benioff).
Where do they source their data? I've contributed a lot of hyperspecific information to OpenStreetMap about my location that Google gets very wrong. It looks like Apple took some of it, slightly tweaked some stuff, and completed ignored other bits.
“ The order makes clear that the decision to remove the encampments remains in the hands of local authorities.”

Nothing is going to happen.
Formalization is in principle just a translation process and should be a much simpler problem than the actual IMO problem. Besides, they also trained a Gemini model which formalizes natural language problems, and this is how they generated training data for AlphaProof. I would therefore expect that they could have also formalized the IMO problems with that model and just did it manually because the point is not to demonstrate formalizing but instead proof capabilities.
My family's kids are now generations beyond being "mine" - but my quick advice:

After the child is intellectually mature enough to correctly answer at least 3 types of questions which ChatGPT obviously can't handle. And to appreciate how ChatGPT just keeps getting those wrong.

That lets the kid really understand how ChatGPT might be a brilliant at spewing BS...but it's still an idiot. And slightly future-proofs them - any new & improved AI, able to answer those types of questions right, probably has other fatal flaws. (But please don't drain your parents' account trying to find those flaws - okay?)
Nope, per Oliver Nash who worked on the thing: https://news.ycombinator.com/item?id=41070372
"Neutron star = nucleus" is very elided. The crust of neutron stars contains ordinary elemental matter with a density around that of a white dwarf (specific density of ~10⁶), but descending down to the core it explodes to ~10¹⁴, which is nucleus density and a little beyond.

There's also the whole menagerie of nuclear pasta [1] where gnocchi and spaghetti you could maybe consider "nuclei" unto themselves. There's also waffles & lasagna, but when you get into the anti-spaghetti and anti-gnocchi realms, then you're into the "one nucleus" region.

[1]: https://doi.org/10.1103/PhysRevC.96.025803
How can one even organize 10k people adding stuff to the same product?
Apart from communism, worker- and customer-owned co-ops is the only escape hatch for workers from for-profit, extractive corporations subject to the demands of investors to commit arbitrary dismals, create unsafe working conditions, and all manner of other problems when the interests of owners and workers are out of alignment. Unions are a half measure that don't address the fundamental problem of an adversarial relationship between workers and managers/owners.
Southwest fills front to back and aisle and window before middle. It’s practically optimized to be bad.
Mataroa is now licensed under Affero GPL
> You vacillate between personal responsibility and skipping requirements, which is it? Should we take you seriously or not?

You misunderstand. These things you claim are requirements are not requirements. You do not need to be an "expert" in health insurance or interstate tax law. Mostly you just need to read and follow the basic instructions for those things that the experts already wrote out for you. You think countries in Europe don't have bureaucracy? I live outside the US in a country with public health care. It's nice, but it doesn't mean you never have to spend time navigating a bureaucracy, I promise you that.

> You are arguing specifics (and doing it incorrectly) while I am showing you a forest of problems and you go after each tree with an axe ignoring that there is a whole forest.

Yes, because this is actually how you solve problems. You look at each individual problem and say "Hmm, what can I do about this?" Then you think up a solution and do it. Vague hand-waving at a group of problems while saying "Gee, someone should do something about all this mess!" doesn't actually accomplish anything.
Undetectable = Untransmittable has been a mantra in the field for years because there is good data that people who have 0 detectable circulating copies of the virus cannot transmit it.
> Unions should put their money where their mouth is and invest in cooperatives

As in Labor Union.

Pedantry and HN - name a more iconic duo.
I recently helped my friend install his first Linux distro, Ubuntu. He told me he could not log in, and he kept getting back to the login page. I realized that he might be having problems related to his display manager installed by default. I made him go to virtual console and replace the default display manager so that he can start his desktop environment session without getting stuck in a display manager loop.

I did not like my own Ubuntu experience when I was using few years before as well. I don't think its stable enough for newcomers as well.
> Industry should not require University-level training from workers.
> Plumber or electrician don't need university degree, only professional training [...]

Oh come on, this is ridiculous.

Sure you might be able to do good programming without a college degree.

The typical student? I give them very little chance.

Here's what I think you would see:

* Students trapped in small skill-set jobs, struggling to branch out.

* Poor ability to manage complexity. The larger the system, the worse an ad-hoc job is going to be.

* Lack of awareness of how much tools can help. "Make impossible states not representable?" Write a DSL with a type system so another department stops making so many errors?

* Even more incompetence. Had to learn to recognize an O(N^2) algorithm on the job, but you didn't even know what asymptotic complexity was? People are going to end up believing ridiculous cargo cult things like "two nested loops = slow".

* Less rigorous thinking. Do you think they're even going to be able to pick up recursion? Have you watched a beginner try to understand something like mergesort or quicksort? Imagine that they never had a class where they programmed recursively. Is depth first search taught on the job? Sure, but... how deeply.

* Even less innovation. Who is going to be making the decisions about how to manage state? Would you ever see ideas like Effect?

I'm not saying that a university education is a cure-all, or that it is essential to the jobs that many of us do. I AM saying that if you look at the level of complexity of the work we do, it's obvious (to me) that there is something to study and something to gain from the study.
>We build monuments for individuals not for committee.

That's the second time i'm hearing that quote today from completely unrelated sources.

The quote is from David Ogilvy, in case anyone is wondering.

"Search all the parks in all your cities; you'll find no statues of committees."

https://x.com/The_AdProfessor/status/1705254246109651053
Android is crazy bloated, leaved it completely & never look back.
The article is arguing for ESOPs, basically stock options for employees. The examples cited are actually quite tame by tech industry standards: "During Central States’ worst year, employees earned the equivalent of 6 percent of their pay in stock, during their best they earned 26 percent." By contrast, FANG employees routinely make >50% of their compensation in stock, and it can be up to 80% in good years.

As for how these get started, it's the same as any tech startup. The founding team owns the whole company at formation, and then they progressively give it away to increase the overall valuation of the company. You can do that through giving away stock in exchange for funding from a VC that you can use to pay employees, or you can give away stock directly in exchange for services rendered.

And yes, this looks bad during a down year. Tech companies have this problem all the time - employees are demotivated when the stock price goes down, which can have further negative effects on the stock price.
Even if that was more accurate (I don't think it is), it's certainly not the way users see it.

In fact that's NOT the way Apple describes it, either (see the Apple article cited above), because Apple doesn't actually want to enable E2EE -- it only wants to be able to say it offers it.

In practice, ensuring that other users are pressured into choosing iMessage on iPhone is the only thing that matters to Apple.

https://www.npr.org/2024/03/28/1241443505/green-bubble-shami...

And, this very simple trick works extremely well: at least 87% of teenagers in the U.S. (https://mashable.com/article/apple-messages-green-doj) are pre-programmed to buy an iPhone, even though they have the lowest disposable income of all. Meanwhile, less than a third of the overall global population owns an iPhone.

Is that because iPhones are better? As an owner of both a recent Pro Max and Pixel Pro, I can unequivocally answer, "no", but I do find all of the annoyances between cross-device communication accrue to the point of just wanting to switch to my iPhone full-time, even though it's arguably a worse experience in many ways.
What is making hte WordPress/Woocommerce solution slow/ what additional flexibility would be required. It sounds like it might a better use of money to optimize the Woocommerce site than to reinvent the wheel and have a whole custom ecomm app to have to maintain.
There is no article about an ethnostate but if you use the widest possible definition of ethnicity and this ethnicity forming a common state would be considered an ethnostate, I guess Israel would be an ethnostate too. As probably most if not all other countries in the world as well. What would your criticism of that be specifically?

Again, minorities often try to flee to Israel for different reasons, not the other way around. This is easy to observe.

Then Syria is an ethnostate as it is called the Syrian Arab Republic. Egypt is an ethnostate, as it is called the Arab Republic of Egypt. I believe the pattern is obvious?

I cannot shake the feeling that some might utter this criticism because in case of Israel it would likely be a Jewish majority nation. But the existence and political participation of non-Jews makes it clear that you try to use ethnostate differently.
> I'm curious if there's any reading out there that covers this stuff from the meat and potatoes

In my experience using radare2 to peek at the code is pretty much the meat and potatoes of reverse engineering binaries and far from "CS 101 stuff". You certainly don't need to modify a binary to MITM an API or inspect/alter packets or inject code via dynamic loading; nor is it the most convenient or clean or easy to maintain way to do so.

Secondly, this is a shockingly dismissive attitude for such a large resource. It took me a few minutes to just read through the table of contents.
There's been a lot of speculation that it's the other way around; removing third party cookies doesn't hurt Google's ad tracking but it does hurt the other advertisers who don't control the dominant browser, so they got spooked on antitrust grounds.
Good point. “Visibly noisy” would have been more accurate.
Assuming you gate things like merges on test results . . .

Remove end-to-end tests. Replace with contract tests and service-level functional tests.

Much faster feedback! At the same time, better coverage. The only serious problem with the approach is that it upsets the magical thinkers in your org. Often those folks are managers.
Drug discovery clusters in the US because the EU doesn't permit profiteering
Can someone provide a tl;dw? I don't have time to watch a 53min video, and it's tough to skip around the way one might in a structured article. Curious what the main claims are?
Show HN: Wat – Deep inspection of Python objects
JSDoc is for docs, TypeScript is a static type checker. How can these tools be used interchangeably?
Guessing the context here is that the RH was recently translated into Lean. Would be very cool if they threw their compute on that
Overcharging? It’s easier to beat their prices if you don’t have drivers or cars to pay for.
It works for a second, then I get redirected to the unsupported page.
Still waiting for the first one. I'm not holding my breath - just like fuzzing found a lot of vulnerabilities in low-level software, I expect novel automated analysis approaches will yield some vulnerabilities - but that won't be a catastrophic event just like fuzzing wasn't.
> Apple doesn't make money with the Email app directly, but its existence likely improves how users perceive iOS.

I dunno, have you actually used Apple Mail?
Volume of the mouth is about 150mls (half a can of coke). Maybe you have a big mouth so let's call it 180mls. That's 10 moles of water (assuming saliva is 100% water). At 0.9688gcm^-3 they're basically 1:1 and the stoichiometry is also 1. So max you can fit about 115g of sodium to 90ml of water.

If we ignore the dynamics of the explosion that seems enough to cause a maybe lethal explosion. It would also release 120dm^3 of hydrogen.
In this case you are revealing your own (statistical) illiteracy. It’s referring to 70% of people who claim to be living paycheck to paycheck, not 70% of all people.
This one;

https://blog.knowbe4.com/how-a-north-korean-fake-it-worker-t...
Similarly, Lisp has lost.

It's clear to me that S-expr are not popular.

Other languages and environments have captured much of what Lisp has offered forever, but not S-expr, and, less so, not macros.

Any argument one has against Lisp is answered by modern implementations. But, specifically, by Clojure. Modern, fast, "works with everything", "lots of libraries", the JVM "lifts all boats", including Clojure.

But despite all that, it's still S-expr based, and its still a niche "geek" language. A popular one, for its space, but niche. It's not mainstream.

Folks have been pivoting away from S-expr all the way back to Dylan.

I'm a Lisp guy, I like Lisp, and by Lisp I mean Common Lisp. But I like CLOS more than macros, specifically mulithmethod dispatch. I'd rather have CLOS in a language than macros.

I don't hate S-expr, but I think their value diminishes rather quickly if you don't have macros. Most languages have structured static data now, which is another plus of S-expr.

I don't use many macros in my Lisp code. Mostly convenience methods (like (with-<some-scope> scope <body>)), things like that). Real obvious boiler plate stuff. Everyone else would just wrap a lambda, but that's not so much the Common Lisp way.

In my Not Lisp work, I don't really miss macros.

Anyway, S-expr hinder adoption. It's had all the time in the world to "break through", and it hasn't. "Wisdom of the crowds" says nay.
This Wikipedia page makes AM kind of comes across as a nonsense project whose outputs no one (besides the author) bothered to decipher.
iMessage doesn't support Android.

SMS messages are green, no matter if it's sent from an Android phone or an iPhone or an authentication service or a marketing service, etc.
Thoughts on 'The Open Source Definition'