📊 Static Analysis

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

Books read in 2024
faingezicht.com·1d
🧲Magnetic Philosophy
Agentic Frameworks Summary
elastic.co·1d
🎯Threat Hunting
Shedding Light on PoisonSeed’s Phishing Kit
blog.nviso.eu·1d
🎫Kerberos Attacks
Creating high quality electronics schematics
blog.poly.nomial.co.uk·3d·
Discuss: Lobsters, Hacker News
⚙️DIY Electronics
Federation Platform and Privacy Waves: How Meta distributes compliance-related tasks at scale
engineering.fb.com·1d
🔄Archival Workflows
Mice lockbox puzzle-solving captured in multi-camera video datasets
phys.org·1d
🔲Cellular Automata
ShortStop: A machine learning framework for microprotein discovery
bmcmethods.biomedcentral.com·1d·
Discuss: Hacker News
🧬Copy Number Variants
Compliance Without Coverage is a Risk: How to Close the Gaps with Qualys Policy Audit
blog.qualys.com·1d
🕵️Penetration Testing
Why Tail-Recursive Functions Are Loops
kmicinski.com·4d·
Discuss: Hacker News
🔗Lisp
Old School RuneScape has officially taken over my life, and I deeply regret not trying it out sooner
techradar.com·23h
🏺Gaming Archaeology
Matter update: smart home standard locks out Trojan devices
heise.de·1d
🏠Home Automation
Predictive Trust Degradation Mitigation via Dynamic Behavioral Anomaly Detection in Collaborative Robots
dev.to·2d·
Discuss: DEV
🎯Threat Hunting
TRUST: Leveraging Text Robustness for Unsupervised Domain Adaptation
arxiv.org·2d
📊Learned Metrics
Comparing Knowledge Injection Methods for LLMs in a Low-Resource Regime
arxiv.org·2d
💻Local LLMs
I am a chief security officer and here's why I think AI Cybersecurity has only itself to blame for the huge problem that's coming
techradar.com·5h
🔐Capability Systems
Unequal Uncertainty: Rethinking Algorithmic Interventions for Mitigating Discrimination from AI
arxiv.org·1d
🧮Kolmogorov Bounds
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·9h
⟷Bidirectional Programming
Snowflake AI_TRANSCRIBE - Transform Audio to Insights with SQL in Seconds
dev.to·3d·
Discuss: DEV
🎙️Whisper
Blending Imitation and Reinforcement Learning for Robust Policy Improvement
arxiv.org·1d
🔲Cellular Automata
Quantized Neural Network Pruning via Adaptive Stochastic Gradient Descent
dev.to·1d·
Discuss: DEV
📊Quantization