MurphyA/hacker-news huggingface dataset:
by wizzwizz4 | 2025-05-06 17:45:11+00:00
I think that still is (per Portal 2), but some of the original details aren't – like how Cave Johnson poisons himself, and how much his excellent decision-making was influenced by said poisoning.

https://www.moddb.com/games/portal/features/aperture-science... is a transcript of https://combineoverwiki.net/wiki/File:ApertureScience.com_ba....
by mckeed | 2025-05-06 17:45:12+00:00
As someone who doesn't develop in python but occasionally tries to run python projects, it's pretty annoying to have to look up how to use venv every time.

I finally added two scripts to my path for `python` and `pip` that automatically create and activate a virtual env at `./.venv` if there isn't one active already. It would be nice if something like that was just built into pip so there could be a single command to run like Ruby has now with Bundler.
by Brian_K_White | 2025-05-06 17:45:44+00:00
It's not an insult now? To me it was an obvious pejorative ridicule the very first time I saw it.

Like vibe heart surgeon.

It never had any other meaning to me.

Sure someone doing it thinks it's fine, but they are by definition, well let's say not to be admired.

If someone hates the term because it makes them feel bad, I can only say "correct".
by sota_pop | 2025-05-06 17:46:03+00:00
I resonate with some of this. Personally, I am motivated and driven by understanding “why/how” things work. The actual implementations are rarely more valuable to me than an exercise I know is “good for me” - and one that will help me gain insight into “the next thing” more quickly and efficiently. One major drawback to this that I have a bad habit of explaining how/why something works to the people in my life… even if they didn’t ask. Definitely something I am learning to filter.

Additionally, one of the most unsettling things I find about LLMs is the (now well-observed) phenomenon of hallucinations. As someone who is terrible at memorization and has gotten by life thus far in large part to mental models - I didn’t realize until their popularization that I may or may not have regularly “hallucinated” things my entire life - especially when forming opinions about things. … makes you think …

Great article!

edit: I also find that the type of abstract thinking reinforced by writing software regularly, is addictive. Once you learn how to abstract a thing in order to improve or increase efficiency of the thing, it starts a cycle of continually abstracting, then abstracting your abstractions ad infinitum. It’s also a common bug I see in young CS students - they are fantastic problem solvers, but don’t realize that most (all?) of CS isn’t a thing - it’s the thing that gets you to the thing. Which is (I believe) why we have a generation of software engineers who all want to build platforms and marketplaces with very few applications that ACTUALLY DO SOMETHING. They haven’t taken enough humanities courses, or gained the life experience or something - to find the “REAL” problem they want to solve.
by mynameisvlad | 2025-05-06 17:46:49+00:00
Simple, and even simpler from your own example.

Knowledge has an objective correctness. We know that there is a "right" and "wrong" answer and we know what a "right" answer is. "Consistently correct guesses", based on the name itself, is not reliable enough to actually be trusted. There's absolutely no guarantee that the next "consistently correct guess" is knowledge or a hallucination.
by T0Bi | 2025-05-06 17:47:01+00:00
/s?

Because if you're referencing to a headline (without reading the article) that was on H a couple of days ago, it stated that 20-30% of the code in the repos was written by software. Software != AI

To quote wongarsu in the same post: "Considering that most of their software has been developed for decades and AI assistants have only started becoming useful in the last ~4 years it would be very surprising if 30% of their code is AI written. I doubt they even touched 30% of their code in the last 4 years. But what is perfectly plausible is that 30% of their code is written by code generators. Microsoft has a lot of interface code. All the windows DLLs that are just thin syscall interfaces, the COM and OLE interfaces in their office suite and everywhere else, whatever Office uses nowadays for interoperability to allow you to embed content of one product in another, whatever APIs their online products use, etc. In the leaked Windows XP source code it can be difficult to find the actual source code in between the boilerplate files containing repeated definitions, and in the decades since then the world has only leaned more into code generation."

Source: https://news.ycombinator.com/item?id=43841868
by pie_flavor | 2025-05-06 17:47:03+00:00
If you want a separate language type for programmatic identifiers upon which all operations are defined in a culture-independent way, (a) good luck getting people to use it reliably, and (b) good luck with the numerous places where you have to convert back and forth and thus need all the information you're trying to not need.

