Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·2h
🌳Context free grammars
AI Test User
incoherency.co.uk·18h
⚡Proof Automation
Asymmetry of Verification and Verifier's Law
jasonwei.net·5h·
Discuss: Hacker News
🔮Proof Search
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Students, here are 5 key things to know when learning how to train large language models
techradar.com·13h
💻Local LLMs
Sandboxing AI - Extending AI Responsibly
dev.to·16h·
Discuss: DEV
🔒WASM Capabilities
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Alignment
languagelog.ldc.upenn.edu·10h
🔄Language Evolution
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·10h·
Discuss: Hacker News
👁️Observatory Systems
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
A distributed systems reliability glossary
antithesis.com·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
AI Engineering in Legal Practice
ai.intellectronica.net·1d·
Discuss: Hacker News
⚡Proof Automation
A Minimal DDPM
github.com·4h·
Discuss: Hacker News
🧠Machine Learning
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·2h
🎯Performance Proofs
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·7h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Edsger W. Dijkstra on IPW's
cs.utexas.edu·10h·
Discuss: Hacker News
🇷🇺Soviet Computing
Technical deep dive of how we built an AI to answer structured data questions
secoda.co·14h·
Discuss: Hacker News
🌊Streaming Systems