I Make My Excel Sheets Smarter With These Conditional Functions
makeuseof.com·2d
💭Prolog
Let the Kaleidoscope Turn
shabie.github.io·1d·
Discuss: Hacker News
🔄Category Theory
🧭
deltaskelteradventure.bearblog.dev·1d
🧮Programming Language Theory
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·1d·
Discuss: DEV
🧮Programming Language Theory
Boots Theory and Wikipedia
reasonableapproximation.net·19h·
Discuss: Hacker News
🔄Category Theory
Holy sh*t.. how is this even possible.
threadreaderapp.com·22h
📊Information Theory
Divided by Design.
readtangle.com·3h
📊Information Theory
The Observer Effect for belief measurement
lesswrong.com·1h
🎲Probabilistic Programming
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
✅Formal Verification
The Dartboard Sequence
mathpages.com·2d·
Discuss: Hacker News
📈Complexity Theory
Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
🏗Computer Architecture
Cogito V2 Preview
deepcogito.com·1d·
Discuss: Hacker News
⚖️Logic Programming
AI Prompt as a Terminal: A Universal Prompt to Learn Anything
dev.to·5h·
Discuss: DEV
🧩Theorem Proving
Issue 483
haskellweekly.news·2d
⚙Functional Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
original ↗
raymondcamden.com·2d
🧮Programming Language Theory
Does the Bitter Lesson Have Limits?
dbreunig.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Opacity as Authority: Arbitrariness and the Preclusion of Contestation
arxiv.org·1d
🧮Programming Language Theory
Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·1d
🔗Parser Combinators
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
⚖️Logic Programming