🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Automating Boundary Filling in Cubical Type Theories
arxiv.org·8h
🧮Programming Language Theory
CPU Core Deception: The Genius of Virtual Cores and Performance
dev.to·10h·
Discuss: DEV
🏗Computer Architecture
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·18h·
Discuss: Substack, r/programming
🧩Theorem Proving
BACON: An Improved Vector Commitment Construction with Applications to Signatures
eprint.iacr.org·1d
🔐Cryptography
Challenges of Pseudocode Expansion
funcall.blogspot.com·5h·
Discuss: www.blogger.com
📝Lisp
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·4h·
Discuss: Hacker News
⚙Functional Programming
Full stack open
fullstackopen.com·19m
📝Lisp
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2h
🔐Cryptography
[D] reflecting on 8 years of model inference
reddit.com·18h·
Discuss: r/MachineLearning
🎲Probabilistic Programming
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·4d·
Discuss: Hacker News
🔢Mathematical Logic
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·8h
🔗Parser Combinators
My Interview with Claude Code
mattlangston.com·14h·
Discuss: Hacker News
🧩Theorem Proving
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🧮Programming Language Theory
LLMs - Embeddings 01
dev.to·6h·
Discuss: DEV
🔗Parser Combinators
AI Can Do a Lot—but Still Seems Totally Stumped by Sudoku
inc.com·1d
🧫Cellular Automata
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·22h·
Discuss: Hacker News
🤝Protocol Design
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·18h
📈Complexity Theory
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
📝Lisp
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·8h
🔐Cryptography
Tools for AI assisted Software development
feed.thoughtbot.com·12h
🧩Theorem Proving