The bloat of edge-case first libraries
43081j.com·19h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Category Theory is Being Co-opted
estebanandthecollective.substack.com·2d·
Discuss: Substack
➡️Category Theory
Я Articles
muratkasimov.art·3d·
Discuss: Hacker News
➡️Category Theory
The Engine to No Engine Journey
md.jtmn.dev·11h·
Discuss: Hacker News
🐫Embedded OCaml
An Introduction to XForms
xml.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Comparison of Signed Number Representations in Computers
en.wikipedia.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Karate – Test Automation Made Simple
karatelabs.github.io·1h·
Discuss: Hacker News
❄️Nixified Development
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
The subjective experience of coding in different programming languages
interconnected.org·4h·
Discuss: Hacker News
🔬Static Analysis
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
Optimal Variance and Covariance Estimation under Differential Privacy in the Add-Remove Model and Beyond
arxiv.org·2d
🧠Automated Reasoning
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·2h
🤖Program Synthesis
Rich Answered That
gist.github.com·23h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·50m·
Discuss: Hacker News
👁️System Observability
The Android Linux Commander
hackaday.com·22h
🐳Containerization