🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

erlang.mk: running multiple eunit tests
blog.differentpla.net·2d
⚙️WASM Runtime
Truco and clones: the beginnings of Argentinian computer gaming
zeitgame.net·2d·
Discuss: Hacker News
🕹️Retro Gaming
Study shows mandatory cybersecurity courses do not stop phishing attacks
techspot.com·3h
🎯Threat Hunting
Chrome Intent to Prototype: Email Verification Protocol
groups.google.com·1d·
Discuss: Hacker News
🌐Web Standards
Building an acoustic camera with UMA-16 and Acoular
minidsp.com·2d·
Discuss: Hacker News
🎧Audio Restoration
SaaS Without People
sheet2report.vercel.app·2d·
Discuss: Hacker News
⚙️Batch Processing
Project: U3SplitV1 – Breaking Apart a USB 3.x Host Port (for Desperate Times!)
goughlui.com·3d·
Discuss: Hacker News
🔌Single Board PC
Archaeologists Found a Secret Stash of Gold Coins That Rewrite the History of War
popularmechanics.com·9h
🏺Gaming Archaeology
A Gentle Introduction to Batch Normalization
machinelearningmastery.com·2d
🧠Neural Compression
Geekom will present its first Qualcomm mini PC at IFA 2025 - it even comes with Windows 11 Pro and a rather mindboggling four microphones (yes, 4)
techradar.com·9h
🖥️Modern Terminals
Feeling down, hopeless & distracted.
reddit.com·2d·
Discuss: r/golang
📡RSS Automation
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·3d
🛡️Error Boundaries
GPUs have replaced CPUs for good as the undisputable kings of computing
techradar.com·2d
🖥️Terminal Renaissance
Preventing Inactive CBF Safety Filters Caused by Invalid Relative Degree Assumptions
arxiv.org·3d
🛡️Error Boundaries
Enhancing Speech Large Language Models through Reinforced Behavior Alignment
arxiv.org·2d
🗣️CMU Pronouncing
Home server from old office PCs
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Archaeology
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·5d·
Discuss: Hacker News
📄Document Streaming
This Week a Few AI Companies Stopped Pretending
dev.to·2d·
Discuss: DEV
🤖AI Curation
Two-Timescale Sum-Rate Maximization for Movable Antenna Enhanced Systems
arxiv.org·2d
⧗Information Bottleneck
This thing that i call server
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Archaeology