Hacker News Reader

luckystarron Investor-owned utilities charge 23% more for electricity than public providers

I think the problem in the machine is "investors" as they have primarily a capital based value evaluation.

Nothing else has value to them apart from capital and its "profitable" usage, so the fundamental reason why corporations even exist, to collectively bring about real world value takes a back seat.

luckystarron Bot traffic from Yandex

Does that include the disinformation infrastructure? If so, they should keep it on.

luckystarron Show HN: Procinsh – A 3D Linux process inspector

Over 20 years ago we had a doom in which your processes were represented by monsters and killing them sent the kill signal. :)

luckystarron Winning the visa lottery

They still have enough unskilled labor they can pull from the country side. They pack up the village and ship them (relocate the people) to a city in need of workers.

luckystarron Claude Code now reads AGENTS.md if there is no Claude.md

Finally. Now I can remove all my symlinks. :)

luckystarron EU chief opens door for Canada to become 'associate member'

Consider: the US is a (somewhat) greenfield project, while the EU is a brownfield refactoring.

These sorts of refactorings take time, even more so if done by "committee". The good thing is that explicit interfaces have to be created thereby (hopefully) increasing adaptability and resilience over time.

luckystarron An Accidental Blackboard

Why would one need a blackboard if one had a coordinating agent that would launch a sequence of builder agents that run either in parallel or in sequence depending on what the coordinating agent determined was safe?()
Honest question, I don't really get how this would improve my work flow.

() Spec and (variably coarse) implementation plan are already grounded in code reality and are commited.

luckystarron Claude Fable 5.1 and Claude Mythos 5.1

Translation: As the number of bugs per line of code is a constant depending on language and project, we will experience a world full of bugs now that LLMs generate so much more code. On the other hand, LLMs are so quick at fixing them, the number of bugs should go down.

I wonder which trend will be winning though. I personally won't bet on quality.

luckystarron Windows 95 released August 24, 1995

I noticed back in the days that my FidoNet point client software ran a lot faster (actually processing a lot of messages, so IO and CPU heavy) in Windows than in DOS, which was unintuitive to me back then.

luckystarron Quantum battery upends the rules of charging

What was the minimum required density you derived?

luckystarron Everything I own, owned

Not if the models are way cheaper. For many tasks you can do with DeepSeek Flash, and for more gnarly problems you switch to GLM or Kimi. But sure, if you do everything in large models like Kimi K3 or GLM it gets expensive quickly.

luckystarron Everything I own, owned

Until the manufacturers enter an arms race and copy a page out of the mobile hardware vendors book. But perhaps they'll do it badly and we've got a few more years.

luckystarron Asana cleared 5 years of engineering work in 2 weeks with Codex

Apparently the task was to remove dead weight. Haven't read what they replaced "Enzyme" with.

I did subagent based removal tasks a few times. These were the ones that required the least amount of input or thinking from me, because the requirements are abundantly clear. "Remove this part of the code without breaking any other part or by porting the tests done with it onto another system."

In these situations the code acts as the bookkeeping ledger itself, and coordination complexity is almost a no-brainer.

luckystarron Taste Is All That's Left

Taste is something you use to build the guardrails of AI over time and many paper cuts endured. Once you have a big enough set of these (call them rules) recorded, they become your development substrate. You narrow the paths the agents can take to arrive at a coherent system. If you don't do that, superficially it may look similar, but it's not and users will be able to tell.

luckystarron Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

Shameless plug for my project, which is a bit different.

I had the problem of crashing terminals due to OOM kills and wanted to switch to a more lightweight terminal. Also I had too many of them and couldn't find the right one any more.

I thought, why not build one yourself. The result:

https://github.com/ThePixelPilgrim/kabelsalat

It has GTK tabbed, (almost) transparently tmux-backed terminals (so quitting or crashing the app and starting it up again restores the state) in colored, named groups.

I recently added Wayland app embedding to run Chrome side by side with the terminal, local to each group, but this is still a bit shaky.

