news newest ask show jobs

Open Source @Github

fp.

One Year of Sponsored Servo Development

https://servo.org/blog/2026/09/15/one-year-of-sponsorship/

117•AshleysBrain•3h ago•49 comments

GLM Built Its Own Inference Infrastructure

https://z.ai/blog/glm-built-its-inference-infrastructure

96•whiteros_e•3h ago•60 comments

Neovim have a ~$800k Bitcoin donation sitting untouched since 2023

39•jakemanger•45m ago•4 comments

Nvidia announces native GPU programming in Rust

https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernels/

734•nonmaskable•1d ago•300 comments

Keys Not Included: recovering the signing keys for US driver's license barcodes

https://ryan.science/blog/keys-not-included

192•Ryan5453•8h ago•70 comments

My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it

https://jakeasmith.com/blog/http-build-url/

142•jakeasmith•1d ago•32 comments

The Relation Between Mathematics and Physics by Paul Dirac

https://www.damtp.cam.ac.uk/events/strings02/dirac/speach.html

66•rramadass•3d ago•22 comments

Better Vector Search for Long Documents: Chunking Inside Manticore Search

https://manticoresearch.com/blog/auto-chunking/

10•GloriaVinogrado•59m ago•0 comments

Training a 4B model to produce 81% faster query plans than Postgres

https://rohanbansal.com/qorl

567•polyphilz•16h ago•120 comments

OpenAI Model Misalignment Report

https://openai.com/index/model-misalignment-reporting-framework/

55•qprofyeh•4h ago•27 comments

Online Z3 Guide

https://microsoft.github.io/z3guide/

16•Bluestein•1d ago•5 comments

Lucasart's Afterlife

https://togameforlife.wordpress.com/2023/12/09/on-lucasarts-afterlife/

36•Bondi_Blue•1d ago•18 comments

Xiaomi Mimo 2.6 live post-training dashboard

https://mimo.xiaomi.com/rl/

450•krackers•15h ago•122 comments

Small programming tricks

https://will-keleher.com/posts/small-programming-tricks-matter/

534•signa11•19h ago•242 comments

Comparison of Malloc() Algorithms

https://egbert.net/blog/articles/comparison-of-arena-architecture-in-malloc.html

81•egberts1•1d ago•14 comments

Backups Aren't Simple

https://filipovski.net/2026/09/16/backups-arent-simple.html

256•afilipovski•15h ago•155 comments

Developing provably correct Rust code with Verus

https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus

121•Betelbuddy•2d ago•21 comments

Breaking the 1.58-bit Barrier for Ternary LLMs

https://arxiv.org/abs/2609.16338

213•matt_d•14h ago•34 comments

A 32-year-old bug walks into a Telnet server

https://labs.watchtowr.com/a-32-year-old-bug-walks-into-a-telnet-server-gnu-inetutils-telnetd-cve...

68•paimapi•1d ago•28 comments

Cloudflare/Security-Audit-Skill

https://github.com/cloudflare/security-audit-skill

81•donk8r•6h ago•16 comments

Making a movie in pure SVG using SMIL

https://www.zeyaddeeb.com/experiments/wes-anderson

3•zdeeb•1d ago•0 comments

The engineering behind the US Strategic Petroleum Reserve

https://johnjwang.com/post/2026/09/15/engineering-behind-us-strategic-petroleum-reserve

215•johnjwang•1d ago•86 comments

Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations

https://github.com/arnegiacomo/fugleramme

2182•arnemunthekaas•1d ago•244 comments

AWS says it can't restore some data from mideast facilities struck by Iran

https://www.wsj.com/world/middle-east/aws-says-it-cant-restore-some-data-from-mideast-facilities-...

427•berkeleyjunk•1d ago•353 comments

HarnessTax: How Much Does the Harness Matter for Coding Agents?

https://harnesstax.github.io/

142•matt_d•13h ago•55 comments

PCB is brought to you by Fable 5

https://a6mzero.com/posts/this-pcb-is-brought-to-you-by-fable-5/

116•jasonpeacock•2d ago•53 comments

Performance Improvements in .NET 11

https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-11/

303•soheilpro•1d ago•73 comments

Japan's book scene is moving from bookstores to libraries

https://untranslatedjp.substack.com/p/japans-book-scene-is-quietly-moving

200•herbertl•4d ago•82 comments

The Return of Sail Power: Cargo Ships Are Turning Back to the Wind

https://gcaptain.com/the-return-of-sail-power-cargo-ships-are-turning-back-to-the-wind/

102•gumby•11h ago•71 comments

Back to the future: modules for Guix packages (2022)

https://hpc.guix.info/blog/2022/05/back-to-the-future-modules-for-guix-packages/

60•bmacho•1d ago•1 comments

Open in hackernews

Online Z3 Guide

https://microsoft.github.io/z3guide/

16•Bluestein•1d ago

Comments

greatgib•40m ago

If anyone wondering, because it took me a few hops to find out:

Z3 is a high-performance theorem prover being developed at Microsoft Research.

Bluestein•24m ago

Or a BMW, or a groundbreaking electro mechanical computer, depending :)

number6•16m ago

I was hoping for the mechanical computer...

112233•13m ago

oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.

Jaxan•11m ago

Sometimes you can use SMT for “theorem proving”. It is a rather broad term. I don’t think they added something much different than what they already had.