MurphyA/hacker-news huggingface dataset:
by theshrike79 | 2025-11-20 14:05:57+00:00
(I really need a macro for this comment, I keep repeating it :D )

Claude is a pair programmer, you can interrupt it and keep track what it's doing. It's VERY results-oriented, aiming to be "done" as fast as possible. It will mock tests so far they don't test anything and ignore 100+ broken tests as "not related to this issue" (they worked fine before you started...). Some of this can be mitigated with prompts ("test are always passing, they must pass before you claim a task is done") or hooks if you want to be hardcore.

Codex is an outsourced Indian development team. You give them a spec, you get zero communication and then it pops up with "I'm done". Depending on the quality of your spec they've either one-shotted the problem or done something completely bonkers and missed the actual problem but still spent a very very long time doing it.

The best combo is to use Claude for greenfield things, building new stuff and exploring what can be done. Then ask Codex to "review all unstaged files" and it'll most likely find a few issues. Give that report to Claude and ask "do you agree with this review?" and have it fix the ones all three agree (you, Claude and Codex).

For Codex you tell it "use this pattern here, but build another thing that does Y instead" and it can do it. It's also very good at rewriting small stuf from one language to another (I've tested this multiple times with Bash->Python and Python->Go)
by Macuyiko | 2025-11-20 14:06:09+00:00
Late, but reading all of the replies, and speaking from my own observation using Claude, Codex, as well as (non-CLI) Gemini, Kimi, Qwen, and Deepseek...

It's fun how we are so quick to assign meaning to the way these models act. This is of course due to training, RLHF, available tool calls, system prompt (all mostly invisible) and the way we prompt them.

I've been wondering about a new kind of benchmark how one would be able to extract these more intangible tendencies from models rather than well-controlled "how good at coding is it" style environments. This is mainly the reason why I pay less and less attention to benchmark scores.

For what it's worth: I still best converse with Claude when doing code. Its reasoning sounds like me, and it finds a good middle ground between conservative and crazy, being explorative and daring (even although it too often exclaims "I see the issue now!"). If Anthropic would lift the usage rates I would use it as my primary. The CLI tool is also better. E.g. Codex with 5.1 gets stuck in powershell scripts whilst Claude realizes it can use python to do heavy lifting, but I think that might be largely due to being mainly on Windows (still, Claude does work best, realizing quickly what environment it lives in rather than trying Unix commands or powershell invocations that don't work because my powershell is outdated).

Qwen is great in an IDE for quick auto-complete tasks, especially given that you can run it locally, but even the VSCode copilot is good enough for that. Kimi is promising for long running agentic tasks but that is something I've barely explored and just started playing with. Gemini is fantastic as a research assistant. Especially Gemini 3 Pro points out clear and to the point jargon without fear of the user being stupid, which the other commercial models are too often hesitant to do.

Again, it would be fun to have some unbiased method to uncover some of those underlying persona's.
by p403n1x87 | 2025-11-20 14:06:25+00:00
I am delighted to announce the 4.0 release of Austin. If you haven't heard of Austin before, it is an open-source out-of-process frame stack sampler for CPython, distributed under the GPLv3 license. It can be used to obtain statistical profiling data for a running Python application with no manual instrumentation and virtually zero impact on the runtime. You can find the code at

https://github.com/P403n1x87/austin

The main highlights of the new release are the support for Python 3.14, as well as many substantial performance improvements that make Austin one of the most accurate sampling profilers for CPython. More details about what's new and bug-fixes can be found in the changelog at

https://github.com/P403n1x87/austin/blob/master/ChangeLog

Installing Austin is as easy as running

pip install austin-dist

on any supported combination of architecture and platform. More installation options are available in the README file from the GitHub repository, along with usage details, as well as some examples of Austin in action. Details on how to contribute to Austin's development can be found at the bottom of the page.

As for ways of using Austin, the Austin VS Code extension provides a smooth interactive profiling experience, with interactive flame graphs straight into the text editor to allow you to quickly jump to the source code with a simple click. You can find the extension on the Visual Studio Marketplace and install it directly from VS Code:

