🧮 Hindley-Milner - Erdwig

🏗Datastructures Discussion

news.ycombinator.com··Hacker News

Why does `std.mem.sort` have the `context` field?

🧮Algorithms Discussion

ziggit.dev·

cryspen/hax: A Rust verification tool

💻Programming Languages Code

github.com··Lobsters

Implementing Monads with Async Zig

💻Programming Languages Blog

platypro.net··Hacker News

.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs

📄Document Versioning

anil.recoil.org·

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

⚡Effect Systems

lmika.org·

Jas: AI-Paired Engineering as a Revival of N-Version Programming

📄Document Versioning Academic

arxiv.org·

I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around

⚡Effect Systems News

thesun.co.uk

Strudel REPL – Audio Programming Language

⚙️Zstandard

gamefromscratch.com·

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

🗂️Hash Tables Code

github.com··Hacker News

Border-straddling library inaugurates new Canadian entrance

🗄Databases News

sootoday.com·

Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette

🎲Probabilistic Inference News

arkansasonline.com

Starting Work at Jane Street

🗂️Hash Tables Blog

hazelduvall.dev·

Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor

🏗Datastructures News

columbian.com

AeroWomen in Yeovil highlights women's role in space exploration

🧮Algorithms News

bbc.com·

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

🗣️Natural Language Parsing Discussion

news.ycombinator.com··Hacker News

We Cut Semgrep's Taint Analysis Time by 75%

🧮Algorithms Blog

semgrep.dev··Hacker News

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

🌳Trie Blog

semgrep.dev··Hacker News

☕ Issue 524

🗜️Compression Algorithms

java.libhunt.com·

Static types and shovels (2026)

Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...

Why does `std.mem.sort` have the `context` field?

cryspen/hax: A Rust verification tool

Implementing Monads with Async Zig

.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

Jas: AI-Paired Engineering as a Revival of N-Version Programming

I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around

Strudel REPL – Audio Programming Language

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

Border-straddling library inaugurates new Canadian entrance

Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette

Starting Work at Jane Street

Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor

AeroWomen in Yeovil highlights women's role in space exploration

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

We Cut Semgrep's Taint Analysis Time by 75%

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

☕ Issue 524