News for hackers. Stuff that matters.

ssivark

Re: on Saturday October 31, 2026 @06:08AM (#50314593)
Nice work putting this together! But also, we're entering an era where folks might easily be able to scratch their own itch for many of these needs :-)
The striking detail here is that the patient's post-shift numbers wouldn't have tripped the static alarms we currently use; a resting heart rate moving from 44 to 49 bpm is still "athletic" by population standards. What mattered was the synchronized shift in several metrics relative to his personal baseline.

Perhaps because statistics education attunes us to average over individual differences, any mention of "data" unfortunately makes people instinctively jump to this 'cross-sectional' corner... textbooks explain how the typical human body behaves, and standard education and medical practice respectively emphasize averaging and population-level guidelines.

I think this approach is limited in some fundamental ways, and forces a dilemma: either accept wide and unactionable bands for what counts as normal, or use narrow bands that over-pathologize most individuals as diseased. The natural consequence of this is to start "fixing" deviations, and this is the territory of dangerous over-steering. This is why the medical community is afraid of "incidentalomas" and over-intervention. Tests which are point-in-time and compare one human to others are problematic in this respect. This is especially acute when the body is measured along many axes: like a full body scan. Much like the US Air Force Study of pilots discovered that there is no single pilot compatible with the "average" pilot measurements, comparing metrics from an individual's full body scan to a cohort average is likely to drastically overestimate problems.

In some ways, learned systems (like our physiology which is constantly adapting to our individual environment and experiences) follow the opposite of the Anna Karenina principle: every healthy individual is healthy in their own way. So the real diagnostic leverage isn't comparing an individual to an aggregate human template, but measuring change against their own homeostasis, and this requires high temporal resolution, not wider population comparisons.

I'm currently exploring how to bring this kind of longitudinal tracking to higher-fidelity modalities like wearable imaging. If any clinicians or researchers here are thinking about how to operationalize personal baselines in practice, I'd love to chat (email in profile).

Re:Cuis: The Modern Smalltalk-80 on Friday October 30, 2026 @12:36AM (#50299904)
Is the development experience compatible with modern AI-assisted workflows? Coding agents have drastically reduced the entry barrier for playing with software projects, and I can think of some fun ideas for Smalltalk things I've been curious about.
[delayed]
Re:Designing more efficient quantum circuits with Claude on Saturday October 17, 2026 @03:17AM (#50128738)
Reinforcement learning can definitely (in principle) leave this envelope, but it depends crucially on whether the feedback generates new information from reality, rather than just repackaging what humans have already discovered in the form of RL environments and densified rewards. So the question is not about RL per se, but what is the information source, what is the bandwidth of information it supplies, and then only finally the effectiveness of RL in distilling information that into models.
Re:Designing more efficient quantum circuits with Claude on Saturday October 17, 2026 @03:15AM (#50128729)
> Unfortunately AI excels at such problems because it oversees a much larger slice of our knowledge than most individual humans. I've always said that cross domain application of knowledge is the easiest way to make progress and I haven't really seen anything conflicting with that to date.

What is unfortunate about this? I suspect we concur in not buying into the AGI/ASI/RSI/<jargon of the day> hype, but this isn't this kind of breakthrough extremely valuable regardless?

Maybe it's not expanding the convex hull of what is possible, but the fact is that human progress is extremely jagged even within that convex hull -- for myriad reasons limitations related to funding, cross-domain expertise, number of scientists, etc.

----

If you're worried about what it takes for a novice setting out in the field, it might be useful to see how specific "mature" subfields have evolved in their training structures. Eg. I have a background in theoretical physics and it is common for grad students to do courses for a couple of more years and take a few more years to reach the same productivity compared to grad students in (say) CS/AI.

Masked emails are infinitely shareable eg. a spammer can harvest that email address and then reach you. You don't typically have a setting to block anyone else (other than the original intended counter-party) from reaching you -- unless you set up some specific filtering rule (if that's even supported).
Nice idea! JFYI, in case you ever run into design questions when extending this, you seem to be implementing a version of Object Capabilities (specifically revocable forwarders / caretaker pattern), specialized for the SMTP situation -- as you want to share with someone the capability to send you messages, but you want that capability to not be shared recursively.

Since you're also thinking about a user giving their agent access to their inbox -- any thoughts on what are the right capability primitives for that situation, and how the API & access tokens can represent that?

Re:Auto Research: Integer multiplication below n log n on Tuesday October 13, 2026 @05:33AM (#50069007)
That's passable model assumption if your algorithm didn't create intermediate numbers/strings of arbitrarily growing length. Otherwise the thing that you're considering a constant is not actually bounded.

Whether it's an oversight in just this work, or TCS more broadly, I do not know. But it's a fundamental point nonetheless.

Re:Auto Research: Integer multiplication below n log n on Tuesday October 13, 2026 @05:17AM (#50068877)
The string comparison model is useful in the regime where string lengths are much shorter than list lengths and can be bounded by a constant. It would be a horribly broken (i.e. unrepresentative) model if you were constructing intermediate strings whose lengths could grow arbitrarily and become much longer than list lengths.

One can of course make a puzzle out of anything, but it behooves asking what situation is being modelled by that problem.

And yes, this criticism might apply more broadly to TCS rather than just this specific artifact from OpenAI. It's reward hacking regardless of whether humans do it or LLMs.

Re:Auto Research: Integer multiplication below n log n on Tuesday October 13, 2026 @01:43AM (#50067239)
Ben Recht has a nice blog post about how these results are basically reward hacking the TCS formalization by assuming atomic operations for exact complex arithmetic, instead of costs scaling with the size/precision of the number: https://www.argmin.net/p/faster-fourier-transforms

number multiplication is basically convolution and closely tied with FFTs, so I wouldn't personally be surprised even if a lot of the "FFT's work" could somehow be stuffed into exact arithmetic operations, and the remaining costs just track the packing and unpacking from that representation. It's just an exploit of the book-keeping.

That's ignoring the other complaints about this being a galactic algorithm.

Re:Fingerprints Are the New Cookies on Monday October 12, 2026 @03:08AM (#50052444)
You mean, like a really popular web service or app that someone would log into every day/week/month...?

Even easier if, additionally, many of the smaller websites were syndicated into a tracking network?

Re:Food processing influences metabolism and brain activity on Saturday October 10, 2026 @07:21AM (#50031795)
What does fiber has to do with spoilage? Is this a significant motivation for processed foods to strip out fiber?

Also, from the study:

> The non-UPF and UPF test meals were closely matched on meal weight, energy, energy density, macronutrients, available carbohydrate, glycaemic index and load, total dietary fibre, sodium and water (all ≤1.6% deviation between meals; Fig. 1b).

Re:OpenAI, the Partition Principle, and Mathematics on Friday October 09, 2026 @11:32PM (#50029283)
If you see three ants in the kitchen the day after you move in, the best estimate of the number of ants in the kitchen is much more than three -- you just haven't seen them yet.

The math peer review process can take months/years to decide on the correctness of a solution -- especially those written as sloppily as these AI proofs. Let's see what the numbers are once the dust settles -- how many of the 700 are correct, and how many of those are valuable.

Re:OpenAI, the Partition Principle, and Mathematics on Friday October 09, 2026 @02:25PM (#50024709)
And if three of their 700 PRs were retracted within a day because of unresolvable bugs? Clearly it's not all verified.

Not to mention the math paper (on HN yesterday) which pointed out that OpenAI might have verified the wrong thing, in their Navier Stokes proof.

It's really not as cut and dried as you (and software/AI folks more generally) think it is.

PS: If a human mathematician had to retract three of their papers a day after posting publicly, they'd lose all credibility and their mathematical career would be all but finished. That social incentive structure is the field's immune system against slop. You're basically asking them to turn off their immune system, and for unclear gains (other than OpenAI's grandstanding).

Re:OpenAI, the Partition Principle, and Mathematics on Friday October 09, 2026 @08:31AM (#50019557)
Why should it change when there's good chance it's just slop? That's exactly the standard that human mathematicians are held to -- and it's their job to refine and polish the work to make it understandable by the community. And standards have evolved that way because otherwise there's too much slop to wade through (eg. you'd be surprised how many papers the typical theoretical physicist gets claiming to have proven Einstein wrong -- from absolute crackpots who don't understand the basics of the subject). This will just multiply now with AI, and doesn't change just because the prompter happens to be on OpenAI payroll.

We'll see what the final slop rate is, but the three papers they retracted yesterday were for a trivial sign error. If they didn't catch that, that means OpenAI isn't bothered to put in the minimum effort of sifting through their own garbage and making sense of it.

It's not like they needed to hurry out this release before carefully vetting. They're just "hacking" the math system and disrupting the work of thousands of researchers to create a gigantic RL dataset for themselves.

Really, what's the bloody hurry?

They could have released 1-5 papers, worked with researchers to understand what methods work and what don't, how to prompt the models better, how to build better guardrails for reasoning, etc. And give those researchers access to latest models and empower then to solve thousands of problems!

Instead OpenAI wants to piss all over the city to claim territory and now human mathematicians have to go around cleaning up that slop, only so that OpenAI can made some bullshit statement like: math is solved [mistakes are next].

--

Imagine someone gave you a million line PR claiming to have vibecoded the operating system of the future (or whatever your application domain). Would you drop all your other work to focus on this? And they generate enough PR that your manager and company leadership and public all start pressing you to accept it quickly? Guess what, it's your lucky day! You have not one, but 700 breakthrough PRs!

Artificial Analysis has some very specific biases or perspectives on what they are measuring, so I wouldn't take their benchmarks as the final word on model quality.

Composite indices are only useful for model companies which want to build one horizontal capability for N use cases, or naive users who don't want to bother with the effort of carefully pairing models with use cases. If you're a power user looking to understand and make deliberate choices, then you want pointed evaluations -- not general composite indices. You wouldn't hire the same person to do your taxes and mow your lawn, so why is it any different with LLMs? Only if you come at the problem with the folklore around "AGI" do you start making composite benchmarks.

As I mentioned in a sibling comment... Back in their 3.5/3.7 era [1], Stepfun had a small+fast model, specifically eschewing knowledge, and instead focused on "general intelligence" like managing tool calls, orchestrating sub-agents, etc. Could be a very good substrate for running a personal assistant (time will tell what's the right approach); so I'm curious to try that out and see how they've come along since then.

[1] https://news.ycombinator.com/item?id=47069179

Back in their 3.5/3.7 era [1], they had a small+fast model, specifically eschewing knowledge, and instead focused on "general intelligence" like managing tool calls, orchestrating sub-agents, etc. Could be a very good substrate for running a personal assistant (time will tell what's the right approach); so I'm curious to try that out and see how they've come along since then.

[1] https://news.ycombinator.com/item?id=47069179

Re:OpenAI Withdraws 3 Math Papers on Thursday October 08, 2026 @11:30AM (#50007046)
That is an idealized caricature, and far from the reality. One needs to validate the statement of the theorem and the boundary conditions needed to prove it (definitions, axioms, kernel soundness, etc), a la dependency injection. Mathlib is a common shared platform of vetted truths, but not all proofs restrict themselves to Mathlib AFAIK, and neither is Mathlib perfect -- particularly subtle mismatches in the definitions.
True, and I empathize, but... that difference is basically a spending tax that your card provider has chosen to impose on you. If it helps, instead of a per-transaction cost, consider it packaged together with your cashback, credit points, and the like.
Re:What Is Codemode on Wednesday October 07, 2026 @03:13AM (#49989387)
Between this and the Cloudflare post, this is a lot of words and no simple system level picture. Here's what I think is going on:

1. Homoiconicity: Harness mechanics are kludgy and we need proper homoiconicity to uniformly handle code (tool calls) and data ("natural language") as token streams.

2. Actor semantics: for isolation, encapsulation and concurrency.

3. Object capabilities: injected references and no ambient authority. Capabality-based reflection/introspection is a clean way to discover interfaces and affordances.

"Code mode" or whatever is basically rediscovering this by hacking outward from LLM token streams, instead of from system design principles based on decades of computer science. It is the beginning of treating an LLM as a programming-language runtime participant (any takers for eval/apply?) rather than as a text/token generator with the harness as an ad-hoc interpreter.

If existing implementations of code mode don't already support all this, I anticipate they will keep piling on hacks till they get to this point.

----

I think it was Dan Ingalls who said "An operating system is a collection of things that don't fit into a language. There shouldn't be one.". I see the same for harnesses -- they're awkward middle children which fit neither in an LLM nor in the programming environment.

Maybe the answer is to partner LLMs with Common Lisp or Scheme fibers / Spritely Goblins or Erlang BEAM and be done!

Re:Beam: Reflection's 501B open-weight model on Tuesday October 06, 2026 @03:22AM (#49975303)
Yes -- because they're late to the party (high performing open weights models have been a thing for a couple of years now), and therefore will be compared with all the other open-weights model providers they are competing against.

It's not just that they are doing users a favor with weights; they are just as much seeking favors with attention and usage (in a crowded market!).

This is a motte & bailey moment. Parent comment stated something much sharper, that I responded to:

> I do not understand how you can see what has happened in the last 3 years and say "it will not get us there" no matter what "there" is.

--

Your statement is something much weaker, and I would still question what exactly "general" means when AI capabilities are commonly accepted to be so "jagged".

Re:What Meta Got Right with Muse on Sunday October 04, 2026 @03:42PM (#49957111)
> requires you to be way more flexible in your assumptions.

This is what happens if you try to read the data like gospel without having a mental model to interpret it... in other words, critical thinking.

Chatbots are a failure because chat capabilities have sucked for most of the past decade and chatbots weren't really capable enough to do anything meaningful. Not because chat is fundamentally bad. Similarly with auto-router.

Also, if you want to "cross the chasm" you cannot measure reactions from current AI users (early adopters) and extrapolate to the rest of the populace. Early adopters are paying you for tokens and try to wieid them like a surgical tool; across the chasm the rest really don't want to know anything about "tokens" or models tiers or "thinking level".

> 4 years ago, a program that could [...] we would have called it AGI

If you had told someone in the 1800s that a machine could instantly multiply 100 digit numbers, that would have been considered dazzlingly intelligent. And yet we are not that dazzled by our calculators today (despite how useful they might be!).

Re:Make Tmux the OS on Saturday October 03, 2026 @02:52AM (#49941938)
Interesting and expansive post about what the modern desktop experience should be like, and most of it has nothing to do with Tmux except if you squint in some very particular way.
Re:DeepSeek Harness Desktop for macOS and Windows on Friday October 02, 2026 @02:27PM (#49936851)
Exciting -- looking forward to trying it out!
Re:DeepSeek Harness Desktop for macOS and Windows on Friday October 02, 2026 @12:54AM (#49929964)
This page doesn't emphasize the cordis architecture [1], but that's the most exciting thing about this -- not just yet another harness. It has the potential to make this into something like the emacs of harnesses! I think this might be particularly potent for long-running agents.

[1] https://arxiv.org/abs/2608.25512

Re:Functional Ultrasound Imaging from Scratch on Wednesday September 30, 2026 @11:23PM (#49917352)
Merge labs (previously Forest Neurotech) is starting with people who have a certain surgery that needs excising a window in the skull -- and using that as an acoustic window. And in parallel hoping to figure out sufficiently good imaging across the skull for the general user.

There was also an exciting fUS imaging demo from Aleph neuro a few months ago.

Older »