https://marketplace.visualstudio.com/items?itemName=p403n1x8...

An Austin docker image, based on the latest Ubuntu image, is also available from Docker Hub:

https://hub.docker.com/r/p403n1x87/austin

Austin is a free and open-source project. A lot of effort goes into its development to ensure the best performance and that it stays up-to-date with the latest Python releases. If you find it useful, consider sponsoring this project on GitHub at https://github.com/sponsors/P403n1x87.
by danishSuri1994 | 2025-11-20 14:06:39+00:00
This is a great example of the blind spot between sampling-based observability and event-driven tracing.

Anything that appears + disappears between polls is effectively invisible unless you’re streaming syscalls/process events. It’s surprising how often “short-lived, high-impact” processes cause the worst production spikes.

Curious whether you’re planning to surface this at the scheduler level (run queue latency/involuntary context switches) or stick to process-lifecycle tracing?
by tb_technical | 2025-11-20 14:06:53+00:00
Could you elaborate why an executive having sensitive conversations with a governor is corrupt? I'm having difficulty understanding this outlook.

My industry has historically been extremely corrupt. This is why rules were defined for reportable expenses. Could you boil down your viewpoint into rules that can be applied in an organization, rather than a vibe test? I think I could better understand you, then.
by danishSuri1994 | 2025-11-20 14:07:46+00:00
The “hope molecules” framing is catchy, but most of the underlying effects seem to trace back to myokines and other exercise-induced signaling pathways.

What’s interesting is that these pathways tie together metabolism, inflammation, and mood in ways that aren’t fully understood yet. The mechanisms are still early, but the correlation between regular movement and improved emotional regulation is well-documented.
by embedding-shape | 2025-11-20 14:07:58+00:00
> This is why a lot of people just use NVIDIA's containers even for local solo dev. It's a hassle to set up initially (docker/podman hell) but all the tools are there and they work fine.

Yeah, which I feel like is fine for one project, or one-offs, but once you've accumulated projects, having individual 30GB images for each of them quickly adds up.

I found that most of my issues went away as I started migrating everything to `ux` for the python stuff, and nix for everything system related. Now I can finally go back to a 1 year old ML project, and be sure it'll run like before, and projects share a bit more data.
by positron26 | 2025-11-20 14:08:24+00:00
Fundamentally, if the nozzle temperatures can't possibly withstand what they are extruding without eroding, we can either:

- balance an exothermic reaction (self-propagating high-temperature synthesis) to occur just after leaving the nozzle

- externally apply the heat with laser or plasma arc etc

The limit of externally applying heating is when the heat flux has to be so high that some material vaporizes and pops. An exothermic reaction within the material overcomes this limitation.
by Aurornis | 2025-11-20 14:08:29+00:00
I went through the same frustration recently. I only occasionally use it, but every second or third time I have to open it up to talk in some channel I lose 30 minutes chasing my tail trying to work through the latest set of problems.

I like the idea, but the effort to reward ratio for using the product has not been good. It has caused visible churn and attrition in the few channels I’ve tried to participate in and it’s become a problem for the OSS projects I’m part of that try to use it for their communication. Of course, there are some people who like it that way and think making communication spaces difficult to access is a bonus, but that’s another topic.
by zamadatix | 2025-11-20 14:08:37+00:00
Anything with an ARM Mali family GPU, same as you'd find for the question "where are Nvidia drivers used" as being "anywhere an Nvidia GPU is used". There isn't a premade list of certain people/companies who might ever used a certain brand GPU in their products, it's "just about anywhere". That can be anything including phones, tablets, mini PCs, laptops, SBCs, TV boxes, VR headsets, and so on - it's not limited to use in a specific product/manufacturer/type of device only.

If you're looking for something hackable to play with the Mali driver options on yourself, Chromebooks or SBCs (like the one in the article) are usually the easiest bet and where the development is done vs the more fixed-by-manufacturer type devices like the typical phone where you get what they decide to package (which may or may not be the particular open driver you're looking to see used).
by ViewTrick1002 | 2025-11-20 14:08:49+00:00
I love how it's always someone elses fault that nuclear power never delivered on its promise. Despite handout after handout trying to get the industry to work.

