Where are all the Rewrite Rules? (via felixyz) — discussion

#formalmethods #math #programming

Russian phishing campaigns exploit Signal's device-linking feature (via johnk) — discussion

#security

Changing every line three times (via napkindrawing) — discussion

#practices

Proposal: Starting tasks synchronously from caller context (via kevinc) — discussion

#swift

Programming with Math | The Lambda Calculus (via confusedalex) — discussion

#math #video

In Video Games, The Player Never Moves (via joakin) — discussion

#games #math #video

Learning: the hardest problem in computer science (via dpk) — discussion

#education

Add Wayland color-management protocol (via jamesw) — discussion

#graphics

Append-only programming (via rrampage) — discussion

#c #programming

Serving local LLMs with MLX (by kevinc) — discussion

#ai #mac

Towards A Simple and Expressive Query Language (via typesanitizer) — discussion

#databases #video

Tcl the Misunderstood (2006) (via veqq) — discussion

#programming

Continued Fraction Arithmetic (1978) (via allie) — discussion

#hardware #math

Introducing Pi-hole v6 (via ucirello) — discussion

#networking

General Wine/Proton Developer (Open-Source Programmer) (via JulianWgs) — discussion

#job

User Research is Storytelling (via flyingfisch) — discussion

#design

Bellroy Technology Team: 2024 in Review (by michaelwebb76) — discussion

#haskell #practices

Representing graphs in Postgresql with SQL/PGQ (via eatonphil) — discussion

#databases

Chris Biscardi: Growing little experiments (with Rust & Bevy) (via extrawurst) — discussion

#rust #video

MitM attack against OpenSSH's VerifyHostKeyDNS-enabled client (via fro) — discussion

#openbsd #security