SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·1h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·2d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Tell HN: People putting AI-generated fake projects on GitHub
news.ycombinator.com·6h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·9h
🧠Machine Learning
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
📝Compiler Design
Flag this post
Understanding Code Agent Behaviour: An Empirical Study of Success and Failure Trajectories
arxiv.org·9h
📏Code Metrics
Flag this post
In AI, Everything is Meta
dev.to·18h·
Discuss: DEV
Proof Automation
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.to·4d·
Discuss: DEV
🔍Information Retrieval
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·9h
🎯Gradual Typing
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·9h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.to·11h·
Discuss: DEV
👁️Observatory Systems
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·9h
Effect Handlers
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·9h
🔍Information Retrieval
Flag this post
Robust Single-Agent Reinforcement Learning for Regional Traffic Signal Control Under Demand Fluctuations
arxiv.org·9h
🔲Cellular Automata
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·9h
🌀Brotli Internals
Flag this post
EL-MIA: Quantifying Membership Inference Risks of Sensitive Entities in LLMs
arxiv.org·9h
💻Local LLMs
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
🏺Protocol Archaeology
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·5d·
🦀Rust Borrowing
Flag this post