frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Counterexamples in type systems (2021)

https://counterexamples.org/
40•bramadityaw•1d ago

Comments

dang•1h ago
Related. Others?

Counterexamples in Type Systems: programs that crash, segfault or explode (2021) - https://news.ycombinator.com/item?id=36213704 - June 2023 (97 comments)

Counterexamples in Type Systems - https://news.ycombinator.com/item?id=27252899 - May 2021 (62 comments)

Claude Sonnet 5

https://www.anthropic.com/news/claude-sonnet-5
725•marinesebastian•4h ago•395 comments

Claude Code is steganographically marking requests

https://thereallo.dev/blog/claude-code-prompt-steganography
1169•kirushik•6h ago•305 comments

Meta's brain-scanning system reads sentences non-invasively, code open source

https://ai.meta.com/blog/brain2qwerty-brain-ai-human-communication/?_fb_noscript=1
33•alok-g•38m ago•19 comments

Claude Science

https://claude.com/product/claude-science
292•lebovic•4h ago•102 comments

Nano Banana 2 Lite

https://deepmind.google/models/gemini-image/flash-lite/
253•minimaxir•5h ago•100 comments

How does a pull-back car work? Illustrated teardown

https://mechanical-pencil.com/products/car
42•Muhammad523•1d ago•12 comments

I ported Kubernetes to the browser

https://ngrok.com/blog/i-ported-kubernetes-to-the-browser
79•peterdemin•1h ago•20 comments

Stroustrup's Rule (2024)

https://buttondown.com/hillelwayne/archive/stroustrups-rule/
25•bmacho•3d ago•0 comments

I built a mmWave material classification radar (2025)

https://gauthier-lechevalier.com/radar
110•GL26•4h ago•30 comments

Building a custom octocopter from scratch with no prior hardware experience

https://karolina.mgdubiel.com/drone/
299•noleary•2d ago•68 comments

CERN bids farewell to the LHC and enters Long Shutdown 3

https://home.cern/cern-bids-farewell-to-the-lhc-and-enters-long-shutdown-3/
53•HelloUsername•1d ago•13 comments

Knoppix

https://www.knopper.net/knoppix/index-en.html
217•hoangvmpc•9h ago•90 comments

Show HN: My 13-year-old built an ant colony tracker

https://formicarium.es
17•abelgvidal•5h ago•10 comments

Long Island's decommissioned nuclear power plant

https://nickcarr.com/scouting-a-decommissioned-nuclear-power-plant/
22•mkmk•6d ago•0 comments

Waveloop: What Fable left me

https://neynt.ca/writing/waveloop/
49•personjerry•3d ago•13 comments

Set up your own DoH (DNS over HTTPS) service

https://nochan.net/b/Internet-Crap/20260602-Set-Up-Your-Own-DoH-Service/
49•Bender•2d ago•20 comments

Memoirs of Extraordinary Popular Delusions and the Madness of Crowds (1852)

https://www.gutenberg.org/ebooks/24518
152•lstodd•9h ago•49 comments

Have you restarted your computer this week?

https://taonaw.com/2026/06/27/have-you-restarted-your-computer.html
72•surprisetalk•7h ago•163 comments

Matrix URIs, a URL syntax from Tim Berners-Lee that never shipped (1996)

https://www.w3.org/DesignIssues/MatrixURIs.html
37•napolux•4d ago•23 comments

US Army Women Are More Likely to Be Killed by Army Men Than by War

https://theintercept.com/2026/06/30/army-women-death-domestic-violence-sexual-assault/
17•rendx•36m ago•3 comments

Reading the internals of Postgres: Database cluster, databases, and tables

https://www.buraksen.dev/articles/internals-of-postgresql-db-cluster-and-tables
27•buraksen•1d ago•0 comments

Morbid: Debunking Modern Longevity Science

https://www.newyorker.com/magazine/2026/07/06/morbid-saul-justin-newman-book-review-eat-your-ice-...
27•nabbed•1h ago•16 comments

I built a 10 inch mini rack from aluminium extrusions

https://louwrentius.com/i-build-a-10-inch-mini-rack-from-aluminium-extrusions.html
37•louwrentius•2d ago•15 comments

Understanding lattice risks: Many differences between marketing and reality

https://blog.cr.yp.to/20260630-risk.html
3•ledoge•38m ago•0 comments

A peek into Reddit's anti-spam internals

https://lyra.horse/blog/2026/06/reddit-spam-internals/
72•OuterVale•3d ago•15 comments

Amazon seller reveals glimpse of shadow bribery market

https://www.latimes.com/business/story/2026-06-30/shadow-bribery-market-inside-amazon-preys-on-de...
64•petethomas•3h ago•34 comments

1.38 Millimeter Microcontroller

https://www.ti.com/product/MSPM0C1104
130•kristianpaul•4d ago•86 comments

RF hacking my cloud-controlled ceiling fan

https://samwilkinson.io/posts/2026-06-24-rf-hacking-dreo
17•sammycdubs•6d ago•7 comments

Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)

https://vosen.github.io/ZLUDA/blog/zluda-update-q1q2-2026/
133•Tiberium•11h ago•12 comments

Tokyo has only two barley tea makers, we visited one to see how mugicha is made

https://soranews24.com/2026/06/30/tokyo-has-only-two-barley-tea-makers-and-we-visited-one-to-see-...
13•zdw•2h ago•4 comments