Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
two-dimensional category
ncatlab.org·13h
🔀Category Theory
Flag this post
Show HN: Dream – An LLM memory architecture using adaptive TTL to control cost
news.ycombinator.com·5h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·9h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·9h·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
ELI5 explanation of the CAP Theorem
medium.com·13h
⚛️Information Physics
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
dev.to·22h·
Discuss: DEV
🎯Performance Proofs
Flag this post
Shimura varieties and their integral canonical models (Pt. 2)
ayoucis.wordpress.com·1d
🧮SMT Solvers
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·1d
🔤DSLs
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.org·4d
✓Automated Theorem Proving
Flag this post
AI math genius delivers 100% accurate results
phys.org·2d
🧮SMT Solvers
Flag this post
Adding an imaginary unit to a finite field
johndcook.com·8h·
Discuss: Hacker News
🔱Galois Cryptography
Flag this post
Solving Project Euler #45
loriculus.org·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
A World of Verifiable Domains
seancai.com·7h·
Discuss: Hacker News
📚MARC Evolution
Flag this post
A treap week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🎨Graph Coloring
Flag this post
ML Systems Textbook by Havard
mlsysbook.ai·1d·
Discuss: Hacker News
🧠Machine Learning
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Lean
Flag this post
Reauthoring and Converting models for edge inference: MambaV2 on LiteRT
sachinjoglekar.substack.com·1d·
Discuss: Substack
💻Local LLMs
Flag this post