📊 Static Analysis

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

Quickstart to coding in Warp
warp.dev·2d
🦀Rust Macros
A Comedy Writer on How AI Changes Her Field
dbreunig.com·1d
🎧Learned Audio
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·1d
🔌Operating system internals
How to transform compliance observation management with GitLab
about.gitlab.com·3d
👁️Observatory Systems
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·1d·
Discuss: Hacker News
⚡Effectful Programming
Exploiting zero days in abandoned hardware
blog.trailofbits.com·1d·
Discuss: Hacker News
🔒Secure Boot
Linux Kernel Could Soon Expose Every Line AI Helps Write
linux.slashdot.org·1d
🔩Systems Programming
Understanding Mobile App Reviews to Guide Misuse Audits
cacm.acm.org·2d
🕵️Penetration Testing
testcontainers: improving E2E tests
mfbmina.dev·2d·
Discuss: Hacker News, r/golang
🧪CBOR Fuzzing
Dwl: Dwm for Wayland
codeberg.org·1d·
Discuss: Hacker News
🕸️WebAssembly
Benchmarks for AI in Software Engineering
cacm.acm.org·2d·
Discuss: Hacker News
📏Code Metrics
Actively evaluating and learning the distinctions that matter: Vaccine safety signal detection from emergency triage notes
arxiv.org·2d
🗺️Competency Maps
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·2d
📏Linear Logic
AI Pair Programming Magic: Building an Advanced Blog System in One Session (And Why I Chose Complexity Over Simplicity)
dev.to·1d·
Discuss: DEV
👑Isabelle
Why AI Will Make Architecture Skills Critical for Software Engineers
dev.to·1d·
Discuss: DEV
🔄Language Evolution
title: Echo Dot (Echo Dot (Echo Dot (5th Gen): Honest Review
dev.to·6h·
Discuss: DEV
🎬WebCodecs
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·4d·
Discuss: DEV
✨Effect Handlers
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·4d·
Discuss: DEV
✨Effect Handlers
My Deep Learning Journey with Andrew Ng
dev.to·1d·
Discuss: DEV
🧠Machine Learning
🚀 Just discovered this 2-minute productivity hack:
dev.to·6h·
Discuss: DEV
🔍BitFunnel