fp.

Decoding a V16 Beacon

https://destevez.net/2025/12/decoding-a-v16-beacon/

1•bearbin•1m ago•0 comments

Show HN: Refactor Vue/React Components with Label Propagation and Claude Code

https://vue-hook-optimizer.vercel.app/

1•huali•2m ago•1 comments

Building a React App with Formally Verified State

https://midspiral.com/blog/building-a-react-app-with-formally-verified-state/

1•namin•2m ago•0 comments

Show HN: Collaborative code playground in a single <1MB HTML file

https://github.com/micouy/koper

1•micouay•3m ago•0 comments

Show HN: Paper Tray – dramatically better file organization for Google Drive

https://www.papertray.ai/

1•affine_variety•4m ago•0 comments

Free macOS app to manage SQL databases without writing SQL

https://vps-commander.com/data-builder-macos-free-version/

1•tkrenn06•8m ago•0 comments

Show HN: Terminalot – A local-first, open-core SSH terminal with AI copilot

https://github.com/linkeli-labs/terminalot

1•linkeli•9m ago•0 comments

Why isn't there a ChatGPT for social media

1•NibezaK•11m ago•0 comments

MH370 vanished in 2014.New search aims to find answers families desperately want

https://www.abc.net.au/news/2025-12-30/mh370-search-resumes-for-malaysia-airlines-missing-plane/1...

3•evolve2k•11m ago•0 comments

Ionice(1) – Linux Manual Page

https://man7.org/linux/man-pages/man1/ionice.1.html

2•keepamovin•12m ago•0 comments

Looking at 2026 Through the Eyes of 1926

https://www.nytimes.com/2025/12/08/special-series/century-history-reflection-2026.html

1•cainxinth•13m ago•0 comments

Open Badges

https://openbadges.org/

1•Lwrless•13m ago•0 comments

Tesla Plaid Pickleball Paddle

https://www.yankodesign.com/2025/12/27/teslas-350-pickleball-paddle-is-peak-design-absurdity/

1•bookofjoe•14m ago•0 comments

Show HN: I built a zero-log PII redaction API – no AI, just regex and checksums

https://pii-firewall-edge-web.vercel.app

1•Raviteja_•17m ago•1 comments

Pushpad has released a new Go library for Web Push

https://newsletter.page/pushpad/2862-introducing-pushpad-go-v1-0-0-full-api-support-is-here

1•collimarco•18m ago•0 comments

Win32 is the stable Linux ABI

https://loss32.org/

21•krautburglar•23m ago•3 comments

Renewable energy project approvals hit record high in GB in 2025, data shows

https://www.theguardian.com/business/2025/dec/30/renewable-energy-projects-battery-storage-wind-s...

1•zeristor•23m ago•0 comments

no strpy either

https://daniel.haxx.se/blog/2025/12/29/no-strcpy-either/

14•firesteelrain•23m ago•0 comments

The Discovery of Lin Yutang's MingKwai Chinese Typewriter

https://typewriterrevolution.com/the-discovery-of-lin-yutangs-mingkwai-chinese-typewriter/

1•superjan•26m ago•1 comments

Show HN: Imesde – A tiny, ephemeral vector engine for streaming data (Rust)

https://github.com/imesde/imesde

1•alessiopel•26m ago•1 comments

The British Empire's Resilient Subsea Telegraph Network

https://subseacables.blogspot.com/2025/12/the-british-empires-resilient-subsea.html

1•giuliomagnifico•27m ago•0 comments

Show HN: Spraff – Voice and text AI chat, self-hostable, no data retention

https://github.com/martinpllu/spraff

1•pllu•29m ago•0 comments

Far-right online dating site leaked

https://okstupid.lol/

6•_tk_•30m ago•1 comments

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

https://www.philipzucker.com/glue-cvc5-z3/

1•matt_d•35m ago•0 comments

Fucking Approachable Swift Concurrency

https://fuckingapproachableswiftconcurrency.com/en/

