fp.

Lean4: How the theorem prover works and why it's the new competitive edge in AI

https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edg...

1•salkahfi•49s ago•0 comments

A detailed critique of modern C++ in two hours

https://www.youtube.com/watch?v=7fGB-hjc2Gc

1•GeneralMaximus•3m ago•0 comments

95% of AI pilot projects fail

https://www.forbes.com/sites/andreahill/2025/08/21/why-95-of-ai-pilots-fail-and-what-business-lea...

1•warrenmiller•5m ago•0 comments

Qsp: A simple S-Expression parser for Rust TokenStreams

https://github.com/KnorrFG/qsp

1•todsacerdoti•7m ago•0 comments

Peak of Empires: Age of Empires Demake

https://taxicomics.itch.io/age-of-pico

1•memalign•9m ago•0 comments

Be the first to know with this(many in one)

https://catch-words.vercel.app

1•ardi_c_cc•15m ago•1 comments

Tree-me: Because Git worktrees shouldn't be a chore

https://haacked.com/archive/2025/11/21/tree-me/

1•itsbjoern•19m ago•0 comments

Apps for Gnome

https://apps.gnome.org

1•shaunpud•24m ago•0 comments

EU bends to US pressure again by changing AI Act

https://davekeating.substack.com/p/eu-bends-to-us-pressure-again-by

2•slow_typist•24m ago•0 comments

Gemini has no idea about Google Antigravity despite evidence

https://bsky.app/profile/did:plc:wxpcoy7so75okdy44mktf7zt/post/3m6btvntymk2w

1•hanifbbz•27m ago•0 comments

Impact of Decreasing Housing Affordability on Consumption, Work Effort

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5770722

1•carabiner•29m ago•0 comments

Desert Strike Main Menu Theme on 8 Floppy Drives [video]

https://www.youtube.com/watch?v=3JfBIPvsK9E

1•nomilk•43m ago•1 comments

Remote Control, Done Right: Reviewing the Comet Pro Remote KVM

https://medium.com/engineering-iot/remote-control-done-right-reviewing-the-comet-pro-remote-kvm-b...

2•walterbell•51m ago•0 comments

Nearly 200k Ukrainians in US thrown into legal limbo by immigration crackdown

https://www.reuters.com/world/europe/nearly-200000-ukrainians-us-thrown-into-legal-limbo-by-trump...

1•c420•52m ago•0 comments

Surprisingly, Emacs on Android is pretty good

https://kristofferbalintona.me/posts/202505291438/

2•harryday•53m ago•0 comments

Data breach in Iberia: 77GB of internal documents end up on the dark web

https://www.apolocybersecurity.com/en/blog-posts/filtracion-de-datos-en-iberia-documentos-interno...

1•reconnecting•54m ago•0 comments

CD-i

https://en.wikipedia.org/wiki/CD-i

1•tosh•54m ago•0 comments

A Bayesian Analysis of Biblical Prophesies

https://madebynathan.com/2025/11/15/a-bayesian-analysis-of-biblical-prophesies/

1•nathan_f77•55m ago•0 comments

A Swath of Data Was Hacked from a Leading Real Estate Banking Services Company

https://www.nytimes.com/2025/11/22/business/bank-data-hack.html

2•mmooss•55m ago•1 comments

Happiness Is a Skill You Can Build

https://domofutu.substack.com/p/happiness-is-a-skill-you-can-build

3•domofutu•59m ago•0 comments

Show HN: better-env – A Secure, Developer-Friendly Alternative to .env

https://better-env.dev/docs

2•harish3304•1h ago•0 comments

Read the Greeks

https://kamilkazani.substack.com/p/read-the-greeks

1•tzury•1h ago•0 comments

World-in-World: World Models in a Closed-Loop World

https://arxiv.org/abs/2510.18135

1•zonsz•1h ago•0 comments

Children of Paradise is the greatest film to come out of France, 80 years on

https://theconversation.com/children-of-paradise-is-the-greatest-film-to-come-out-of-france-even-...

