frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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