📊 Static Analysis

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

something, everything
blog.ayjay.org·2d
🏰Manuscript Networks
Jen Calleja on Markus Werner's "Festland"
dalkeyarchive.substack.com·2d·
Discuss: Substack
🏛Digital humanities
AI in cybersecurity operations
jwgoerlich.com·3d
🛡Cybersecurity
Holga 120-degree Wide Pinhole Camera
lomography.com·2d·
Discuss: Hacker News
🖼️JPEG XL
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·3d·
Discuss: Substack
🔗Topological Sorting
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·3d·
Discuss: Hacker News
🔲Cellular Automata
In Defence of Online Anonymity
thecritic.co.uk·2d·
Discuss: Hacker News
🕳️Information Leakage
Debugging the Human Layer
blog.joac.com.ar·6d·
Discuss: Hacker News
⚙️Proof Engineering
Qwen Code: CLI with Chinese Characteristics
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🔓Open Source Software
Evaluating Citizen Satisfaction with Saudi Arabia's E-Government Services: A Standards-Based, Theory-Informed Approach
arxiv.org·2d
🔒WASM Capabilities
Docker fixes critical Desktop flaw allowing container escapes
securityaffairs.com·3d
📦Container Security
Kongvisor: A new terminal application for managing Kong gateways
reddit.com·2d·
Discuss: r/golang
📟Terminals
STRelay: A Universal Spatio-Temporal Relaying Framework for Location Prediction with Future Spatiotemporal Contexts
arxiv.org·2d
🔶Voronoi Diagrams
CoFE: A Framework Generating Counterfactual ECG for Explainable Cardiac AI-Diagnostics
arxiv.org·3d
🔍Vector Forensics
Persuasiveness and Bias in LLM: Investigating the Impact of Persuasiveness and Reinforcement of Bias in Language Models
arxiv.org·3d
🎙️Whisper
Building and Measuring Trust between Large Language Models
arxiv.org·3d
🔲Cellular Automata
Akira, Clop Top List of 5 Most Active Ransomware-as-a-Service Groups
darkreading.com·5h
🔓Hacking
Do Claude Code Security Reviews Pass the Vibe Check?
darkreading.com·6d
🔓Hacking
Disentangling the Factors of Convergence between Brains and Computer Vision Models
arxiv.org·2d
📊Learned Metrics
Humans Perceive Wrong Narratives from AI Reasoning Texts
arxiv.org·2d
✓Automated Theorem Proving