frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Bleached corals thrive within days when touching healthy neighbour

https://www.nature.com/articles/d41586-026-03266-x
114•alkyon•20h ago•14 comments

Gold is now the top U.S. export

https://www.numismaticnews.net/gold-now-top-u-s-export
94•iamnothere•3h ago•39 comments

Source code of the Estonian online voting system

https://github.com/valimised/ivxv
72•theanonymousone•16h ago•43 comments

The Commodore 64 hardware simulator: break chips and pins, see the results

https://github.com/antirez/c64-hw-simulator
71•antirez•2d ago•12 comments

Furifont, a Japanese font that shows furigana

https://furifont.antfu.me/
147•plaguna•2d ago•30 comments

Making chicken transparent using Dorito dust

https://chillphysicsenjoyer.substack.com/p/making-chicken-transparent-using
199•crescit_eundo•6h ago•56 comments

Dam removals are bringing fish back across the northeastern United States

https://www.smithsonianmag.com/science-nature/dam-removals-are-bringing-fish-back-across-the-nort...
45•sohkamyung•20h ago•9 comments

DeepSeek-v4.1-Flash-1017

https://huggingface.co/deepseek-ai/DeepSeek-V4.1-Flash-1017
552•theykk•11h ago•499 comments

Development statistics for the 7.2 kernel

https://lwn.net/Articles/1088776/
104•farlight•3h ago•74 comments

Pele – Mermaid diagrams as themeable SVG

https://pele.run/
70•dchest•4h ago•10 comments

AI Can Write the Code. Who Verifies It?

https://mihaisplace.com/blog/ai-can-write-the-code-who-verifies-it
19•mmarvramm•1h ago•36 comments

I Became a Citizen of Japan

https://www.derekwessman.com/blog-1/natural
39•luu•2h ago•6 comments

Artie (YC S23) Is Hiring Enterprise AES and Senior Engineers

https://www.artie.com/careers
1•j-cheong•3h ago

tsc-ts: TypeScript written in TypeScript

https://github.com/vercel-labs/tsc-ts
35•tosh•3h ago•34 comments

OpenCode Hacked: User credentials leaked

https://twitter.com/opencode/status/2111516673953935833
300•pranshuchittora•2h ago•59 comments

Laser Fault Injection on a Budget: RP2350 Edition

https://courk.cc/rp2350-challenge-laser
6•gregsadetsky•2d ago•0 comments

Pattern Matching Beats Narrative Reasoning

https://blog.scottstevenson.net/p/pattern-matching-beats-narrative
13•tosh•1h ago•2 comments

Solar surpasses nuclear power globally for first time

https://www.pv-magazine.com/2026/09/29/solar-surpasses-nuclear-power-globally-for-first-time/
374•xbmcuser•6h ago•220 comments

Microsoft and CMU Team Up to Train Early Career Software Engineers

https://www.cs.cmu.edu/news/2026/microsoft-cmu-praise
9•azhenley•1h ago•3 comments

Show HN: High-quality duck audio synthesizer

https://celphase.github.io/duck-pond/
44•celphase•6h ago•10 comments

Vintage Cassettes: 1963-2010

http://vintagecassettes.com/
26•austinallegro•2d ago•2 comments

You could have invented transformers from memory

https://alexwang.ai/posts/associative-memory/
447•speckx•1d ago•106 comments

Rendering pretty sky in Around The World game

https://frozenfractal.com/blog/2026/10/12/around-the-world-34-a-pretty-sky/
102•ibobev•1d ago•6 comments

Show HN: Parin – A 2D game engine between raylib and Godot, written in Dlang

https://github.com/Kapendev/parin
16•Kapendev•1d ago•2 comments

A skeptic's first contact with Kubernetes (2024)

https://blog.davidv.dev/posts/first-contact-with-k8s/
44•pmoriarty•17h ago•5 comments

A Tudor life in the time of plague (2020)

https://www.historytoday.com/archive/history-matters/tudor-life-time-plague
41•pepys•3d ago•3 comments

Show HN: Esp32sim – Run ESP32 firmware in the browser

https://github.com/mikroverk/esp32sim
75•joakimeriksson•6h ago•10 comments

The future of programming (1982)

https://dl.acm.org/doi/10.1145/358453.358459
28•vismit2000•8h ago•5 comments

Show HN: Things to Do API

https://thingstodoapi.com/
21•invalidmonk•20h ago•3 comments

Show HN: Llmspeed – feel how fast a local LLM runs before you buy the hardware

