📊 Static Analysis

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

Network printing/scanning without flaky manufacturer apps?
preview.redd.it·10h·
Discuss: r/homelab
📄Document Digitization
Do AI coding tools help with imposter syndrome or make it worse?
stackoverflow.blog·2d
📏Code Metrics
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·4d·
Discuss: Hacker News
🦀Rust Macros
Step3
stepfun.ai·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Why your vibe coded app only works in your head
farouq.bearblog.dev·3d·
Discuss: Hacker News
⚡Effectful Programming
Multidimensional Assessment of Takeover Performance in Conditionally Automated Driving
arxiv.org·3d
✨Effect Handlers
Tips for starting homelabbing
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·4d
🧮Theorem Proving
Meta’s AI Boss Just Called LLMs ‘Simplistic’ — Here’s What He’s Building Instead
hackernoon.com·1d
🌍Cultural Algorithms
How Hackers Break AI Models: A Developer's Guide to Adversarial Threats
dev.to·1d·
Discuss: DEV
🕵️Vector Smuggling
PesudoCLI - your AI man pages.
dev.to·22h·
Discuss: DEV
⚡Redis Internals
[R] Kimi K2: Open Agentic Intelligence (Technical Report)
reddit.com·22h·
Discuss: r/MachineLearning
🧠Intelligence Compression
PyCrucible – Yet Another PyInstaller Alternative
github.com·2d·
Discuss: Hacker News
🕸️WebAssembly
My Thoughts on Agentic AI Testing After Reading This Mind-Blowing Article
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Cardemic: Building with Bolt - WLH Challenge
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
AI agents unifying structured and unstructured data: Transforming support analytics and beyond with Amazon Q Plugins
aws.amazon.com·2d
📰Feed Readers
T-Detect: Tail-Aware Statistical Normalization for Robust Detection of Adversarial Machine-Generated Text
arxiv.org·2d
🔍Character Forensics
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·4d
✅Formal Methods
AI Writes Better Code When You Stop Thinking in Code
dev.to·4d·
Discuss: DEV
⚙️TLA+
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·3d
💻Local LLMs