3•wrxd•36m ago•0 comments

The state of AI – December 2025

https://www.ashprabaker.com/state-of-play

2•_ash_•37m ago•1 comments

Jan Łukasiewicz

https://plato.stanford.edu/entries/lukasiewicz/

1•danielam•40m ago•0 comments

MongoDB CVE CVE-2025-14847 – what K8s users should know?

https://www.armosec.io/blog/cve-2025-14847-mongobleed-memory-disclosure/

1•jkaftzan•41m ago•1 comments

Calibri Wasn't Fit for the State Department; Neither Is Times New Roman

https://hsu.cy/2025/12/times-new-american/

17•firexcy•41m ago•8 comments

Simple Made Easy – Rich Hickey

https://www.infoq.com/presentations/Simple-Made-Easy/

3•thunderbong•42m ago•0 comments

Decoding a V16 Beacon

Show HN: Refactor Vue/React Components with Label Propagation and Claude Code

Building a React App with Formally Verified State

Show HN: Collaborative code playground in a single <1MB HTML file

Show HN: Paper Tray – dramatically better file organization for Google Drive

Free macOS app to manage SQL databases without writing SQL

Show HN: Terminalot – A local-first, open-core SSH terminal with AI copilot

Why isn't there a ChatGPT for social media

MH370 vanished in 2014.New search aims to find answers families desperately want

Ionice(1) – Linux Manual Page

Looking at 2026 Through the Eyes of 1926

Open Badges

Tesla Plaid Pickleball Paddle

Show HN: I built a zero-log PII redaction API – no AI, just regex and checksums

Pushpad has released a new Go library for Web Push

Win32 is the stable Linux ABI

Renewable energy project approvals hit record high in GB in 2025, data shows

no strpy either

The Discovery of Lin Yutang's MingKwai Chinese Typewriter

Show HN: Imesde – A tiny, ephemeral vector engine for streaming data (Rust)

The British Empire's Resilient Subsea Telegraph Network

Show HN: Spraff – Voice and text AI chat, self-hostable, no data retention

Far-right online dating site leaked

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

Fucking Approachable Swift Concurrency

The state of AI – December 2025

Jan Łukasiewicz

MongoDB CVE CVE-2025-14847 – what K8s users should know?

Calibri Wasn't Fit for the State Department; Neither Is Times New Roman

Simple Made Easy – Rich Hickey

Are We Compressed Yet?

Decoding a V16 Beacon

Show HN: Refactor Vue/React Components with Label Propagation and Claude Code

Building a React App with Formally Verified State

Show HN: Collaborative code playground in a single <1MB HTML file

Show HN: Paper Tray – dramatically better file organization for Google Drive

Free macOS app to manage SQL databases without writing SQL

Show HN: Terminalot – A local-first, open-core SSH terminal with AI copilot

Why isn't there a ChatGPT for social media

MH370 vanished in 2014.New search aims to find answers families desperately want

Ionice(1) – Linux Manual Page

Looking at 2026 Through the Eyes of 1926

Open Badges

Tesla Plaid Pickleball Paddle

Show HN: I built a zero-log PII redaction API – no AI, just regex and checksums

Pushpad has released a new Go library for Web Push

Win32 is the stable Linux ABI

Renewable energy project approvals hit record high in GB in 2025, data shows

no strpy either

The Discovery of Lin Yutang's MingKwai Chinese Typewriter

Show HN: Imesde – A tiny, ephemeral vector engine for streaming data (Rust)

The British Empire's Resilient Subsea Telegraph Network

Show HN: Spraff – Voice and text AI chat, self-hostable, no data retention

Far-right online dating site leaked

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

Fucking Approachable Swift Concurrency

The state of AI – December 2025

Jan Łukasiewicz

MongoDB CVE CVE-2025-14847 – what K8s users should know?

Calibri Wasn't Fit for the State Department; Neither Is Times New Roman

Simple Made Easy – Rich Hickey