HNHacker News
TopNewBestAskShowJobs

stared

14,247 karma · joined September 2, 2012

A curious being, doctor of sorcery. Posts, projects & resume at: https://p.migdal.pl/

Now: benchmarking AI at: https://quesma.com/blog/

Previously: co-founder & CTO at https://quantumflytrap.com/

submissionscomments
stared··on Facebook now charging to post more than 2 links a month
It has been disincentivising links for quite some time, so more opinions and fluff, fewer quality posts and links to external materials.
stared··on Do dentists know what they're doing?
Here we know that software engineers, and entrepreneurs, vary greatly by their skill, knowledge and motivation.

Why do we expect that for other professions it works differently?

stared··on I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
I fully agree, thank you for this warning.

How Opus 5.5 imagines these cities is a question for Opus. The real experience is how we imagine - and I believe there are no two people who have exactly the same mental image of an invisible city.

stared··on “Math 2.0” will need to value mathematical progress more holistically
Pure mathematics, in my view, is not science, not craft - it is art.

AI, however powerful, is a tool, only as important as the amount it helps mathematicians. Creating mathematics without human understanding is as sound as mass producing copies of Michelangelo David.

“Mathematics, rightly viewed, possesses not only truth, but supreme beauty — a beauty cold and austere, like that of sculpture [...] yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.” - Bertrand Russell, "From The Study of Mathematics" (1902)

“A mathematician, like a painter or a poet, is a maker of patterns. [...] The mathematician's patterns, like the painter's or the poet's, must be beautiful; the ideas, like the colours or the words, must fit together in a harmonious way. Beauty is the first test: there is no permanent place in the world for ugly mathematics.” - G. H. Hardy, "A Mathematician's Apology" (1940)

stared··on I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
Interactive demo: https://p.migdal.pl/invisible-cities-opus-5.5/

Source code: https://github.com/stared/invisible-cities-opus-5.5

stared··on “Math 2.0” will need to value mathematical progress more holistically
It is surprisingly similar to "Catching crumbs from the table" by Ted Chiang, a sci-fi perspective published in Nature in 2000, https://www.nature.com/articles/35014679
stared··on Using real shadows to make a video game
Artist's website: https://www.teekenng.com/

And a write-up: https://80.lv/articles/artist-turns-bedroom-into-interactive...

stared··on Navier–Stokes Lost in Translation
You can. Not only the code is there, but also an interactive editor.
stared··on Navier–Stokes Lost in Translation
For a refreshment of what is Navier-Stokes in a few words: https://p.migdal.pl/equations-explained-colorfully/#navier-s...
stared··on Don't Use AI to Write
My take is slightly different.

- Brainstorming with AI is fine, but it takes skill to use it as food for thought, rather than as a source of answers.

- Do NOT structure your blog post with AI. Once the structure is there, it is almost impossible to humanize it.

- Do NOT use it for writing a draft. Same as above. A few times I did it, and ended up rewriting from scratch. Unsloppification is hard.

- AI for proofreading is wonderful. But I always prompt with "only fix grammar mistakes, do not change the style" and actually look at all changes. If not kept in check, it too eagerly homogenizes style.

stared··on One-Electron Universe
In the line, I recommend „The Egg” by Andy Weir https://www.galactanet.com/oneoff/theegg_mod.html
stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
If you like, you can run these tests yourself as well. It is ~$500 per a single combination, and assuming no failed runs.
stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
Nope.

If you would like to do so, it is easy (and orders of magnitude cheaper) than running benchmarks.

stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
Before this experiment I tried to run KLD on various context lengths to see a quantization-dependent deterioration.

On wikitext2 there was no difference. I concluded these have no long-term dependency and I should use Linux kernel. Still, the same.

So yes, KLD depends on the dataset. Still, it does not measure what any e2e test does.

stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
A single result is binary. All we get from a run is which tasks were solved, which weren’t.
stared··on Show HN: LLM Attention Visualization
Nice! Sometimes the simplest approaches work the best.
stared··on Show HN: LLM Attention Visualization
I am curious what's the actual formula.

I mean, there so many headers and layers, it is tricky to make a choice that will resonate with our intuition . Is it some weighted average? Or maybe ablation test?

stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
Point taken, but there is a much more fundamental issue with it - and precisely why I wrote "very conservative".

