frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Palomar: A registry of Lean verified mathematics

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
14•matt_d•1h ago

New paper shows that 37% of workers in US saw real wages decline from 2021-2024 [pdf]

https://bfi.uchicago.edu/wp-content/uploads/2026/08/BFI_WP_2026-108-1.pdf
267•jplusequalt•3h ago•132 comments

Meta's blockbuster trial draws parallels to big tobacco

https://www.economist.com/business/2026/08/18/metas-blockbuster-trial-draws-parallels-to-big-tobacco
60•newsomix9xl•1h ago•30 comments

OpenLogi

https://openlogi.org/en
77•amatheus•2h ago•15 comments

Cerebras CS-4

https://www.cerebras.ai/cs4
130•sunils34•3h ago•81 comments

Palomar: A registry of Lean verified mathematics

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
17•matt_d•1h ago•0 comments

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

https://github.com/DenisSergeevitch/desktop-fly
195•phoenix120•6h ago•54 comments

The Amazon tax

https://seths.blog/2026/08/the-amazon-tax/
1004•herbertl•14h ago•577 comments

Scientists stunned by children's lung recovery in ultra low emission zone

https://www.bbc.com/news/articles/c1l1r1zne1ro
66•dabinat•3h ago•31 comments

Solo – a .so loader for static Linux binaries

https://github.com/pg83/solo
71•zX41ZdbW•4h ago•72 comments

How does IKEA come up with names for its products?

https://www.ikea.com/se/en/customer-service/knowledge/articles/6f564c4d-2ccc-46de-b643-545a3948dc...
259•NaOH•9h ago•152 comments

CUDA Shared Memory Swizzling

https://leimao.github.io/blog/CUDA-Shared-Memory-Swizzling/
8•jxmorris12•5d ago•0 comments

AI usage patterns in software teams

https://linear.app/data
70•giuliomagnifico•5h ago•36 comments

Show HN: Interactive, animated architecture of any HuggingFace models

https://modelmap.cc
51•lizhaoliu•4h ago•7 comments

Turbovec – Google's TurboQuant for vector search in Rust

https://github.com/RyanCodrai/turbovec
214•fittingopposite•9h ago•30 comments

Cursor launches Origin, GitHub alternative

https://cursor.com/changelog/origin-code-hosting
504•tomasreimers•1d ago•386 comments

Using the railway network as a flatbed scanner

https://philo.gay/linecam/
415•otherayden•15h ago•68 comments

That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis

https://lithub.com/on-that-disgraceful-disreputable-wonderful-form-of-punctuation-the-parenthesis/
17•pseudolus•2h ago•2 comments

And then the men with guns tell you to do it anyway

https://shkspr.mobi/blog/2026/08/and-then-the-men-with-guns-tell-you-to-do-it-anyway/
207•_djo_•10h ago•120 comments

Fixing a bricked Framework laptop

https://quantum5.ca/2026/08/16/fixing-bricked-amd-7040-series-framework-13-laptop-with-20-tools/
383•jp_sc•14h ago•259 comments

A 25-year-old video patent just expired, ending a legal headache for Linux

https://www.xda-developers.com/25-year-old-brazilian-video-patent-expired-legal-headache-linux/
117•theanonymousone•3d ago•42 comments

Memory prices climb 500% in 12 months

https://www.tomshardware.com/pc-components/ram/memory-prices-climb-500-percent-in-12-months-up-to...
522•haunter•1d ago•436 comments

The 90-year history of the binoculars bolted to scenic overlooks

https://www.dpreview.com/news/the-90-year-history-of-the-binoculars-bolted-to-scenic-overlooks/
36•sohkamyung•5h ago•7 comments

Tiny satellite will use the dark side of the Moon as a shield

https://www.cam.ac.uk/research/news/tiny-satellite-will-use-the-dark-side-of-the-moon-to-eavesdro...
16•NordStreamYacht•2h ago•1 comments

Beware Management Consultants

https://about.iceland.co.uk/our-story/the-dark-ages/beware-management-consultants/
468•KolmogorovComp•8h ago•125 comments

Being ambitious and being a dad

https://nicholascharriere.com/blog/being-ambitious-and-being-a-dad/
342•nichochar•2d ago•210 comments

Universal health coverage could save $1T and 114k lives a year: study

https://ysph.yale.edu/news-article/universal-health-coverage-could-save-one-trillion-dollars-and-...
762•karakoram•1d ago•830 comments

GLM-5.3 Artificial Analysis Benchmarks

https://artificialanalysis.ai/models/glm-5-3
100•apitman•5h ago•43 comments

Apple announces changes for apps in the European Union

https://www.apple.com/newsroom/2026/08/apple-announces-changes-for-apps-in-the-european-union/
128•newusertoday•11h ago•190 comments

How a giant battery is transforming a town centre in Cannington, Ontario

https://betakit.com/how-a-giant-battery-is-transforming-a-town-centre-in-cannington-ontario/
29•builtbystef•4d ago•12 comments

Launch HN: machine0 (YC S26) – Persistent CPU and GPU VMs from the CLI

https://machine0.io
66•bwm•11h ago•41 comments