frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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