fp.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

https://github.com/mmaaz-git/sostactic

1•mmaaz•1m ago•0 comments

We beat Google's zero-knowledge proof of quantum cryptanalysis

https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanal...

1•da-bacon•2m ago•0 comments

Homeland Security's New Task Force Website Sanitizes Trump's Deportation Agenda

https://www.motherjones.com/politics/2026/04/homeland-security-task-force-new-website-sanitizes-t...

1•cdrnsf•2m ago•0 comments

Inferena: Local benchmark of PyTorch vs. Llama.cpp vs. Rust frameworks

http://inferena.tech/

1•kvark•4m ago•0 comments

HIPPO Turns One Master Password into Many Without Storing Any

https://spectrum.ieee.org/storeless-password-manager

1•u1hcw9nx•5m ago•0 comments

Our Longing for Inconvenience

https://www.newyorker.com/culture/essay/our-longing-for-inconvenience

1•cdrnsf•5m ago•0 comments

David Sklansky, the 'First Nerd to Enter Poker,' Dies at 78

https://www.nytimes.com/2026/04/11/us/david-sklansky-dead.html

1•indigodaddy•6m ago•0 comments

Launching Ising, open models to accelerate the path to useful quantum computers

https://nvidianews.nvidia.com/news/nvidia-launches-ising-the-worlds-first-open-ai-models-to-accel...

3•hhs•7m ago•0 comments

What Is Llms.txt and Does Your Business Need One?

https://semarkglobal.com/blog/what-is-llms-txt-does-your-business-need-one

2•alihassaan•9m ago•1 comments

Dad brains: How fatherhood rewires the male mind

https://www.bbc.com/future/article/20260417-fatherhood-how-the-male-brain-and-body-prepare-for-ch...

1•tchalla•13m ago•0 comments

Show HN: AWS's Kiro just got an Open source Codex

https://github.com/thabti/kirodex

2•sovietism•16m ago•0 comments

Pupil dilation suggests people start solving before all numbers are in

https://phys.org/news/2026-04-mental-math-shortcut-pupil-dilation.html

2•y1n0•18m ago•0 comments

Classic Papers: Articles That Have Stood the Test of Time

https://scholar.googleblog.com/2017/06/classic-papers-articles-that-have-stood.html

2•gregsadetsky•19m ago•0 comments

Why Zip drives dominated the 90s, then vanished almost overnight

https://www.xda-developers.com/zip-drives-dominated-90s-vanished-almost-overnight/

2•y1n0•23m ago•1 comments

The man who saw the future: the legacy of cultural theorist Mark Fisher

https://www.theguardian.com/film/2026/apr/17/we-are-making-a-film-about-mark-fisher-capitalist-re...

2•mellosouls•26m ago•0 comments

Robots learn: A brief, contemporary history

https://www.technologyreview.com/2026/04/17/1135416/how-robots-learn-brief-contemporary-history/

3•billybuckwheat•27m ago•0 comments

20000 Gates and 20 MIPS [pdf]

https://bitsavers.org/pdf/amdahl/history/20000_Gates_and_20_MIPS_199011.pdf

2•ingve•29m ago•1 comments

Tiny Go and Rust programs appear to start equally fast (on some machines)

https://utcc.utoronto.ca/~cks/space/blog/programming/GoVsRustStartupDelays

2•ingve•37m ago•1 comments

AI writes code 100x faster – why hasn't productivity?

https://deeptils.github.io/blog/ai-writes-code-100x-faster-productivity-hasnt/

2•deeplstm•39m ago•1 comments

British Empire: How a Small Island Took over the World

https://sheets.works/data-viz/british-empire

2•akashwadhwani35•43m ago•0 comments

Meshcore: Architecture for a Decentralized P2P LLM Inference Network

1•elyawhoo•44m ago•1 comments

My first impressions on ROCm and Strix Halo

https://blog.marcoinacio.com/posts/my-first-impressions-rocm-strix-halo/

3•random_•47m ago•0 comments

Let Sleeping CPUs Lie – S0ix

https://freebsdfoundation.org/our-work/journal/browser-based-edition/laptop-desktop/let-sleeping-...

1•birdculture•47m ago•0 comments

Singapore Tourism Board Launches AI-Powered Robodog Guides at Sentosa

https://www.stb.gov.sg/about-stb/media-publications/media-centre/singapore-tourism-board-launches...

1•mmarian•49m ago•0 comments

