fp.
newest
Open in hackernews
Rocq 9.2.0 Released
https://rocq-prover.org/doc/v9.2/refman/changes.html#version-9-2
2
•
baruchel
•
2h ago
Comments
schonfinkel
•
33m ago
For those unaware, one of the best resources to learn Rocq:
https://softwarefoundations.cis.upenn.edu/
Trump says a 'whole civilization will die tonight' if Iran deal isn't reached
https://www.pbs.org/newshour/world/trump-warns-a-whole-civilization-will-die-tonight-if-a-deal-wi...
1
•
lr0
•
58s ago
•
0 comments
I built a tool that helps Americans stop debt collector harassment legally
1
•
dalvia62
•
1m ago
•
0 comments
Show HN: Yesterday's Bread – a modern MUD with AI NPCs and a personalised novel
https://aarils.com/
1
•
bridgettegraham
•
3m ago
•
0 comments
The Immigration Backlash Is a Global Phenomenon
https://homeeconomics.substack.com/p/the-immigration-backlash-is-a-global
2
•
gmays
•
4m ago
•
0 comments
A Digital Compute-in-Memory Architecture for NFA Evaluation
https://dl.acm.org/doi/10.1145/3716368.3735157
1
•
blakepelton
•
4m ago
•
1 comments
NanoClaw's Architecture Is a Masterclass in Doing Less
https://jonno.nz/posts/nanoclaw-architecture-masterclass-in-doing-less/
1
•
timbilt
•
6m ago
•
0 comments
What's the minimum structure capable of doing physics?
https://github.com/ckoons/BubbleSpacetimeTheory
1
•
CaseyKoons
•
7m ago
•
1 comments
A Skateboard Isn't a Vertical Slice of a Car but It Should Be
https://geo-ant.github.io/blog/2026/making-sense-of-mvp/
2
•
codeslasher
•
8m ago
•
1 comments
Judge prediction markets by depth, not volume
https://iter.ca/post/pred-mkt-depth/
1
•
speckx
•
8m ago
•
0 comments
Google Open Sources Experimental Agent Orchestration Testbed Scion
https://www.infoq.com/news/2026/04/google-agent-testbed-scion/
1
•
timbilt
•
8m ago
•
0 comments
Malware for Windows
https://github.com/matteo227/Malware/tree/main/Malware%20For%20Windows
1
•
Anonimo34SD
•
9m ago
•
0 comments
Show HN: Kumoh – an opinionated framework for Cloudflare Workers
https://github.com/arikchakma/kumoh
1
•
arikchakma
•
9m ago
•
0 comments
Bloom Spectrum
https://dominicroye.github.io/bloom-spectrum/
1
•
gmays
•
11m ago
•
0 comments
OpenAI encourages firms to trial four-day weeks to adapt to AI era
https://www.bbc.com/news/articles/c8x71ejrp92o
1
•
schnitzelstoat
•
12m ago
•
0 comments
Pgit: I Imported the Linux Kernel into PostgreSQL
https://oseifert.ch/blog/linux-kernel-pgit
1
•
ImGajeed76
•
12m ago
•
0 comments
Front End Development with Claude Code and Figma MCP and Playwright MCP
https://www.notion.so/bobcats-coding/Frontend-development-with-Claude-Code-Opus-4-6-Figma-MCP-Pla...
1
•
kondvik
•
12m ago
•
0 comments
You can't cancel a JavaScript promise (except sometimes you can)
https://www.inngest.com/blog/hanging-promises-for-control-flow
2
•
goodoldneon
•
13m ago
•
0 comments
Why Digital Life Can't Replace Humans
https://github.com/IkanRiddle/Why-Digital-Life-Can-t-Replace-Humans-skill
1
•
IkanRiddle
•
14m ago
•
0 comments
Halfway there to 6.7: Updates on Oxygen and Air
https://filipfila.wordpress.com/2026/04/05/halfway-there-to-6-7-updates-on-oxygen-and-air/
2
•
speckx
•
14m ago
•
0 comments
Music Publishers Ask Court to Dismiss X's 'Weaponized DMCA' Antitrust Suit
https://torrentfreak.com/music-publishers-ask-court-to-dismiss-xs-weaponized-dmca-antitrust-suit/
1
•
gslin
•
19m ago
•
0 comments
I built OKVE to make knowledge graph UIs easier to ship in React apps
https://github.com/Biki-dev/OKVE
2
•
Biki-dev
•
21m ago
•
0 comments
Show HN: Dbtrail – Row-level data recovery for MySQL without restoring a backup
https://dbtrail.com/
1
•
nethalo
•
21m ago
•
0 comments
Kiwi Farms challenges DMCA subpoenas as tools to unmask anonymous speech
https://reclaimthenet.org/kiwi-farms-dmca-subpoena-anonymous-speech-case
2
•
nslsm
•
22m ago
•
0 comments
Stormgate is losing MMOG support, its server partner was bought by an AI company
https://www.pcgamer.com/games/rts/stormgate-the-starcraft-like-rts-that-launched-last-summer-is-l...
2
•
croes
•
22m ago
•
0 comments
Dextr – Deterministic 100k Process Scheduler in Rust (No_std)
https://zenodo.org/records/19299232
1
•
WMASTERW
•
23m ago
•
0 comments
Europe's rearmament meets reality: the story of a failed frigate project
https://www.ft.com/content/124c9dfc-18da-49fa-aab5-6389dce833ae
3
•
pwatsonwailes
•
23m ago
•
2 comments
Dropping Cloudflare for Bunny.net
https://jola.dev/posts/dropping-cloudflare
48
•
shintoist
•
24m ago
•
7 comments
More likely than not you're using bubble wrap wrong
https://bookofjoe2.blogspot.com/2026/03/imore-likely-than-not-youre-using.html
2
•
surprisetalk
•
25m ago
•
0 comments
Weeds and Bozo Explosions (2023)
https://taylor.town/bozo-explosions
1
•
surprisetalk
•
26m ago
•
0 comments
Envying a Simple Man
https://prickly.oxhe.art/simplicity/
1
•
surprisetalk
•
26m ago
•
0 comments
Load More
schonfinkel•33m ago