📊 Static Analysis

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

Wireguard on Android – A Bit of a Mixed Bag
blog.wirelessmoves.com·2d
🏺ZIP Archaeology
Free idea: auto reply as a service
interconnected.org·3d
🏠Personal Archives
Decoding the Mystery of Intuition: Pioneering Philosopher of AI Margaret Boden on the Three Elements of Creativity
themarginalian.org·2d
🧲Magnetic Philosophy
Is Glass Liquid or Solid?
math.ucr.edu·2d·
Discuss: Hacker News
🌡️Preservation Physics
Some Dumb AI Ideas
4gravitons.com·3d
🌳Context free grammars
Researchers fed 7.9 million speeches into AI—and what they found upends our understanding of language
psypost.org·2d
📼Cassette Linguistics
Oracle Shuts Down Apiary.io
apisyouwonthate.com·5d·
Discuss: Hacker News
🔌Archive APIs
Mastering WordPress Bug Hunting: A Complete Guide for Security Researchers
infosecwriteups.com·3d
🔓Hacking
Moment overtaking pick-up truck narrowly misses children getting off school bus
the-independent.com·3d
⏱️Interval Parsing
Okay Microsoft, where the heck is the next Halo?
techradar.com·1h
🏺Gaming Archaeology
Thomas Frank’s new Tottenham ethos may restore predictability to Premier League
the-independent.com·1d
📰Feed Readers
How Smart Homes Save Energy and Promote Sustainability
dev.to·1d·
Discuss: DEV
🏠Home Automation
Why Video Game Anti-Cheat Systems Are a Cybersecurity Goldmine
darkreading.com·5d
🔓Hacking
Turning My Daily Commute into a Data Visualization Project
design.forem.com·5d·
Discuss: DEV
📊Count-Min Sketch
Heads up display
hackster.io·4d
🎮Switch Archaeology
Social Debiasing for Fair Multi-modal LLMs
arxiv.org·4d
🎛️Feed Filtering
On the notion of missingness for path attribution explainability methods in medical settings: Guiding the selection of medically meaningful baselines
arxiv.org·4d
📊Learned Metrics
Comparison of derivative-free and gradient-based minimization for multi-objective compositional design of shape memory alloys
arxiv.org·4d
🌐Computational Topology
From Passive Tool to Socio-cognitive Teammate: A Conceptual Framework for Agentic AI in Human-AI Collaborative Learning
arxiv.org·4d
🗺️Competency Maps
Causal Modelling of Cryptocurrency Price Movements Using Discretisation-Aware Bayesian Networks
arxiv.org·3d
🧠Machine Learning