fp.
newest
Open in hackernews
The hitchhiker's guide to reading Lean 4 theorems
https://blog.lambdaclass.com/the-hitchhikers-guide-to-reading-lean-4-theorems/
1
•
wslh
•
1h ago
Microsoft is letting you pause Windows Updates indefinitely
https://www.theverge.com/tech/898082/microsoft-promises-to-end-forced-windows-updates-still-autom...
1
•
WalterSobchak
•
26s ago
•
0 comments
Monkey C – Small familiar language for apps on Garmin watches
https://developer.garmin.com/connect-iq/monkey-c/
1
•
embedding-shape
•
1m ago
•
0 comments
Researchers find link between ultra-processed foods and infertility in US women
https://news.mcmaster.ca/researchers-find-link-between-ultra-processed-foods-and-infertility-in-u...
1
•
testing22321
•
1m ago
•
0 comments
Why Is Everyone Supposed to Die If Machines Can Think?
https://idiallo.com/blog/everyone-is-supposed-to-die-when-machines-can-think
1
•
speckx
•
2m ago
•
0 comments
PyPI and GitHub package stats combined
https://pypi.kopdog.com/
1
•
bramwick
•
3m ago
•
1 comments
Gen AI Boosts Productivity, but Can't Turn Novices into Experts
https://www.library.hbs.edu/working-knowledge/gen-ai-boosts-productivity-but-cant-turn-novices-in...
1
•
nadis
•
4m ago
•
0 comments
Echoed – Discord Alternative
https://echoed.gg/
1
•
shaongitbd
•
4m ago
•
0 comments
Mathematics is all you need
https://zenodo.org/records/19120857
1
•
anicicn
•
5m ago
•
0 comments
Planned 10-gigawatt SoftBank data center in Ohio might be largest in the world
https://www.tomshardware.com/tech-industry/artificial-intelligence/planned-10-gigawatt-softbank-d...
1
•
rbanffy
•
6m ago
•
0 comments
A man who made the front page twice
https://nowiknow.com/the-man-who-made-the-front-page-twice/
1
•
greedo
•
7m ago
•
0 comments
Emacs is the display server. Headless Firefox is the renderer
https://old.reddit.com/r/emacs/comments/1ry1q5q/embrel_emacs_browser_emacs_is_the_display_server/
2
•
telecommuter
•
8m ago
•
0 comments
Procrustes
https://en.wikipedia.org/wiki/Procrustes
2
•
vishnuharidas
•
8m ago
•
0 comments
Matrix Valued Residuals
https://arxiv.org/abs/2506.22696
2
•
E-Reverance
•
8m ago
•
0 comments
Manager as a Service
https://yusufaytas.com/manager-as-a-service/
4
•
kakerane
•
8m ago
•
0 comments
To be a better programmer, write little proofs in your head (2025)
https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/
1
•
birdculture
•
9m ago
•
0 comments
Trump Friend Asked ICE to Detain the Mother of His Child
https://www.nytimes.com/2026/03/20/us/paolo-zampolli-ice-melania-trump-epstein.html
5
•
duxup
•
11m ago
•
1 comments
IBM 4769
https://en.wikipedia.org/wiki/IBM_4769
1
•
bob1029
•
11m ago
•
0 comments
Turn Left at the Robot
https://netwars.pelicancrossing.net/2026/03/20/turn-left-at-the-robot/
1
•
speckx
•
12m ago
•
0 comments
Yuzudraw
https://www.yuzudraw.com/
2
•
agavra
•
12m ago
•
0 comments
From Bootcamp Grad to Distributed Databases: What Moved the Needle
https://medium.com/swlh/from-coding-bootcamp-graduate-to-building-distributed-databases-29acbb723d8
1
•
kurinikku
•
13m ago
•
0 comments
New AI Models Could Slash Energy Use While Dramatically Improving Performance
https://now.tufts.edu/2026/03/17/new-ai-models-could-slash-energy-use-while-dramatically-improvin...
2
•
geox
•
13m ago
•
0 comments
Self-evolving AI behavioral testing suite
https://github.com/webfor1website/behavioral-lab
1
•
protonfree691
•
15m ago
•
0 comments
SciLove – personalized feed of the latest peer-reviewed papers – swipe to save
https://www.scilove.app/
1
•
raphman
•
15m ago
•
0 comments
Build knowledge agents without embeddings
https://vercel.com/blog/build-knowledge-agents-without-embeddings
3
•
rmason
•
18m ago
•
0 comments
Microsoft confirms a major Windows 11 update with faster Explorer, less Copilot
https://www.windowslatest.com/2026/03/21/microsoft-confirms-a-major-windows-11-update-with-faster...
4
•
thunderbong
•
20m ago
•
4 comments
Rust challenges and how we can address them
https://blog.rust-lang.org/2026/03/20/rust-challenges/
1
•
vanyle
•
20m ago
•
0 comments
Dethroned: Is Donald Trump Killing the Dollar?
https://www.youtube.com/watch?v=X1DLPM4-ovU
2
•
Darryl191
•
20m ago
•
0 comments
The bespoke software revolution? I'm not buying it
https://world.hey.com/jason/the-bespoke-software-revolution-i-m-not-buying-it-4bfad9ec
3
•
FireBy2024
•
23m ago
•
0 comments
A voter information site that works via curl and SSH
https://voteamericaonly.org
1
•
joematrix
•
24m ago
•
0 comments
Show HN: I built a portfolio health analyzer
https://claritytest.vercel.app/
1
•
Uncle_Clark
•
26m ago
•
0 comments
Load More