Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
Incommensurability
lesswrong.com·4h
➡️Category Theory
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·23h·
Discuss: Hacker News
🔬Static Analysis
Emergent Alignment via Competition
arxiv.org·3d
🧩Parser Combinators
Token Models as Statistical Simulations: A Different Take
medium.com·7h·
Discuss: Hacker News
🧩Parser Combinators
LingoDB – Data Processing with Compiler Technology
lingo-db.com·1d·
Discuss: Hacker News
🧩Parser Combinators
I Use LLMs to Write the Majority of My Code
boredhacking.com·16h·
Discuss: Hacker News
💎Refinement Types
How to stop functional programming
brianmckenna.org·18h·
🏹Effect Systems
Is CSS Turing complete? (2010)
stackoverflow.com·16h·
Discuss: Hacker News
🧮Lambda Calculus
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
💎Refinement Types
The low-cost path to AI Mastery
antonyarkov.substack.com·18h·
Discuss: Substack
Automated Theorem Proving
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Everything you know is wrong
lawrencecpaulson.github.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Evals in the Age of Jarvis
lesswrong.com·10h
📊Runtime Verification
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·12h·
Discuss: Hacker News
⚙️PL Implementation
"Causal" is like "error term"
statmodeling.stat.columbia.edu·9h·
Discuss: Hacker News
📝Term Rewriting
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·54m·
Discuss: Hacker News
🛡️seL4