Why I use TLA+ and not(TLA+) (via hwayne) — discussion

#formalmethods

EuroBSDcon 2024 some notes after the conference (via jaypatelani) — discussion

#netbsd

Do not use secrets in environment variables and here's how to do it better (via eeue56) — discussion

#security

Top 10 Most Excellent Gems to Use in Any Ruby Web Application (by jaredwhite) — discussion

#ruby

The costs of the i386 to x86-64 upgrade (via fernplus) — discussion

#assembly #hardware

Miscellaneous notes on Steam Deck reshells, mods, and screen replacements (via pushcx) — discussion

#hardware

What's New in Ruby on Rails 8 (via janus) — discussion

#ruby #web

Understanding and effectively mitigating code review anxiety (via nogweii) — discussion

#pdf #practices

What’s New In Python 3.13 (via Armavica) — discussion

#python

Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 (via sergeyb) — discussion

#c #formalmethods #video

Building a Single-Page App with htmx (via pondidum) — discussion

#web

Rust is rolling off the Volvo assembly line - Blog - Tweede golf (via vaguelytagged) — discussion

#rust

Python 3.13 released: what's new (via itamarst) — discussion

#python #release

Google's AI thinks I left a Gatorade bottle on the moon (via agent281) — discussion

#ai

C++ coroutines without heap allocation (by cramertj) — discussion

#api #c++

Put business logic in the application, not the database (via ratsclub) — discussion

#databases

Can You Get Root With Only a Cigarette Lighter? (via crazyloglad) — discussion

#security

ASK: What are you doing this week? (by caius)

#ask #programming

An Adaptive Packed-Memory Array (via pkhuong) — discussion

#pdf #performance

The programmer's obsession with version numbers (via bitfield) — discussion

#practices #rant