Code → Eval → HLD → LLD → Code

https://p10q.com/presentations/code_hld_lld/

1•tmsh•50m ago•0 comments

Mistral API is degrading [04/2026]

https://status.mistral.ai/incidents/page/1

1•rawland•56m ago•0 comments

Ask HN: Can you show me some useful AI-written programs?

3•nananana9•57m ago•2 comments

Air Is Full of DNA

https://www.nature.com/articles/d41586-026-01099-2

3•howrude•59m ago•0 comments

Mapping India's homegrown AI ecosystem – 110 apps, 22 languages, 28 sectors

https://github.com/suyash333/india-ai-ecosystem

1•golearnsap•1h ago•1 comments

I found out the hard way that Linux is not a dad-friendly gaming OS

https://www.pcgamer.com/hardware/i-found-out-the-hard-way-that-linux-is-not-a-dad-friendly-gaming...

3•evo_9•1h ago•2 comments

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

We beat Google's zero-knowledge proof of quantum cryptanalysis

Homeland Security's New Task Force Website Sanitizes Trump's Deportation Agenda

Inferena: Local benchmark of PyTorch vs. Llama.cpp vs. Rust frameworks

HIPPO Turns One Master Password into Many Without Storing Any

Our Longing for Inconvenience

David Sklansky, the 'First Nerd to Enter Poker,' Dies at 78

Launching Ising, open models to accelerate the path to useful quantum computers

What Is Llms.txt and Does Your Business Need One?

Dad brains: How fatherhood rewires the male mind

Show HN: AWS's Kiro just got an Open source Codex

Pupil dilation suggests people start solving before all numbers are in

Classic Papers: Articles That Have Stood the Test of Time

Why Zip drives dominated the 90s, then vanished almost overnight

The man who saw the future: the legacy of cultural theorist Mark Fisher

Robots learn: A brief, contemporary history

20000 Gates and 20 MIPS [pdf]

Tiny Go and Rust programs appear to start equally fast (on some machines)

AI writes code 100x faster – why hasn't productivity?

British Empire: How a Small Island Took over the World

Meshcore: Architecture for a Decentralized P2P LLM Inference Network

My first impressions on ROCm and Strix Halo

Let Sleeping CPUs Lie – S0ix

Singapore Tourism Board Launches AI-Powered Robodog Guides at Sentosa

Code → Eval → HLD → LLD → Code

Mistral API is degrading [04/2026]

Ask HN: Can you show me some useful AI-written programs?

Air Is Full of DNA

Mapping India's homegrown AI ecosystem – 110 apps, 22 languages, 28 sectors

I found out the hard way that Linux is not a dad-friendly gaming OS

How (and why) we rewrote our production C++ front end infrastructure in Rust

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

We beat Google's zero-knowledge proof of quantum cryptanalysis

Homeland Security's New Task Force Website Sanitizes Trump's Deportation Agenda

Inferena: Local benchmark of PyTorch vs. Llama.cpp vs. Rust frameworks

HIPPO Turns One Master Password into Many Without Storing Any

Our Longing for Inconvenience

David Sklansky, the 'First Nerd to Enter Poker,' Dies at 78

Launching Ising, open models to accelerate the path to useful quantum computers

What Is Llms.txt and Does Your Business Need One?

Dad brains: How fatherhood rewires the male mind

Show HN: AWS's Kiro just got an Open source Codex

Pupil dilation suggests people start solving before all numbers are in

Classic Papers: Articles That Have Stood the Test of Time

Why Zip drives dominated the 90s, then vanished almost overnight

The man who saw the future: the legacy of cultural theorist Mark Fisher

Robots learn: A brief, contemporary history

20000 Gates and 20 MIPS [pdf]

Tiny Go and Rust programs appear to start equally fast (on some machines)

AI writes code 100x faster – why hasn't productivity?

British Empire: How a Small Island Took over the World

Meshcore: Architecture for a Decentralized P2P LLM Inference Network

My first impressions on ROCm and Strix Halo

Let Sleeping CPUs Lie – S0ix

Singapore Tourism Board Launches AI-Powered Robodog Guides at Sentosa

Code → Eval → HLD → LLD → Code

Mistral API is degrading [04/2026]

Ask HN: Can you show me some useful AI-written programs?

Air Is Full of DNA

Mapping India's homegrown AI ecosystem – 110 apps, 22 languages, 28 sectors

I found out the hard way that Linux is not a dad-friendly gaming OS