fp.

Ask HN: Was my X account suspended as retaliation for this Reddit post?

1•amichail•41s ago•0 comments

Recursion and Induction: A Self-Contained Course Using ACL2

https://acl2.org/doc/?topic=ACL2____R-AND-I-TABLE-OF-CONTENTS

1•nathan-barry•44s ago•0 comments

Found: Medieval Cargo Ship – Largest Vessel of Its Kind Ever

https://www.smithsonianmag.com/smart-news/archaeologists-say-theyve-unearthed-a-massive-medieval-...

1•bookofjoe•1m ago•0 comments

Architecture+cost drivers for a deterministic rule/metric engine 1,200metrics

1•Trackdiver•2m ago•0 comments

Turning weeks of medical device documentation into minutes

1•feargalosull•2m ago•0 comments

Hetzner Storage Boxes

https://www.hetzner.com/storage/storage-box/

1•truegoric•5m ago•0 comments

New Vulnerability in n8n – CVE-2026-21858

https://www.schneier.com/blog/archives/2026/01/new-vulnerability-in-n8n.html

2•882542F3884314B•5m ago•0 comments

Brain displacement and nonlinear deformation following human spaceflight

https://www.pnas.org/doi/10.1073/pnas.2505682122

1•stevenjgarner•6m ago•0 comments

Apple Is Fighting for TSMC Capacity as Nvidia Takes Center Stage

https://www.culpium.com/p/exclusiveapple-is-fighting-for-tsmc

5•speckx•8m ago•0 comments

Compute multiple modular inverses with Montgomery's trick

https://www.johndcook.com/blog/2026/01/14/montgomerys-trick/

1•ibobev•9m ago•0 comments

What Does It Mean to Make a Voice Call in a Post-Telephone World?–Howard vs. RNC

https://blog.ericgoldman.org/archives/2026/01/what-does-it-mean-to-make-a-voice-call-in-a-post-te...

1•hn_acker•9m ago•0 comments

Broken Proofs and Broken Provers

https://lawrencecpaulson.github.io//2026/01/15/Broken_proofs.html

1•ibobev•9m ago•0 comments

India warns Apple it will proceed with antitrust case after plays for time

https://www.reuters.com/sustainability/boards-policy-regulation/india-warns-apple-it-will-proceed...

3•freedomben•10m ago•0 comments

Time in C++: Creating Your Own Clocks with <Chrono>

https://www.sandordargo.com/blog/2026/01/14/clocks-part-7-custom-clocks

3•ibobev•10m ago•0 comments

Declassified cable estimates 10k killed at Tiananmen Square (2017)

https://www.axios.com/2018/01/05/declassified-cable-estimates-10000-killed-at-tiananmen-square-15...

4•simonebrunozzi•12m ago•0 comments

Computing's Energy Problem (and what we can do about it) (2014) [pdf]

https://gwern.net/doc/cs/hardware/2014-horowitz-2.pdf

1•thomasjb•12m ago•0 comments

AI Destroys Institutions (2025)

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

2•felineflock•13m ago•0 comments

OBS Studio 32.1.0 Beta 1 available

https://github.com/obsproject/obs-studio/releases/tag/32.1.0-beta1

6•Sean-Der•13m ago•0 comments

A substitute for thinking

https://federicopereiro.com/substitute-thinking/

2•swah•13m ago•1 comments

The Quest to Chart the Sea

https://www.economist.com/interactive/international/2025/12/22/the-quest-to-chart-the-sea

1•andsoitis•15m ago•0 comments

The Imitation Game: Using LLMs as Chatbots to Combat Chat-Based Cybercrimes

https://arxiv.org/abs/2512.21371

1•PaulHoule•15m ago•0 comments

ExoActive: Exoskeleton for trades people from Festool (2024)

https://www.festoolcanada.com/campaigns/microsites/exoactive

2•bhouston•16m ago•1 comments

The Palantir app helping ICE raids in Minneapolis

https://www.404media.co/elite-the-palantir-app-ice-uses-to-find-neighborhoods-to-raid/

3•fajmccain•16m ago•0 comments

The XOR Cache: A Catalyst for Compression

https://dl.acm.org/doi/10.1145/3695053.3730995

1•blakepelton•17m ago•1 comments

Show HN: Ctrl – Open-source AI OS where each app has an AI that knows its data

