fp.

Introduction to TLA+ model checking on the command line

https://medium.com/@bellmar/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2

1•fanf2•1m ago•0 comments

Confessions to a Data Lake

https://confer.to/blog/2025/12/confessions-to-a-data-lake/

1•mellosouls•1m ago•0 comments

Goedels Poetry

https://github.com/KellyJDavis/goedels-poetry

1•nathias•1m ago•0 comments

YourInfo – What Websites Know About You

https://yourinfo.hsingh.app/

1•svenfaw•1m ago•0 comments

Show HN: Master Economics Through Interactive Simulations

https://julienreszka.github.io/economic-simulator/

1•julienreszka•3m ago•0 comments

All Foreign Gifts Around Us

https://github.com/dwillis/all-foreign-gifts-around-us

1•m-hodges•4m ago•0 comments

Show HN: Timescope – infinite, smooth-scrolling timeline UI with charts

https://xenodrive.github.io/timescope/

1•kikuchan98•10m ago•0 comments

Why Madonna's decades-old Ray of Light is 2025's hottest album

https://www.bbc.com/culture/article/20250730-why-madonnas-ray-of-light-is-2025s-hottest-album

1•andsoitis•15m ago•0 comments

Show HN: Android Use – Automate Android with AI Agents via XML Parsing

https://github.com/languse-ai/android-use

1•languse•15m ago•1 comments

An Old-School Introduction to Position Independent Code

https://nemanjatrifunovic.substack.com/p/an-old-school-introduction-to-position

2•whobre•15m ago•0 comments

Show HN: Search Django Packages on Raycast – Jump to Docs, PyPI, and Repos

https://www.raycast.com/saadmk11/djangopackages

1•saadmk11•17m ago•0 comments

Nix State of the SBoM

https://arnout.engelen.eu/blog/nix-state-of-the-sbom/

1•todsacerdoti•18m ago•0 comments

Perception Is All You Need

https://www.arturonereu.com/articles/perception-is-all-you-need/

1•ArturoNereu•18m ago•0 comments

Drones in the UK: New Legal Requirements for Remote ID

https://www.caa.co.uk/drones/moving-on-to-more-advanced-flying/remote-id-rid

3•maartin0•19m ago•0 comments

A Practical Guide to Living Together and Not Losing Your Mind

https://www.nytimes.com/2025/12/24/opinion/community-housing-friendship.html

1•nkzednan•19m ago•0 comments

A new stealthy Linux kernel rootkit makes detection nearly impossible

https://github.com/MatheuZSecurity/Singularity

5•matheuzsec•19m ago•1 comments

Microsoft wants to replace its C and C++ codebase, perhaps by 2030

https://www.theregister.com/2025/12/24/microsoft_rust_codebase_migration/

1•hubraumhugo•20m ago•1 comments

Show HN: PyMiniRacer 0.13.0

https://bpcreech.com/PyMiniRacer/

1•bpcreech•20m ago•0 comments

Pizzzza Lol v2

https://pizzzza.lol

1•kilroy123•21m ago•0 comments

Show HN: I wrote a Christmas-themed Space Invaders clone in 8086 Assembly

https://github.com/jbnunn/Invaders

1•20wenty•21m ago•0 comments

Plane makes safe emergency landing in Colorado without a pilot's help

https://www.cbsnews.com/colorado/news/plane-emergency-landing-colorado-autoland/

2•altilunium•22m ago•0 comments

SA-FARI: Open Video Dataset

https://www.conservationxlabs.com/sa-fari

2•geox•23m ago•0 comments

In Hoc Anno Domini

https://www.wsj.com/opinion/in-hoc-anno-domini-d0d5a77e

1•RickJWagner•24m ago•0 comments

'Three norths' alignment about to end

https://www.spatialsource.com.au/three-norths-alignment-about-to-end/

1•altilunium•25m ago•0 comments

Just in Time Software

https://commaok.xyz/ai/just-in-time-software/

2•gpi•26m ago•0 comments

Ask HN: Is AI changing the interview process?

2•hellohihello135•26m ago•0 comments

Show HN: MicroQuickJS WASM – A 100% Claude Code Port

https://mquickjs-claude-code.franzai.com/

1•franze•27m ago•0 comments

John Carreyrou and other authors bring new lawsuit against major AI companies

https://techcrunch.com/2025/12/23/john-carreyrou-and-other-authors-bring-new-lawsuit-against-six-...

Introduction to TLA+ model checking on the command line

Confessions to a Data Lake

Goedels Poetry

YourInfo – What Websites Know About You

Show HN: Master Economics Through Interactive Simulations

All Foreign Gifts Around Us

Show HN: Timescope – infinite, smooth-scrolling timeline UI with charts

Why Madonna's decades-old Ray of Light is 2025's hottest album

Show HN: Android Use – Automate Android with AI Agents via XML Parsing

An Old-School Introduction to Position Independent Code

Show HN: Search Django Packages on Raycast – Jump to Docs, PyPI, and Repos

Nix State of the SBoM

Perception Is All You Need

Drones in the UK: New Legal Requirements for Remote ID

A Practical Guide to Living Together and Not Losing Your Mind

A new stealthy Linux kernel rootkit makes detection nearly impossible

Microsoft wants to replace its C and C++ codebase, perhaps by 2030

Show HN: PyMiniRacer 0.13.0

Pizzzza Lol v2

Show HN: I wrote a Christmas-themed Space Invaders clone in 8086 Assembly

Plane makes safe emergency landing in Colorado without a pilot's help

SA-FARI: Open Video Dataset

In Hoc Anno Domini

'Three norths' alignment about to end

Just in Time Software

Ask HN: Is AI changing the interview process?

Show HN: MicroQuickJS WASM – A 100% Claude Code Port

John Carreyrou and other authors bring new lawsuit against major AI companies

Why ice skating is a miracle of physics

One small change in battery design could reduce fires, researchers say

People Are Paying to Get Their Chatbots High on 'Drugs'

Introduction to TLA+ model checking on the command line

Confessions to a Data Lake

Goedels Poetry

YourInfo – What Websites Know About You

Show HN: Master Economics Through Interactive Simulations

All Foreign Gifts Around Us

Show HN: Timescope – infinite, smooth-scrolling timeline UI with charts

Why Madonna's decades-old Ray of Light is 2025's hottest album

Show HN: Android Use – Automate Android with AI Agents via XML Parsing

An Old-School Introduction to Position Independent Code

Show HN: Search Django Packages on Raycast – Jump to Docs, PyPI, and Repos

Nix State of the SBoM

Perception Is All You Need

Drones in the UK: New Legal Requirements for Remote ID

A Practical Guide to Living Together and Not Losing Your Mind

A new stealthy Linux kernel rootkit makes detection nearly impossible

Microsoft wants to replace its C and C++ codebase, perhaps by 2030

Show HN: PyMiniRacer 0.13.0

Pizzzza Lol v2

Show HN: I wrote a Christmas-themed Space Invaders clone in 8086 Assembly

Plane makes safe emergency landing in Colorado without a pilot's help

SA-FARI: Open Video Dataset

In Hoc Anno Domini

'Three norths' alignment about to end

Just in Time Software

Ask HN: Is AI changing the interview process?

Show HN: MicroQuickJS WASM – A 100% Claude Code Port

John Carreyrou and other authors bring new lawsuit against major AI companies

Why ice skating is a miracle of physics

One small change in battery design could reduce fires, researchers say