Compiling Prolog to Forth (via veqq) — discussion

#compilers #concatenative #logiclangs #pdf

Golfing APL/K in 90 Lines of Python (via veqq) — discussion

#apl #python

TinyAPL (via veqq) — discussion

#apl #haskell

vouch: a contributor trust management system based on explicit vouches to participate (via lffg) — discussion

#practices

Why Every R Package Wrapping External Tools Needs a sitrep() Function (via Sietsebb) — discussion

#programming

Adventures in Guix Packaging (by nemin) — discussion

#lisp #nix

Your Best Thinking Is Wasted on the Wrong Decisions (by iand675) — discussion

#practices

8VIM: a virtual Android keyboard drawing inspiration from 8pen and Vim (via alurm) — discussion

#android

First Proof (via Corbin) — discussion

#math #pdf #vibecoding

DavMail POP/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway (via quintus) — discussion

#email #java

Going Through Snowden Documents, Part 1 (via lr0) — discussion

#security

Game Boy Advance d-pad capacitor measurements (via sanqui) — discussion

#hardware

Reverse-engineering Raiders of the Lost Ark for the Atari 2600 (via classichasclass) — discussion

#games #retrocomputing #reversing

Beyond agentic coding (by Gabriella439) — discussion

#vibecoding

(Bsky thread) "This turns the maintainer into an unwitting vibe coder" (via isuffix) — discussion

#vibecoding

The purpose of Continuous Integration is to fail (via mtlynch) — discussion

#devops

ReMemory - Split a recovery key among friends (via freddyb) — discussion

#cryptography #security

Impl Rust - Avro IDL tool in Rust via ANTLR (via Jrmurr) — discussion

#rust #vibecoding #video

Hacking up your own shell completion (2020) (via feep) — discussion

#programming

A Horrible Conclusion (via freddyb) — discussion

#security