Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

New comment by lawnchair in "Ask HN: Who is hiring? (November 2025)"
terrateam.io·10h·
Discuss: Hacker News
🔌Network Programming
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
📈Complexity Theory
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·1d
🧫Cellular Automata
Flag this post
Running MiniMax-M2 locally - Existing Hardware Advice
reddit.com·8h·
Discuss: r/LocalLLaMA
🏗Computer Architecture
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·15h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
dev.to·12h·
Discuss: DEV
🧩Theorem Proving
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·20h
🧮Programming Language Theory
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·20h
🔢Mathematical Logic
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·13h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·20h
🔐Cryptography
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·20h
🔗Parser Combinators
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·4h·
Discuss: r/golang
🤝Protocol Design
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·15h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·16h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·2h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Repo for AI assistant configs (Claude Code, Codex, Devin, Cursor etc.)
reddit.com·14h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Flag this post