🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Handwriting is slow which gives me time to think
hamatti.org·19h
⬜Minimalism
How Exposed TeslaMate Instances Leak Sensitive Tesla Data
s3yfullah.medium.com·7h·
Discuss: Hacker News
🛡️Differential Privacy
Flammable or Inflammable? and Other Word Pairs That Share a Root
wordsmarts.com·23h·
Discuss: Hacker News
🔤Morphological Analysis
Thoughts on the Future of LLM Interactivity
bittere.notion.site·1d·
Discuss: Hacker News
🏛Digital humanities
AWS in 2025: The Stuff You Think You Know That’s Now Wrong
lastweekinaws.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Chromatic Game Boy is getting Tetris’ best multiplayer mode
theverge.com·2d
🏺Gaming Archaeology
How Ramkinker Singh Engineered a Scalable SSL Certificate System for Next-Generation Cloud Access
hackernoon.com·5h
🔐Certificate Analysis
Is this project worth my time?
reddit.com·1d·
Discuss: r/golang
📡Feed Security
SYCL for Energy-Efficient Numerical Astrophysics: the case of DPEcho
arxiv.org·15h
📊Performance Profiling
What the EU’s Cyber Resilience Act Means for Open Source
thenewstack.io·5h
🔓Open Source Software
Feedback on Masterit.ai – AI Interview Platform
news.ycombinator.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Gemini Can Now Read Your Google Docs Out Loud
lifehacker.com·1d
🗣️CMU Pronouncing
Notes require regular gardening
hamatti.org·1d
🌱Personal Wikis
AI Agents Authentication: How to secure agentic Logins
dev.to·5h·
Discuss: DEV
🔐PAKE Protocols
Lifespan Pancreas Morphology for Control vs Type 2 Diabetes using AI on Largescale Clinical Imaging
arxiv.org·15h
🕳️Persistent Homology
[D] Cool new ways to mix linear optimization with GNNs? (LP layers, simplex-like updates, etc.)
reddit.com·5d·
Discuss: r/MachineLearning
💻Local LLMs
Waveshare ESP32-P4-ETH development board supports Ethernet and PoE
cnx-software.com·1d
🔌Single Board PC
How I stay immersed with Data science every day?🔎
dev.to·3d·
Discuss: DEV
🧪Data science
AI tooling must be disclosed for contributions
github.com·1d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
Tasklin, a Python CLI to run multiple AI models
dev.to·4d·
Discuss: DEV
🌀Brotli Internals