Scanline edge-flag algorithm for antialiasing (via xqb64) — discussion

#graphics #pdf

I wrote an API client for my water-cooled bed (by zmitchell) — discussion

#hardware #zig

email encryption (via binjip978) — discussion

#cryptography #email

Who’s responsible for bug reports on old software versions? (via riki) — discussion

#linux

Cagire - Forth-based live coding sequencer (via veqq) — discussion

#concatenative

The Zen of Parallel Programming (via lalitm) — discussion

#practices

Dependable C (via jado) — discussion

#c

Running microVMs in Proxmox VE, The Easy Way (via lproven) — discussion

#linux #virtualization

The notification that gave up after a minute (by jvalol) — discussion

#browsers #elixir #web

Introduction to Formal Verification with Lean (Part 1) (via nemin) — discussion

#formalmethods

CodeSizer: Why is that binary so big? (via jeanthomas) — discussion

#performance

I Built an Even Better Ropebot Dog (via briankung) — discussion

#hardware #video

ZTA: Zero Token Architecture (via tomas) — discussion

#vibecoding #video

Git email patch review addon for Thunderbird (by mccd) — discussion

#email #show #vcs #vibecoding

ASK: What is your favorite blog to read recently? (by oceanhaiyang)

#ask #programming

ASK: Skred is now a MIDI aware synth and drum machine construction kit (by octetta)

#c #vibecoding

Triton language for Alibaba SAIL (via sanxiyn) — discussion

#ai #compilers #hardware

The death and rebirth of my home server (by steinuil) — discussion

#linux #nix

More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (by raymii) — discussion

#retrocomputing #virtualization

Mathematicians still don’t know the fastest way to multiply numbers (via carlomonte) — discussion

#math