Leap - AI developer agent that builds and deploys apps to your cloud (by machete) — discussion

#show #vibecoding

A Lean companion to “Analysis I” (via mseri) — discussion

#formalmethods #math

rsync's defaults are not always enough (via l0b0) — discussion

#devops #practices

How I like to install NixOS (declaratively) (by stapelberg) — discussion

#nix

Using lots of little tools to aggressively reject the bots (via runxiyu) — discussion

#devops

GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents (via sanxiyn) — discussion

#ai

Why Use Structured Errors in Rust Applications? (via runxiyu) — discussion

#rust

Structured errors in Go (via runxiyu) — discussion

#go

WebSockets guarantee order - so why are my messages scrambled? (via friendlysock) — discussion

#networking

Harpoom: of course the Apple Network Server can be hacked into running Doom (by classichasclass) — discussion

#games #retrocomputing

Kees Cook Account Disabled for Suspected Malicous Activity (via eyberg) — discussion

#linux

Tools built on tree-sitter's concrete syntax trees (by shapr) — discussion

#compilers #editors #practices

Precision Clock Mk IV (via fanf) — discussion

#hardware

Hey Rust, I think I know just what the feeling is (by snth) — discussion

#rust

Mel's Loop - A Comprehensive Guide to The Story of Mel - Home (via vlnn) — discussion

#historical #person

PunchCard Key Backup (by ciprian_craciun) — discussion

#security #show

Configure your Git (via confusedalex) — discussion

#vcs #video

Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadgets (via fro) — discussion

#pdf #security

TclForth: Multi-platform desktop Forth based on Tcl/Tk (via icefox) — discussion

#concatenative

TPDE: A Fast Adaptable Compiler Back-End Framework (via timschumi) — discussion

#compilers #pdf