fp.
news
Open in hackernews
Lean Theorem Prover Mathlib
https://github.com/leanprover-community/mathlib4
30
•
downboots
•
7h ago
Linux Sandboxes and Fil-C
https://fil-c.org/seccomp
216
•
pizlonator
•
9h ago
•
60 comments
Using E-Ink tablet as monitor for Linux
https://alavi.me/blog/e-ink-tablet-as-monitor-linux/
104
•
yolkedgeek
•
4d ago
•
44 comments
Recovering Anthony Bourdain's Li.st's
https://sandyuraz.com/blogs/bourdain/
198
•
thecsw
•
11h ago
•
66 comments
I fed 24 years of my blog posts to a Markov model
https://susam.net/fed-24-years-of-posts-to-markov-model.html
169
•
zdw
•
12h ago
•
76 comments
I tried Gleam for Advent of Code
https://blog.tymscar.com/posts/gleamaoc2025/
276
•
tymscar
•
15h ago
•
154 comments
If a Meta AI model can read a brain-wide signal, why wouldn't the brain?
https://1393.xyz/writing/if-a-meta-ai-model-can-read-a-brain-wide-signal-why-wouldnt-the-brain
72
•
rdgthree
•
7h ago
•
32 comments
Closures as Win32 Window Procedures
https://nullprogram.com/blog/2025/12/12/
65
•
ibobev
•
9h ago
•
10 comments
An Implementation of J
https://www.jsoftware.com/ioj/ioj.htm
56
•
ofalkaed
•
8h ago
•
21 comments
Cat Gap
https://en.wikipedia.org/wiki/Cat_gap
102
•
Petiver
•
4d ago
•
19 comments
No-Tifier (2017)
https://subject.space/projects/no-tifier/
18
•
aebtebeten
•
3d ago
•
0 comments
Lean Theorem Prover Mathlib
https://github.com/leanprover-community/mathlib4
30
•
downboots
•
7h ago
•
0 comments
VPN location claims don't match real traffic exits
https://ipinfo.io/blog/vpn-location-mismatch-report
353
•
mmaia
•
13h ago
•
206 comments
“You should never build a CMS”
https://www.sanity.io/blog/you-should-never-build-a-cms
44
•
handfuloflight
•
3h ago
•
21 comments
Therapeutic use of cannabis and cannabinoids: A review
https://jamanetwork.com/journals/jama/fullarticle/2842072?guestAccessKey=a368e622-e374-4a0c-8d3b-...
41
•
bookofjoe
•
7h ago
•
29 comments
The Rise of Computer Games, Part I: Adventure
https://technicshistory.com/2025/12/13/the-rise-of-computer-games-part-i-adventure/
89
•
cfmcdonald
•
12h ago
•
33 comments
Mystery Science Theater 3000: The Definitive Oral History of a TV Masterpiece
https://www.wired.com/2014/04/mst3k-oral-history/
43
•
indigodaddy
•
6d ago
•
6 comments
Heavy metal is healing teens on the Blackfeet Nation
https://www.hcn.org/issues/57-11/heavy-metal-is-healing-teens-on-the-blackfeet-nation/
57
•
cdrnsf
•
5h ago
•
19 comments
Useful patterns for building HTML tools
https://simonwillison.net/2025/Dec/10/html-tools/
282
•
simonw
•
3d ago
•
80 comments
Dhtml Lemmings (2004)
https://www.elizium.nu/scripts/lemmings/index.php
26
•
tetris11
•
5d ago
•
9 comments
Branch, Test, Deploy: A Git-Inspired Approach for Data
https://motherduck.com/blog/git-for-data-part-1/
5
•
surprisetalk
•
5d ago
•
0 comments
Why Twilio Segment moved from microservices back to a monolith
https://www.twilio.com/en-us/blog/developers/best-practices/goodbye-microservices
224
•
birdculture
•
12h ago
•
189 comments
An off-grid, flat-packable washing machine
https://www.positive.news/society/flat-pack-washing-machine-spins-a-fairer-future/
85
•
ohjeez
•
10h ago
•
49 comments
Go Proposal: Secret Mode
https://antonz.org/accepted/runtime-secret/
187
•
enz
•
4d ago
•
87 comments
Ask HN: How can I get better at using AI for programming?
319
•
lemonlime227
•
17h ago
•
339 comments
Cryptids
https://wiki.bbchallenge.org/wiki/Cryptids
110
•
frozenseven
•
1w ago
•
15 comments
From Azure Functions to FreeBSD
https://jmmv.dev/2025/12/from-azure-functions-to-freebsd.html
91
•
todsacerdoti
•
6d ago
•
16 comments
Using Python for Scripting
https://hypirion.com/musings/use-python-for-scripting
127
•
birdculture
•
5d ago
•
87 comments
Researchers seeking better measures of cognitive fatigue
https://www.nature.com/articles/d41586-025-03974-w
134
•
bikenaga
•
3d ago
•
36 comments
What is the nicest thing a stranger has ever done for you?
https://louplummer.lol/nice-stranger/
374
•
speckx
•
2d ago
•
267 comments
Awesome-Jj: Jujutsu Things
https://github.com/Necior/awesome-jj
45
•
n3t
•
7h ago
•
10 comments
Load More