https://github.com/CtrlAIcom/ctrl

1•rado12•18m ago•1 comments

Ask HN: Why do you think the web of the noughties was better than it is now?

1•trwhite•21m ago•0 comments

AI to turn YT Videos into Bullet points

https://github.com/francescovaglia/kliply

1•francescovaglia•21m ago•0 comments

GitHub Actions Degraded

https://www.githubstatus.com/incidents/5ccghcfrkv39

1•nilsjansen•21m ago•0 comments

What does it take to ship Rust in safety-critical?

https://blog.rust-lang.org/2026/01/14/what-does-it-take-to-ship-rust-in-safety-critical/

1•miniBill•23m ago•1 comments

Gemini is Winning

https://www.theverge.com/ai-artificial-intelligence/861863/google-gemini-ai-race-winner

1•youtubeuser•24m ago•0 comments

Ask HN: Was my X account suspended as retaliation for this Reddit post?

Recursion and Induction: A Self-Contained Course Using ACL2

Found: Medieval Cargo Ship – Largest Vessel of Its Kind Ever

Architecture+cost drivers for a deterministic rule/metric engine 1,200metrics

Turning weeks of medical device documentation into minutes

Hetzner Storage Boxes

New Vulnerability in n8n – CVE-2026-21858

Brain displacement and nonlinear deformation following human spaceflight

Apple Is Fighting for TSMC Capacity as Nvidia Takes Center Stage

Compute multiple modular inverses with Montgomery's trick

What Does It Mean to Make a Voice Call in a Post-Telephone World?–Howard vs. RNC

Broken Proofs and Broken Provers

India warns Apple it will proceed with antitrust case after plays for time

Time in C++: Creating Your Own Clocks with <Chrono>

Declassified cable estimates 10k killed at Tiananmen Square (2017)

Computing's Energy Problem (and what we can do about it) (2014) [pdf]

AI Destroys Institutions (2025)

OBS Studio 32.1.0 Beta 1 available

A substitute for thinking

The Quest to Chart the Sea

The Imitation Game: Using LLMs as Chatbots to Combat Chat-Based Cybercrimes

ExoActive: Exoskeleton for trades people from Festool (2024)

The Palantir app helping ICE raids in Minneapolis

The XOR Cache: A Catalyst for Compression

Show HN: Ctrl – Open-source AI OS where each app has an AI that knows its data

Ask HN: Why do you think the web of the noughties was better than it is now?

AI to turn YT Videos into Bullet points

GitHub Actions Degraded

What does it take to ship Rust in safety-critical?

Gemini is Winning

Ask HN: What is your favourite GitHub Repo?

Comments

Ask HN: Was my X account suspended as retaliation for this Reddit post?

Recursion and Induction: A Self-Contained Course Using ACL2

Found: Medieval Cargo Ship – Largest Vessel of Its Kind Ever

Architecture+cost drivers for a deterministic rule/metric engine 1,200metrics

Turning weeks of medical device documentation into minutes

Hetzner Storage Boxes

New Vulnerability in n8n – CVE-2026-21858

Brain displacement and nonlinear deformation following human spaceflight

Apple Is Fighting for TSMC Capacity as Nvidia Takes Center Stage

Compute multiple modular inverses with Montgomery's trick

What Does It Mean to Make a Voice Call in a Post-Telephone World?–Howard vs. RNC

Broken Proofs and Broken Provers

India warns Apple it will proceed with antitrust case after plays for time

Time in C++: Creating Your Own Clocks with <Chrono>

Declassified cable estimates 10k killed at Tiananmen Square (2017)

Computing's Energy Problem (and what we can do about it) (2014) [pdf]

AI Destroys Institutions (2025)

OBS Studio 32.1.0 Beta 1 available

A substitute for thinking

The Quest to Chart the Sea

The Imitation Game: Using LLMs as Chatbots to Combat Chat-Based Cybercrimes

ExoActive: Exoskeleton for trades people from Festool (2024)

The Palantir app helping ICE raids in Minneapolis

The XOR Cache: A Catalyst for Compression

Show HN: Ctrl – Open-source AI OS where each app has an AI that knows its data

Ask HN: Why do you think the web of the noughties was better than it is now?

AI to turn YT Videos into Bullet points

GitHub Actions Degraded

What does it take to ship Rust in safety-critical?

Gemini is Winning