fp.
news
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
Load More