Hacker News: esafak

New comment by esafak in "The Case Against Formal Verification, 50 Years Later"

esafak — Mon, 17 Aug 2026 02:34:15 +0000

See how easy it is once you have right terms ;)

New comment by esafak in "Anthropic revenue reportedly jumps to more than $11.5B in second quarter"

esafak — Sun, 16 Aug 2026 14:55:19 +0000

There is so much competition gouging is impossible. If somebody is willing to pay Anthropic's high prices let them. I don't.

New comment by esafak in "Europe's scorched landscapes seen from space after summer heatwaves"

esafak — Sat, 15 Aug 2026 19:41:57 +0000

Proposing that all of humanity drastically change its habits is a theoretical, not practical, solution.

New comment by esafak in "Europe's scorched landscapes seen from space after summer heatwaves"

esafak — Sat, 15 Aug 2026 19:06:33 +0000

AI is more energy efficient and faster than we are. If there is anything thinking needed to solve the problem, it's best to lean on AI.

New comment by esafak in "AI Isn't Outthinking Mathematicians. It's Out-Remembering Them"

esafak — Sat, 15 Aug 2026 19:04:22 +0000

He's saying he can connect the dots without their help.

New comment by esafak in "AI Isn't Outthinking Mathematicians. It's Out-Remembering Them"

esafak — Sat, 15 Aug 2026 19:03:33 +0000

Is it the AI's fault we can't understand? If the GUT is beyond human comprehension does it matter less? We don't apply this reasoning to other animals or even to less capable humans. Besides, the robots may want to ponder maths for their pleasure.

New comment by esafak in "Secondhand book sales are booming. Is it because of AI?"

esafak — Sat, 15 Aug 2026 15:36:34 +0000

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

New comment by esafak in "Every fucking website: 2026 edition"

esafak — Sat, 15 Aug 2026 15:01:17 +0000

Because this way does not run security scanners.

New comment by esafak in "The Color of White Light"

esafak — Sat, 15 Aug 2026 13:55:03 +0000

You basically measure the light source with a spectrophotometer, then perform the procedure in https://en.wikipedia.org/wiki/Color_rendering_index

Alternatively you buy a ColorChecker chart and measure the reflected light with a colorimeter.

Basically, the finer the color separation, wider the gamut, and whiter the light, the higher the CRI.

New comment by esafak in "The Color of White Light"

esafak — Sat, 15 Aug 2026 13:47:57 +0000

White light is that which is perceived as white, which means light sources whose color approximates a black body like the Sun.

New comment by esafak in "Show HN: Eigendrum - Draw any shape and hear what it sounds like as a drum"

esafak — Sat, 15 Aug 2026 01:53:44 +0000

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

New comment by esafak in "Stop sending me huge PRs; a rant"

esafak — Sat, 15 Aug 2026 00:03:58 +0000

A simple solution is to use a git hook that asks for confirmation if it is too big, with a suggestion to ask the user to have the agent split it up.

For OSS, my suggestion is to accept issues and specs do the implementation yourself. Warp.dev has a decent model of this in Github: https://github.com/warpdotdev/warp/blob/master/CONTRIBUTING....

New comment by esafak in "It's time to stop doing code reviews"

esafak — Fri, 14 Aug 2026 21:02:57 +0000

How are you going to know the AI did not build the wrong thing? Not entirely wrong, but they will make some bad decision without consulting you. Even with a spec, AIs find a way to do it. (Humans can do this too.)

New comment by esafak in "Anthropic Risk August 2026 [pdf]"

esafak — Fri, 14 Aug 2026 20:54:32 +0000

If they leave Steve Bannon with no time to develop thoughts, I'll tip one out for them.

New comment by esafak in "RayforceDB – a pure C analytics database with a Lisp-like syntax"

esafak — Fri, 14 Aug 2026 17:00:16 +0000

A graph analytics database? Could you talk about the motivation, and competition?

New comment by esafak in "DeepSeek API Pricing Update"

esafak — Fri, 14 Aug 2026 16:32:02 +0000

Microeconomists. It's just a question of demand modeling. If you want to learn here is the bible: https://www.sup.org/books/business/pricing-and-revenue-optim...

New comment by esafak in "How Organizations Use AI: Evidence from ChatGPT [pdf]"

esafak — Thu, 13 Aug 2026 21:49:24 +0000

This is a typical working paper (preprint) not white paper, for its field. You can wait for the journal publication.

New comment by esafak in "NP-Overrated"

esafak — Thu, 13 Aug 2026 21:07:05 +0000

Once you admit approximations the theoretical problem trades places with a more interesting one: what is the Pareto frontier of loss vs complexity?

New comment by esafak in "Launch HN: Bullet (YC S26) – A Faster Coding Agent"

esafak — Thu, 13 Aug 2026 18:38:00 +0000

I think this adds no value. I would stick to OpenCode.

Things I would value: high-fidelity visualization (bonus points for Figma-like visual edits), good tool use (don't force me to tell the model), token efficiency, resource efficiency. Things that are not problems:

* Routing: OpenCode predefines subagents that you can set to appropriate models. * Search: there are AST and embedding-based search MCPs. I use https://github.com/DeusData/codebase-memory-mcp

New comment by esafak in "Choose Boring Technology (2015)"

esafak — Thu, 13 Aug 2026 18:24:43 +0000

Do you mean alternatives, like Bun and Deno, or a future direction for itself?

edit: Node is boring, as far as the frontend goes -- a notoriously unstable ecosystem.