fp.
newest
Open in hackernews
Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure
https://www.galois.com/articles/formal-verification-benchmarks-are-the-key-to-ironclad-software-infrastructure
2
•
surprisetalk
•
1h ago
IBM says it can fit nearly 100B transistors on a chip
https://www.zdnet.com/education/computers-tech/ibm-claims-beyond-nanometer-milestone-with-sub-1-n...
1
•
CrankyBear
•
53s ago
•
0 comments
Why aren't there more AlphaFolds?
https://nkeivan.com/writing/why-no-more-alphafolds
1
•
nimski
•
1m ago
•
0 comments
Go Easy on the Feeds, Reddit
https://openrss.org/blog/go-easy-on-the-feeds-reddit
1
•
theanonymousone
•
1m ago
•
0 comments
The Agent Is Not the Scanner: Making AI Security Agents Better
https://shad0wmazt3r.github.io/ai-security
1
•
speckx
•
1m ago
•
0 comments
Cairn – Task tracker with no database; tasks are Markdown files in your repo
https://github.com/ShahramMebashar/cairn
1
•
talavoock
•
1m ago
•
0 comments
Democracy has a listening problem. These AI tools might help
https://www.fastcompany.com/91563889/democracy-has-a-listening-problem-these-ai-tools-could-actua...
1
•
johnshades
•
2m ago
•
0 comments
China's coal power on the rise again in '26, reversing first-in-a-decade decline
https://www.reuters.com/business/energy/chinas-coal-power-rise-again-2026-reversing-first-in-a-de...
2
•
littlexsparkee
•
3m ago
•
0 comments
Show HN: Pgrust, Postgres in Rust (passing 100% of Postgres regression tests)
https://github.com/malisper/pgrust
1
•
malisper
•
5m ago
•
0 comments
If you have a MSI EdgeXpert you haven't been getting firmware updates
https://forum-en.msi.com/index.php?threads/msi-edgexpert-firmware-updates.419482/
1
•
wtcross
•
6m ago
•
1 comments
The Benefits and Harms of Generative AI for Novice Programmers [video]
https://www.youtube.com/watch?v=HTUh0OO6Kmo
1
•
otterdude
•
7m ago
•
1 comments
Show HN: Traces – local-first ee tooling for part sourcing and schematic review
https://github.com/usetraces/traces
2
•
benstirling
•
7m ago
•
0 comments
The Digital Euro Is Coming: The EU's Convenience Paradox
https://medium.com/@wolfhf/the-digital-euro-is-coming-the-eus-convenience-paradox-874723b3f79f
1
•
lcubw
•
7m ago
•
0 comments
John-Chan
https://www.lowimpactfruit.com/p/john-chan
1
•
mnky9800n
•
8m ago
•
0 comments
UK professor says smearing yogurt on your windows can cool your home
https://fortune.com/2025/07/14/yogurt-on-windows-cool-home-ben-roberts-loughborough-university/
2
•
theanonymousone
•
10m ago
•
0 comments
Physicists Track and Trap the Elusive Neutrino
https://www.quantamagazine.org/how-physicists-track-and-trap-the-elusive-neutrino-20260624/
2
•
ibobev
•
11m ago
•
0 comments
Show HN: I made awesome lists available through CLI+Skills and MCP
https://www.context-awesome.com
2
•
bharatgel
•
11m ago
•
0 comments
Consecutive Pythagorean Triangle Sides
https://www.johndcook.com/blog/2026/06/25/consecutive-pythagorean/
3
•
ibobev
•
11m ago
•
0 comments
The Star Trek Lemma
https://www.johndcook.com/blog/2026/06/24/star-trek-lemma/
5
•
ibobev
•
11m ago
•
0 comments
Mtype: Monkeytype in the Terminal Offline
https://github.com/raminsharifi/mtype
4
•
techgeek99
•
12m ago
•
0 comments
The Citation Funnel: A Layered Theory of Machine Attribution (Open-Access Book)
https://zenodo.org/records/20848380
2
•
zaiq
•
13m ago
•
0 comments
Humba Ventures 2026 Deep Tech Fellowships
https://blog.humbaventures.com/p/humba-ventures-2026-deep-tech-fellowships
2
•
lpolovets
•
14m ago
•
0 comments
The Big Lebowskization of California
https://www.zocalopublicsquare.org/the-big-lebowskization-of-california/
3
•
casca
•
14m ago
•
0 comments
Steam Machine: Official Overview and Quick Start Guide [video]
https://www.youtube.com/watch?v=XPNW3GCIeOM
3
•
skibz
•
18m ago
•
0 comments
Show HN: Fiveminutebrief – Turn any topic into your own daily podcast
https://fiveminutebrief.ai/
2
•
danielshinall
•
18m ago
•
0 comments
Where U.S. Salary Ranges Help Job Seekers
https://corvi.careers/blog/salary-range-clarity-role-state-metro-rankings/
3
•
sp1982
•
19m ago
•
0 comments
Node.js worker threads in production: what's easy, what's not
https://www.inngest.com/blog/node-worker-threads-production
4
•
goodoldneon
•
19m ago
•
0 comments
The sorry state of skill distribution
https://blog.trailofbits.com/2026/06/03/the-sorry-state-of-skill-distribution/
3
•
speckx
•
20m ago
•
0 comments
Graph of Thoughts: Solving Elaborate Problems with Large Language Models
https://github.com/spcl/graph-of-thoughts
3
•
simonpure
•
20m ago
•
0 comments
OS9Map
https://yllan.org/software/OS9Map/
4
•
LaSombra
•
22m ago
•
0 comments
Recruitment and Selection of high performing programmers
https://ebellani.github.io/blog/2023/rec-sel-programmers/
2
•
b-man
•
22m ago
•
0 comments
Load More