> It's a loan at an interest rate higher than the government itself is paying to issue the bonds, i.e. the taxpayer is making money from this.

This assumes the risk is zero. Which given e.g. Virgil C. Summer is not the case.

> Then why does the price per kWh that consumers are paying keep going up instead of down?

Depends on where you are in the world. In Europe most of the recent price increases are coming from fossil energy becoming expensive.

The ETS system is making coal power expensive and running a peaker on LNG is extremely expensive.

https://en.wikipedia.org/wiki/European_Union_Emissions_Tradi...

So now we're seeing large swings from extremely cheap renewable electricity to expensive fossil based.
by ProllyInfamous | 2025-11-20 14:08:55+00:00
>"Do you guys not have phones?"

My local state representatives just attempted this at our latest "town hall meeting" [i.e. to participate: scan the 8.5"x11" QR code, taped upon each chair].

I do not carry a phone, let alone one that scans QR codes... so instead I just provided 300 pound union dude commentary throughout our entire meeting. I definitely participated.
by pmarreck | 2025-11-20 14:10:24+00:00
> This is exactly what I mean by folk magic. Incantations based on vibes

So, true creativity, basically? lol

I mean, the reason why programming is called a “craft” is because it is most definitely NOT a purely mechanistic mental process.

But perhaps you still harbor that notion.

Ah, I suddenly realized why half of all developers hate AI-assisted coding (I am in the other half). I was a Psych major, so code was always more “writing” than “gears” to me… It was ALWAYS “magic.” The only job where literally writing down words in a certain way produces machines that eliminate human labor. What better definition of magic is there, actually?

I’ll never forget the programmer _why. That guy’s Ruby code was 100% art and “vibes.” And yet it worked… Brilliantly.

Does relying on “vibes” too heavily produce poor engineering? Absolutely. But one can be poetic while staying cognizant of the haiku restrictions… O-notation, untested code, unvalidated tests, type conflicts, runtime errors, fallthrough logic, bandwidth/memory/IO costs.

Determinism. That’s what you’re mad about, I’m thinking. And I completely get you there- how can I consider a “flagging test” to be an all-hands-on-deck affair while praising code output from a nondeterministic machine running off arbitrary prompt words that we don’t, and can’t, even know whether they are optimal?

Perhaps because humans are also nondeterministic, and yet we somehow manage to still produce working code… Mostly. ;)
by red-iron-pine | 2025-11-20 14:10:30+00:00
> Given the demographic this site selects for, it’s easy to forget how many dumb people there are in the world.

I'm not sure what you're implying? That people here are smart? Or that they're ruthless tech-bro capitalists?

Or that ~20-40% of them are bots hyping their startup capital ventures, cuz that's what YC is about -- venture capital and startups.
by h2zizzle | 2025-11-20 14:10:54+00:00
The generations of microwave after the first few were fantastic. They did what they were supposed to and lasted decades. Once that reputation was solidified, manufacturers began cutting corners, leaving us with the junk of today.

The same thing happened with web search and social media. Now, those selfsame companies are trying to get us to adopt AI. Even if it somehow manages to fulfill its promise, it will only be for a time. Cost-cutting will degrade the service.
by sitkack | 2025-11-20 14:10:59+00:00
Your original comment comes of like excuse making and that nothing can possibly be done.

> > Between making money, perceived culpability and risks offloaded to insurance companies why would they?

> Because it is the right thing to do, and the NTSB thinks so too.

Doing great is much different than, "accidents waiting to happen".

I don't understand the goal of your changing rhetoric.
by johnisgood | 2025-11-20 14:10:59+00:00
I really like your response and your approach to it; I would like to work with you. :P

I do not need a CLI tool. I can come up with a very simple script or even an one-liner (like you just did) to achieve what I want.

Worth noting that neovim shows some git status when editing a file inside a git repository, and there are ways to do the same from your shell.

