🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

How to train your Dragon^H^H AI overlord
virtuallyfun.com·3d
🧲RISC-V Archaeology
The whole point of OpenAI's Responses API is to help them hide reasoning traces
seangoedecke.com·18h
⚡gRPC
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
🔗Monadic Parsing
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Category Theory is Being Co-opted
estebanandthecollective.substack.com·1d·
Discuss: Substack
🔀Category Theory
Writing Code Is Easy. Reading It Isn't
idiallo.com·1d·
Discuss: Hacker News, r/programming
📏Code Metrics
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·17h·
Discuss: Hacker News
🔓Open Source Software
Building An AI-Agnostic Conversation Logger - Phase 4: Mini-Me
blog.scottlogic.com·1d·
Discuss: Hacker News
✨Effect Handlers
Gram: Open-Source platform to create, curate and host MCP servers
github.com·2h·
Discuss: Hacker News
🔓Open Source Software
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·22h·
Discuss: Hacker News
🤖Archive Automation
Kiro Workflow for Copilot, Claude & More
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Benchmarking Gender and Political Bias in Large Language Models
arxiv.org·14h
🚀SIMD Text Processing
Hybrid Fourier Neural Operator-Plasma Fluid Model for Fast and Accurate Multiscale Simulations of High Power Microwave Breakdown
arxiv.org·14h
⚛️Information Physics
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·14h
🏛Digital humanities
Experiment with gopls MCP: Improving Agent Context for Go Development
dev.to·14h·
Discuss: DEV
📋Protocol Buffers
Automated Regulatory Impact Assessment via Multi-Modal Decomposition and HyperScore Evaluation
dev.to·4h·
Discuss: DEV
✨Effect Handlers
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·14h
🔍Vector Forensics
Stop Optimizing Code You Should Delete
dev.to·7h·
Discuss: DEV
🏗️Compiler Archaeology
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io·3h
🤖AI Curation
Quantum-Enhanced Multi-Task Learning with Learnable Weighting for Pharmacokinetic and Toxicity Prediction
arxiv.org·1d
🧠Machine Learning