📊 Static Analysis

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

What we know about Alibaba’s potential new AI chip
euronews.com·1d
🇨🇳Chinese Computing
The Qweremin, a [C64 based] QWERTY theremin
linusakesson.net·1d·
Discuss: Hacker News
🎹MIDI Archaeology
FastMCP Cloud
fastmcp.cloud·1d·
Discuss: Hacker News
🔄Sync Engine
Why "What Happened First?" Is One of the Hardest Questions in Large-Scale Systems
newsletter.scalablethread.com·2d·
Discuss: r/programming
🔄Lens Laws
In Praise of CliffsNotes Study Guides in the Age of AI
lithub.com·4d·
Discuss: Hacker News
🏛Digital humanities
The gambling ploy that nearly broke Mic
abc.net.au·2d
🔓Hacking
AI chatbots are creating more hateful online content: Researchers
abcnews.go.com·1d·
Discuss: Hacker News
🤖AI Curation
Scientists Have Found the First Branch on the Tree of Life
popularmechanics.com·1d
🦴Binary Paleontology
Storyden: Fresh new take on traditional bulletin board web forum
github.com·3d·
Discuss: Hacker News
🌊Apache Kafka
dockur/windows-arm
github.com·1d
🔌Operating system internals
Feature Engineering in Machine Learning: A Beginner’s Guide
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Immich 1.140 Photo and Video Backup Adds Background Sync
linuxiac.com·3d
🔄Sync Engine
Overcoming over fitting and under fitting in deep learning
dev.to·2d·
Discuss: DEV
📊Quantization
Finite-Time Guarantees for Multi-Agent Combinatorial Bandits with Nonstationary Rewards
arxiv.org·3d
🔲Cellular Automata
Continuous AI: A Simple Introduction
dev.to·6d·
Discuss: DEV
⚡Proof Automation
"Where does it hurt?" - Dataset and Study on Physician Intent Trajectories in Doctor Patient Dialogues
arxiv.org·5d
🏛Digital humanities
I’m a secondary school teacher: SEND provision changes lives (and there’s nowhere near enough of it)
the-independent.com·1d
🏛Digital humanities
How to use GitHub Copilot on github.com: A power user’s guide
github.blog·5d
🌿git
Dynamics-Aligned Latent Imagination in Contextual World Models for Zero-Shot Generalization
arxiv.org·3d
📊Learned Metrics
OpenM3D: Open Vocabulary Multi-view Indoor 3D Object Detection without Human Annotations
arxiv.org·4d
🏺Computational Archaeology