🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Create Let’s Encrypt Wildcard Certificates in NGINX
victorbjorklund.com·11h
🦀Rust
Diffusion Language Models are Super Data Learners
jinjieni.notion.site·12h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
Using C as a scripting language
lazarusoverlook.com·6m·
Discuss: r/programming
🔧Compiler Design
Agent-based AI systems face growing threats from zero-click and one-click exploits
the-decoder.com·19h
🤖Sci-Fi
PSA: minimp3-rs is maintained again
reddit.com·12h·
Discuss: r/rust
🦀Rust
Show HN: I analyzed why my post got 0 votes and built this
hn-gems.sensem.de·9h·
Discuss: Hacker News
👐Open Source Software
SED: Open source semantic layer and AI-data firewall for safe, governed database access
reddit.com·11h·
Discuss: r/opensource
👐Open Source Software
The current state of LLM-driven development
blog.tolki.dev·1d·
Discuss: Hacker News
📝Lisp
Reinforcement Learning: Multi-Armed Bandits
dev.to·5h·
Discuss: DEV
⚖Algorithmic Game Theory
Most RAG Setups Are Broken — Here’s How to Fix Yours
javarevisited.substack.com·1d·
Discuss: r/programming
🔗Parser Combinators
Quantum Geometric Phases as a New Window on Gravitational Waves
arxiv.org·1h
🔐Cryptography
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Show HN: Visualizing my 500 journal entries and building an LLM-ghost upon it
github.com·1d·
Discuss: Hacker News
🔧Compiler Design
Get from Zero To Hero in Foundry - Part 1: Getting Started
dev.to·1d·
Discuss: DEV
⚡Concurrency
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·3d
🎲Probabilistic Programming
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude
github.com·3d·
Discuss: Hacker News
🔌Network Programming
zachjs/sv2v
github.com·23h
🔧Compiler Design
How an AI Chatbot Can Improve Care at Your Medspa
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Leetcode - 208. Implement Trie (Prefix Tree)
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Automated Risk Assessment & Mitigation Protocol Generation for HAZMAT Compliance
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming