Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009) (via veqq) — discussion

#logiclangs #pdf

Stop generating, start thinking (via abhin4v) — discussion

#vibecoding

Nobody knows how the whole system works (via azhenley) — discussion

#programming

SecretSpec 0.7: Declarative Secret Generation - devenv (by domenkozar) — discussion

#security

Fun With Dada (via LesleyLai) — discussion

#plt

The little bool of doom (via dryya) — discussion

#c #debugging

Concerns about low-quality PRs beeing merged into main (via MaskRay) — discussion

#vibecoding

The original vi is a product of its time (and its time has passed) (via seb) — discussion

#editors

The cost of a function call (via EvanHahn) — discussion

#performance

bankster: Money as data (via veqq) — discussion

#clojure #finance

Reverse-engineering the PROM for the SGI O2 (via classichasclass) — discussion

#retrocomputing #reversing

miniKanren.org (via veqq) — discussion

#logiclangs

AEQuery (via mpweiher) — discussion

#mac

Constraint propagation for fun (via carlana) — discussion

#games

Don't Get Distracted (2017) (via seafoamteal) — discussion

#philosophy

I Am Happier Writing Code by Hand (via adityaathalye) — discussion

#vibecoding

Updates and Bot Wars (via robalex) — discussion

#web

AI fatigue is real and nobody talks about it (via freddyb) — discussion

#practices #vibecoding

The Fallen Apple (via mpweiher) — discussion

#ios #mac

Rebuilding my home network with VLANs and 10Gbps (by mtsolitary) — discussion

#networking