skysight-inc/HackerNews huggingface dataset:
* Rust errors can be equally unhelpful. Also, the error you posted is hands down awful. It doesn't tell you what went wrong, and it's excessively naive to rely on compiler to offer a correct fix in all but the most trivial cases. When errors happen, it's a consequence of an impasse, a logical contradiction: two mutually exclusive arguments have been made: a file was assumed to exist, but was also assumed not to exist -- this is what's at the core of the error. The idiotic error that Rust compiler gave you doesn't say what were the assumptions, it just, essentially, tells you "here's the error, deal with it".

* In Rust, you will have to deal with a lot of unnecessary errors. The language is designed to make its users create a host of auxiliary entities: results, options, futures, tasks and so on. Instead of dealing with the "interesting" domain objects, the user of the language is mired in the "intricate interplay" between objects she doesn't care about. This is, in general, a woe of languages with extensive type systems, but in Rust it's a woe on a whole new level. Every program becomes a Sisyphean struggle to wrangle through all those unnecessary objects to finally get to write the actual code. Interestingly though, there's a tendency in a lot of programmers to like solving these useless problems instead of dealing with the objectives of their program (often because those objectives are boring or because programmers don't understand them, or because they have no influence over them).
> The "society" of today is no more of a sacred cow than its antecedent incarnations were half a millenium ago. As history has shown, it must either adapt, disperse, or die

I am not concerned about some kind of "sacred cow" that I want to preserve

I am concerned about a future where those with power no longer need 90% of the population so they deploy autonomous weaponry that grinds most of the population into fertilizer

And I'm concerned there are a bunch of short sighted idiots gleefully building autonomous weaponry for them, thinking they will either be spared from mulching, or be the mulchers

Edit: The thing about appealing to history is that it also shows that when upper classes get too powerful they start to lose touch with everyone else, and this often leads to turmoil that affects the common folk most

As one of the common folk, I'm pretty against that
Show HN: I Made an Escape Room Themed Prompt Injection Challenge
> why would they be running such an old Linux?

They didn't.

OP misunderstood what gVisor is, and thought gVisor's uname() return [1] was from the actual kernel. It's not. That's the whole point of gVisor. You don't get to talk to the real kernel.

[1] https://github.com/google/gvisor/blob/c68fb3199281d6f8fe02c7...
Why the for loop instead of mapping the enumerate iterator into Block::new and collect::Vec?
Interesting, I wasn't thinking of sized integers when thinking of int ranges (moreso of Python ranges like `3..7` for integers `3 | 4 | 5 | 6 | 7`) but this is fascinating as well. The interplay between different types of ranges feels like it might be complex to model.

I wonder if a type system exists that can modify the type lattice at run-time or just before run-time, so user-defined types can be added to a system even if the program is already built. As the types usually require explicit language support but I can always foresee more explicit un-typable things that might be useful just not useful enough to put in a general type system
Hahaha, nice. It's a small world.
Treatable, to a point, yes. Essentially, if one of the reasons there's no electrical activity is that it's just "stalled out" due to a lack of fuel for cellular activity, then you can recover. But the window/opportunity is very small (and comes with the accompanying challenge that if the heart is being starved of fuel, the rest of the body is, including the brain).

