fp.
newest
Open in hackernews
The Lean Theorem Prover: Design, Evolution, and Impact
https://leodemoura.github.io/static/floc26/
1
•
tosh
•
1h ago
China State Media Says Support for Open AI Models Has Limits
https://www.bloomberg.com/news/articles/2026-07-27/china-state-media-says-support-for-open-ai-mod...
1
•
maxloh
•
1m ago
•
0 comments
Warden – run a fleet of coding agents without losing your mind
https://github.com/srjn45/warden
1
•
srjn45
•
1m ago
•
0 comments
Shake: Stimulating Haptics Add-In for Kinematic Enhancement
https://github.com/sideline-int/SHAKE
1
•
wertyk
•
3m ago
•
0 comments
Git Without a Forge
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/git-no-forge/
1
•
olexsmir
•
6m ago
•
0 comments
How Unix spell ran in 64 kB of RAM
https://blog.codingconfessions.com/p/how-unix-spell-ran-in-64kb-ram
1
•
donw
•
7m ago
•
0 comments
Opus Cost = Minimum Wage in South Africa
2
•
bridgettegraham
•
9m ago
•
0 comments
Show HN: We built an MCP server for document generation
https://docuqueue.com/#mcp
1
•
dvcoolarun
•
13m ago
•
0 comments
Why does everything feel so joyless?
https://www.theguardian.com/us-news/ng-interactive/2026/jul/26/age-of-decadence-pleasure-ai
1
•
mattjhall
•
17m ago
•
0 comments
Ask HN: Where do those LLM-generated outreach emails come from?
2
•
nicbou
•
20m ago
•
0 comments
Modern email can be built from borrowed parts
https://en.andros.dev/blog/d7ed8b07/modern-email-can-be-built-from-borrowed-parts/
1
•
andros
•
22m ago
•
0 comments
Would you choose £50k over the chance of £1M?
https://yougov.com/en-gb/daily-results/20260722-c0b92-3
2
•
yzydserd
•
25m ago
•
1 comments
Elevated errors on Claude Opus 5
https://status.claude.com/incidents/lhqp09kxq7pb
3
•
flyaway123
•
30m ago
•
1 comments
Sam Altman says we are in the singularity
https://www.businessinsider.com/sam-altman-openai-the-singularity-agi-prediction-anthropic-nvidia...
1
•
ColinEberhardt
•
31m ago
•
1 comments
Show HN: adCasa OS – AI marketing workspace built with Bayesian attribution
https://adcasa.io/
1
•
adcasa
•
32m ago
•
0 comments
Nvidia in talks with OpenAI to guarantee $250B financing for data center
https://www.reuters.com/business/media-telecom/nvidia-talks-with-openai-guarantee-250-billion-fin...
1
•
01-_-
•
33m ago
•
0 comments
Zeiss expands German site that caps ASML's EUV scanner output
https://www.tomshardware.com/tech-industry/zeiss-expands-german-site-that-caps-asmls-euv-scanner-...
1
•
01-_-
•
35m ago
•
0 comments
Doom Running on a Regex Engine
https://4rh1t3ct0r7.github.io/doom-regex/
1
•
abareplace
•
36m ago
•
0 comments
Meta launched a new AI optimism ad set to a song about human extinction
https://techcrunch.com/2026/07/23/meta-launched-a-new-ai-optimism-ad-set-to-a-song-about-human-ex...
4
•
robin_reala
•
40m ago
•
0 comments
Do Agent Benchmarks Measure Capability? Protocol Validity in the Age of Agentic
https://arxiv.org/abs/2607.22368
1
•
sbulaev
•
43m ago
•
0 comments
I'm running the ICFP programming contest
https://eieio.games/blog/im-running-the-icfp-programming-contest/
1
•
birdculture
•
43m ago
•
0 comments
The AI bioweapon risk isn't jailbreaks
https://point.free/blog/the-ai-bioweapon-risk-isnt-jailbreaks/
1
•
cafkafk
•
45m ago
•
1 comments
Keigo Higashino, author of The Devotion of Suspect X, dies at 68
https://www.oricon.co.jp/news/2470322/
3
•
linzhangrun
•
53m ago
•
0 comments
Even in Utah Families Are Getting Smaller
https://www.nytimes.com/2026/07/25/us/politics/utah-birth-rate-fertility-decline.html
1
•
geox
•
1h ago
•
0 comments
Show HN: A browser-based vector animation engine rendering animated objects
https://thorvg-janitor.vercel.app/
4
•
hermet
•
1h ago
•
2 comments
Show HN: I made a convenient and fast file sharing service
https://coldfiles.dev/
2
•
bunchy7s
•
1h ago
•
5 comments
Show HN: Comparing stock returns after cyber incidents
https://incidentimpact.com/
2
•
0xad
•
1h ago
•
0 comments
Build internal tools for your Startup with Construct AI
https://construct.computer/blog/build-internal-tools-with-construct/
1
•
ankushKun
•
1h ago
•
0 comments
From Seed to Startup: How AI Is Revolutionizing Cannabis Cultivation
https://www.researchgate.net/publication/410602482_From_Seed_to_Startup_How_AI_Is_Revolutionizing...
1
•
fofoz
•
1h ago
•
0 comments
Could a Neuroscientist Understand a Microprocessor?(2017)
http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1005268
1
•
num42
•
1h ago
•
0 comments
Can a Biologist Fix a Radio?(2002)
https://www.cell.com/action/showPdf?pii=S1535-6108%2802%2900133-2
1
•
num42
•
1h ago
•
0 comments
Load More