FWIW, I think this project was vibe coded with an LLM, but if it works, it works, so it makes no difference to me. The only reason I mentioned it is that "vibe coding" is not inherently bad. I do not even like the term. If you "vibe code" without knowledge, then yeah, it is bad, just as bad as a shitty developer writing code is.
by andix | 2025-11-20 14:11:18+00:00
I had to look up what curmudgeonliness means, Wiktionary was extremely helpful:

curmudgeonliness: The state or condition of being curmudgeonly.

okay, let's look up curmudgeonly:

curmudgeonly: Characteristic of a curmudgeon; churlish

nearly there:

curmudgeon: An ill-tempered person full of stubborn ideas or opinions, often an older man.
by deaddodo | 2025-11-20 14:11:28+00:00
It's moot to the aforementioned point. Undefined behavior wasn't introduced as a new language "feature" between C89 and C23; it's existed the whole time. We're talking about specification deltas, not the entire corpus.

But, if you want an answer to your question:

You can learn to avoid undefined behavior in about 30 seconds.

If you're purposefully fiddling with undefined behavior, it's because (ideally) you're A) an advanced developer and you know exactly what you're trying to achieve (and inspecting the generated code) and/or B) you're using a specific compiler and don't plan on porting your code elsewhere.
by clusterhacks | 2025-11-20 14:12:21+00:00
I never looked at short videos and couldn't understand how my friends and family would open their phones given even a minute of quiet time for these things. I viewed some Youtube shorts (maybe the least effective short video provider in terms of content and the recommendation algorithm?) and was shocked at how easy it was to burn time looking at crap. The experience really opened my eyes about how a person can be pulled into endless viewing.

I think the crack house comparison is entirely appropriate. The brain is weird . . .
by mike_hearn | 2025-11-20 14:12:32+00:00
Right. It's super interesting to me because some years ago I got dinner with a director of AI research at Google and he told me the LLMs at that time were super sparse. Not sure if something got lost in translation or stuff just changed, but it doesn't seem to be true anymore.

In theory NVIDIA and others could optimize for sparse matrices, right? If the operands are that sparse I wonder if whole tiles could be trivially zeroed without ever executing a matmul at all. The problem feels more like RAM and how you efficiently encode such a sparse entity without wasting lots of memory and bandwidth transferring zeros around. You can use RLE but if you have to unpack into memory to use the hardware anyway maybe it's not a win in the end.
by GhostDrift | 2025-11-20 14:14:44+00:00
In modern AI-era mathematics, a new question matters more than ever: Can a proof be re-verified by a third party using only finite steps?

The PDF released today is a concrete example of such a framework: a Σ₁-type consistency certificate.

Using the case study of prime distribution (Prime Gravity / explicit formula), it shows:

All error terms, constants, and bounds reduced to finite rational tables

A checkable sequence of inequalities that does not rely on infinite analysis

A fully recomputable structure that anyone can verify independently

This is not “a new theorem.” It is a proposal for a new proof infrastructure: a layer that sits between AI and mathematics, enabling finite, transparent, independently verifiable reasoning.

PDF on Zenodo: https://zenodo.org/records/17645277

Discussion welcome.
by graemep | 2025-11-20 14:14:52+00:00
Its much exaggerated.

Its got a big standard library so you can do a lot by just installing Python. On a lot of *nix systems it will all be installed already. For simple use cases you do not have to have the environment manager.

I have had few problems with virtualenv in any case.

Where you are most likely to have problems is cross platform deployment. If you are going to package it as an exe for Windows users, and package it for major Linux distros, and whatever you need to do for MacOS etc. its going to be a pain. In that case there are multiple languages that might suit you better than JS.
by dhosek | 2025-11-20 14:15:18+00:00
For personal use, I used to write #!perl to avoid the hassle of keeping track of the location of the binary across differing systems (although now I wonder if this only worked in the shell I ran under WinNT4—it’s been ages since I’ve done that sort of thing and these days I tend not to use #! at all to run scripts.)
by jones89176 | 2025-11-20 14:16:36+00:00
FYI: here are the videos of the latest matrix conference: [1]. I think there's a lot of interesting stuff going on!

