📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

ESP32-C6 platformio fail
peterbabic.dev·2d
🔌Single Board PC
Testing RSX on the ENC28J60
pdp2011.sytse.net·1d
📺VT100 Emulation
DNS at IETF 123
blog.apnic.net·3d
🌐DNS Security
Blurry or Beautiful? The Tweaks and Tenets of Apple’s Controversial Liquid Glass Design in macOS Tahoe
eshop.macsales.com·1d
🖥️Vintage Macintosh
Injection-proof SQL builders in Go
oblique.security·3d·
Discuss: r/golang
✅Format Verification
Dashboards Are Dead
count.co·1d·
Discuss: Hacker News
🌱Personal Wikis
Advice for Tech Non-Profits
mitchellh.com·1d·
Discuss: Hacker News
⚖️Lossy Compression Ethics
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·5d·
Discuss: Hacker News, r/compsci, r/programming
⚡CPU Microarchitecture
AI for Cybersecurity: Building Trust in Your Workflows
securityaffairs.com·3d
🎯Threat Hunting
Wrapping Up The S21 Transcriber Spotlight Session – What We’ve Covered
forensicfocus.com·1d
💿DAT Forensics
ONS delays retail sales data to address quality issues
the-independent.com·2d
🔗Data Provenance
GitHub Copilot for Xcode – The Heist of the Century?
medium.com·3d·
Discuss: Hacker News
🍎XNU Internals
Visuo-Tactile Feedback with Hand Outline Styles for Modulating Affective Roughness Perception
arxiv.org·1d
✋Tactile Computing
Readers Respond to the April 2025 Issue
scientificamerican.com·2d
🔲Cellular Automata
The rise of sovereign clouds: no data portability, no party
techradar.com·1d
🖥️Self-hosted Infrastructure
Laws are introduced globally to reduce 'psychological harm' online, but there's no clear definition of what it is
phys.org·2d
🛡Cybersecurity
Show HN: Spectre, a coding agent for llama.cpp servers
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
AI Models for Depressive Disorder Detection and Diagnosis: A Review
arxiv.org·2d
🧠Machine Learning
Automated Anomaly Detection in Industrial CT Scans via Hyperdimensional Pattern Matching
dev.to·5d·
Discuss: DEV
🔍Vector Forensics
Collaborative Learning-Enhanced Lightweight Models for Predicting Arterial Blood Pressure Waveform in a Large-scale Perioperative Dataset
arxiv.org·2d
🧠Machine Learning