Optimizing Debian packages
grulic.org.ar·16h
❄️Nixpkgs
Flag this post
OpenAI’s Apps SDK: A Developer’s Guide to Getting Started
thenewstack.io·1d
⚡gRPC
Flag this post
How I Use Every Claude Code Feature
⚡Proof Automation
Flag this post
GHC 9.14.1-rc1 is now available
🔗Functional Compilers
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·3h
🔗Concatenative Languages
Flag this post
I ****Ing Hate Science
⚙️Proof Engineering
Flag this post
30 Years of Code, 25 Years of Tests
🔄Language Evolution
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·3h
🦋Format Metamorphosis
Flag this post
Loading...Loading more...