https://llmspeed.dev/
216•albinstman•15h ago•70 comments
Open in hackernews

AI Can Write the Code. Who Verifies It?

https://mihaisplace.com/blog/ai-can-write-the-code-who-verifies-it
19•mmarvramm•1h ago

Comments

salawat•1h ago
Traditionally, that'd be a joint effort between a dedicated QA team, partially supported by the engineering team, that no one wants to pay for...
PradeetPatel•53m ago
Isn't that why there's such investment into code verification agents in the cicd pipeline?

If the future is agentic, human review will be core bottleneck that needs to be streamlined.

Jagerbizzle•52m ago
We’ve already stopped bothering with human reviews where I’m at.
polalavik•51m ago
you dont just get to ci/cd your way to nirvana. your ci/cd are only as good as your tests. your tests are only as good as the understanding of the tests. left to AI nobody knows what the code or the tests are doing they could just be hardcoding passes for all you know.
PradeetPatel•38m ago
Then you can get a verification agent to validate the quality and coverage of those tests.
egg1•26m ago
And when your users complain because you've left yourself with a pile of broken, unmaintainable slop?
PradeetPatel•19m ago
You are working on the incorrect assumption that AI generated code are automatically broken.

Often the maintenance of the code is also left to AI, human readability is a bonus.

augment_me•49m ago
I work at a hyperscalar and we just send it, if something breaks the model can just open a ticket and fix it automatically and write a new test. This is much cheaper than spending a bunch of money and stalling things with human CI/CD
ryandrake•28m ago
Whatever happened to the principle that finding a bug during design is best, finding it during development is a little worse, finding it during QA is even worse, and finding it in prod is the least acceptable?

"Let's break prod and fix it later" is a terrible attitude. It didn't start with LLMs but boy LLMs seem to be making it widespread. Would it kill developers to find problems before deployment?

majormajor•19m ago
Everybody is trying to copy the companies who have either already-established dominant market position or such compelling products that a bunch of paper-cut bugs don't really matter as long as they aren't catastrophically fucking people over.

Most people don't have that luxury, though.

treespace8•8m ago
How does the AI know something is broken?
aworks•4m ago
Depends. Back in the day, I worked on development tools for a commericial avionics flight management computer. The headcount for embedded hardware/software verification was greater than for development.

That was never true for software development in other domains I worked in i.e. Fortune 500 enterprise tools, compiler/design tools, networking, and semiconductor.

jhack•56m ago
The same people that verify what a compiler spits out?
layer8•55m ago
That would be compiler writers, which seems unlikely.
Jtarii•50m ago
Anyone can look at compiler output and verify its correctness.
nradov•40m ago
That's a big assumption. We don't even have formal specifications for many popular high level languages so there's nothing to verify against.
layer8•20m ago
The question wasn’t who can, but who does.
keel-control•39m ago
kek
geraneum•36m ago
This LLM as compiler analogy comes up here and there and it’s not hard to poke a hole in it.

If I generate a piece of code with LLM, and verify it to be correct; can you trust the LLM output, with the same prompt, in a new session based on my verification of my code, with the same certainty that you’d trust LLVM output for the same source code in a similar environment, ran independently? If no, why?

thisisthenewme•51m ago
AI:

- writes the code

- reviews the code

- designs it

- productizes it

- advertises it

- consumes it

simianwords•44m ago
I was talking to some friends about how CI/CD should be used in $current_year if you have fully committed to agents.

The industry is surprisingly slow to adapt and I'm writing two capabilities I'd like standardised in the industry.

I'd like standardisation of Agentic tests (I know, it sounds terrible) but these are tests that are broader and capture fuzzy intent of the system. Unit tests, e2e tests are focused and hard to maintain. An Agentic test (or a behaviour test) is where the agent understands the underlying behaviour intent and creates scenarios on the fly and executes them.

For example, I'd imagine that Claude Code goes through multiple Agentic tests where Claude itself tries to use the software using desktop control. This would capture a much broader range of bugs and its much easier to maintain because you only need the test to have a description of the intent and not all the hardcore plumbing required in e2e tests and unit tests (like mocks ughh).

I'd like a framework where I could simply have something like SCENARIOS.md and the framework runs the scenarios by spinning up the common environment required for the test. The industry is severely lacking in this kind of capability.

The next thing missing is Agentic deployment verification.

