Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
🔢Mathematical Logic
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
📈Complexity Theory
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·8h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
⚙Functional Programming
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·18h
🔗Parser Combinators
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·12h·
Discuss: DEV
📝Lisp
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
⚙Functional Programming
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·11h·
Discuss: Hacker News
📈Complexity Theory
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·2h·
Discuss: r/C_Programming
⚙Functional Programming
Flag this post
Sperm Whales Have Their Own Language. Does That Mean They Have Legal Rights?
cleantechnica.com·7h
🔗Parser Combinators
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·6h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
Discuss: r/javascript, r/programming
📝Lisp
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Diving Deeper into Blockchain and Web3 Product Engineering – Week 1 Learnings
farcaster.xyz·12h·
Discuss: DEV
🔐Cryptography
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
paperium.net·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·12h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·5h
🔐Cryptography
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post