frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
17•susam•1d ago

Comments

pfdietz•1h ago
(2007)
whateveracct•37m ago
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
LPisGood•25m ago
How has it helped in production software? Are you writing a lot of Haskell?

GenCAD

https://gencad.github.io/
149•dagenix•5h ago•32 comments

There Is No 'Hard Problem of Consciousness'

https://www.noemamag.com/there-is-no-hard-problem-of-consciousness/
7•ahalbert4•28m ago•1 comments

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

https://github.com/tech4bot/rk3562deb
274•tech4bot•14h ago•125 comments

Ask an Astronaut: 333 hours of Q&A footage with astronauts

https://askanastronaut.issinrealtime.org/
55•gaws•2d ago•8 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror
68•RohanAdwankar•6h ago•24 comments

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
17•susam•1d ago•3 comments

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

https://idahonews.com/news/local/two-f-18-fighter-jets-have-crashed-during-an-airshow-at-mountain...
123•ChrisArchitect•5h ago•101 comments

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

https://github.com/MinishLab/semble
197•Bibabomas•11h ago•50 comments

Magical Realism: “Northern Exposure” 25 Years Later (2015)

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later
78•walterbell•2d ago•34 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

https://www.science.org/content/article/scientists-id-corkscrew-killer-behind-gruesome-seal-deaths
42•gmays•3d ago•5 comments

Most Americans don't trust AI – or the people in charge of it

https://www.theverge.com/ai-artificial-intelligence/644853/pew-gallup-data-americans-dont-trust-ai
19•cdrnsf•1h ago•1 comments

VoIP brings back old-fashioned pay phones to rural Vermont (2025)

https://spectrum.ieee.org/payphone-voip
124•bookofjoe•7h ago•37 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books
143•dariubs•14h ago•28 comments

Mercurial, 20 years and counting: how are we still alive and kicking? [video]

https://fosdem.org/2026/schedule/event/AGWUVH-mercurial-aint-you-dead-yet/
169•ibobev•2d ago•163 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/
164•crescit_eundo•3d ago•125 comments

I don't think AI will make your processes go faster

https://frederickvanbrabant.com/blog/2026-05-15-i-dont-think-ai-will-make-your-processes-go-faster/
511•TheEdonian•15h ago•359 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
213•birdculture•2d ago•34 comments

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

https://xca-attacks.github.io/fabricked/
29•negura•5h ago•16 comments

The History of ThinkPad: From IBM’s Bento Box to Lenovo’s AI Workstations

https://www.jdhodges.com/blog/thinkpad-history/
62•zdw•5h ago•32 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/
53•DASD•2d ago•6 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy
113•leonidasrup•3d ago•23 comments

Design posters showcasing your country's electrical grid

https://github.com/open-energy-transition/grid2poster
67•lyoncy•4h ago•17 comments

Tesla Solar Roof is on life support as it pivot to panels

https://electrek.co/2026/05/14/tesla-solar-roof-promise-vs-reality-pivot-panels/
182•celsoazevedo•23h ago•182 comments

Trials on veterans suggest ibogaine could provide a new treatment for PTSD

https://www.bbc.com/future/article/20260514-how-hallucinogenic-ibogaine-helps-veterans-overcome-ptsd
82•bushwart•15h ago•89 comments

The SGI Buyer's Guide (2003)

https://hardware.majix.org/computers/sgi/buyers-guide.shtml
4•uticus•2d ago•1 comments

The occasional ECONNRESET

https://movq.de/blog/postings/2026-05-05/1/POSTING-en.html
100•zdw•10h ago•23 comments

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

https://hellmood.111mb.de//wake_up_16b_writeup.html
13•HellMood•4h ago•1 comments

Colossus: The Forbin Project

https://en.wikipedia.org/wiki/Colossus:_The_Forbin_Project
221•doener•3d ago•87 comments

A nicer voltmeter clock

https://lcamtuf.substack.com/p/a-nicer-voltmeter-clock
317•surprisetalk•1d ago•42 comments

Mozilla to UK regulators: VPNs are essential privacy and security tools

https://blog.mozilla.org/netpolicy/2026/05/15/mozilla-to-uk-regulators-vpns-are-essential-privacy...
665•WithinReason•21h ago•273 comments