frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Systematically generating tests that would have caught Anthropic's top‑K bug

https://theorem.dev/blog/anthropic-bug-test/
22•jasongross•2d ago

Comments

ludovicianul•1h ago
Fuzzing as a concept is heavily underused in routine testing. People will usually focus on positive flows and some obvious/typical negative ones. But it's almost impossible to have the time to write exhaustive testing to cover all negative and boundary scenarios. But the good news is, you don't actually have to. There are so many tools now that can almost exhaustively generate tests for you at all levels. The bad news, they are not so widely used.
bonoboTP•35m ago
Recently asked Claude Code how to do more thorough tests and described how I imagine it and it set up Hypothesis and mutmut testing. The latter is quite cool, it introduces bugs in the code like swapping values and relational operators and checks if any test catches the bug. If not, your tests are probably not thorough enough. Better than just line coverage checks.
moron4hire•30m ago
Would you call it a K-top Defect Hunter?

Servo 2025 Stats

https://blogs.igalia.com/mrego/servo-2025-stats/
51•todsacerdoti•42m ago•5 comments

There's a ridiculous amount of tech in a disposable vape

https://blog.jgc.org/2026/01/theres-ridiculous-amount-of-tech-in.html
480•abnercoimbre•1d ago•412 comments

I Love You, Redis, but I'm Leaving You for SolidQueue

https://www.simplethread.com/redis-solidqueue/
117•amalinovic•3h ago•47 comments

I Hate GitHub Actions with Passion

https://xlii.space/eng/i-hate-github-actions-with-passion/
27•xlii•2h ago•23 comments

Show HN: Tiny FOSS Compass and Navigation App (<2MB)

https://github.com/CompassMB/MBCompass
31•nativeforks•1h ago•15 comments

1000 Blank White Cards

https://en.wikipedia.org/wiki/1000_Blank_White_Cards
217•eieio•9h ago•37 comments

Lago (Open-Source Billing) is hiring across teams and geos

1•Rafsark•31m ago

ASCII Clouds

https://caidan.dev/portfolio/ascii_clouds/
228•majkinetor•10h ago•39 comments

Systematically generating tests that would have caught Anthropic's top‑K bug

https://theorem.dev/blog/anthropic-bug-test/
22•jasongross•2d ago•3 comments

A 40-line fix eliminated a 400x performance gap

https://questdb.com/blog/jvm-current-thread-user-time/
290•bluestreak•13h ago•62 comments

Every GitHub object has two IDs

https://www.greptile.com/blog/github-ids
261•dakshgupta•21h ago•64 comments

Putting the "You" in CPU (2023)

https://cpu.land/
57•vinhnx•4d ago•6 comments

Show HN: OSS AI agent that indexes and searches the Epstein files

https://epstein.trynia.ai/
116•jellyotsiro•11h ago•40 comments

Show HN: Seapie – a Python debugger where breakpoints drop into a REPL

https://github.com/hirsimaki-markus/seapie
11•markushirsimaki•1d ago•7 comments

The Gleam Programming Language

https://gleam.run/
163•Alupis•10h ago•89 comments

System Programming in Linux: A Hands-On Introduction "Demo" Programs

https://github.com/stewartweiss/intro-linux-sys-prog
10•teleforce•2h ago•0 comments

The truth behind the 2026 J.P. Morgan Healthcare Conference

https://www.owlposting.com/p/the-truth-behind-the-2026-jp-morgan
253•abhishaike•18h ago•54 comments

No management needed: anti-patterns in early-stage engineering teams

https://www.ablg.io/blog/no-management-needed
219•tonioab•18h ago•229 comments

Is Rust faster than C?

https://steveklabnik.com/writing/is-rust-faster-than-c/
3•vincentchau•3d ago•0 comments

vLLM large scale serving: DeepSeek 2.2k tok/s/h200 with wide-ep

https://blog.vllm.ai/2025/12/17/large-scale-serving.html
117•robertnishihara•20h ago•38 comments

UK secures record supply of offshore wind projects

https://www.bbc.co.uk/news/articles/cn9zyx150xdo
30•ljf•1h ago•36 comments

Show HN: 1D-Pong Game at 39C3

https://github.com/ogermer/1d-pong
43•oger•2d ago•9 comments

The $LANG Programming Language

222•dang•12h ago•42 comments

Are two heads better than one?

https://eieio.games/blog/two-heads-arent-better-than-one/
176•evakhoury•20h ago•55 comments

The Emacs Widget Library: A Critique and Case Study

https://www.d12frosted.io/posts/2025-11-26-emacs-widget-library
83•whacked_new•2d ago•29 comments

Show HN: The Tsonic Programming Language

https://tsonic.org
38•jeswin•19h ago•9 comments

April 9, 1940 a Dish Best Served Cold

https://todayinhistory.blog/2021/04/09/april-9-1940-a-dish-best-served-cold/
55•vinnyglennon•4d ago•5 comments

Show HN: Cachekit – High performance caching policies library in Rust

https://github.com/OxidizeLabs/cachekit
41•failsafe•10h ago•7 comments

The Tulip Creative Computer

https://github.com/shorepine/tulipcc
222•apitman•19h ago•53 comments

AI generated music barred from Bandcamp

https://old.reddit.com/r/BandCamp/comments/1qbw8ba/ai_generated_music_on_bandcamp/
835•cdrnsf•18h ago•602 comments