It is a different problem if we pick two sets from the same data distribution, A and B, and first we have a score on A, then on B. Here we re-run on precisely the same set of Terminal Bench 2.1 problems. It may be that results are so random between runs that each single task has the same probability in a Bernoulli distribution. But more likely, many problems are easy (i.e. each run will solve them consistently), many are too hard (i.e. no run is going to solve them) and only a fraction is somehow in between.

Maybe there is some good trick to find a proper distribution, but to my knowledge, we would need to run it at least two times on TB2.1 to get any more educated estimates. That said, I am open to new ideas.

That said, I consider frequentist probability a dirty trick, and that Bayesian is the proper way of doing things (vide David J.C. MacKay" Information Theory, Inference, and Learning Algorithms" and Cam Davidson-Pilon "Probabilistic Programming & Bayesian Methods for Hackers" https://www.inference.org.uk/itprnn/book.pdf, https://dataorigami.net/Probabilistic-Programming-and-Bayesi...).

stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
I wrote this blog post myself, with AI for proofreading (typos and grammar, but not style). There were a few singular sentences for which I had a writer's block, but not much besides that.

So, if there are irrelevant remarks, these are mine. :)

Charts are vibe-coded - but it took quite a bit of hand-holding to get something decent. And the logarithmic scale for model size is my conscious choice (against Claude's initial ideas).

stared··on Show HN: Interactive Tree of Life
Nice! One thing I am missing is an easy „go up” a taxonomy group.
stared··on Scientists observe Einstein's gravity in the quantum world
Is it a subtle effect that cannot be explained by Newtonian gravity (i.e. a different potential affecting, V(z) in the Hamiltonian)?
stared··on Ask HN: Would you read a statistics textbook?
Don’t ask. Start from a few blog posts and see traction, read feedback.

You will also see hos long it takes - and what is thd difference between an idea and making it real.

stared··on Does your landing page look generated?
An interesting catch!

Maybe it suffices to make this pre-title "the ai-design-slop fingerprint · defs 2026.09" lowercase.

In any case, from what I see what is AI aesthetics on the website: pre-title and horizontal lines.

stared··on Site Is Closed on Sundays
With Internet, we live in an always-on culture.

It contrasts with times before, when we actually had to wait for a monthly magazine, and even if we wanted to watch a movie, it was aired (say) the next Tue 7PM.

While now we have all convenience, there is no anticipation - or rest.

stared··on Artificial Analysis Intelligence Index v4.2
While I like this index, calling in "Intelligence" might be confusing - it is a mix of coding and knowledge.

Compare and contrast with ARC-AGI, BabaIsBench (https://quesma.com/benchmarks/babaisbench/), or MazeBench (https://mazebench.com/blog?post=introducing-mazebench).

In particular, in one Baba Is Bench post (https://quesma.com/blog/baba-is-aug-2026/), while quoting a Pareto frontier chart from AA, I noted:

> Intelligence Index vs. Cost per Intelligence Index Task from Artificial Analysis. Note that it is based on score of benchmarks like Terminal-Bench v2.1, SciCode, Humanity’s Last Exam, GPQA Diamond - not necessarily fluid intelligence like in abstract puzzle games of ARC-AGI-3 or Baba is You.

stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
Compare and contrast with tests on Qwen3.6 27B:

* how does quantization hurts pelican-drawing skills (https://quesma.com/blog/qwen-quantization-quality/)

* how does it hurt knowledge (https://quesma.com/blog/quantization-hurts-knowledge/)

stared··on Mushroom hunting with LLMs: what can go wrong?
Repo for reproducible science: https://github.com/stared/mushroom-hunting-llm-bench
stared··on Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
These was some code budget there.

But as from seeing various runs, errors bars are gross overestimation (as not "the same test", but "if we have different tasks from the same sample").

stared··on GLM-5.3-Flash
Qwen3.8 27B (which I adore) is nowhere near Opus 4.8 at puzzle games testing fluid intelligence, https://quesma.com/blog/baba-is-aug-2026/
stared··on Cursor launches Origin, GitHub alternative
Centralizations were prerequisites to have nice integrations. Yet, what used to be a precious plugin now (more than often) is a 15 min vibe coding warmup.
Page 1 of 34Next →