also, instead of hosting your own server or using some (more or less well-financed) public servers, you can simply throw some money at [2] to pay for hosting for your group of friends or family or whatever. (not affiliated, but I like the idea)

[1] https://media.ccc.de/b/conferences/matrix-conf [2] https://etke.cc/
by dt060 | 2025-11-20 14:16:37+00:00
further media coverage

https://www.theinformation.com/briefings/salesforces-slack-s...

Salesforce’s Slack has told customers in mainland China, Hong Kong, Macau and Taiwan that they must migrate their accounts to partner Alibaba Group before February, if they want to continue with instant-messaging service, according to a Slack customer in mainland China and an Alibaba Cloud employee.

The move is in response to a privacy and data security law that came into effect this year in mainland China, according to the Alibaba employee, adding that Alibaba has started helping Slack customers with the change in recent days.

Some Slack customers with billing addresses in these four regions were told earlier this week that their subscriptions wouldn’t be renewed, according to the Alibaba employee. They were told they could maintain access by buying the service through Alibaba Cloud, according to emails reviewed by The Information.

A Salesforce spokesperson said that “Slack workspace creation and user provisioning are not currently supported in all markets. Our paid customers can provision individual user access for employees working anywhere legally permitted.” Alibaba didn’t reply to a request for comment.

Salesforce and Alibaba announced a strategic partnership in 2019 in which Alibaba would be the exclusive cloud provider of Salesforce services in these four regions, but that agreement wasn’t put into full practice until the recent days.

Salesforce is the latest U.S. company to separate its Chinese customer service, after Zoom in 2020 and Microsoft’s LinkedIn in 2021 began working with local partners or replaced their services with a local product, underscoring the deepening technological divide between the U.S. and China as companies increasingly operate on separate networks.
by shadowgovt | 2025-11-20 14:17:11+00:00
The language in the browser for specifying what should show up and in what format is HTML and CSS. We can't remove them because we don't have anything to substitute; without them, there's just no displayable content.

Is your proposal that we replace those relatively heavyweight standards with something more primitive that we could then build the behavior on top of? I think there's meat on those bones. Quite frankly, the amount of work we do to push intent to fit the constraints of HTML and CSS in web apps is a little absurd relative to the frameworks and languages we have to do that in non-web widget toolkits. I'm not actually convinced that "Tk as an abstraction in the browser that we build HTML and CSS on top of" would be a bad thing (although we probably want to use something better than Tk, with more security guarantees).

... However, if we did that, we would really damage the accessibility story as it currently stands (since accessibility hinting is built on top of the HTML spec) and that's probably a bridge too far. We already have enough site developers who put zero thought into their accessibility; removing even the defaults HTML provides with its structure would be a bad call.
by matthewdgreen | 2025-11-20 14:17:14+00:00
Nations don’t outsource critical national security industries even though economists might say that’s more efficient. The question is whether they should outsource critical tech infrastructure to huge quasi-monopolistic US firms that can turn it off or abuse European data at will. I don’t have the answer to that question, but I have to imagine it’s a worthwhile debate. The data we have cuts both ways: China applied protectionist policies to its own Internet companies, and it’s hard to argue that this has been economically devastating for them.
by drzaiusx11 | 2025-11-20 14:17:18+00:00
Anecdotally, I stopped using python for several years around the transition period from 2 to 3 because a number of libraries I used at the time were in flux with 3 support (beautiful soup I _think_ was one? I could be misremembering). Ironically, I ended up just using perl for a scraping tool instead, which it's quite good at for quick and dirty scraping scripts (PCRE.) Nowadays I use ruby for that type of stuff...
by VLM | 2025-11-20 14:17:31+00:00
The all plastic ones are intrinsically safe in a potentially flammable environment, they don't require power, they're an education in how most engineering materials in the real world have surprisingly wide tolerances so they are far more than accurate enough for most work, for people who learn graphically/visually they are the logical next educational step after counting on fingers.

They're pretty useful for teaching amateur people how to implement algorithms. Multiple ways to solve problems, some easier than others, some more efficient than others, with immediate rewards of faster higher accuracy.