Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·6h·
Discuss: Hacker News
📈Complexity Theory
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·8h·
Discuss: Hacker News
💭Prolog
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1h·
Discuss: DEV
📝Lisp
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
💭Prolog
Flag this post
Thoroughly impressed by Claude, wondering how I can improve my workflow
reddit.com·5h·
Discuss: r/ClaudeAI
⚡Concurrency
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·34m·
Discuss: DEV
🔢Mathematical Logic
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·5h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Feeling the Vibes with Verifi
dev.to·6h·
Discuss: DEV
✅Formal Verification
Flag this post
Growing explanations together
clojurecivitas.github.io·1d
🧮Programming Language Theory
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.to·19h·
Discuss: DEV
📝Text Editors
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·21h·
Discuss: Lobsters, Hacker News
👐Open Source Software
Flag this post
Advances In Formal Verification Technology
semiengineering.com·3d
✅Formal Verification
Flag this post
A Coding Implementation of a Comprehensive Enterprise AI Benchmarking Framework to Evaluate...
marktechpost.com·1d
🎲Probabilistic Programming
Flag this post
Are Large Reasoning Models Interruptible?
paperium.net·23h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post