frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

How to Write a 21st Century Proof (2011) [pdf]

https://lamport.azurewebsites.net/pubs/proof.pdf
14•User23•4d ago

Flock and Cyble Inc. Weaponize "Cybercrime" Takedowns to Silence Critics

https://haveibeenflocked.com/news/cyble-downtime
104•_a9•2h ago•13 comments

Show HN: Jmail – Google Suite for Epstein files

https://www.jmail.world
387•lukeigel•6h ago•83 comments

Backing Up Spotify

https://annas-archive.li/blog/backing-up-spotify.html
875•vitplister•8h ago•307 comments

Ireland’s Diarmuid Early wins world Microsoft Excel title

https://www.bbc.com/news/articles/cj4qzgvxxgvo
186•1659447091•7h ago•65 comments

Claude in Chrome

https://claude.com/chrome
116•ianrahman•5h ago•58 comments

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

https://www.a1k0n.net/2025/12/19/tiny-tapeout-demo.html
289•a1k0n•10h ago•44 comments

Log level 'error' should mean that something needs to be fixed

https://utcc.utoronto.ca/~cks/space/blog/programming/ErrorsShouldRequireFixing
322•todsacerdoti•3d ago•209 comments

Go ahead, self-host Postgres

https://pierce.dev/notes/go-ahead-self-host-postgres#user-content-fn-1
438•pavel_lishin•11h ago•277 comments

Big GPUs don't need big PCs

https://www.jeffgeerling.com/blog/2025/big-gpus-dont-need-big-pcs
152•mikece•9h ago•53 comments

Gemini 3 Pro vs. 2.5 Pro in Pokemon Crystal

https://blog.jcz.dev/gemini-3-pro-vs-25-pro-in-pokemon-crystal
255•alphabetting•4d ago•75 comments

Italian bears living near villages have evolved to be smaller and less agressive

https://phys.org/news/2025-12-italian-villages-evolved-smaller-aggressive.html
58•wjSgoWPm5bWAhXB•5d ago•27 comments

I spent a week without IPv4 (2023)

https://www.apalrd.net/posts/2023/network_ipv6/
113•mahirsaid•8h ago•193 comments

Perfecting Steve Baer's Triple Dome

https://vorth.github.io/vzome-sharing/2024/02/18/baer-dome-from-H4-1001-09-13-04.html
8•robinhouston•3d ago•0 comments

Show HN: HN Wrapped 2025 - an LLM reviews your year on HN

https://hn-wrapped.kadoa.com?year=2025
131•hubraumhugo•13h ago•79 comments

MIRA – An open-source persistent AI entity with memory

https://github.com/taylorsatula/mira-OSS
70•taylorsatula•6h ago•31 comments

NTP at NIST Boulder Has Lost Power

https://lists.nanog.org/archives/list/nanog@lists.nanog.org/message/ACADD3NKOG2QRWZ56OSNNG7UIEKKT...
442•lpage•19h ago•197 comments

OpenSCAD is kinda neat

https://nuxx.net/blog/2025/12/20/openscad-is-kinda-neat/
211•c0nsumer•9h ago•154 comments

Chomsky and the Two Cultures of Statistical Learning

https://norvig.com/chomsky.html
12•atomicnature•4d ago•4 comments

Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries

https://github.com/CrystallineCore/Biscuit
73•eatonphil•4d ago•10 comments

Skills Officially Comes to Codex

https://developers.openai.com/codex/skills/
251•rochansinha•19h ago•123 comments

You have reached the end of the internet (2006)

https://hmpg.net/
108•raytopia•10h ago•24 comments

Why do people leave comments on OpenBenches?

https://shkspr.mobi/blog/2025/12/why-do-people-leave-comments-on-openbenches/
103•sedboyz•11h ago•6 comments

Depot (YC W23) Is Hiring an Enterprise Support Engineer (Remote/US)

https://www.ycombinator.com/companies/depot/jobs/jhGxVjO-enterprise-support-engineer
1•jacobwg•9h ago

How to Write a 21st Century Proof (2011) [pdf]

https://lamport.azurewebsites.net/pubs/proof.pdf
14•User23•4d ago•0 comments

Over 40% of deceased drivers in vehicle crashes test positive for THC: Study

https://www.facs.org/media-center/press-releases/2025/over-40-of-deceased-drivers-in-motor-vehicl...
230•bookofjoe•11h ago•354 comments

X-59 3D Printing

https://www.nasa.gov/stem-content/x-59-3d-printing/
50•Jsebast24•4d ago•9 comments

Approaching 50 Years of String Theory

https://www.math.columbia.edu/~woit/wordpress/?p=15401
54•jjgreen•13h ago•99 comments

Immersa: Open-source Web-based 3D Presentation Tool

https://github.com/ertugrulcetin/immersa
133•simonpure•13h ago•20 comments

All about Parameters and Widgets in Databricks Workflows (2024)

https://medium.com/dev-genius/all-about-parameters-in-databricks-workflows-28ae13ebb212
6•protmaks•4d ago•0 comments

Privacy doesn't mean anything anymore, anonymity does

https://servury.com/blog/privacy-is-marketing-anonymity-is-architecture/
379•ybceo•20h ago•247 comments