Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
ECS Implementation
reddit.com·15h·
Discuss: r/cpp
🤖Embedded Go
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
functional programming
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·21h·
Discuss: Hacker News
🏛️Elm Architecture
The Inverse Matrix problem
talesfrom.dev·59m
🚂Error Propagation
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
Property-based testing of batch-invariant operations
mmaaz.ca·2h·
Discuss: Hacker News
🎲Property Testing
valuetier.org (and some thoughts on LLMs)
ericphanson.com·7h·
📚Self-Documenting Code
Seeing Like a Language Model
every.to·1d·
Discuss: Hacker News
Gleam
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·7h·
Discuss: r/programming
🧠Memory Models
Hyperdimensional Biomarker Discovery via Probabilistic Causal Graph Optimization
dev.to·12h·
Discuss: DEV
Effect Inference
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·5h·
Discuss: Hacker News
🔢Algebraic Datatypes
Executable Counterfactuals: Improving LLMs' Causal Reasoning Through Code
arxiv.org·2d
🔍ML Language
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1h·
Discuss: Hacker News
🌊Reactive Languages
Four years, Five failures, One compiler
daymare.net·15h·
🌱Minimal Languages
Energy Requirements Undermine Substrate Independence and Mind-Body Functionalism
cambridge.org·1d·
Discuss: Hacker News
🗺️Region Polymorphism
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·1h·
Discuss: DEV
📦Monorepos
LLMs are badly misaligned
lesswrong.com·10h
Type Checking
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·5h·
Discuss: Hacker News
🛡️Stack Safety