Principles of Dependent Type Theory (via juuso) — discussion

#pdf #plt

Long Distance Relationships (via calebhearth) — discussion

#practices

Writing secure Go code (via thombles) — discussion

#go #security

A conceptual model of ATProto and ActivityPub (via gsora) — discussion

#distributed

Atomic Attributes in Local-First Sync – Adam Wulf (via zmitchell) — discussion

#distributed

Object Pools (via JordiGH) — discussion

#games #retrocomputing

In Search of Types (via hwayne) — discussion

#historical #pdf #plt

jspin: GUI for running the SPIN model checker (via hwayne) — discussion

#formalmethods

Highlighting Text in Links with Text Fragments (by calebhearth) — discussion

#web

Why GCP is More Usable for Developers (by tonymet) — discussion

#devops #programming #security

swift-format GitHub Action (by calebhearth) — discussion

#swift #testing

HTML link, or button, that is the question / Marijke Luttekes (via noncrab) — discussion

#a11y #web

Parsing arguments in Rust with no dependencies (via emschwartz) — discussion

#practices #rust

We’re leaving Kubernetes (via drmorr) — discussion

#distributed #programming

Magical Fibonacci Formulae (via w0nder1ng) — discussion

#math

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

#ask #programming

linux-ia64: Linux fork with IA-64 support re-added. See http://t2sde.org/ for an Itanium-enabled Linux distribution (via lproven) — discussion

#linux #osdev

A Map of Sync (by sujayakar) — discussion

#databases #distributed

Why systemd is aproblem for embedded Linux (via robn) — discussion

#linux #systemd

A Language A Day - A Collection Of Brief Overviews To 21 Programming Languages (via lizmat) — discussion

#programming