🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🔗Dependent Types
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·4h·
Discuss: r/C_Programming
🦀Rust
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
⏭️Skip Lists
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·3d·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·22h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·3h
📱Edge AI
Flag this post
ML Library Comparison: Burn vs Candle
reddit.com·2h·
Discuss: r/rust
🔥PyTorch
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
📐TLA+
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
💬Prompt Engineering
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·14h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·21h·
Discuss: Hacker News
⚡FastAPI
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔍Type Inference
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·1d·
Discuss: Substack
💬Prompt Engineering
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·19h·
Discuss: Hacker News
👁️Computer Vision
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·6h·
Discuss: Hacker News, r/programming
🔓Binary Exploitation
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·26m·
Discuss: DEV
🎭Program Synthesis
Flag this post