Current research shows that the administration of epi has little to no effect on survivability, other than within the first six minutes of arrest (which I now want to read more on, because I wonder if there's any correlation with that and the approximately 7-8 minutes of oxygenation in the blood). And then of course there's the complication (for understanding epi in isolation) that if you're in a position to administer epi <6m from arrest, the patient is likely getting holistic CPR.

Epi is believed to help stimulate the return of a shockable rhythm in asystole. But increasingly, it starts to feel like "because we've always done it". (Random fire 'joke': Firefighters hate two things: change, and the way things are.)

I'm in the PNW, where we're not perfect, but generally have some of the highest cardiac arrest survival rates (here, and Rochester MN).
> ImageFX isn't available in your country yet

> VideoFX isn't available in your country yet

Maybe that's why?

I still maintain the reason they're playing catch-up with everyone else wrt. LLMs is because their Gemini models were not available in the EU until recently. Back when they were doing their releases, years ago, like everyone else here I took one look, saw the "not available in your country" banner, and stopped caring at all.
Fantastic game!

The same development studio, Sega AM2, recently had a developer reveal that he had put an Easter egg into Fighters Megamix for Saturn. However, he mistakenly introduced a crash bug in it.

This set me off looking for the Easter egg. After a couple days of reverse engineering, I finally found it [0]! I love looking for this stuff.

[0] https://32bits.substack.com/p/bonus-fighters-megamix
Well, I'm sure when your neighbor gets their 8-page letter in Spanish, Vietnamese, Russian, or whatever their language might be, they too find it annoying that the government finds it necessary to send them a letter in English. I mean, what a waste, right?

The logic of how you get from there to road maintenance... my god, the mental gymnastics it must take.
This looks interesting! I want to try it out for a project we are working on, but we would need some of the features like callers, doctoring, and typing

What is the timeline on the coming soon features?
It's Chromium with the Google bits ripped out, Vivaldi has their own sign in/sync functionality, built in ad blocker, and custom UI. It's based on Chromium but has quite a bit different going on, as much as Brave or Edge.
Reka Flash 3
So let me get this right. You're complaining about notifications like "couldn't sync health data", after disabling syncing health data. Ok...
Yeah, I was just thinking if an implementation has the propensity to abort or fail early with a segfault, that's better than running with memory corruption and far more difficult to exploit. It's not clear from the upthread example how soon it fails after corruption so there is potentially a narrow window where such a bug could be exploited if found in the wild with the apropos attack surface.
Which barcode are you scanning? Are you sure it the right one? Which field is the data from the barcode scan going into? What data is actually deposited into the field?

I invite you to do the exercise of tracking implant data of a case you observe (i.e. you have the MRN and first hand knowledge) through your clinic / hospital IT system. I think you might be surprised.

Anyway, these details like training clinicians to scan the right barcode, checking integrity, routing the right info into the right fields, etc are what I was referring to when I mentioned up front expenditures on IT and operations.
Yes, but it's the Product Owner's responsibility to clearly understand the requirements from both customers and the business and communicate them clearly to engineering.

Having engineers handle "support calls" doesn't make much sense, they are not equipped to manage product feedback or understand the business implications.
Ah! So like lower and upper bound that join separately to include the total min and total max between the two ranges types. I see
Cache and power need to be exploited locally, generally. Introducing random delays to raise the noise floor would work for network services, I believe.
The article has this quote: "Doge’s access to taxpayer accounts, social security records and federal employee data would offer a gold mine for any AI titan." --- I'm curious, is this data really that valuable? I mean, to any company, AI or not -- what is the monetary value for that information. $20M? $200M? 2 Billion? 20 Billion?

That's assuming someone takes it and uses it, which is likely against the law... and then is never punished for it.
Are you asking if all factories are like the ones that you grew up near?

My understanding is that manufacturing tends to be the way you describe. I'd be surprised if that held true for all sorts of factories, especially in chemical production. Just a guess but I think paying chemical engineers for overnight shifts might cut into profits somewhat

EDIT: another comment sparked a memory, I'm thinking specifically of batch operators.
Zinc, a systems programming language prototype
Is it possible to ^r on iphone?
Anecdote. Last year I had to work with a heavy analytics process. The whole thing was 4 or 5 large steps and was written with PySpark. It was really slow and memory on my system run quite low (on a 8Gb system with a generous swap), sometimes even stopping the whole processing of the pipeline. For one heavy step we tried out DuckDB and I was blown away how performant against PySpark was. It was not only fast as hell but its memory footprint extremely low as well, almost as if something was wrong and had to recheck several times that it was correct, and yes it did what it was supposed to do. Now this is a place where I do actually care about how fast and performant a thing can be and not the nanoseconds that each JS frontend framework of the day claims to win. KUDOS to the DuckDB team.
x86 and ARM both have options for executing certain instructions with data-independent timing. The problem here is that languages and compilers need to expose and honor data types that compile down to only those instructions.

This would be something like a 'secret' keyword that would qualify integer types; i.e. in C you could have a variable of type 'secret unsigned int' and the compiler would reject optimizations that would reveal timing information about the variable's contents, while optimizing the rest of the program's non-secret variables. Values can be promoted to secret but not demoted. Code that intends to reveal secrets (e.g. to write them out to secure storage) must explicitly cast away the secretness.

AFAIK Golang has crypto/subtle, but that's more special functions to do certain things in a data-independent way and not pervasive language support for it (and, presumably, they have to keep updating the compiler to not optimize that specific module).
So? Blink is a fork of WebKit which was a fork of KDE's web engine. It's all open source anyway. The point isn't that the code must be unique, only that it's not dependent on a large US tech firm. They might benefit from Chromium development but the option to hard fork is always there.
> this looks like absolute hell, as someone who uses drag-n-drop between programs fairly often

The way people use it is you constantly reorder windows according to your workflow so DnD is not a problem.

> I'm also someone whose open browser tabs tend to grow indefinitely until I just have to bookmark and close all hundred of them or whatever

I agree the tab model is an horror. The problem is for most people the tabs are their browsing history, with a visual clutter.

My guess is there is an huge opportunity for rethinking the whole web browser history/tab model.
In theory this is actually pretty easy to "turn off"

You flatten the heap

You decrease or eliminate the reward for being at the top

You decrease or eliminate the penalty for being at the bottom

The main problem is that we haven't figured out a good way to do this without creating a whole bunch of other problems
at that point it becomes a search problem?
My thought exactly, or Maple, if you are one of THOSE people.
Another way of looking at it (although, I’m not sure if I believe this, haha)—it might be easy to guess what the the C compiler will spit out, for the proprietary bytecode known as “x86.” It is hard to guess what actual machine code (uops) it will be jitted to, when it is actually compiled by the x86 virtual machine.
A single ton of hydrogen requires ~50 MWh of electricity. Small special-purpose ammonia plants, which are common for some industrial applications, typically require on the order of 50 tons of hydrogen per day. This would require ~2.5 GWh of electricity per day via electrolysis. To put that in context, that is in the same ballpark as the average output of the largest solar farms ever built in the US.

The largest ammonia plant in the US requires around 2,000 tons of hydrogen per day. That would require 100 GWh per day to produce by electrolysis, which would require the entire output of a large hydroelectric or nuclear power plant, much like large aluminum refineries. Otherwise, you need to move a lot of electricity or a lot of hydrogen to have good efficiency, and there is infrastructure for neither.

Converting natural gas into hydrogen is also energy intensive. One of the big advantages of natural gas is that your hydrogen source is also your energy source and there is vast infrastructure for moving natural gas around.

Building green hydrogen pipelines likely makes more sense than trying to backhaul electricity from diffuse sources. A single hydrogen pipeline can reify a lot of electricity production without the concomitant transmission and management infrastructure.
> It unconditionally uses a hashset regardless of input.

This follows what I like to call macro optimization. I don't care if a hash set is slightly slower for small inputs. Small inputs are negligibly fast anyway. The hash set solution just works for almost any dataset. Either it's too small to give a crap, midsized and hash set is best, or huge and hash set is still pretty much best.

That's why we default to the best time/space complexity. Once in a blue moon someone might have an obscure usecase where micro optimizing for small datasets makes sense somehow, for the vast majority of use cases this solution is best.
Turns out "water in a pipe" is actually surprisingly accurate, just that the "waves" are sloshing around at half the speed of light.

https://youtu.be/2AXv49dDQJw?si=ZxRyiu8WwynUXwf_&t=655
Imo this is just Tim Cook’s public image. By all accounts, comparing Sundar to him is just not fair.

Just off the top of my head, under Tim Cook the company managed to:

* Propel smartwatches as a brand new product category into the mainstream and be the leader in that category.

* Propel AirPods as a brand new product category into the mainstream (and be the leader in that category as well).

* Smoothly transition to ARM (aka Apple Silicon) with great success.

* Various behind the scenes logistical/supply-chain achievements (which makes sense, as Tim Cook is the logistics/supply-chain guy by specialization).

None of those things were simple or uncontroversial. In fact, I remember the pushback people and the press had against smartwatches and airpods, calling Apple washed out and Tim Cook a bean-counter. And these are just the largest examples off the top of my head, there are definitely more. However, Google doesn’t seem to have even a singular product win of such magnitude in the past 10 years.

In the meantime, what did Google do productwise? Catching up on the cloud compute game to AWS (while nearly killing it due to their PR nightmare announcements during 2019-2020 iirc), killing their chat app that finally managed to gain enough mainstream traction (Hangouts) and then rebranding/recreating it at least twice since then, redoing their payments app multiple times (gWallet vs gPay vs whatever else there was that I forgot), etc.

I am trying to be generous here, and of course Apple had their misses too (the butterfly keyboard on 2016-2019 intel macbooks, homepod is kinda up in the air as a product category, mac pro stagnating, etc.). But I legitimately cannot think of a single consumer product that Google knocked out of the park or any that wowed me.

This sucks, because I know for a fact it has nothing to do with their engineers lacking the skill to execute on a new innovative product (as evident by Google being early to the AI/transformers era and being fundamental to what is happening with AI right now). Google has all the technical prerequisites to succeed. But the product and organizational strategies there are by far the most cartoonishly bad I’ve ever seen for such a company.

I don’t want to blame it on Sundar, because I cannot say for sure that the root of this dysfunction is at his level. I just know it is on some level between org directors and Sundar, but not where exactly. I just know that killing off a whole org working on a truly innovative AR org/product, only for most of those people to switch to Meta and continue working on an improved version of the exact same thing (the Orion glasses) wasn’t the move. And I just know that having 5+ major reorgs in one year for a single team is not normal or good.

TLDR: apologies for the long rant, but the short version is that Google under Sundar has absolutely zero sense for internal organization management or delivering products to consumers. And comparing him to Tim Cook (who has been the CEO through the AirPods/Apple Watch/ARM macbooks era) is unfair to Tim Cook and is based purely on the public image.
Maybe they realized the bug early in Shenmue II's planning and decided to just move the game to where the bugged value was correct, not knowing that it was fixed in code in the mean time.

(This has an approximately zero chance of being correct.)
oersted's answer basically covers it, so I'm mostly just agreeing with them: the answer is that you use a computer. Not another AI model, but a piece of regular, old-fashioned software that has much more in common with a compiler than an LLM. It's really pretty closely analogous to the question "How do you verify that some code typechecks if you don't understand it?"

In this hypothetical Riemann Hypothesis example, the only thing the human would have to check is that (a) the proof-verification software works correctly, and that (b) the statement of the Riemann Hypothesis at the very beginning is indeed a statement of the Riemann Hypothesis. This is orders of magnitude easier than proving the Riemann Hypothesis, or even than following someone else's proof!
It's pretty hard to be fully hands off of customers. That being said, we don't expect immediate replies unless (1) you're the front line support for the week (2) something is on fire. We also don't expect immediate replies. Generally, within 24 hours is acceptable.

It's a bit of a drag, but most people just deal with their occasional support needs at natural context switches. First thing in the morning, before they head out, in-between meetings, etc, etc
It's a lot of money and isn't a standalone device.
If `isReadyToDoThing` is only used in one place, I'd argue that it's better to inline it with an appropriately-named variable so I don't have to "go to definition" to understand what it's doing.

I think people get too caught up in "small functions" and lose the readability of code locality.
I don't trust AI to translate anything accurately to are from a language outside of maybe Spanish and German.

There's way too much nuance in both Korean and Japanese for this to reliably work. Chinese, from my limited study is a bit closer to English in grammar and structure so that might work
The fun really starts when they get defensive about it and start accusing you of being passive aggressive :)
Err, a trade war. That typo really bungled my comment, haha.
can you link to Linux terms and conditions? search returned nothing.
It’s such a simple setup that you could make it in CGI in 2005 far cheaper than this. The balls barely affect the environment and the physics is really simple. I thought for 20 years that it was CGI because obviously ”who would do that cleanup?”. TIL. Really cool that they did this in real life.
I'm trying to remember exactly when I stopped inlining js with html comments in the script tag. Maybe it was when IE6 got its foothold?
Signal no longer cooperating with Ukraine on Russian cyberthreats, official says
I don't think applies to you but I imagine people playing this series for the first time today probably think, _What's so special? This feels just like every other open world game_, even though it's really the other way around.

