news newest ask show jobs

Open Source @Github

fp.

Tesla Roadster

https://www.tesla.com/roadster

1190•shekhar101•1d ago•2149 comments

Llama.cpp on a jailbroken PS5: run any GGUF model natively on the console

https://github.com/cobanov/PS5LM

199•Anon84•7h ago•50 comments

Claude reveals ECDSA curve origins

https://www.anthropic.com/research/ecdsa-curve-origins

681•ahlCVA•6h ago•273 comments

FLUX 3 Image Klein

https://bfl.ai/blog/flux-3-image-klein

115•gmays•6h ago•27 comments

Waymo in Toronto

https://waymo.com/blog/2026/10/waymo-in-toronto/

268•ChrisArchitect•11h ago•379 comments

You could have invented transformers from memory

https://alexwang.ai/posts/associative-memory/

139•speckx•6h ago•40 comments

eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear

https://www.arrl.org/arrlletterissue?issue=2026-10-15#eBay-Restricts-Listings-of-Radio-Equipment_...

172•7402•7h ago•136 comments

Flexport Is Hiring a Biz Ops Leader in Office of CEO

https://www.flexport.com/company/careers/

1•thedogeye•46m ago

Wireless magnetic millirobots that deliver medicine inside the beating heart

https://hub.jhu.edu/2026/10/12/magnetic-millirobots-cardiac-treatment/

68•giuliomagnifico•2d ago•7 comments

Designing more efficient quantum circuits with Claude

https://www.anthropic.com/research/designing-efficient-quantum-circuits

99•pretext•7h ago•20 comments

Apple ML Research: Muse Spark Open with MLX on Mac Studio

https://machinelearning.apple.com/research/mlx-distributed-inference

266•antipaul•12h ago•123 comments

JPEG XL vs. AVIF for web use-cases

https://jakearchibald.com/2026/jpeg-xl-vs-avif/

200•farlight•9h ago•144 comments

C++26: The New Debugging Header

https://www.sandordargo.com/blog/2026/09/30/cpp26-debugging

66•jandeboevrie•6h ago•7 comments

Nine-Inch Snails

https://www.theatlantic.com/science/2026/10/giant-african-snails-florida-invasion/688850/

25•zdw•3h ago•8 comments

Monte-Carlo Simulations

https://eli.thegreenplace.net/2026/monte-carlo-simulations/

71•ibobev•3d ago•15 comments

90% of US working hours are spent on tasks not covered well by AI benchmarks

https://www.mercor.com/research/labor-index/benchmark-map/

401•speckx•8h ago•337 comments

How the Claude Code team does code review

https://claude.dev/blog/solving-code-review-at-anthropic/

234•pretext•6h ago•223 comments

/dev/null: social network for developers

https://dev-null.sh

129•mnapoli•8h ago•114 comments

Show HN: Gemini 4 Argon plays StarCraft

https://starskirmish.com/bench/v0-2/

186•__cayenne__•11h ago•87 comments

I never authorized an integration that scans my secrets

https://github.com/home-assistant/home-assistant.io/issues/49314

190•trvrprkr•5h ago•146 comments

Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD

https://calif.io/research/big-fish

164•rs_rs_rs_rs_rs•11h ago•46 comments

I Love Software Rendering

https://www.jamesfmackenzie.com/2026/10/13/i-love-software-rendering/

289•speckx•12h ago•189 comments

I built the RealWorld app in Lean 4

https://leangineer.com/blog/realworld-in-lean/

7•saviorand•2d ago•2 comments

Why harnesses matter for energy (and token) efficiency

https://neuralwatt.com/news/why-harnesses-matter-for-energy-efficiency

37•ccgibson•4h ago•18 comments

Stolen Renoir paintings found hidden, and damaged, behind cinder block wall

https://www.cbsnews.com/news/stolen-renoir-paintings-found-behind-wall-france/

105•ohjeez•3d ago•64 comments

Show HN: Wonderhop – A daily game: guess what most people say, or what none do

https://wonderhop.io/en/

59•mtlduo•3d ago•57 comments

PGO or not PGO this is the dilemma. Step 2

https://www.percona.com/blog/pgo-or-not-pgo-this-is-the-dilemma-step-2/

18•hnp9j9qtda•2d ago•2 comments

What on Earth Is Dekton?

https://www.worksinprogress.news/p/porcelain

127•wawayanda•11h ago•45 comments

What was a Token Ring network?

https://dfarq.homeip.net/what-was-a-token-ring-network/

97•ibobev•12h ago•74 comments

GifCities

https://gifcities.org/

55•augury•8h ago•12 comments

Open in hackernews

I built the RealWorld app in Lean 4

https://leangineer.com/blog/realworld-in-lean/

7•saviorand•2d ago

Comments

saviorand•2d ago

I wanted to know if Lean 4 is usable for an everyday web app yet, not just for proofs, so I built RealWorld (the Medium clone) in it, frontend included, using Datastar. Looks like it's feasible now with the new libraries. This post describes the experience

sroerick•36m ago

amazing work