frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Geometric-Constraint-Solver: A Simple Geometric Constraint Solver

https://github.com/kasznar/geometric-constraint-solver
2•thunderbong•1h ago

SeL4 is a formally verified operating system

https://sel4.systems/
1•logicallee•52s ago•0 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
1•birdculture•2m ago•0 comments

US threatens EU digital services market access

https://twitter.com/ustraderep/status/2000990028835508258
1•heisenbit•3m ago•0 comments

Show HN: Motie – Replit for Web Scraping

https://app.motie.dev
1•jb_hn•4m ago•0 comments

The Budget Inflation Myth: A Timeline Debunking

https://rodgercuddington.substack.com/p/the-budget-inflation-myth-a-timeline
1•freespirt•5m ago•0 comments

My conversation with James Dyson [video]

https://www.youtube.com/watch?v=Se64B8TKfjA
1•simonebrunozzi•6m 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•7m ago•0 comments

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

1•blas0•8m ago•0 comments

20k Issues on GitHub

https://daniel.haxx.se/blog/2025/12/16/20000-issues-on-github/
1•HieronymusBosch•11m ago•0 comments

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

https://freyavideo.com/
1•howardV•13m 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•16m ago•1 comments

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

https://www.spakhm.com/ts-wolfram-ext
1•lioeters•20m ago•0 comments

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

https://github.com/p-org/P
1•Davidbrcz•25m ago•0 comments

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

1•lobito25•29m ago•1 comments

The Farmers' Inheritance Tax Crisis

https://rodgercuddington.substack.com/p/the-farmers-inheritance-tax-crisis
1•freespirt•29m ago•0 comments

SWE Career Advice

1•analogwatcher•30m ago•0 comments

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

https://www.particlesynth.studio/
1•yamsasson•31m ago•1 comments

Ground Effect

https://en.wikipedia.org/wiki/Ground_effect_(cars)
1•simonebrunozzi•34m ago•0 comments

Qjp – turn any JSON file into a quick TUI menu

https://github.com/plainas/qjp
1•todsacerdoti•38m ago•0 comments

DailyBoard – With a Unique Queue Logic

https://dailyboard.xyz/
1•niyoseris•38m ago•1 comments

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

1•earaujo•41m ago•0 comments

IWannaHub

https://www.iwannahub.com
1•hhdyhaha•44m ago•0 comments

Wol AI – The AI workspace that gets shit done

https://wolai.lovable.app/
1•WOL_AI•50m ago•1 comments

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

https://tuby.dev/
1•alanalvestech•52m ago•1 comments

Where Can You Find

http://info.bossgoodemo.com/where-can-you-find-an-electrical-lift-1.html
1•alicebossgoo•55m 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