frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

I've factored the RSA keys of a Certificate Authority from the 90s

https://mcpherrin.ca/2026/09/07/rsa.html
203•ahlCVA•3h ago•37 comments

How well do agents use test/verification techniques?

https://danluu.com/agentic-testing/
28•vinhnx•2h ago•4 comments

TALA Is Open-Source

https://d2lang.com/blog/tala-is-open-source/
143•alixanderwang•5h ago•10 comments

Arm Mali G2-Ultra NX GPU: desktop-class mobile gameplay with AI-native graphics

https://newsroom.arm.com/blog/arm-mali-g2-ultra-nx-ai-native-mobile-graphics
13•Re-Tails•1h ago•4 comments

We have a year to fix security everywhere

https://jyn.dev/a-year-to-fix-security/
10•saikatsg•20m ago•1 comments

Jellyfin 12.0

https://jellyfin.org/posts/jellyfin-release-12.0/
205•0xC0ncord•3h ago•81 comments

Watch Los Angeles get built, one building at a time (1880–2026)

https://lax-skyline.parcelscope.net/
259•rustywasm•10h ago•133 comments

Leaving VMware just got harder after Broadcom pulled VDDK downloads

https://www.virtualizationhowto.com/2026/09/leaving-vmware-just-got-harder-after-broadcom-pulled-...
153•josephcsible•8h ago•61 comments

I tested 10 model/harness combinations on the same Three.js task

https://alvins82.github.io/hangar-harness-model-tests/
9•alvins82•1h ago•3 comments

John Margolies' photographs of roadside America

https://publicdomainreview.org/collection/john-margolies-photographs-of-roadside-america/
59•duck•4d ago•14 comments

Extinct Tasmanian tiger's 'snap' unlike any living mammal's bite

https://www.cnn.com/2026/09/02/science/tasmanian-tiger-skull-bite-force
10•cisc•4d ago•0 comments

The VMs Powering Mobile Agents (Instinct, Claude Code)

https://rohanadwankar.github.io/posts/platforms.html
3•RohanAdwankar•31m ago•1 comments

WeatherNext 3

https://deepmind.google/science/weathernext/
287•matthieu_bl•4d ago•65 comments

Scientists observe Einstein's gravity in the quantum world

https://www.ox.ac.uk/news/2026-08-28-scientists-observe-einsteins-gravity-in-the-quantum-world
186•mudil•3d ago•44 comments

Trusting-Trust Attack against an Entire Linux Distribution

https://arxiv.org/abs/2607.24888
185•signa11•2d ago•40 comments

216M Spy TVs – The LG Smart TV Problem [video]

https://www.youtube.com/watch?v=6IFVTcM28KA
648•treve•1d ago•852 comments

Some more thoughts on random_page_cost

https://vondra.me/posts/some-more-thoughts-on-random-page-cost/
15•blueshoess•3d ago•0 comments

Colorlight 5A-75B: A dive into a popular low-cost ECP5 (FPGA) development board

https://blog.yosyshq.com/p/colorlight-part-1/
22•gregsadetsky•3d ago•6 comments

Show HN: Jigsaw Haiku

https://jigsawhaiku.com/
76•windowshopping•3d ago•27 comments

Show HN: Stuxnet – A reconstructed source code of the infamous cyber-weapon

https://github.com/Sadpainy/Stuxnet
139•CMDDestory•6h ago•45 comments

Show HN: NYC MapTap – Learn NYC neighborhoods

https://albertjoseph0.github.io/nyc-maptap/
8•abj908•2h ago•5 comments

Emacs Bedrock 2.0

https://lambdaland.org/posts/2026-09-06-bedrock-v2/
74•ashton314•8h ago•7 comments

Caltech Mathathon – first hackathon ever devoted to research level mathematics

https://mathathonchallenge.com/index.html
250•astroanax•19h ago•86 comments

Show HN: Interactive Tree of Life

https://ptree.org/
82•Lucent•4d ago•22 comments

This Month in Ladybird – August 2026

https://ladybird.org/newsletter/2026-08-31/
206•exploraz•3d ago•49 comments

Icy Moons Are Ocean Worlds

https://mceglowski.substack.com/p/icy-moons-are-ocean-worlds
146•worldvoyageur•1d ago•15 comments

Everything is free now, so why not a floating orb in my IDE

https://eighttrigrams.net/post/79
12•eighttrigrams•2d ago•4 comments

Finding a bug in Dummit and Foote's Abstract Algebra

https://kallus.org/blog/dummit_and_foote.html
76•evakhoury•3d ago•34 comments

Simple Is Not Small

https://jyn.dev/simple-is-not-the-same-as-small/
226•zdw•4d ago•67 comments

Keep Our Servers Running

https://blog.archive.org/2026/09/01/keep-our-servers-running-your-recurring-donation-goes-3x-this...
978•sonicrocketman•1d ago•253 comments
Open in hackernews

How well do agents use test/verification techniques?

https://danluu.com/agentic-testing/
27•vinhnx•2h ago

Comments

tomrod•22m ago
Timely. I'm also looking at this now, actually! We tend to throw benchmark after benchmark at systems, but miss that models are one part of the system. Harnesses are more than models and need tuning too, and in doing so there can be gains or loss of prior tested function as well.
vetronauta•16m ago
If I understood correctly, the author had the agent perform manual mutation testing (write code, write passing tests, manually change the code to see some tests fail, then revert the change), rather than automated mutation testing. Why not use a mutation-testing framework and consider the build failed if a certain percentage of mutations are not killed?

The article claims that the agents didn’t actually use TDD or mutation testing. While it’s possible for an agent to ignore the TDD procedure even when instructed to follow it, it can’t ignore a build failure.

siscia•4m ago
It is still early, but I find that this experiment makes little to no sense and it is barely useful.

The way you test code cannot (and should not) be decoupled by the way in which you architect the code itself.

80%+ of effective testing is not in the testing framework but in the code architecture.

The author doesn't mention how the code is being architected and managed.

For what it is worth, I found that forcing agents on DI/hexagonal architecture and forcing a trivial coverage check is quite useful and produce overall good enough code with relative little effort