lamber: functional scripting language compiling to Lambda Calculus (via veqq) — discussion

#plt

Having your compile-time cake and eating it too (via emschwartz) — discussion

#plt #rust #zig

Who needs graph theory anyway? (via veqq) — discussion

#lisp

Petnames: A humane approach to secure, decentralized naming (via veqq) — discussion

#networking #practices

Building interactive web pages with Guile Hoot (via veqq) — discussion

#lisp

A Tale of Testability and Sending Non-Send Types in Rust (via emschwartz) — discussion

#rust #testing

The Zen of Polymorphism (via azhenley) — discussion

#python #video

gail: An AI-powered GitHub Issue Labeler (by atgreen) — discussion

#lisp #vibecoding

Pain in the dots (via op) — discussion

#vcs

Sandboxing AI Tools with Guix Containers (by munen) — discussion

#emacs #nix #vibecoding

IDE for PostgreSQL in VS Code (via runxiyu) — discussion

#databases #practices #vscode

Kaleidoscopico (via mordae) — discussion

#art

Why I no longer have an old-school cert on my https site (via pondidum) — discussion

#security

rqlite turns 10: Observations from a decade building Distributed Systems (via av) — discussion

#databases #distributed

De-Abstraction and Conditional Escape Analysis (via jo3_l) — discussion

#compilers #dotnet

Reverse Engineering iOS Shortcuts Deeplinks (via videah) — discussion

#ios #reversing

Forgotten APL Influences (2016) (via veqq) — discussion

#apl #historical #pdf

The GCC compiler backend can now fully bootstrap the Rust compiler (via ReinierMaas) — discussion

#compilers #rust

Indexing Hackage: Glean vs. hiedb (via WeetHet) — discussion

#databases #haskell

NixOS 25.05 released (via friendlysock) — discussion

#nix #release