fp.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1•Horsocrates•1m ago•0 comments

Heathrow's new scanners end dreaded rummage for liquids and laptops

https://www.reuters.com/world/heathrows-new-scanners-end-dreaded-rummage-liquids-laptops-2026-01-23/

1•comebhack•3m ago•0 comments

Can the prescription drug leucovorin treat autism? History says, probably not

https://www.npr.org/sections/shots-health-news/2026/01/22/nx-s1-5684294/leucovorin-autism-folic-f...

1•pseudolus•10m ago•0 comments

Davos Stops Pretending

https://messaging-custom-newsletters.nytimes.com/dynamic/render

1•doener•11m ago•0 comments

For the Children: A short story about the endgame of EU Chat Control

https://gigaprojects.online/post/1

1•giga_private•13m ago•1 comments

An Adversarial Coding Test

https://runjak.codes/posts/2026-01-21-adversarial-coding-test/

1•birdculture•14m ago•0 comments

Go Developer Survey 2025: How Gophers Use AI Tools, Editors, and Cloud Platforms

https://go.dev/blog/survey2025

1•Lwrless•14m ago•0 comments

Ask HN: What's the current best local/open speech-to-speech setup?

1•dsrtslnd23•16m ago•0 comments

A Multi-Entry Control Flow Graph Design Conundrum

https://bernsteinbear.com/blog/multiple-entry/

1•chunkles•19m ago•0 comments

Bernstein vs. United States

https://en.wikipedia.org/wiki/Bernstein_v._United_States

1•u1hcw9nx•21m ago•0 comments

Show HN: Workmux – Parallel development in tmux with Git worktrees

https://workmux.raine.dev/

1•rane•22m ago•0 comments

Show HN: 9 years building an open-source financial platform

https://github.com/finmars-platform/finmars-core

2•ogreshnev•22m ago•0 comments

Ask HN: What 'AI feature' created negative ROI in production?

1•kajolshah_bt•23m ago•0 comments

TigerBeetle's Stablecoin Mistake

https://www.news.alvaroduran.com/tigerbeetle-stablecoin-mistake/

1•ohduran•23m ago•0 comments

What Will You Do When AI runs Out of Money and Disappear?

https://louwrentius.com/what-will-you-do-when-ai-will-run-out-of-money-and-disappear.html

1•louwrentius•25m ago•0 comments

Why is software still built like billions don't exist in 2026?

4•yerushalayim•27m ago•2 comments

Is Polish Scrabble the most difficult in the world? [video]

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

1•nathell•28m ago•0 comments

Post-Agentic Code Forges

https://sluongng.substack.com/p/post-agentic-code-forges

1•todsacerdoti•28m ago•0 comments

In-memory analog computing for non-negative matrix factorization

https://www.nature.com/articles/s41467-026-68609-8

1•martinlaz•33m ago•0 comments

RT Superconductivity at 298K in Ternary LaScH System at High-Pressure Conditions

https://arxiv.org/abs/2510.01273

1•fluffybuns•35m ago•0 comments

Show HN: Waifu2x.live – Free AI image upscaler (2x/4x) & video generation

1•Nancy1230•35m ago•1 comments

Campaigner launches £1.5B legal action in UK against Apple over wallet's ...

https://www.theguardian.com/technology/2026/jan/23/campaigner-launches-legal-action-against-apple...

1•chrisjj•37m ago•1 comments

Anthropic: AI Is Transforming Jobs, Not Replacing Them

https://www.forbes.com/sites/anishasircar/2026/01/23/ai-is-transforming-jobs-not-replacing-them-a...

1•hochmartinez•38m ago•1 comments

AI Boosts Research Careers but Flattens Scientific Discovery

https://spectrum.ieee.org/ai-science-research-flattens-discovery

1•pseudolus•38m ago•0 comments

Google must face consumer antitrust lawsuit over search dominance,US judge rules

https://www.reuters.com/legal/government/google-must-face-consumer-antitrust-lawsuit-over-search-...

2•pseudolus•39m ago•0 comments

Do We Still Need Tech Blogs in the Era of GenAI?

https://blog.mrcroxx.com/posts/do-we-still-need-tech-blogs-in-the-era-of-gen-ai/

1•MrCroxx•40m ago•0 comments