1•walterbell•1h ago•0 comments

'Turncoat' by Dennis Sewell Review

https://www.historytoday.com/archive/review/turncoat-dennis-sewell-review

1•prismatic•1h ago•0 comments

Las Vegas Diaries

https://www.thedial.world/articles/news/ahmed-naji-las-vegas-diary

1•Thevet•1h ago•0 comments

Implementing MapReduce Paper in Golang

https://jitesh117.github.io/blog/implementing-mapreduce-in-golang/

2•Jitesh117•1h ago•0 comments

Ask HN: Why isn't there a single open-source (project) game?

1•triilman•1h ago•2 comments

Show HN: I built a circuit simulator that adds two numbers using only NAND gates

Lean4: How the theorem prover works and why it's the new competitive edge in AI

A detailed critique of modern C++ in two hours

95% of AI pilot projects fail

Qsp: A simple S-Expression parser for Rust TokenStreams

Peak of Empires: Age of Empires Demake

Be the first to know with this(many in one)

Tree-me: Because Git worktrees shouldn't be a chore

Apps for Gnome

EU bends to US pressure again by changing AI Act

Gemini has no idea about Google Antigravity despite evidence

Impact of Decreasing Housing Affordability on Consumption, Work Effort

Desert Strike Main Menu Theme on 8 Floppy Drives [video]

Remote Control, Done Right: Reviewing the Comet Pro Remote KVM

Nearly 200k Ukrainians in US thrown into legal limbo by immigration crackdown

Surprisingly, Emacs on Android is pretty good

Data breach in Iberia: 77GB of internal documents end up on the dark web

CD-i

A Bayesian Analysis of Biblical Prophesies

A Swath of Data Was Hacked from a Leading Real Estate Banking Services Company

Happiness Is a Skill You Can Build

Show HN: better-env – A Secure, Developer-Friendly Alternative to .env

Read the Greeks

World-in-World: World Models in a Closed-Loop World

Children of Paradise is the greatest film to come out of France, 80 years on

'Turncoat' by Dennis Sewell Review

Las Vegas Diaries

Implementing MapReduce Paper in Golang

Ask HN: Why isn't there a single open-source (project) game?

Show HN: I built a circuit simulator that adds two numbers using only NAND gates

Listening to a Book Counts as Reading

Peak of Empires: Age of Empires Demake

Lean4: How the theorem prover works and why it's the new competitive edge in AI

A detailed critique of modern C++ in two hours

95% of AI pilot projects fail

Qsp: A simple S-Expression parser for Rust TokenStreams

Peak of Empires: Age of Empires Demake

Be the first to know with this(many in one)

Tree-me: Because Git worktrees shouldn't be a chore

Apps for Gnome

EU bends to US pressure again by changing AI Act

Gemini has no idea about Google Antigravity despite evidence

Impact of Decreasing Housing Affordability on Consumption, Work Effort

Desert Strike Main Menu Theme on 8 Floppy Drives [video]

Remote Control, Done Right: Reviewing the Comet Pro Remote KVM

Nearly 200k Ukrainians in US thrown into legal limbo by immigration crackdown

Surprisingly, Emacs on Android is pretty good

Data breach in Iberia: 77GB of internal documents end up on the dark web

CD-i

A Bayesian Analysis of Biblical Prophesies

A Swath of Data Was Hacked from a Leading Real Estate Banking Services Company

Happiness Is a Skill You Can Build

Show HN: better-env – A Secure, Developer-Friendly Alternative to .env

Read the Greeks

World-in-World: World Models in a Closed-Loop World

Children of Paradise is the greatest film to come out of France, 80 years on

'Turncoat' by Dennis Sewell Review

Las Vegas Diaries

Implementing MapReduce Paper in Golang

Ask HN: Why isn't there a single open-source (project) game?

Show HN: I built a circuit simulator that adds two numbers using only NAND gates

Listening to a Book Counts as Reading