Creusot helps you prove your Rust code is correct (via fanf) — discussion

#rust

A Love Letter to Neovim (by Caio) — discussion

#editors #education #vim

CSCI 1377: Tools for Thought (Spring 2026) (by wcrichton) — discussion

#apl #cogsci #education

Making wl_shm fast (via janus) — discussion

#graphics

CSS vs. JavaScript (via dstelow) — discussion

#css #javascript

Happy almost 2nd Birthday Gleam - Louis Pilfold - Gleam Gathering 2026 (via crowdhailer) — discussion

#gleam #video

I’m tired of talking to AI (via acatton) — discussion

#rant #vibecoding

Atom Exhaustion Is Not a Footgun. It's One Third of Our CVEs (via pushcx) — discussion

#elixir #erlang #security

A new register allocator for ZJIT (via tekknolagi) — discussion

#compilers #performance

MacSurf: NetSurf for Mac OS 9 (via classichasclass) — discussion

#browsers #mac #retrocomputing

Network Science (2017) (via hwayne) — discussion

#book #math

A brief note about slot access cost in Common Lisp (by jackdaniel) — discussion

#compilers #lisp

Interview with Zig creator Andrew Kelley (via laqq3) — discussion

#video #zig

Raft Consensus with a Minority of Nodes (via chamlis) — discussion

#distributed #math

space-tree: Workspace Management Trees in Emacs (by chiply) — discussion

#emacs

5 PostgreSQL locking behaviors that trip people up (via sjamaan) — discussion

#databases

May I recommend thinking of Emacs as your Fortress of Solitude (via confusedalex) — discussion

#emacs

Converting shallow Git bundles into normal repositories (by runxiyu) — discussion

#vcs

Keyboard latency probe (by kqr) — discussion

#ask #hardware

CVE-2026-48710 Starlette Host-Header Auth Bypass (via hoistbypetard) — discussion

#python #web