frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Great Spectations, the Spec Checker

https://greatspectations.com
1•RustyRussell•56m ago
I've worked on several projects writing and implementing specifications (particularly CLN): I've found the specs I write are much better when I quote them in the implementation, so I can see what implementers need to know. Also, when specs change in development, it's almost trivial to find where to update the code.

This project is a formalization of my various hacky scripts which ensure the requirements are accurately quoted, and give coverage if any are missing. Not a major Opus, but I hope someone else finds it useful!

Comments

kooi•51m ago
Address not found.

Reimagine the World with Nano Banana in Google Earth

https://blog.google/products-and-platforms/products/earth/nano-banana-google-earth-image-generation/
1•soheilpro•2m ago•0 comments

Show HN: Real Estate Agent Email List – 1.1M+ US Realtor Contacts

https://www.usagentleads.com
1•qwikhost•3m ago•0 comments

How the HSA Became the Top%'s Wealth-Building Loophole

https://insurancedimes.com/2026/07/27/how-the-hsa-became-the-top-1-percents-ultimate-wealth-build...
1•crookedroad44•3m ago•0 comments

LinkedIn adds a 'seems like AI slop' button

https://www.theverge.com/ai-artificial-intelligence/973384/linkedin-seems-like-ai-slop-button
2•cwnyth•4m ago•0 comments

Refinement types for Rust

https://github.com/flux-rs/flux/
1•AsyncBanana•5m ago•0 comments

What did the Romans ever do for Christianity?

https://www.economist.com/culture/2026/07/23/what-did-the-romans-ever-do-for-christianity
2•andsoitis•11m ago•0 comments

Can LLMs have an "accent" like second language speakers?

1•hmokiguess•11m ago•0 comments

Agentic AI at Two Different Scales: Nanbeige4.2-3B and Laguna S2.1

https://kaitchup.substack.com/p/agentic-ai-at-two-different-scales
1•gmays•12m ago•0 comments

America's startup boom offers hope for the future of work

https://www.economist.com/leaders/2026/07/30/americas-startup-boom-offers-hope-for-the-future-of-...
2•andsoitis•12m ago•0 comments

MAME 0.289

https://www.mamedev.org/?p=565
4•chungy•16m ago•0 comments

Anthropic says Claude hacked three companies during tests

https://www.reuters.com/legal/litigation/anthropic-says-claude-ai-models-accessed-three-companies...
7•nerder92•24m ago•2 comments

DoC Announces LoIs With 7 Companies for $874M to Accelerate Semiconductor R&D

https://www.nist.gov/news-events/news/2026/07/department-commerce-announces-letters-intent-7-comp...
2•petethomas•27m ago•0 comments

Create your own startup in minutes

https://moneion.com
1•Developer_2•29m ago•2 comments

Why do OpenAI's GPT-2 weights beat mine? Part three: testing overtraining

https://www.gilesthomas.com/2026/07/why-do-openai-gpt2-weights-beat-mine-3-overtraining
1•gpjt•31m ago•0 comments

Decimen Optical Transfer: fountain-coded QR file transfer

https://github.com/bashalarmistalt/decimen-optical-transfer/
1•thunderbong•34m ago•0 comments

The Automation Mindset: Why AI Rewards Builders and Sidelines Everyone Else

https://digitalmagazines.online/articles/the-automation-mindset-why-ai-rewards-builders
1•FeelingCreative•34m ago•0 comments

What Every Programmer Should Know About Twists of Elliptic Curves

https://leetarxiv.substack.com/p/twists-of-elliptic-curves
2•birdculture•34m ago•0 comments

US cites 'unauthorized travel' to end DACA status for mother deported to Mexico

https://apnews.com/article/daca-immigration-texas-uscis-09071c1707e6e1d385ca503c9c75bc6f
6•petethomas•36m ago•1 comments

Economist Style Plugins for Claude Code

https://github.com/TAJD/economist-style-guide-plugin
1•handfuloflight•37m ago•1 comments

Judge Voices Doubt US Has Justified Its Ban on Anthropic AI

https://www.bloomberg.com/news/articles/2026-07-30/judge-voices-doubt-us-has-justified-its-ban-on...
5•sbulaev•41m ago•0 comments

Cursor Benchmark Partners

https://cursor.com/blog/benchmarkpartners
1•MehrdadKhnzd•46m ago•0 comments

Show HN: A VS Code extension buffers NPM updates to avoid supply chain attacks

https://marketplace.visualstudio.com/items?itemName=about14sheep.tinynpm
1•about14sheep•51m ago•0 comments

Anthropic AI Models Hacked Three Organizations During Tests

https://www.bloomberg.com/news/articles/2026-07-30/anthropic-s-ai-models-hacked-three-organizatio...
4•evo_9•54m ago•0 comments

Show HN: Great Spectations, the Spec Checker

https://greatspectations.com
1•RustyRussell•56m ago•1 comments

NeuronAI turns smart solutions into voice

https://neuronai.uz/en/
3•yutabek•1h ago•0 comments

We accidentally built an LLVM compiler for Jax

https://iza.ac/posts/2026/07/accidental-llvm-compiler-for-jax/
2•infinitewalk•1h ago•0 comments

ISS Mimic

https://iss-mimic.github.io/Mimic/dashboard.html
1•michaefe•1h ago•2 comments

The Religion of Speed

https://graybeard.ing/the-religion-of-speed/
3•MobiusHorizons•1h ago•2 comments

Premier league bans gambling sponsors

https://www.footyheadlines.com/2646571793/betting-ban-takes-effect-no-more-gambling-sponsors-in-t...
3•paoliniluis•1h ago•1 comments

Save and restore may be coming to GNOME

https://lwn.net/Articles/1083750/
1•signa11•1h ago•0 comments