An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (via bediger4000) — discussion

#compsci #pdf

How we made Python's packaging library 3x faster (via ngoldbaum) — discussion

#performance #python

Answer Set Programming (2019) (via hwayne) — discussion

#book #compsci #pdf

Making Tools Developers Actually Use - Michiel Borkent (via adityaathalye) — discussion

#clojure #practices #video

Which programming languages are most token-efficient? (via diktomat) — discussion

#vibecoding

Xous: A Pure-Rust Rethink of the Embedded Operating System (via briankung) — discussion

#osdev #rust #video

&&&&&&&&&&&&&&str (by ohrv) — discussion

#performance #rust

I Cannot SSH Into My Server Anymore (And That’s Fine) (by lthms) — discussion

#devops

slidge.im - Gateways from XMPP to Other Networks (via adrien) — discussion

#networking

Automatic TLS Certificates for Common Lisp with pure-tls/acme (by atgreen) — discussion

#lisp #vibecoding #web

GBC Boot Animation 88×31 Web Button (via sny) — discussion

#art #retrocomputing

Celeste & TowerFall Physics (via FedericoSchonborn) — discussion

#games

Shell scripts (by wink) — discussion

#devops #programming

European Commission issues call for evidence on open source (via fs111) — discussion

#law

Magicall: end-to-end encrypted videoconferencing in the browser, now in alpha (by nadim) — discussion

#cryptography #javascript #release #testing

jxl-rs merged into Chromium (via Miaourt) — discussion

#browsers

Project Patchouli - Open-source electromagnetic drawing tablet hardware (via siddhartha_golu) — discussion

#hardware

Template Parameter Deduction: Eliminating Hidden Copies in Generic Code (via asb) — discussion

#c++ #performance

I'm making a game engine based on dynamic signed distance fields (SDFs) (via camilleroux) — discussion

#games #video

A Year of Typing: My NumPy Fellowship Retrospective (via ngoldbaum) — discussion

#plt #python