So image that you are deploying your service and you'd need to verify multiple metrics are in shape before you promote it to all servers. Traditionally this was done either by manual checks by the developer (tiresome and prone to errors) or just having alerts on a few key metrics (not extensive).

Concretely, I'd like the agent complete access to all my metrics and logs and have it make the judgement to either promote it or not promote it or notify the developer.

You'd argue this is not required, but in my experience, having this capability gives me a lot of sanity. There are greybeards who love to gatekeep their responsibilities and would argue something like "just have good unit tests!!11!!" but that's silly.

Why these are not becoming standard or even required practices is beyond me. I'm guessing that there's a cohort of developers whose mindset is risk aversion and they are not great at intuiting what an LLM is good at and what they are bad at. Unfortunately, a lot of arguments are just silly like "but hallucination", "but just have deterministic tests", "don't overcomplicate things".

SpicyLemonZest•30m ago
I just don't understand the premise. If we're fully committed to agents, what does it mean to talk about a test being hard to maintain or requiring hardcore plumbing? "Hey Claude, can you please mock out Component X and write a test suite capturing behaviors A, B, C of component Y. Thanks!" When in the process of typing this would I go "ughh", and why would I prefer to receive a SCENARIOS.md as output rather than a test suite?
ChicagoDave•44m ago
If you build guardrails on what is generated, verification is done at the same time as generation.
jpollock•22m ago
A lot of the risk is insider risk. A hacked credential, an annoyed engineer going to a competitor, etc.

Think embezzlement. Think someone with a political agenda who changes the homepage on the way out the door.

Having a single point of control is asking for trouble.

throwaw12•21m ago
what are the guardrails?

if there are many of them (e.g. unit tests), who generates those guardrails and who verifies their correctness?

if they are a few, then how can they cover vast product capability surface?

Madmallard•21m ago
it's bull-crap

Guard-rails are totally ineffective

caaqil•20m ago
What "guardrails" specifically ensure that? I assume you have a more interesting idea than simply suggesting more tests.
majormajor•20m ago
This is mathematically challenging as your system gets more complicated.

If you give up on trying to reduce the number of permutations you need to test, you're gonna also (even if not intentionally) give up on testing them.

We knew this, of course. But everything old is new again.

ryandrake•31m ago
Yea, maybe one day in the future, "the LLM prompts" will be considered the source code. But a lot has to happen first, namely the same prompt needs to deterministically create the same intermediate code. I wouldn't check in source code that compiles a different binary every time, and we should not treat prompts as source code while they produce different code.
majormajor•11m ago
How stable is the boundary of Component X?

At some point the agent rewrites Component X, or X+Y, and now many or all of your tests that hit it directly are invalid and need to be rewritten. That introduces bugs, you're changing the tests and code at the same time, so you don't know if the new ones cover the same stuff as the old one.

I won't be "fully committed to agents" re: test-writing until they reach the point where they demonstrate that they're taking contract and component boundary stability into account in placing their tests. Currently I still need to intervene.

And the tests I point it at doing instead of the ones it does by default are currently catching more would-be or latent bugs than ever before, because we're changing stuff so much faster.

Agents won't make you better, quality-wise, unless you were in a lower-percentile of code-writing ability. But they'll make you a lot faster at raw change count. How good or bad that is depends on (a) the situation the product is in and the tolerance for issues/regressions, (b) how much existing judgment and best practices you can wrangle into position on top of those changes to make the path of least resistance for the agent be smoother.

EagleEdge•28m ago
I agree. IN addition I think many businesses/industries are still not aware of the full capability of AI yet, that is why they still do things the old way. I have several friends who work as QA. When they describe the things they do daily, I tell myself quietly that AI agents can do all of them now.
majormajor•15m ago
This is all good stuff to verify of course, but why would you not continually add the useful agent-created tests and verifications into a deterministic suite to ensure consistency of coverage?

For instance:

>Traditionally this was done either by manual checks by the developer (tiresome and prone to errors) or just having alerts on a few key metrics (not extensive).

Ignores the places where it's always been important enough to have automated checks on many things.

layer8•18m ago
“Make no mistake.”
mhurron•18m ago
There's a reason verification and code review shouldn't be done by the person who wrote the code, and those reasons don't magically go away because a code generation tool did it instead.

Of course, since AI will be doing the writing and maintaining, there's really no reason for that any more. Let the AI do it all and wait for management to realize they're paying senior salaries to people that are little more than entering prompts, a job that really only requires someone to be able to read and write English.

dawnerd•16m ago
It’s amazing how much developers want to automate themselves out of a career.