Your XML files start with `<?xml version="1.0" encoding="utf-8"?>`. If they then cannot actually support common UTF-8 sequences such as emoji or CJK characters, then your system is bugged, and you should fix it.
by joshstrange | 2025-05-06 17:47:25+00:00
Neon goes further than just "managed postgres". I would say one of their big features is just how fast and easy you can spin up new db/clusters. It's completely possible (encouraged) to spin up 1 DB per tennant and potentially spin u and tear down 1000's of databases.

It opens up some interesting ideas/concepts when creating an isolated DB is just as easy as creating a new db table.
by ninalanyon | 2025-05-06 17:48:04+00:00
> ended up with a good feel for a time estimate along with error bars.

You might have felt that but my impression is that the doctor in question was mostly making up something on the spot. I would guess that the doctor is simply saying that they have never encountered anyone in this situation leaving intensive care within four days and similarly no one who survived needed longer than three weeks. The last answer suggests that they have no actual statistics at all.
by josvdwest | 2025-05-06 17:48:50+00:00
Very true! but sometimes the $0.04 and 25 tool calls, cannot get you to the right solution no matter how many times you re-prompt. And that's where Cline has been better for me.

It's almost like hiring. Would you pay a premium for the very best dev, or would you pay less for an average dev. :)
by tibbar | 2025-05-06 17:48:56+00:00
The thing is, it's actually a very difficult engineering/research/infra problem to run complicated queries on enormous data lakes. All the obvious ways to do it are prohibitively slow and expensive. Every bit of performance you can squeeze out of this, you unlock the ability for people to work with their data more easily. So there is huge value in having some centralized companies sink lots of R&D into trying to solve these problems well.
by Tainnor | 2025-05-06 17:49:13+00:00
> They're also generally much easier to create than constructive proofs

This is generally seen as a good thing by most "lazy academics". I guess your priorities are just different.

Constructivism is also not at all opposed to infinite quantities (that would be finitism). "Real-world domains" deal with infinite spaces (e.g. of all functions R->R) quite regularly across all scientific domains.
by jsnell | 2025-05-06 17:49:34+00:00
The text in the model card says the results are from March (including the Gemini 2.5 Pro results), and o3 wasn't released yet.

Is this maybe not the updated card, even though the blog post claims there is one? Sure, the timestamp is in late April, but I seem to remember that the first model card for 2.5 Pro was only released in the last couple of weeks.
by kjkjadksj | 2025-05-06 17:49:54+00:00
Ahh but you can see a general practicioner! That puts you head an shoulders over the average urban californian saddled with being triaged into the stripmall based urgent care system for lack of regional hospitals and gps. Corporate healthcare solutions are no greener grass than your public option… wait until you find out what is considered a cosmetic procedure (like having teeth).
by lylejantzi3rd | 2025-05-06 17:50:05+00:00
Rick Beato has done a lot of videos on perfect pitch. His son has perfect pitch, but he does not.

How Children Develop Perfect Pitch - https://www.youtube.com/watch?v=TgFdics3uKo

Perfect Pitch vs Relative Pitch: Which Is More Important? - https://www.youtube.com/watch?v=AxEmaBqjUmY

Why Adults Can't Develop Perfect Pitch - https://www.youtube.com/watch?v=816VLQNdPMM
by iloveburritos89 | 2025-05-06 17:50:08+00:00
Rich Schroepell response to Ron Rivest and the RSA paper included a suggestion to name the protagonists Adolf and Bertholt.

"Another literary suggestion: name your protagonists, perhaps Adolf and Bertholt or somesuch. This would reserve isolated letters for mathematical quantities."

Rivest, Shamir and Adleman liked the suggestion and eventually settled on Alice and Bob.
by PaulDavisThe1st | 2025-05-06 17:50:18+00:00
The purpose of the first code example in TFA:

> This is straightforward: we create a vector containing the values [1, 2], then iterate over it and print each element, and then finally print out the length of the vector. This is the kind of code people write every day.

The C++ code I provided does essentially this (I omitted printing the length, since it is so trivial), and is "the kind of code people write every day".

