fp.

The Weil conjectures formalized in Lean

https://axiommath.ai/research/the-weil-conjectures-formalized-in-lean/

1•torutofu•1m ago•0 comments

Re-Releases of Wing Commander, Ultima Titles Hit Steam and GOG

https://arstechnica.com/gaming/2026/11/ea-producer-tells-the-inside-story-behind-new-wing-command...

1•throw0101d•3m ago•0 comments

Show HN: I made a guardrail against AI outreach slop (API/MCP)

https://maildignity.com/

3•harryden•9m ago•0 comments

Why does America hate AI?

https://www.ft.com/content/af97585a-3381-42a9-838b-9a205ab81232

2•bookofjoe•10m ago•1 comments

Business Explainability in Systems Is Not a Nice-to-Have Anymore

https://medium.com/@Rabea/business-explainability-in-systems-is-not-a-nice-to-have-anymore-ea58fc...

2•rabee3•14m ago•0 comments

AI Santa Video Generator – Personalized Santa Videos

https://aisantavideo.net

2•jacksteven•18m ago•0 comments

Cancer at Sea

https://biographic.com/cancer-at-sea/

2•bryanrasmussen•19m ago•0 comments

Ur-Nammu Founder of the Sumerian Renaissance

https://www.worldhistory.org/Ur-Nammu/

2•Bluestein•22m ago•0 comments

Hornet Coder – local-first coding with reviewable revisions

https://github.com/matrixswarm/hornet

1•matrixswarm•23m ago•0 comments

Replacing GitHub Actions with a Tiny Desktop

https://asbedb.dev/musings/tiny-homelab-git-runner

2•donksank•25m ago•0 comments

Ramp data shows AI spending stalling just as Anthropic nears its IPO

https://techcrunch.com/2026/11/06/ramp-data-shows-ai-spending-stalling-just-as-anthropic-nears-it...

1•jgalt212•25m ago•1 comments

Show HN: Hosted dashboard for small VPS fleets, outbound-only agent

https://vpsmon.cloud/

4•ygagaga•26m ago•0 comments

Show HN: Let Claude write FL Studio projects by editing the .flp file directly

https://github.com/ProjectFlowmar/project5pi-midi-for-claude

1•_project5pi•26m ago•0 comments

America's renters are in serious trouble

https://www.economist.com/finance-and-economics/2026/11/03/americas-renters-are-in-serious-trouble

1•andsoitis•27m ago•0 comments

Baidu Hit with Securities Fraud Class Action over AI Growth Claims

https://epyhia.com/baidu-hit-with-securities-fraud-class-action-over-ai-growth-claims

1•arbuge•31m ago•0 comments

Vibe Shields

https://vibeshields.com/

1•MENAAUTOMATION•34m ago•1 comments

Show HN: Tar-minefield – extracting tar files is harder than you think

https://stoppels.ch/tar/

1•stabbles•34m ago•0 comments

AI is turning protectionists into free traders

https://www.economist.com/finance-and-economics/2026/11/05/ai-is-turning-protectionists-into-free...

2•andsoitis•36m ago•0 comments

Foo

http://www.foo.com/

2•abhishekjiitr•37m ago•0 comments

Post-AI Computer Science – Volume 4

https://thingspool.net/shards-of-sanity/page-4.html

1•architsch•37m ago•0 comments

How We Got Duo Support in NetNewsWire

https://netnewswire.blog/2026/10/16/how-we-got-duo-support.html

1•robin_reala•39m ago•0 comments

Show HN: Logo Deal – Logos anyone can edit with text

https://logo.deal/

2•vednig•40m ago•0 comments

US believes Nvidia's Huang had romantic relationship with alleged Chinese spy

https://www.ft.com/content/a55a2a22-4479-4f93-a445-6147a5c6d790

3•Betelbuddy•41m ago•0 comments

Activists across Europe prepare two days of protests against datacentres

https://www.theguardian.com/world/2026/nov/05/activists-across-europe-protests-ai-against-datacen...

2•Betelbuddy•41m ago•1 comments

Working with Designers

https://www.seangoedecke.com/working-with-designers/

3•Brajeshwar•41m ago•0 comments

Porting the Simulation Engine into Rust

https://www.modeloop.app/blog/porting-the-simulation-engine-into-rust

1•lucamark•42m ago•0 comments

New App: StockVirtue

https://play.google.com/store/apps/details?id=com.vamigo.stockvirtue&hl=en_US

1•vamigoin•43m ago•0 comments

The Joy of Coding Is Gone: My Honest Take on AI

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

1•thelifeline•45m ago•0 comments

4.2-Kiloyear Event May Have Helped Cause the Collapse of Egyptian Old Kingdom

https://www.iflscience.com/the-42-kiloyear-event-may-have-helped-cause-the-collapse-of-the-egypti...

2•Bluestein•47m ago•1 comments

Show HN: GC2 (Geo Compute Cloud)

https://gc2.io/

2•mhoegh•50m ago•0 comments