Bidirectional Typechecking is Bidirectional (via juri) — discussion

#plt

You're thinking about passkeys wrong (by yawaramin) — discussion

#security #web

MLX — Distributed Computing for Apple Silicon (via ucirello) — discussion

#ai

Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned (via teymour) — discussion

#ml #testing

Statistical Process Control: Practitioner's Guide (via veqq) — discussion

#math

A Modern Compiler for the French Tax Code (via teymour) — discussion

#compilers

Sento - Actor framework featuring actors and agents (via veqq) — discussion

#lisp

Five important things about DeepSeek (via MiraWelner) — discussion

#ai

My history with Forth & stack machines (via veqq) — discussion

#programming

Handwiki (via veqq) — discussion

#compsci #science

Introducing codename goose (via dayanruben) — discussion

#ai #rust

Deep Learning for NLP Best Practices (via MiraWelner) — discussion

#ai

Unternet - The next user agent (via chadkoh) — discussion

#ai #browsers

Deepseek: The Quiet Giant Leading China’s AI Race (via markwatson) — discussion

#ai

Preserves: Expressive Data Language (via veqq) — discussion

#programming

Sunsetting Cursed Terminal Emulation (by crazyloglad) — discussion

#osdev

ASK: Monorepo: How to vendor dependencies and contribute back upstream? (by option)

#ask #practices #vcs

SLAP and FLOP (via crazyloglad) — discussion

#security

Why Social Media has Captured Our Attention (by burningion) — discussion

#ai #art

Marginalia - A search engine prioritizing non-commercial content (via edwardloveall) — discussion

#web