The fact that Rust requires you to consider move semantics for such simple code is precisely one of the central points of the article.
by labcomputer | 2025-05-06 17:50:39+00:00
> I'm curious. Is USB3 signal integrity really an active area of research or troubleshooting?

Yes, but: You don’t need a general purpose realtime high bandwidth scope for verifying signal integrity.

You can use an equivalent time sampling scope (~10ksps to 100ksps) to measure the eye diagram and ensure that the received eye matches the mask specified by the spec.
by _pdp_ | 2025-05-06 17:51:00+00:00
I cannot pretend that I know what is going on - I don't.

I think the long-term play here is something to do with Agents and they are simply cornering the market because coding tools are part to it.

That being said, quick search around what people are building with these VIDEs reveals mostly landing pages that are actually not even that good. For the amount of money spent one could have easily bought a good template or pay someone to customise an existing one.

I don't know. Maybe I am dumb.
by daxfohl | 2025-05-06 17:51:43+00:00
Yeah, the issue is that proofs are harder than people think, even for trivial things (try a few easy leetcode problems in Lean with a proof of correctness), and less useful than people think, especially when you get past low level algorithms and into domain logic (your point exactly). They also don't serialize well, so a database or API call with a "proof" field would be susceptible to fudging, or the definition could change between deployments. They're also easy to make incompatible: one library requires bounds proofs for signed ints, but your app uses unsigned ints, so you have to either rewrite your app or rewrite the library, or cast, in which your type system has to handle like a "checked exception" and propagate that possibility throughout your whole type domain and app logic.

I'm pretty convinced there's a good reason that while "propositions as types" is cool in theory, it's unlikely we'll ever see it catch on in practice.
by mr_mitm | 2025-05-06 17:51:49+00:00
What exactly is the issue with permanent storage? The idea with certificates is that the private key stays put.

When you want to use another browser or reinstall one, just re-enroll the new one. Ten one time recovery keys act as an alternative second factor, just like it's commonly done now.

I'm not saying there aren't any tradeoffs at all, but in my opinion they're minor when compared to OTPs, SMS or Yubikeys. Not nearly enough downsides to explain why no major services supports client certs.
by izuchukwu2020 | 2025-05-06 17:52:13+00:00
Location: London, UK (UTC+1), Remote: Remote preferred. (US time preferred) Willing to relocate: Not at the moment

Technologies Distributed Processing (Batch, Streaming) and Big Data: Kafka, Flink, Spark, Airflow, Avro, Databricks Infrastructure: IaaS (GCP and AWS), PaaS (App Engine, Cloud Run), FaaS (Cloud and Lambda Functions) Monitoring and Version Control: Elasticsearch, Logstash, Kibana, Prometheus, Git, GitLab, DevOps and DataOps Architecture and Programming Patterns: Event-Driven, Microservice, Serverless, Concurrent Processing, Multi threading Messaging Systems and Caching: Rabbit MQ, Google Pub/Sub, Redis, Google Memorystore Data Analysis: Pandas, Numpy Programming Languages & Operating Systems:, Python, SQL, Linux, Java Machine Learning/Deep Learning: Scikit Learn, Keras, Hugging Face, Apache MXNet, Torch, XGBoost

Résumé/CV: https://www.linkedin.com/in/izuchukwu-uchegbu/

Email: me@izu.contact

Hi, I'm Izu, a software engineer with over six years of experience building data-driven platforms and high-performance applications across a range of industries.

Over the years, I’ve had the chance to work with distributed teams around the world, both in large organizations and fully remote setups. These experiences have shaped how I collaborate, solve problems, and ship impactful products.