It's similar phenomenon to people hearing the Beatles or the Rolling Stones (or any of the artists they ripped off ...) with modern ears.

There's hope, though. I do think in both cases, it's possible to develop an appreciation once you learn about the lineage of a particular work.
Today. I get an interstitial every time I log in that tries to get me to enable their VoiceID system (here's a screenshot): https://georgestocker.com/wp-content/uploads/2025/03/schwabv...
Ratpoison is surprisingly good on small laptops, where everything is usually maximized anyway.
Location: Europe
Remote: Yes
Willing to relocate: No
Technologies: HTML / CSS / Tailwind, TypeScript,
JavaScript, Vue / React / React Native / Next.js,
Redux / React Query, Node.js, Ruby on Rails.
Résumé: https://drive.google.com/file/d/1MsxKmKiKHz_DXhUaaD2A5qvOpTV1pC4X/view
Email: available in Résumé
GitHub: https://github.com/nikasvan
LinkedIn: https://www.linkedin.com/in/nicksvanidze

Product-minded Software Engineer primarily focusing on Frontend development with solid backend experience. 11 years of overall experience working remotely. Can collaborate productively in asynchronous teams.

Contributor to open-source projects such as React Navigation, Relay, Grafana Labs, and Hotwired/Stimulus.

Let's chat here https://calendly.com/nick-svanidze/30min & build something awesome together!
Migrate Django ID field from int to big int with minimal downtime
I don't understand the negativity here. We have made enormous progress both in language models and in reinforcement learning for robotics. Is it really hard to believe that putting it all together like Google is apparently doing, is possible?
Spark is never going to be the right choice when running on a single system.

Spark is for when you have a hundreds of machines worth of processing to do
That was GPT-2.
i never really understand why these get compared. i wouldn't expect that much overlap in the audiences

zig seems like someone wanted something between C and "the good parts" of C++, with the generations of cruft scrubbed out

rust seems like someone wanted a haskell-flavoured replacement for C++, and memory-safety

i would expect "zig for C++" to look more like D or Carbon than rust. and i'd expect "rust for C" to have memory safety and regions, and probably steal a few ocaml features
I don't like Kennedy. I don't like his policies on vaccination, on disease safety and just his politics and associations in general. However, I am willing to admit where he is right. Some food additives are not needed and ultra-processed food can be a health nightmare. Getting some of these things off our shelves is a net-good.

Now, if he could be more sensible in other areas....
I don't think we know how much google pays for it right now. That 20B figure is from 2022. Also, that payment is mainly for iOS's Safari. Google would still pay Apple for search engine placement on iOS even if Apple stopped updating Safari today. What I'm poorly trying to say: I don't think safari development funding related to how much it brings in.

Also there is MS that wants to pay for search engine placement and it's fact.
I have not tried Claude Code, but besides the model lock-in the number one complaint I have heard is that it consistently over provides context leading to high token usage.
If it's not too personal, I'm curious to know how a child that young acquires an interest in languages. Do they have a friend from a different background or something like that?