🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Linkdump No 69
82mhz.net·1d
🕹️Retro Gaming
How SeatGeek eliminated flaky container builds with a custom Buildkit operator
chairnerd.seatgeek.com·14h·
Discuss: Hacker News
📦Container Security
The "Super Weight:" How Even a Single Parameter can Determine a Large Language Model's Behavior
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Did This Kid Use AI to Fake Research About How Great AI Is?
skepchick.org·1d·
Discuss: Hacker News
🔍Vector Forensics
Lisp in 99 Lines of C With TinyLisp
hackaday.com·3d
🔗Lisp
Under or over? Automated technique can visualize and measure DNA tangles
phys.org·10h
🕸️Algebraic Topology
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·4d·
Discuss: Hacker News
💻Local LLMs
Adaptive Bayesian Optimization for Enhanced Clinical Trial Design Efficiency
dev.to·21h·
Discuss: DEV
🚀Query Optimization
An automatic patent literature retrieval system based on LLM-RAG
arxiv.org·1d
🔍Information Retrieval
Fine-grained Multi-class Nuclei Segmentation with Molecular-empowered All-in-SAM Model
arxiv.org·22h
📄Document Digitization
Edge-Selector Model Applied for Local Search Neighborhood for Solving Vehicle Routing Problems
arxiv.org·1d
🧠Learned Indexes
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·4d
🌀Brotli Dictionary
Show HN: Spectre, a coding agent for llama.cpp servers
github.com·2d·
Discuss: Hacker News, r/LocalLLaMA
🔓Open Source Software
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to·3d·
Discuss: DEV
📊Quantization
Group Fair Matchings using Convex Cost Functions
arxiv.org·3d
🎯Performance Proofs
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·6d·
Discuss: DEV
👁️System Observability
Implicit Hypergraph Neural Network
arxiv.org·1d
🌀Hyperbolic Geometry
Top 5 Tools to Monitor AI Applications in 2025: A Technical Deep Dive
dev.to·2d·
Discuss: DEV
👁️System Observability
GitLab 18.3: Expanding AI orchestration in software engineering
about.gitlab.com·2d
📦Git LFS
Causal Modelling of Cryptocurrency Price Movements Using Discretisation-Aware Bayesian Networks
arxiv.org·22h
🧠Machine Learning