frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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