📊 Static Analysis

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

The PDF Association’s New Research Portal
pdfa.org·1d
📄PDF Archaeology
Thumbnail forensics. DFIR techniques for analysing Windows Thumbcache
pentestpartners.com·6h
🔍Format Forensics
Performance Analytics
blog.jacobstechtavern.com·2d
📊Performance Profiling
ARCNET: The Sleeping Giant (gitpi.us)
gitpi.us·1d·
Discuss: Hacker News
📼Cassette Networks
I am not ambitious enough
vester.si·2h·
Discuss: Hacker News
🌳Incremental Parsing
Handwired Skeletyl
justinmklam.com·1d·
Discuss: Hacker News, r/ErgoMechKeyboards
⌨️Mechanical Keyboards
GCC 15.2 Released With More Than 123 Bugs Fixed
phoronix.com·1h
🦀Rust Macros
Show HN: Procrastination disguised as preparation for moment that exists in futr
turquoise-cicily-87.tiiny.site·3d·
Discuss: Hacker News
⬜Minimalism
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·2d·
Discuss: Hacker News
👑Isabelle
Generative Models as Catalysts for Critical Thinking in Higher Education
chuahkeeman.substack.com·14h·
Discuss: Substack
🏛Digital humanities
How to Run Your Own OpenAI GPT OSS Server for Fun and Profit
northcodie.blogspot.com·3h·
Discuss: Hacker News
🔓Open Source Software
Show HN: Automating a manual biotech process that should have died years ago
news.ycombinator.com·1d·
Discuss: Hacker News
📄Document Digitization
Python Override Decorator: A Developer's Guide
dev.to·2d·
Discuss: DEV
🔬Refinement Types
GPT-5: It Just Does Stuff
oneusefulthing.org·18h·
Discuss: Hacker News
🤖AI Curation
Automated Mineralogical Classification via Hyperspectral Data Fusion & Bayesian Inference
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Release AI Agent Code Safely - Production CI/CD & Secrets
dev.to·4d·
Discuss: DEV
⚡Proof Automation
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·3d
💻Local LLMs
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·3d
🧮Kolmogorov Complexity
Hotel Brendle orchestrator app
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
arxiv.org·2d
✓Automated Theorem Proving