frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

https://arxiv.org/abs/2602.08384
1•lr0•1h ago

Private Equity Debt Left a Leading VPN Open to Chinese Hackers

https://www.bloomberg.com/news/features/2026-02-19/vpn-used-by-us-government-failed-to-stop-china...
1•petethomas•44s ago•0 comments

LissaJous Curve Visualizer

https://thatxliner.github.io/ljv/
1•thatxliner•3m ago•0 comments

Large banner featuring Trump's face displayed on Justice Department headquarters

https://apnews.com/article/donald-trump-banner-justice-department-pam-bondi-13f3d901c9bd6d179e206...
2•petethomas•3m ago•0 comments

The Most Chess-Obsessed Country in the World

https://reasonstobecheerful.world/india-most-chess-obsessed-country-in-the-world/
1•PaulHoule•7m ago•0 comments

Show HN: Apple AirPods Price Drop Alerts

https://www.pricedropnotifications.com/airpods-price-drop.html
1•HNthanks•8m ago•0 comments

How to Win Any Debate: The 3 Pillars Framework| SuperDebate Workshop in Infinita [video]

https://www.youtube.com/watch?v=sHVIjc73brA
1•TheAntiEgo•9m ago•1 comments

Skill-engineering now From prompt to skill: how skills work under the hood

https://thevibemarketer.beehiiv.com/p/prompt-engineering-is-so-2023-it-s-all-about-skill-engineer...
1•rmason•9m ago•0 comments

AI pioneer Fei-Fei Li's World Labs raises $1B in funding

https://www.reuters.com/technology/artificial-intelligence/ai-pioneer-fei-fei-lis-world-labs-rais...
1•Ross00781•10m ago•0 comments

Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes

https://pastalab.org/spaghetti-bench/blog.html
1•matt_d•10m ago•0 comments

My Personal Experience with RSI

https://www.joshwcomeau.com/blog/mindbody/
1•williamsss•11m ago•0 comments

Desktop Commander vs. Claude Cowork

https://desktopcommander.app/blog/desktop-commander-vs-cowork/
2•rafaepta•12m ago•0 comments

Meta Horizons: Our Renewed Focus in 2026

https://developers.meta.com/horizon/blog/2026-vr-state-of-the-union-horizon-mobile-focus/
1•spzb•14m ago•0 comments

The "Highlight Reel" Myth of Social Media

https://greyenlightenment.com/2026/02/14/45632/
1•paulpauper•15m ago•0 comments

I left my YC job to build a news cross-referencer

https://nymble.digital
1•dizerv2•15m ago•2 comments

AI Helped Uncover a "50-80x Improvement" for Linux's IO_uring

https://www.phoronix.com/news/AI-50-80x-IO-uring
2•pella•15m ago•0 comments

Crea tu Bio Páginas y Menús QR dinámicos en solo 2 minutos

https://www.kvtemplate.com
1•kevinsotov•17m ago•1 comments

History of self-sustaining LLM agents in real-life workflows

https://spacelatte.notion.site/I-Built-LLM-Agents-for-Work-Before-We-Started-Calling-Them-Agents-...
1•pvtmert•17m ago•0 comments

Reflections on Trusting Trust (1984) [pdf]

https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
1•bb88•18m ago•0 comments

Cothought: Claude as text editor, thinking journal

https://cothought.ai
1•elliotbnvl•18m ago•2 comments

OpenClaw and The Great Hiring Hiatus AGI is here. It's just not implemented yet

https://calacanis.substack.com/p/openclaw-and-the-great-hiring-hiatus
1•rmason•18m ago•0 comments

The Claude C Compiler: What It Reveals About the Future of Software

https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software
1•dnw•18m ago•0 comments

3D starling murmuration with real-time hand tracking – single HTML file

https://murmuration-pink.vercel.app/
1•shadowdevil•19m ago•0 comments

The Next Generation of Mining Infrastructure with MOS, Mining OS, Mining SDK

https://tether.io/news/tether-open-sources-the-next-generation-of-bitcoin-mining-infrastructure-w...
1•janandonly•20m ago•0 comments

Exposed Persona Subdomains Reveals OpenAI-Linked Watchlist Gov API Infra

https://twitter.com/vxunderground/status/2024188446214963351
3•tristanMatthias•22m ago•0 comments

Visualizing the RISC-V Instruction Set

https://gist.github.com/camel-cdr/bd5b197ab140ad6df259916df1439066
1•camel-cdr•23m ago•0 comments

Kubernetes – GatewayApi Fundamentals

https://randomwrites.com/networking/07-Gateway-API-Fundamentals.html
1•mutahirs•24m ago•0 comments

Ubuntu 26.04 LTS Moving to OpenJDK 25 by Default

https://www.phoronix.com/news/Ubuntu-26.04-OpenJDK-25
4•mikece•27m ago•0 comments

GPT-OSS-20B-Vision: First Community VLM for GPT-OSS, Trained on a DGX Spark

https://huggingface.co/vincentkaufmann/gpt-oss-20b-vision-preview
2•vkaufmann•30m ago•1 comments

Show HN: A small, simple music theory library in C99

https://github.com/thelowsunoverthemoon/mahler.c
2•lowsun•30m ago•0 comments

Artifacts: A Visual History of Technology from 1965 to the Present

https://www.tmls.com/books/artifacts
3•overvale•31m ago•0 comments