🧮 SMT Solvers

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

CubeSats are fascinating learning tools for space
jeffgeerling.com·21h
⚙️DIY Electronics
Postgres 18rc1 vs sysbench
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
🗄️PostgreSQL WAL
Optimizing 100B ClickHouse Events
replo.computer·1d·
Discuss: Hacker News
🗄️Database Internals
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1d·
Discuss: Hacker News
🔌Operating system internals
AngularJS with Jessica Janiuk
softwareengineeringdaily.com·2d
🔩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·2d·
Discuss: Hacker News
⚙️Cassette Mechanics
Async Web Scraping with scrapy_cffi
dev.to·5h·
Discuss: DEV
🕵️Feed Discovery
Taming Spontaneous Stop-and-Go Traffic Waves: A Bifurcation Perspective of A Dynamical Map
arxiv.org·1d
🔄Lens Laws
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·2d
🏺Computational Archaeology
I have been working on a PlayStation 1 emulator written in Rust.
reddit.com·3d·
Discuss: r/rust
🦀Embedded Rust
Blockchain-Enabled Federated Learning for Secure & Privacy-Preserving Genomic Data Sharing
dev.to·6h·
Discuss: DEV
🔒Privacy Preserving
Unlocking the Power of AI: What is Prompt Engineering?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
From Spec To Vibe: How I Built An Agentic Prop Firm With Kiro (And What It Taught Me About AI Development)
dev.to·20h·
Discuss: DEV
🌀Brotli Internals
MaLei at MultiClinSUM: Summarisation of Clinical Documents using Perspective-Aware Iterative Self-Prompting with LLMs
arxiv.org·3d
🔍Information Retrieval
Introducing gRPC-Rust - Cathy Zhao, Google & Doug Fawley, gRPC Maintainer
youtube.com·10h
⚡gRPC
When the Swarm Wakes
dev.to·21h·
Discuss: DEV
🔲Cellular Automata
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Predictive Building Envelope Performance Optimization via Hybrid FEA-ANN Framework
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·2d
🤖AI Curation