Right now, I’m exploring new opportunities where I can contribute my skills to a team that’s innovative, mission-driven, and building something meaningful. If you know of any openings, or just want to connect and chat tech, I’d love to hear from you. Thanks for reading!
by _DeadFred_ | 2025-05-06 17:52:25+00:00
Christianity requires action from a person to reach metanoia (commonly referred to as repentance), not just belief. Surface level 'I repent' is not what Christianity pushes people to explore but consistent reflecting on yourself/your actions. Christianity recognizes that you need to give people the ability to start (or start back up) at any time which often gets used as an excuse to wait to start until right before you die instead of the intended 'it is never too late to try/to start trying again'.
by Jordan-117 | 2025-05-06 17:52:40+00:00
I recently needed to recommend some IAM permissions for an assistant on a hobby project; not complete access but just enough to do what was required. Was rusty with the console and didn't have direct access to it at the time, but figured it was a solid use case for LLMs since AWS is so ubiquitous and well-documented. I actually queried 4o, 3.7 Sonnet, and Gemini 2.5 for recommendations, stripped the list of duplicates, then passed the result to Gemini to vet and format as JSON. The result was perfectly formatted... and still contained a bunch of non-existent permissions. My first time being burned by a hallucination IRL, but just goes to show that even the latest models working in concert on a very well-defined problem space can screw up.
by parliament32 | 2025-05-06 17:52:49+00:00
Didn't even have to click through to the report in question to know it would be all hallucinations -- both the original patchfile and the segfault ("ngtcp2_http3_handle_priority_frame".. "There is no function named like this in current ngtcp2 or nghttp3.") I guess these guys don't bother to verify, they just blast out AI slop and hope one of them hits?
by kllrnohj | 2025-05-06 17:53:54+00:00
You're requiring that packet #2 be available before packet #1 has finished. That's higher latency than the goal, which is packet #1 is processed & sent to output before packet #2 has arrived at all.

Or perhaps you're missing that there's an in event as part of this, like a MIDI instrument? It's an in->effect->out sequence. So minimizing latency means that the "effect" part must be as small as possible, which means it's desired for it to happen faster than "in" can feed it data
by egorfine | 2025-05-06 17:53:55+00:00
> what are the people upthread gloating about?

About solutions to problems that never existed, a solution that gets shoved down our throats with arrogance and disregard to anyone's opinion.

> everything else will die now.

Nah, cron will be just fine. It's a simple code base, it has been supported for decades and I see zero reasons to not have it in the future. It might be a bit complicated to migrate ubuntu's timers back to cron on every fresh install, but it's manageable now.
by y-c-o-m-b | 2025-05-06 17:54:17+00:00
Doxycycline is my favorite antibiotic and the most effective against chronic sinusitis and chronic prostatitis for me. I only take it maybe once a year, but it does wonders for a good long time.

It also cured my nearly lifelong IBS-D about a decade ago. I had a small re-occurrence of IBS-D last year after so many years without it. I was able to convince the doc that it fixed it for me in the past, so he prescribed me doxycycline again. Boom! All fixed just like before.

I have no idea why that particular antibiotic does the trick, but I've taken so many others from amoxicillin line, bactrim, even cipro, flagyl (gross) etc. and only doxy is the silver bullet for me it seems.
by paulirish | 2025-05-06 17:54:23+00:00
> Gemini 2.5 Pro now ranks #1 on the WebDev Arena leaderboard

It'd make sense to rename WebDev Arena to React/Tailwind Arena. Its system prompt requires [1] those technologies and the entire tool breaks when requesting vanilla JS or other frameworks. The second-order implications of models competing on this narrow definition of webdev are rather troublesome.

[1] https://blog.lmarena.ai/blog/2025/webdev-arena/#:~:text=PROM...
by joshstrange | 2025-05-06 17:54:50+00:00
Same boat here. Not really looking to have to move but I'm incredibly thankful that I never integrated with Neon more than using Postgres. I don't depend on/need their API or other branching features.

I hate that this is what I've become, I want to try some of the cool features "postgres++" providers offer but I actively avoid most features fearing the potential future migration. I got burned using the Data API on Aurora Serverless and then leaving them and having to rewrite a bunch of code.
by ajross | 2025-05-06 17:55:14+00:00
This is a circular semantic argument. You're saying knowledge is knowledge because it's correct, where guessing is guessing because it's a guess. But "is it correct?" is precisely the question you're asking the poor LLM to answer in the first place. It's not helpful to just demand a computation device work the way you want, you need to actually make it work.

