I Make My Excel Sheets Smarter With These Conditional Functions
makeuseof.com·2d
💭Prolog
Trying to make smart (plugs) just a little bit more simple.
i.redd.it·5h·
Discuss: r/StrategicProductivity
🛡️IoT Security
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·2d·
Discuss: DEV
🧮Programming Language Theory
Formal Inertia
daedeluskite.com·2d·
Discuss: Hacker News
🔄Category Theory
Re: driftwood twig
forum.melonland.net·22h
⚙Functional Programming
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
✅Formal Verification
The Dartboard Sequence
mathpages.com·3d·
Discuss: Hacker News
📈Complexity Theory
How Does GLM-4.5 Surpass o3, Gemini 2.5 Pro, and Grok 4 with 90% Success in Agentic Benchmarks?
softreviewed.com·12h·
Discuss: DEV
🎲Probabilistic Programming
Boots Theory and Wikipedia
reasonableapproximation.net·1d·
Discuss: Hacker News
🔄Category Theory
Cogito V2 Preview
deepcogito.com·2d·
Discuss: Hacker News
⚖️Logic Programming
Parallel Programming Models
ayushgundawar.me·20h·
Discuss: Hacker News
🏗Computer Architecture
AI Prompt as a Terminal: A Universal Prompt to Learn Anything
dev.to·16h·
Discuss: DEV
🧩Theorem Proving
Let the Kaleidoscope Turn
shabie.github.io·2d·
Discuss: Hacker News
🔄Category Theory
Issue 483
haskellweekly.news·2d
⚙Functional Programming
original ↗
raymondcamden.com·3d
🧮Programming Language Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🧮Programming Language Theory
Translated a Chinese song’s lyrics into English as a satirical poem
youtube.com·9h·
Discuss: r/ChineseLanguage
🧮Programming Language Theory
Opacity as Authority: Arbitrariness and the Preclusion of Contestation
arxiv.org·1d
🧮Programming Language Theory
🧭
deltaskelteradventure.bearblog.dev·2d
🧮Programming Language Theory
Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·1d
🔗Parser Combinators