📊 Static Analysis

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

Navigating Knowledge: My Journey from Panama to the Library of Congress
blogs.loc.gov·9h
📚MARC Archaeology
2025 Week 34
rkrishnan.org·2d
📲Digitization
OTW - Bandit Level 3 to Level 4
tbhaxor.com·4d
🔓Reverse engineering
Double Bishops: The Silent Killers of Chess
lichess.org·23h·
Discuss: Hacker News
🎯Proof Tactics
Michael Atmore Named Editor-in-Chief of Women’s Wear Daily
variety.com·11h
📡RSS
Ledger. (2023)
lock.cmpxchg8b.com·4d·
Discuss: Lobsters, Hacker News
🗄️Database Internals
Protections needed to stop people believing chatbots are friends – expert
the-independent.com·15h
🎙️Whisper
A Unique Supernova 'Dazzled' Astronomers and Revealed the Inner Layers of Stars
smithsonianmag.com·13h
🌈Spectroscopy
Quit Pleasing the Machine
prickly.oxhe.art·19h·
Discuss: Hacker News
🧲Magnetic Philosophy
Fuzzy search through Firefox open tabs
github.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Forest expansion increases agricultural output, new study shows
phys.org·11h
💰Preservation Economics
Football Predictions Always Wrong? 5 Overlooked Data Dimensions to Help You Improve Accuracy
dev.to·4d·
Discuss: DEV
⚡Proof Automation
From sea ice to ocean currents, Antarctica is now undergoing abrupt changes—and we'll all feel them
phys.org·1d
🧊Arctic Storage
A disgruntled worker built his own kill-switch malware to take down his former employer - and it didn't pay off
techradar.com·1d
🔓Hacking
My Most Valuable Lesson as an Aspiring Data Analyst
towardsdatascience.com·5d
🔗Data Provenance
Why UX Matters in Mobile Application Development Success
dev.to·4d·
Discuss: DEV
📟CLI Design
Pakistan-linked APT36 abuses Linux .desktop files to drop custom malware in new campaign
securityaffairs.com·19h
📟Terminal Forensics
🔥 Simulating Course Schedules 600x Faster with Web Workers in CourseCast
dev.to·4d·
Discuss: DEV
🌊Streaming Systems
SleepDIFFormer: Sleep Stage Classification via Multivariate Differential Transformer
arxiv.org·3d
🧠Machine Learning
Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS
arxiv.org·4d
👤Search Personalization