Also, too, there are whole subfields of philosophy that make your statement here kinda laughably naive. Suffice it to say that, no, knowledge as rigorously understood does not have "an objective correctness".
by cryptoz | 2025-05-06 17:55:28+00:00
Thanks and yeah that is a concern; however I have been getting quite good results from this AST approach, at least for building medium-complexity webapps. On the other hand though, this wasn't always true...the only OpenAI model that really works well is o3 series. Older models do write AST code but fail to do a good job because of the exact issue you mention, I suspect!
by eesmith | 2025-05-06 17:55:34+00:00
I used to solo play 2-player Gauntlet for the PC this way, back around 1990.

In the 1980s it was pretty common to have 2-player games with both players on the same keyboard.

Edit: Spacewar (see https://archive.org/details/msdos_Spacewar_1985) is an example of a two-player-on-one-keyboard game, from 1985.
by reverendsteveii | 2025-05-06 17:55:52+00:00
tw - drugs, addiction, overdose, severe illness, death tldr - I was this dude until I got to see how things turned out for someone with the same attitude roughly 30 years older than me

I was one of those "Here for a good time, not a long time" people in my twenties. Booze, drugs, parties, shows, "Why would I wanna skip all of this just to go to the gym and pretend to run?" After a few years of partying like that you assume the hangover is the worst thing that'll happen and you'll bounce back after two days. But the universe had a gift for me: my uncle, who was about 35 years older than me, had the same attitude. I watched his addiction progress from "he just likes to have fun" to "sure he drinks too much but underneath it he's a good guy" to a point where his family was making him sleep in the garage. The whole time this was happening he was "Here for a good time, not a long time".

It took him over a year to die, once they determined that the liver and kidney damage was beyond mitigation or repair. I got to take care of him, as I lived with my mom (his sister) and his nuclear family had kicked him out after he pulled a gun on his daughter for coming home pregnant. In that year, he lost motor control, couldn't walk and could barely talk. Once I watched him try to tip his head back to drink from a glass of water and his head just kept going backward until he fell over. Only one of his three kids bothered to visit him. It was the one he pointed a gun at. He forgot her name.

Did you know that organ failure has a distinct smell to it? It's ammonia and engine coolant, saccharine sweet but with just a hint of rot. Our whole house smelled like that for the last few months. Those miasma months were spent helping him to the bathroom and explaining to him that he's at Vicki's house, Vicki is his sister and no he can't take his truck and go to the bar because he doesn't have a truck anymore and his license is revoked. He spent the last week of his life in someone else's bed, howling in pain and terror.

I, otoh, got my shit right. I'm not entirely sober but neither do I party like I used to. The bargain I made with myself is that I can do drinks with friends a maximum of twice a month, and I can't ever do drinks alone. I've been able to stick by that for several years now, even after the overdose death of my brother (who was another one who never saw the sense in anything other than maximum immediate fun). I take two fifteen-twenty minute workout breaks per day, one for weights and one for cardio. I've lost 25% of my body mass, I can bench press my dad and I'm actually having a much better time than when I was having a good time all the time. He was in his fifties when he died. I'm 40 now, and while he had already started his decline at 40 I'm stronger and more capable than ever. And I don't even have to tell myself "no" very often. Usually it's just "That's enough for now".

Maybe one day I'll be old and decrepit, but I won't be middle-aged, decrepit and hated by everyone I know. To me that's such a good deal I can't imagine why anyone would turn it down.
by resters | 2025-05-06 17:56:14+00:00
> developers turn out to be the actual profit-driver niche for LLMs

AI is definitely huge for anyone writing code, though one can imagine a model like o3 completely replacing 90% of white collar jobs that involve reading, writing and analysis.

Interestingly, o3 is particularly bad at legalese, likely not fully by accident. Of all professions whose professional organizations and regulatory capture create huge rents, the legal profession is the most ripe for disruption.

It's not uncommon for lawyers to bill $250 to $500 per hour for producing boilerplate language. Contracts reviewed or drawn up by lawyers never come with any guarantees either, so one does not learn until too late that the lawyer overlooked something important. Most lawyers have above average IQs and understand arcane things, but most of it is pretty basic at its core.

Lawyers, Pharmacists, many doctors, nearly all accountants, and most middle managers will be replaceable by AI agents.

Software engineers are still expected to produce novel outputs unlike those other fields, so there is still room for humans to pilot the machine for a while. And since most software is meant to be used by humans, soon software will need to be usable by AI agents, which will reduce a lot of UI to an MCP.