🧮 SMT Solvers

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

Operationalizing Gartner TRiSM: Testing AI for Trust, Risk, and Security
hackerone.com·1d
🔍Concolic Testing
Institutional Knowledge Is Walking Out the Door–Capture It Before It's Gone
ordinalforgov.com·1d·
Discuss: Hacker News
🔗Constraint Handling
BNFGen: A random text generator based on context-free grammars
baturin.org·3d·
Discuss: Hacker News
🌳Context free grammars
Rust in the Linux kernel: part 2
lwn.net·23h·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·2d·
Discuss: Hacker News
📐E-graphs
CSCPSUT MetaCTF25 Qualifications Writeups
infosecwriteups.com·1d
🔐PKI Archaeology
Supervised Machine Learning: Concepts I Finally Understand
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·1d
🗜️Graph Compression
Go Worker Pools: Concurrency That Doesn’t Burn Your Kitchen Down
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751116236719200）
dev.to·8h·
Discuss: DEV
🌐Network Protocols
On Union-Closedness of Language Generation
arxiv.org·4d
🔗Monadic Parsing
Lessons from LangChain and Slack and MCP Integration
medium.com·4d·
Discuss: Hacker News
🔗Topological Sorting
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·1d
🤖Advanced OCR
Best AI Course in Bangalore | Eduleem
dev.to·11h·
Discuss: DEV
💻CS
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·5d
🧮Constraint SMT
Introducing Zenoscript
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·2d·
Discuss: DEV
🌊Streaming Compression
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·3d
💻Local LLMs