Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
📡Erlang BEAM
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
functional programming
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·20h
💬Smalltalk VMs
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·10h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·1d
🌱Minimal ML
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
⚖️Inference Rules
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·5h·
Discuss: Hacker News
🔍ML Language
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Calculus
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·10h
🏛️Elm Architecture
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·1d·
Discuss: DEV
🎯Pattern Matching
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·12h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
⚖️Inference Rules
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.io·19h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·21h·
Discuss: DEV
🏰Capability Machines
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Calculus
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🔧API Design
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·3d
🪜Recursive Descent
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🌱Minimal ML
Flag this post