Show HN: Simple esp-idf and esp-matter version manager

https://github.com/matterizelabs/espvm

1•abu-matterize•41m ago•0 comments

Booting a PC from a Vinyl Record

https://boginjr.com/it/sw/dev/vinyl-boot/

1•yesturi•41m ago•0 comments

Show HN: Kite – lightweight production-ready agentic AI framework with Ollama

https://github.com/thienzz/Kite

1•thienzz•43m ago•1 comments

Resisting the Rule of the Rich: Protecting Freedom from Billionaire Power

https://www.oxfamamerica.org/explore/research-publications/resisting-the-rule-of-the-rich/

1•decimalenough•44m ago•0 comments

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

Heathrow's new scanners end dreaded rummage for liquids and laptops

Can the prescription drug leucovorin treat autism? History says, probably not

Davos Stops Pretending

For the Children: A short story about the endgame of EU Chat Control

An Adversarial Coding Test

Go Developer Survey 2025: How Gophers Use AI Tools, Editors, and Cloud Platforms

Ask HN: What's the current best local/open speech-to-speech setup?

A Multi-Entry Control Flow Graph Design Conundrum

Bernstein vs. United States

Show HN: Workmux – Parallel development in tmux with Git worktrees

Show HN: 9 years building an open-source financial platform

Ask HN: What 'AI feature' created negative ROI in production?

TigerBeetle's Stablecoin Mistake

What Will You Do When AI runs Out of Money and Disappear?

Why is software still built like billions don't exist in 2026?

Is Polish Scrabble the most difficult in the world? [video]

Post-Agentic Code Forges

In-memory analog computing for non-negative matrix factorization

RT Superconductivity at 298K in Ternary LaScH System at High-Pressure Conditions

Show HN: Waifu2x.live – Free AI image upscaler (2x/4x) & video generation

Campaigner launches £1.5B legal action in UK against Apple over wallet's ...

Anthropic: AI Is Transforming Jobs, Not Replacing Them

AI Boosts Research Careers but Flattens Scientific Discovery

Google must face consumer antitrust lawsuit over search dominance,US judge rules

Do We Still Need Tech Blogs in the Era of GenAI?

Show HN: Simple esp-idf and esp-matter version manager

Booting a PC from a Vinyl Record

Show HN: Kite – lightweight production-ready agentic AI framework with Ollama

Resisting the Rule of the Rich: Protecting Freedom from Billionaire Power

Overrun with AI slop, cURL scraps bug bounties to ensure "intact mental health"

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

Heathrow's new scanners end dreaded rummage for liquids and laptops

Can the prescription drug leucovorin treat autism? History says, probably not

Davos Stops Pretending

For the Children: A short story about the endgame of EU Chat Control

An Adversarial Coding Test

Go Developer Survey 2025: How Gophers Use AI Tools, Editors, and Cloud Platforms

Ask HN: What's the current best local/open speech-to-speech setup?

A Multi-Entry Control Flow Graph Design Conundrum

Bernstein vs. United States

Show HN: Workmux – Parallel development in tmux with Git worktrees

Show HN: 9 years building an open-source financial platform

Ask HN: What 'AI feature' created negative ROI in production?

TigerBeetle's Stablecoin Mistake

What Will You Do When AI runs Out of Money and Disappear?

Why is software still built like billions don't exist in 2026?

Is Polish Scrabble the most difficult in the world? [video]

Post-Agentic Code Forges

In-memory analog computing for non-negative matrix factorization

RT Superconductivity at 298K in Ternary LaScH System at High-Pressure Conditions

Show HN: Waifu2x.live – Free AI image upscaler (2x/4x) & video generation

Campaigner launches £1.5B legal action in UK against Apple over wallet's ...

Anthropic: AI Is Transforming Jobs, Not Replacing Them

AI Boosts Research Careers but Flattens Scientific Discovery

Google must face consumer antitrust lawsuit over search dominance,US judge rules

Do We Still Need Tech Blogs in the Era of GenAI?

Show HN: Simple esp-idf and esp-matter version manager

Booting a PC from a Vinyl Record

Show HN: Kite – lightweight production-ready agentic AI framework with Ollama

Resisting the Rule of the Rich: Protecting Freedom from Billionaire Power