🔁 Fixpoint Theory

Knaster-Tarski, Least Fixed Point, Domain Theory, Denotational Semantics, Recursion

Ontogeny Recapitulates Phylogeny: Ernst Haeckel's Theory
brighthubeducation.com·58m·
Discuss: Hacker News
➡️Category Theory
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·2d·
Discuss: r/programming, r/reactjs, r/webdev
📝Nix Language
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post
Evidence on language model consciousness
lesswrong.com·1h
📚Automata Learning
Flag this post
Nonmonotonic Logic
cambridge.org·4d·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🔤Language Design
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Emergent introspective awareness in large language models
transformer-circuits.pub·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·10h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·9h·
Discuss: DEV
🎯Complexity Classes
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post