HNHacker News
TopNewBestAskShowJobs

mrbnprck

18 karma · joined October 23, 2025

submissionscomments
mrbnprck··on ExplainDB: A Database System Built for Understandability
Finally a readable README!
mrbnprck··on GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
thats why pr size needs to stay scoped
mrbnprck··on Revolut confirms customer data breach through fake government requests
Actually you do have to store those, as proof (but MUST be destroyed after 10 years). This is very typical in AML (Anti Money Laundering) laws.

Good thing there's, at least EU wide, EUDI (EU Digital Identity Wallet) around the corner which legally allows using cryptographic proofs instead of just storing as much data as possible of the user.

This addresses exactly this issue of having to disclose this amount of information solely as proof.

mrbnprck··on Show HN: GET Together – A social network where you don't need POST to Post
true, its much rather a "play out"
mrbnprck··on GitHub Has an Availability Problem. Is It Time to Look Elsewhere?
Feels a bit like the eletricity outage in spain where people had a brief moment where they actually got off the internet phone and enjoyed real-life.
mrbnprck··on DeepSeek V4 Pro 0813
Take a look at openrouter there are a few alternative deepseek model providers that follow an even cheaper pricing strategy.

Funnily even if deepseek themselves increase price 2-3x they are still more affordable.

mrbnprck··on 2x, not 10x: coding with LLMs in 2026
not to forget the cognitive strain of the constant back and forth between LLM and you.

One challenge is when knowing how the code should look like, the LLM solution always looks weird, and one tries to maunally steer against it, so accepting a bit of "good enough" is unavoidable to gain some productivity

mrbnprck··on SpecForge – A Platform for Authoring Formal Specifications
Tend to adopt RFC standards for specs, works pretty well. My general rule of thumb is describe scope/concerns/interfaces at a high level, details at any wanted depth. That makes the LLM generated code reasonably stable and bounds it to a clearly defined boundary. Whatever ambiguity is left in details is then treated "expectedly unstable".
mrbnprck··on Claude: Elevated errors across all models
we all do
mrbnprck··on It's not empowering to hand off the details
There already are use-cases for automatic software deployment where monitoring is ingested back to the AI, which then judges to rollback/fix a feature if certain metrics spike/user complaints arive.

If you had the data basis (user reports, trends, ...) you could let the AI decide upon that what to build.

mrbnprck··on The new rules of context engineering for Claude 5 generation models
You mean RFC? ;)
mrbnprck··on Why Software Factories Fail (or: harness engineering is not enough)
I'm writing the specs by hand.

The LLM solely helps with research and retaining the normative document layout (RFC 7322).

Since the spec grounds the underlying implementation I have to fully understand it, writing the spec manually prevents infecting the spec with the typical LLM specification slop.

When writing the specs, the goal is to systematically keep the right balance between scope and depth:

- Scope takes the most effort because it's the only thing preventing the model from escaping an intended boundary, that includes things like stable constraints/interfaces/data models

- Depth is something where I can tolerate "non-normative" interpretations by the LLM. Unless I need a stable implementation, I can decide how much I manually invest into depth vs. letting the model figure the "good enough" solution.

Since the scope/boundaries are explicitly set, the internals are pretty encapsulated and the model comparing an implementation with the spec can identify the "non-normative" pieces and communicate those to me. Then I can decide between "good enough" or to refine these non-normative implementations and make them normative.

From my various experiments the spec vs. code ratio is roughly 1/8.

mrbnprck··on Why Software Factories Fail (or: harness engineering is not enough)
Isn't maintainability mostly about applying basic engineering principles e.g. separation of concerns, single responsibility, dependency inversion, open-closed etc..? If these topics are addressed in the normative representation, and correctly translated by an LLM into code (especially by slicing up the specifications into measurable outcomes to set the intended foundation), then future change e.g. maintainability becomes essentially easy as well, no?

Historically I know that the majority maintenance problems occur from slow continuous evolution of a system that it initially was never designed for. And the only way to address this was continuous system design.

