🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

RWS, Fonto One, and Structured Content Authoring (with AI) go to Washington!
fontoxml.com·1d
📚MARC Evolution
Yes, The Book of PF, 4th Edition Is Coming Soon
bsdly.blogspot.com·20h·
Discuss: bsdly.blogspot.com
📟Vintage Protocols
Getting vibe coding to work for me
interjectedfuture.com·12h
⚡Proof Automation
Modeling CORS frameworks with CodeQL to find security vulnerabilities
github.blog·1d
✅Format Verification
AI coding tools make developers slower but they think they're faster, study finds
theregister.com·12h
📏Code Metrics
Direct interaction of LLM chats with PythonAnywhere via the Model Context Protocol
blog.pythonanywhere.com·1d
🎙️Whisper
How to Interview AI Engineers
blog.promptlayer.com·14h·
Discuss: Hacker News
⚡Proof Automation
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
⚙️TLA+
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·1d
🧠Machine Learning
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·1d
🔲Cellular Automata
Machine Learning Fundamentals: cross validation
dev.to·2d·
Discuss: DEV
🌊Stream Processing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
⚖️Constraint Logic
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·3d
🐛Fuzzing
Advanced fine-tuning methods on Amazon SageMaker AI
aws.amazon.com·17h
💻Local LLMs
🚀 How to Build a Personalized AI Chatbot with GPT and Express (Advanced Guide) 🤖
dev.to·1d·
Discuss: DEV
🎙️Whisper
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·1d
📊Learned Metrics
Understanding Go Concurrency Pipelines
dev.to·4d·
Discuss: DEV
⚔️Lean Tactics
Havoc – Heap Allocated Value Object Containers
github.com·4d·
Discuss: Hacker News
🔒Type Safety