📊 Static Analysis

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

Using thinkfan for fan control on Lenovo (Linux) laptops
kevinboone.me·1d
⚡Homebrew CPUs
Seven common tropes used to deny Gaza’s famine, debunked by an expert
telegraph.co.uk·1d·
Discuss: Hacker News
🔎OSINT Techniques
This air conditioning strategy is the sweet spot for saving energy and money
apnews.com·23h·
Discuss: Hacker News
🧮Algorithmic Cooking
Getting Started With Kubevirt
codeofconnor.com·2d
🏠HomeLab
Pet-Type: Commodore PET Horizontal Shootemup in C
retrogamecoders.com·5d·
Discuss: Hacker News
🕹️Retro Gaming
Identical Triplets
blog.tanyakhovanova.com·1d
👑Isabelle
Dinosaurs
funcall.blogspot.com·5d·
Discuss: Hacker News
🏗️Compiler Archaeology
Eighth developer beta of iOS 26: Has Apple finished testing?
heise.de·1d
🍎Apple Archive
RF Analyzer V2.0 Released: RTL-SDR Compatible Android App
rtl-sdr.com·5d
🎛️Cassette DSP
Google NotebookLM goes global with multilingual AI video summaries of your notes
techradar.com·1d
🏛Digital humanities
Letters: Disenfranchising voters should be a tough sell in state
mercurynews.com·1d
🎨Graph Coloring
[OC] ConfMap – Visualize Kubernetes YAML as Interactive Mind Maps
reddit.com·1d
📦Container Security
Show HN: Journey – Development focused database migration tool
github.com·4d·
Discuss: Hacker News
🦋Format Metamorphosis
ZipLine attack uses 'Contact Us' forms, White House butler pic to invade sensitive industries
theregister.com·1d
🔓Hacking
Quiz: How to Write Docstrings in Python
realpython.com·2d
📝Concrete Syntax
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·6d·
Discuss: DEV
🧠Memory Allocators
Fair and Distributed Vehicle‑Request Assignment Using Auctions and Rebalancing in Mobility‑On‑Demand
hackernoon.com·2d
📡Network Calculus
F2RVLM: Boosting Fine-grained Fragment Retrieval for Multi-Modal Long-form Dialogue with Vision Language Model
arxiv.org·1d
🔍Information Retrieval
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·1d
📊Quantization
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·1d
🎙️Whisper