fp.

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-disco...

1•bookofjoe•2m ago•0 comments

Researchers track whole body movement with just a smartwatch

https://news.cornell.edu/stories/2026/11/researchers-track-whole-body-movement-just-smartwatch

1•PaulHoule•3m ago•0 comments

Theoretical Limits of Language Model Alignment

https://machinelearning.apple.com/research/theoretical-limits-alignment

1•acossta•8m ago•0 comments

Show HN: MFR 8.1.2 released with a free giveaway license

https://www.finebytes.com/mfr/

1•davidoh•8m ago•0 comments

Yang-Mills, OpenAI proof, and the mass gap problem

https://huggingface.co/blog/dlouapre/yang-mills-openai

1•pretext•11m ago•0 comments

1960: The Year the Singularity Was Cancelled (2019)

https://slatestarcodex.com/2019/04/22/1960-the-year-the-singularity-was-cancelled/

1•bananaflag•12m ago•0 comments

Policy and Disclosure: 2026 Edition

https://projectzero.google/2026/11/disclosure-policy.html

2•el_duderino•15m ago•0 comments

We read 6 weeks of WordPress plugin releases: 21% of security fixes were silent

https://blog.wpsec.com/wordpress-plugin-vulnerabilities-other-scanners-miss/

1•jonasl•17m ago•0 comments

I released my Git Remote Hosting built from scratch

https://gitmoap.com/

2•kevindenotariis•19m ago•0 comments

Concurrent Shell Command Queues

https://emmer.dev/blog/concurrent-shell-command-queues/

2•speckx•19m ago•0 comments

Nvidia Was Born at Denny's on Berryessa in San Jose (2023)

https://sebfrey.com/nvidia-was-born-at-dennys-on-berryessa-in-san-jose/

1•kqr2•21m ago•0 comments

A web port of a classic Mac game – The Dungeon Revealed

https://thedungeonrevealed.com

4•kirchhoff•21m ago•1 comments

Arm boss Rene Haas approached in Nvidia CEO search

https://www.ft.com/content/2a64f698-46dd-4178-a3f4-4c5f4c0a0926

9•bazzmt•22m ago•3 comments

"LibreOffice works 365 days a year. Just saying."

https://twitter.com/LibreOffice/status/2121205272479998268

87•mksaunders2•22m ago•9 comments

Gnomon. Git for Postgres data, built for agents

https://github.com/bitsinfra/gnomon

2•shawkisukkar•23m ago•0 comments

Japanese workers return to fax machines during ongoing Microsoft 365 outage

https://www.tomshardware.com/software/japanese-workers-return-to-fax-machines-during-ongoing-micr...

4•ohjeez•23m ago•0 comments

Post-quantum L1 and non-custodial multichain wallet

https://github.com/blocklechain/blockle

1•blockle•24m ago•0 comments

1 in 4 3rd Party AI Endpoints Underperform Their Advertised Models

https://hermes-ai.net/news/artificial-analysis-finds-1-in-4-ai-endpoints-quietly-underperform-their/

1•0o777•24m ago•1 comments

Ichiran at-home counter kit that turns your desk into a ramen restaurant

https://soranews24.com/2026/11/14/ichiran-releases-an-at-home-counter-kit-that-turns-your-desk-in...

1•rawgabbit•25m ago•1 comments

Yes, Ground News Is a Psy Op [video]

https://www.youtube.com/watch?v=rV5QKFFX_uI

1•pocksuppet•25m ago•0 comments

Show HN: Earshot – live, on-device transcription of any app on your Mac

https://github.com/Bouliw/earshot

1•Bouliw•27m ago•0 comments

Claude Is Superhuman at Translating Poetry Now

https://lettersfrombethlehem.substack.com/p/claude-is-superhuman-at-translating

2•speckx•28m ago•0 comments

Show HN: Pharon – security incident alerts for your whole stack

https://getpharon.com

2•ahmedketata•29m ago•0 comments

November 13: Help Lemon Amiga stay online

https://www.lemonamiga.com/

4•doener•29m ago•0 comments

Bootstrapping: First public demo of my "cloud devboxes for agents" product [video]

https://www.youtube.com/watch?v=d8-HvYyh6q4

3•telekid•30m ago•1 comments

From floppy disk to cockpit: Star Wars on the Amiga

https://amiga-news.de/en/news/AN-2026-11-00082-EN.html

2•doener•31m ago•0 comments

What Is Quantum Computing

https://www.makingsoftware.com/chapters/quantum-computing

1•stanko•33m ago•0 comments

Apify Was Hacked

https://status.apify.com/incidents/sxd1dj5j6749

5•cynicalpeace•36m ago•0 comments

Can you still trust Proton?

https://www.zdnet.com/tech/can-you-still-trust-proton/

4•gnabgib•39m ago•0 comments

Show HN: Altar: Open-source launch command center for indie devs

https://github.com/iampal/altar

1•ankushpal•40m ago•0 comments