fp.

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

1•birdculture•58s ago•0 comments

US threatens EU digital services market access

https://twitter.com/ustraderep/status/2000990028835508258

1•heisenbit•2m ago•0 comments

Show HN: Motie – Replit for Web Scraping

https://app.motie.dev

1•jb_hn•3m ago•0 comments

The Budget Inflation Myth: A Timeline Debunking

https://rodgercuddington.substack.com/p/the-budget-inflation-myth-a-timeline

1•freespirt•3m ago•0 comments

My conversation with James Dyson [video]

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

1•simonebrunozzi•4m ago•0 comments

KDE Ni OS Is a Playful Take on Immutable Linux Built on NixOS

https://linuxiac.com/kde-ni-os-is-a-playful-take-on-immutable-linux-built-on-nixos/

1•todsacerdoti•5m ago•0 comments

(part 2) unsevering Claude to my codebase, attempting persistent memory

1•blas0•7m ago•0 comments

20k Issues on GitHub

https://daniel.haxx.se/blog/2025/12/16/20000-issues-on-github/

1•HieronymusBosch•10m ago•0 comments

Show HN: Shipped Wan 2.6 (Image-to-Video and Text-to-Video) on FreyaVideo

https://freyavideo.com/

1•howardV•11m ago•0 comments

U.S. Military Willing to Attack "Designated Terrorist Organizations" in America

https://theintercept.com/2025/12/16/trump-domestic-attack-dtos/

1•sipofwater•14m ago•1 comments

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

https://www.spakhm.com/ts-wolfram-ext

1•lioeters•19m ago•0 comments

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P

1•Davidbrcz•24m ago•0 comments

Ask HN: Anyone else hitting Claude Code Pro limits after 1 or 2 prompts?

1•lobito25•28m ago•1 comments

The Farmers' Inheritance Tax Crisis

https://rodgercuddington.substack.com/p/the-farmers-inheritance-tax-crisis

1•freespirt•28m ago•0 comments

SWE Career Advice

1•analogwatcher•29m ago•0 comments

UG-3: A digital Petri dish Synthesizer. (WebGPU)

https://www.particlesynth.studio/

1•yamsasson•30m ago•1 comments

Ground Effect

https://en.wikipedia.org/wiki/Ground_effect_(cars)

1•simonebrunozzi•33m ago•0 comments

Qjp – turn any JSON file into a quick TUI menu

https://github.com/plainas/qjp

1•todsacerdoti•36m ago•0 comments

DailyBoard – With a Unique Queue Logic

https://dailyboard.xyz/

1•niyoseris•36m ago•1 comments

Ask HN: How Do You Prepare for Research Internship Interviews?

1•earaujo•40m ago•0 comments

IWannaHub

https://www.iwannahub.com

1•hhdyhaha•42m ago•0 comments

Wol AI – The AI workspace that gets shit done

https://wolai.lovable.app/

1•WOL_AI•49m ago•1 comments

Show HN: Tuby.dev – Indexing Rails videos via Vision AI code analysis

https://tuby.dev/

1•alanalvestech•51m ago•1 comments

Where Can You Find

http://info.bossgoodemo.com/where-can-you-find-an-electrical-lift-1.html

1•alicebossgoo•53m ago•1 comments

Book Review: Algorithms of Armageddon: Impact of AI on Future Wars

https://ssi.armywarcollege.edu/SSI-Media/Recent-Publications/Article/4311743/book-review-algorith...

1•KnuthIsGod•1h ago•0 comments

Frog gut bacterium eliminates cancer tumors in mice with a single dose

https://newatlas.com/cancer/frog-reptile-microbes-cancer/

7•0in•1h ago•0 comments

Show HN: QR Code API – Because existing solutions are overpriced

https://www.qrcodeapi.io

1•malachi_dev•1h ago•1 comments

A Petabyte in the Palm of My Hand – Kioxia Factory Tour [video]

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

1•latchkey•1h ago•1 comments

Negotiations over US-UK tech deal still live

https://www.bbc.com/news/articles/c79x54dprngo

2•1659447091•1h ago•1 comments

Mozilla's new CEO: Firefox will become an "AI browser"

https://www.osnews.com/story/144027/mozillas-new-ceo-firefox-will-become-an-ai-browser/

3•XiS•1h ago•2 comments

TLA+ Modeling Tips

US threatens EU digital services market access

Show HN: Motie – Replit for Web Scraping

The Budget Inflation Myth: A Timeline Debunking

My conversation with James Dyson [video]

KDE Ni OS Is a Playful Take on Immutable Linux Built on NixOS

(part 2) unsevering Claude to my codebase, attempting persistent memory

20k Issues on GitHub

Show HN: Shipped Wan 2.6 (Image-to-Video and Text-to-Video) on FreyaVideo

U.S. Military Willing to Attack "Designated Terrorist Organizations" in America

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Ask HN: Anyone else hitting Claude Code Pro limits after 1 or 2 prompts?

The Farmers' Inheritance Tax Crisis

SWE Career Advice

UG-3: A digital Petri dish Synthesizer. (WebGPU)

Ground Effect

Qjp – turn any JSON file into a quick TUI menu

DailyBoard – With a Unique Queue Logic

Ask HN: How Do You Prepare for Research Internship Interviews?

IWannaHub

Wol AI – The AI workspace that gets shit done

Show HN: Tuby.dev – Indexing Rails videos via Vision AI code analysis

Where Can You Find

Book Review: Algorithms of Armageddon: Impact of AI on Future Wars

Frog gut bacterium eliminates cancer tumors in mice with a single dose

Show HN: QR Code API – Because existing solutions are overpriced

A Petabyte in the Palm of My Hand – Kioxia Factory Tour [video]

Negotiations over US-UK tech deal still live

Mozilla's new CEO: Firefox will become an "AI browser"

Trump weighs order to loosen federal marijuana restrictions

TLA+ Modeling Tips

US threatens EU digital services market access

Show HN: Motie – Replit for Web Scraping

The Budget Inflation Myth: A Timeline Debunking

My conversation with James Dyson [video]

KDE Ni OS Is a Playful Take on Immutable Linux Built on NixOS

(part 2) unsevering Claude to my codebase, attempting persistent memory

20k Issues on GitHub

Show HN: Shipped Wan 2.6 (Image-to-Video and Text-to-Video) on FreyaVideo

U.S. Military Willing to Attack "Designated Terrorist Organizations" in America

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Ask HN: Anyone else hitting Claude Code Pro limits after 1 or 2 prompts?

The Farmers' Inheritance Tax Crisis

SWE Career Advice

UG-3: A digital Petri dish Synthesizer. (WebGPU)

Ground Effect

Qjp – turn any JSON file into a quick TUI menu

DailyBoard – With a Unique Queue Logic

Ask HN: How Do You Prepare for Research Internship Interviews?

IWannaHub

Wol AI – The AI workspace that gets shit done

Show HN: Tuby.dev – Indexing Rails videos via Vision AI code analysis

Where Can You Find

Book Review: Algorithms of Armageddon: Impact of AI on Future Wars

Frog gut bacterium eliminates cancer tumors in mice with a single dose

Show HN: QR Code API – Because existing solutions are overpriced

A Petabyte in the Palm of My Hand – Kioxia Factory Tour [video]

Negotiations over US-UK tech deal still live

Mozilla's new CEO: Firefox will become an "AI browser"