Would be nice if someone would test drive it and give me some feedback. :)

luckystarron Una GPS smart watch – Repairable, USB-C charging, developer-friendly

OS is listed as FreeRTOS.

luckystarron Many "serious" mathematicians are aghast

https://en.wikipedia.org/wiki/Lean_(proof_assistant)

Not sure about "bugs" in that area, but there is a lot of work going on by mathematicians in formalizing and checking ever more complex proofs using proof assistants.

These systems have been tested on very complex proofs already, but well... I'm not a mathematician, just a software engineer who accepted his new role in this "new thinking order".

luckystarron If AI Writes All the Code, What Do the Programmers Do?

And reading reports, endlessly.

luckystarron Many "serious" mathematicians are aghast

If these proofs were output by the AI in a format readable by a proof verification system, the verification step of publishing vanishes. Then it's only valuable to check if the stated intention actually matches the proof and isn't something completely different.

luckystarron OpenAI and Anthropic unite against open-weight AI risks to their bottom line

Then it's a case of trying to uphold the narrative?

luckystarron Bonsai 27B: A 27B-Class model that runs on a phone

Tried it on Android and got "!!!!!!!!!!!!!" for answers.

luckystarron We put a Redis server inside our runtime

Fair take if the user is the same person as the implementer.

If I sell software to my customers that reduces their operational complexity by me investing some code, then I don't consider it a loss.

luckystarron Show HN: Salt – a systems language with Z3 theorem proving in the compiler

Can be that I remembered it incorrectly, as it was in 2008, but here it is:

https://se-radio.net/2008/03/episode-88-the-singularity-rese...

luckystarron We put a Redis server inside our runtime

There is a difference between easy to set up and not having to set up anything. It's an improvement in operational UX.

luckystarron Europe's top court upholds Google's record $4.7B antitrust fine

It only changes behaviour if the risk of having to pay outweighs the benefit. And Google won't tell what they earned through that I guess.

luckystarron Show HN: Salt – a systems language with Z3 theorem proving in the compiler

I listened to an interview with one of the researchers. They had a component to verify "this binary will never allocate mem outside it's allowed area" and by statically verifying that they could enable high performance IPC. Also, that was the source for the decision to allow it to run on Ring 0. That's what stuck in my mind.

luckystarron Show HN: Salt – a systems language with Z3 theorem proving in the compiler

Sounds a bit like Microsoft's Singularity project, though I don't know if they even used a proof system to ensure a program couldn't do bad stuff(TM). After verification they just let the program run in Ring 0 (kernel space) of the CPU to skip even the performance hit of the cpu's isolation.

luckystarron Show HN: Salt – a systems language with Z3 theorem proving in the compiler

> [int overflows, etc.] No runtime cost when Z3 can prove it. Otherwise, the compiler emits a safe runtime check as fallback.

Super interesting approach. I see this eventually be integrated into future mainstream languages, though that may take a while. I suspect that the game programming crowd will try to use it first, due to the possibility to prove certain edge cases at compile time and skip the runtime cost. But perhaps this optimization drive is no longer the case because we've got bazillions of cores nowadays. I may be too old for these predictions. Cool nonetheless.

luckystarron Code duplication is far cheaper than the wrong abstraction (2016)

How I see this:

Refactoring code to reduce the number of lines is _compression_, akin to RLE coding.

Refactoring the code to lift conceptually coherent parts is _abstraction_.

Less compression, more abstraction. Then you're fine.

luckystarron Ask HN: What are you working on? (June 2026)

Over the last year or so I arrived at a (sort of) MQTT semantic broker that facilitates an actor architecture. It supports federation (including transitive, so proxies "just work"(TM)), transparent outbound buffering with disk overflow and encryption with the noise protocol. Building apps on top of it is a joy. Rust.

edit: ah, yes also a broker controlled component manager that can start, stop, monitor services over the mentioned broker. This is the carpet that brings the room together.