🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

I picked up my Android phone to record a voice memo. I had to dismiss a dialog that said the phone had updated overnight and asked if I wanted to see a list of ...
scripting.com·1h
💻Operating Systems
May 2025 in review / Récap de mai 2025
alexsirac.com·1h
🧮Programming Language Theory
be quiet! Pure Power 13 M 1000W Report (Page 1 of 4)
aphnetworks.com·9h
🛡️IoT Security
APT36 Malware Campaign Using Desktop Entry Files and Google Drive Payload Delivery
cloudsek.com·7h·
Discuss: r/linux
👐Open Source Software
Hacking the Flum Mello Vape - Cortex M0 / 4MBit Flash / LCD display
reddit.com·13h·
Discuss: r/hacking
💾Retrocomputing
An inner-speech decoder reveals some mental privacy issues - Ars Technica
news.google.com·3h
🔗Parser Combinators
Gate To Sovngarde bard build
reddit.com·17h·
Discuss: r/skyrimmods
🔧Compiler Design
Next Round of Homelab Updates
bfloeser.de·1d
🌍Distributed Systems
AI isn’t a job killer, it’s a job shifter. We’re the biggest employment agency in the world and we can see where things are moving
fortune.com·1d
🤖Sci-Fi
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·4d·
Discuss: r/golang, r/programming
🧩Theorem Proving
Anamorpher: visual multi-modal prompt injection via image-scaling attacks
github.com·5h·
Discuss: Hacker News
🎲Probabilistic Programming
help with middle name change
reddit.com·1h·
Discuss: r/namenerds
🔧Compiler Design
Predictive Maritime Asset Valuation via Dynamic Network Embedding & Bayesian Optimization
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
Humanoid Robots Infusing AI For Mental Health Begets Walking-Talking Robot Therapists
forbes.com·1d
🤖Sci-Fi
kubernetes/examples
github.com·1d
🦀Rust
Understanding Java Data Type: Part 3
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory
Quantum Relational Knowledge Distillation
arxiv.org·4d
🔐Cryptography
LLM4Sweat: A Trustworthy Large Language Model for Hyperhidrosis Support
arxiv.org·1d
🎲Probabilistic Programming
I save $50 a month by using these self-hosted services instead of paid tools
xda-developers.com·1d
👐Open Source Software
On the Interplay between Graph Structure and Learning Algorithms in Graph Neural Networks
arxiv.org·2d
🕸️Graph Theory