fp.
news
Open in hackernews
Formally Verifying PBS Kids with Lean4
https://www.shadaj.me/writing/cyberchase-lean
35
•
shadaj
•
6d ago
Vouch
https://github.com/mitchellh/vouch
225
•
chwtutha
•
16h ago
•
109 comments
Roundcube Webmail: SVG feImage bypasses image blocking to track email opens
https://nullcathedral.com/posts/2026-02-08-roundcube-svg-feimage-remote-image-bypass/
40
•
nullcathedral
•
1h ago
•
7 comments
I put a real-time 3D shader on the Game Boy Color
https://blog.otterstack.com/posts/202512-gbshader/
130
•
adunk
•
3h ago
•
9 comments
The Little Bool of Doom
https://blog.svgames.pl/article/the-little-bool-of-doom
35
•
pocksuppet
•
1h ago
•
6 comments
Show HN: I created a Mars colony RPG based on Kim Stanley Robinson's Mars books
https://underhillgame.com/
46
•
ariaalam
•
2h ago
•
21 comments
GitHub Agentic Workflows
https://github.github.io/gh-aw/
125
•
mooreds
•
6h ago
•
65 comments
RFC 3092 – Etymology of "Foo" (2001)
https://datatracker.ietf.org/doc/html/rfc3092
93
•
ipnon
•
5h ago
•
16 comments
Running Your Own As: BGP on FreeBSD with FRR, GRE Tunnels, and Policy Routing
https://blog.hofstede.it/running-your-own-as-bgp-on-freebsd-with-frr-gre-tunnels-and-policy-routing/
91
•
todsacerdoti
•
5h ago
•
35 comments
Exploiting signed bootloaders to circumvent UEFI Secure Boot
https://habr.com/en/articles/446238/
55
•
todsacerdoti
•
5h ago
•
21 comments
Omega-3 is inversely related to risk of early-onset dementia
https://pubmed.ncbi.nlm.nih.gov/41506004/
133
•
brandonb
•
3h ago
•
73 comments
Formally Verifying PBS Kids with Lean4
https://www.shadaj.me/writing/cyberchase-lean
35
•
shadaj
•
6d ago
•
0 comments
Bun v1.3.9
https://bun.com/blog/bun-v1.3.9
58
•
tosh
•
2h ago
•
18 comments
Dave Farber has died
https://lists.nanog.org/archives/list/nanog@lists.nanog.org/thread/TSNPJVFH4DKLINIKSMRIIVNHDG5XKJCM/
156
•
vitplister
•
8h ago
•
22 comments
Billing can be bypassed using a combo of subagents with an agent definition
https://github.com/microsoft/vscode/issues/292452
129
•
napolux
•
2h ago
•
66 comments
The First Sodium-Ion Battery EV Is a Winter Range Monster
https://insideevs.com/news/786509/catl-changan-worlds-first-sodium-ion-battery-ev/
68
•
andrewjneumann
•
2h ago
•
55 comments
Let's compile Quake like it's 1997
https://fabiensanglard.net/compile_like_1997/index.html
69
•
birdculture
•
2h ago
•
20 comments
Curating a Show on My Ineffable Mother, Ursula K. Le Guin
https://hyperallergic.com/curating-a-show-on-my-ineffable-mother-ursula-k-le-guin/
114
•
bryanrasmussen
•
9h ago
•
41 comments
Show HN: It took 4 years to sell my startup. I wrote a book about it
https://derekyan.com/ma-book/
140
•
zhyan7109
•
4d ago
•
36 comments
A Community-Curated Nancy Drew Collection
https://blog.openlibrary.org/2026/01/30/a-community-curated-nancy-drew-collection/
3
•
sohkamyung
•
5d ago
•
1 comments
Kolakoski Sequence
https://en.wikipedia.org/wiki/Kolakoski_sequence
47
•
surprisetalk
•
6d ago
•
11 comments
Why E cores make Apple silicon fast
https://eclecticlight.co/2026/02/08/last-week-on-my-mac-why-e-cores-make-apple-silicon-fast/
184
•
ingve
•
8h ago
•
193 comments
OpenClaw is changing my life
https://reorx.com/blog/openclaw-is-changing-my-life/
138
•
novoreorx
•
13h ago
•
233 comments
Reverse Engineering Raiders of the Lost Ark for the Atari 2600
https://github.com/joshuanwalker/Raiders2600
75
•
pacod
•
10h ago
•
2 comments
Experts Have World Models. LLMs Have Word Models
https://www.latent.space/p/adversarial-reasoning
6
•
aaronng91
•
1h ago
•
3 comments
Matchlock – Secures AI agent workloads with a Linux-based sandbox
https://github.com/jingkaihe/matchlock
122
•
jingkai_he
•
11h ago
•
47 comments
Slop Terrifies Me
https://ezhik.jp/ai-slop-terrifies-me/
261
•
Ezhik
•
9h ago
•
243 comments
Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory
https://github.com/localgpt-app/localgpt
302
•
yi_wang
•
18h ago
•
142 comments
Beyond agentic coding
https://haskellforall.com/2026/02/beyond-agentic-coding
220
•
RebelPotato
•
17h ago
•
83 comments
DoNotNotify is now Open Source
https://donotnotify.com/opensource.html
348
•
awaaz
•
12h ago
•
47 comments
Attention Media ≠ Social Media
https://susam.net/attention-media-is-not-social-media.html
8
•
susam
•
2h ago
•
1 comments
Load More