Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·6h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·4h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·12h·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
Weak-To-Strong Generalization
lesswrong.com·18h
🔤Kleene Algebra
Flag this post
[D] Best (free) courses on neural networks
reddit.com·1d·
Discuss: r/MachineLearning
📐Linear Algebra
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·3h·
Discuss: Substack
📐Linear Algebra
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
📦Module Systems
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·15h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·15h·
Discuss: DEV
📚Automata Learning
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧮Z3 Solver
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·6h·
Discuss: Hacker News
📚Automata Learning
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·5h·
Discuss: Hacker News
🔍CBMC
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·22h·
Discuss: Hacker News
🏔️Domain Theory
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
⏱️Computational Complexity
Flag this post
Hierarchy Elevates Social Reasoning
positron.solutions·5h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·10h·
Discuss: Substack
🔀OCaml Multicore
Flag this post