The Golden Spike, and Resurrecting the Vale(n) Programming Language (by Verdagon) β discussion
#plt #rust
The Golden Spike, and Resurrecting the Vale(n) Programming Language (by Verdagon) β discussion
#plt #rust
Trust, but benchmark: How we let an AI agent optimize Elasticsearch (via eatonphil) β discussion
#databases #performance #testing #vibecoding
Developing provably correct Rust code with Verus (via rajtilakjee) β discussion
#rust
On learning programming in an age of LLMs (via abareplace) β discussion
#vibecoding
The Shape of Things to Come, Part 1: The Continuous Thunderdome (via alper) β discussion
#vibecoding
I expected better from Google (via FedericoSchonborn) β discussion
#vibecoding
Your Donations at Work: One Year of Sponsored Servo Development (via op) β discussion
#browsers #web
Introducing TIN: full-text search for Postgres (via shurup) β discussion
#databases
XApp β Apps that work everywhere (via rcalixte) β discussion
#linux
Tiliaβa new formatter for Haskell (via abhin4v) β discussion
#haskell
Why .tar.gz files can't be combined with cat (via gavinmorrow) β discussion
#programming
C++26: Trivial infinite loops are no longer undefined behaviour (via raymii) β discussion
#c++
maglev consistent hashing in rust (via ReinierMaas) β discussion
#networking #rust
Reversing Factorio's RNG (via fancybone) β discussion
#games #math #reversing
Style Guide for Online Hypertext (1992) (via lim) β discussion
#web
Introducing GNOME 51 (via uncenter) β discussion
#linux #release
Unicode 18.0.0 (via EvanHahn) β discussion
#release
The early days of UNIX in the UK (via fanf) β discussion
#editors #historical #unix
OSRS Wiki and RuneLite are increasingly under strain from low-effort AI development (via matthew2) β discussion
#vibecoding