🧮 SMT Solvers

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

CubeSats are fascinating learning tools for space
jeffgeerling.com·12h
⚙️DIY Electronics
SlateDB: An embedded database built on object storage
slatedb.io·1d·
Discuss: Lobsters, r/programming
🌳Persistent Data Structures
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1d·
Discuss: Hacker News
🔌Operating system internals
AngularJS with Jessica Janiuk
softwareengineeringdaily.com·1d
🔩Systems Programming
From Hallucinations to Prompt Injection: Securing AI Workflows at Runtime
docker.com·2d
🌐WASI
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
⚙️Cassette Mechanics
Best Systran Alternative for Enterprises
dev.to·1d·
Discuss: DEV
🔄Migration Tools
Taming Spontaneous Stop-and-Go Traffic Waves: A Bifurcation Perspective of A Dynamical Map
arxiv.org·22h
🔄Lens Laws
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
🏺Computational Archaeology
New parametric CAD BREP kernel attempt
github.com·3d·
Discuss: Hacker News
🌐Computational Topology
Real-Time Atmospheric Dust Characterization via Deep Hyperspectral Analysis & Dynamic Particle Classification
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Automated Calibration and Drift Compensation in Micro-Flow Sensors for Electrolyzer Efficiency
dev.to·12h·
Discuss: DEV
🌊Stream Processing
From Spec To Vibe: How I Built An Agentic Prop Firm With Kiro (And What It Taught Me About AI Development)
dev.to·10h·
Discuss: DEV
🌀Brotli Internals
Enhance video understanding with Amazon Bedrock Data Automation and open-set object detection
aws.amazon.com·1d
🎬Video Codecs
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·1d
🧠Machine Learning
When the Swarm Wakes
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Unlocking the Power of AI: What is Prompt Engineering?
dev.to·15h·
Discuss: DEV
⚡Proof Automation
MaLei at MultiClinSUM: Summarisation of Clinical Documents using Perspective-Aware Iterative Self-Prompting with LLMs
arxiv.org·2d
🔍Information Retrieval
Introducing gRPC-Rust - Cathy Zhao, Google & Doug Fawley, gRPC Maintainer
youtube.com·1h
⚡gRPC
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·2d·
Discuss: Hacker News
🦀Rust Macros