Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1h·
Discuss: Hacker News
📝Lisp
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·2h·
Discuss: DEV
🌍Distributed Systems
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·1h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·20h·
Discuss: r/C_Programming
📝Lisp
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·15h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
I switched from LM Studio/Ollama to llama.cpp, and I absolutely love it
xda-developers.com·11h
👐Open Source Software
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·23h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·14h·
Discuss: DEV
📝Lisp
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
📝Lisp
Flag this post
Cells, Queries, and Chaos: The Game of Life in SQL!
dev.to·20h·
Discuss: DEV
🧫Cellular Automata
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
devresourcehub.com·23h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·9h·
Discuss: r/C_Programming
⚙Functional Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.com·4d
🔄Category Theory
Flag this post