fp.
newest
Open in hackernews
Proof-Oriented Programming in F*
https://fstar-lang.org/tutorial/
3
•
todsacerdoti
•
1h ago
Software Is User Action
https://software-action.hyperclay.com/
1
•
YounesDz
•
4m ago
•
0 comments
Separation of Concerns: You're Cutting Along the Wrong Line
https://inferal.com/blog/separation-of-concerns/
1
•
donutshop
•
11m ago
•
0 comments
The Farm That 600M IP Addresses Called Home
https://www.connected.app/library/the-farm-that-600-million-ip-addresses-called-home-1u5uogt
2
•
kirkouimet
•
11m ago
•
0 comments
Bay Area tech CEO given $3.5M severance payment as company lays off hundreds
https://www.sfgate.com/tech/article/workday-severance-layoffs-21346064.php
3
•
starkparker
•
12m ago
•
1 comments
Terence Tao: Machine Assistance and the Future of Research Mathematics [video]
https://www.youtube.com/watch?v=SuTxpKggY30
1
•
20repsquat
•
18m ago
•
1 comments
Show HN: Motivé – AI-generated cover letters tailored to job descriptions
https://motive8.ca
1
•
joelkapuku
•
19m ago
•
0 comments
The Royal Game of Ur [video]
https://www.youtube.com/watch?v=WZskjLq040I
1
•
theGeatZhopa
•
21m ago
•
0 comments
Show HN: Self-updating engineering blogs repo with GitHub Actions
https://github.com/mayankchauhan971/engineering-blogs
2
•
break_prod
•
26m ago
•
0 comments
Gokin update: major reliability improvements in the Go-native AI coding CLI
https://github.com/ginkida/gokin
1
•
ginkida
•
28m ago
•
0 comments
1.3M Epstein documents index on Postgres
https://old.reddit.com/r/SideProject/comments/1r13lxp/i_spent_6_days_and_3k_processing_13m_docume...
2
•
jerdman76
•
29m ago
•
0 comments
Show HN: Crank – The SSH Terminal Manager for Engineers Who Refuse to Close Tabs
https://github.com/nexivibe/crank
2
•
mathgladiator
•
33m ago
•
0 comments
Warcraft III Peon Voice Notifications for Claude Code
https://github.com/tonyyont/peon-ping
3
•
doppp
•
33m ago
•
0 comments
Show HN:ProductFront-Streamlined product discovery platform for maximum exposure
https://www.productfront.tech
1
•
kdev28
•
33m ago
•
0 comments
D Programming Language
https://dlang.org/
3
•
arcadia_leak
•
34m ago
•
1 comments
Show HN: Nuvix – An Open Source Back End Where Every Table Is Secure by Default
https://github.com/Nuvix-Tech/nuvix
1
•
ravikantsaini
•
35m ago
•
0 comments
How to Use Google Trends and SEO Tools to Brainstorm Blog Topics
https://kitful.ai/blog/how-to-use-google-trends-and-seo-tools-to-brainstorm-blog-topics
1
•
eashish93
•
36m ago
•
0 comments
Show HN: SpearTrades – Crypto risk, health and portfolio analytics
https://speartrades.com
1
•
sumitarya
•
41m ago
•
0 comments
Programming Aphorisms
https://matklad.github.io/2026/02/11/programming-aphorisms.html
2
•
signa11
•
42m ago
•
0 comments
The "Are You Sure?" Problem: Why Your AI Keeps Changing Its Mind
https://www.randalolson.com/2026/02/07/the-are-you-sure-problem-why-your-ai-keeps-changing-its-mind/
1
•
EvgeniyZh
•
42m ago
•
0 comments
Show HN: Cross-platform audio notifications for Claude Code
https://github.com/ChanMeng666/claude-code-audio-hooks
1
•
chanmeng666
•
43m ago
•
0 comments
Show HN: Emergent Field Explorer – interactive moiré with easy shareable links
https://mcbgl.vercel.app/?p=eyJ2ZXJzaW9uIjoyLCJzZXR0aW5ncyI6eyJsYXllcjEiOnsic3BhY2luZyI6MzksInNpe...
1
•
mcdowell_atx
•
44m ago
•
0 comments
My wife calls me, panicked
https://twitter.com/ModernDad/status/2021675945581486309
9
•
latchkey
•
45m ago
•
3 comments
Ask HN: How do you deal with long Covid?
3
•
manx
•
48m ago
•
2 comments
Outcome Engineering – The o16g Manifesto. It was never about the code
https://o16g.com/
2
•
donutshop
•
59m ago
•
1 comments
Add paths filter and concurrency to coverage workflow docs
1
•
nishiohiroshi
•
1h ago
•
0 comments
What's it like to go through the FedRAMP process?
https://cyberscoop.com/radio/greg-talks-with-matt-kapko-about-a-whirlwind-week-around-clops-targe...
1
•
felineflock
•
1h ago
•
0 comments
Deep Dive into New York City Air Traffic Control (2019)
https://josephgunnwriting.wordpress.com/2019/06/13/deep-dive-into-new-york-city-air-traffic-contr...
1
•
asleepawake
•
1h ago
•
0 comments
OpenClaw but Running on My iPhone
2
•
readsdiggdaily
•
1h ago
•
0 comments
Show HN: NixOS flake for hardened OpenClaw deployment
https://github.com/Scout-DJ/openclaw-nix
1
•
scout_agent
•
1h ago
•
0 comments
Lex Fridman x Peter Steinberger Podcast
https://www.youtube.com/watch?v=YFjfBk8HI5o
1
•
jaytyagi
•
1h ago
•
0 comments
Load More