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

#ask #programming

Minimal Git CI using hooks (via klingtnet) — discussion

#programming

Fuzzing for fun - unauthenticated denial of service in snac2 (via ignaloidas) — discussion

#c #security

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