mrbnprck··on Why Software Factories Fail (or: harness engineering is not enough)
Yes, actually that's what I'd had argued a few years ago as well.

It turns out that there are now a few more people that want to get their hands on building software, that don't necessarily understand code, but do have a fundamental idea of system design / requirements.

As you said code has always been a much more explicit representation of those specs, yet arguably introduces lots of noise, necessary to make the program compilable.

Us devs already had the obligation of writing technical documentation for non-technical people, just not at an explicit depth. From an efficiency PoV making that documentation more explicit is much cheaper than manually writing the compilable code. Hurts to say but AI got pretty good with the latter.

mrbnprck··on Why Software Factories Fail (or: harness engineering is not enough)
I've recently started experimenting with grounding LLM driven implementation/verification on RFC based normative specifications, to avoid having to manually steer the LLM during implementation and dealing with reviewing sloppy pull requests.

It works quite well, as it puts your entire focus on writing (hopefully) unambiguous specifications vs. having to discuss unwanted changes with an LLM during code-review. One flaw is that this only works great if you know exactly what you want, which is not always the case.

mrbnprck··on EEG shows brain can simultaneous encode two speech streams
Humans are born with two ears anyways, right?
mrbnprck··on Apple Silicon Exec Explains Mac Mini AI Demand and On-Device Future
At the same time Apple made remotely hosting a Mac much easier.
mrbnprck··on Show HN: Davit, a Apple Containers UI
Looks great, does it also come with a menubar integration?
mrbnprck··on Show HN: What if your personal website was ChatGPT?
Fixed :) Turned out to be a race condition where the groq inference task completed before the sse client could subscribe to that inference, and internally the sse connection couldn't be used to fetch already completed inferences.
mrbnprck··on Show HN: What if your personal website was ChatGPT?
lol
mrbnprck··on Show HN: What if your personal website was ChatGPT?
sad
mrbnprck··on Show HN: What if your personal website was ChatGPT?
You can check https://antonlorani.de for the actual homepage, which design-wise isn't as much simplified.
mrbnprck··on Show HN: What if your personal website was ChatGPT?
Thanks for trying out!

I haven't caught that back button bug yet, thanks for letting me know.

The search engines/crawler aspect is just a personal preference, less a "nice side effect". The chat interface happens to fit that preference better.

mrbnprck··on 60% Fable cost cut by converting code to images and having the model OCR it
Documents are processed as tokens as well, unless its bitmap is ocr'd.

Images tho are natively compatible with Multi-Modal LLMs, so theres no image->text translation layer in between. It's that the unit of cost is different (e.g. "visual token" vs text token)

mrbnprck··on Founding a company in Germany: €9600, 152 days and I still can't send an invoice
A notary has a legal duty, and is personally liable in case of failure to fulfill those. But generally that risk of failure is pretty low.
mrbnprck··on Stackit and neuland.ai aim to provide LLMs in European data centers
> open-source models with up to 120 billion parameters

Sad, 120b models are definetely feasible to self-host. I'd be more interested in cloud providers (especially one with computational resources like the Schwartz group) hosting the larger 500B+ models. Probably just too expensive/unsustainable if one could 5x fold the cost by serving smaller models solving the needs of the 90% customer.

mrbnprck··on Vibe coding and agentic engineering are getting closer than I'd like
Its still posssible to run any LLM in a loop and optimize for LoC while preserving the wanted outcome.
mrbnprck··on Specsmaxxing – On overcoming AI psychosis, and why I write specs in YAML
Could it be that slop PRs are less frequently rejected/commented due to (unfortunate) increased acceptance of it? As it turns out when maxxing AI on leaf parts of a program, the quality of the code doesn't matter that much anymore when compared to building the fundament.
mrbnprck··on Less human AI agents, please
Arguably its only a matter of making lsp features available to the coding agent via tool calls (CLI, MCP) to prevent the model start doing such changes "manually" but rather use the deterministic tools.
mrbnprck··on John Ternus to become Apple CEO
Age, possibly. Ternus has 6 more years until retirement than Federighi.
Page 1 of 2Next →