📊 Static Analysis

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

A new era of software engineering, cybersecurity, & AI
softwareheritage.org·3d
🏺Archaeological Computing
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu·22h·
Discuss: Hacker News
🏛Digital humanities
Voice AI for medical/premed students
codyliu.com·7h·
Discuss: Hacker News
🗣️CMU Pronouncing
Heredocs Can Make Your Bash Scripts Self-Documenting
holdtherobot.com·1d·
Discuss: Lobsters, Hacker News
🐚Shell scripting
Cloudflare AI as well as upload VTT files now not working across all domains?
blog.cloudflare.com·20h·
Discuss: Hacker News
🌊Stream Processing
Three HTTP versions later, forms are still a mess
yorickpeterse.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🌐Web Standards
Keep Pydantic out of your Domain Layer
coderik.nl·4d·
Discuss: Hacker News
🔬Refinement Types
Bibi Binary Notation
en.wikipedia.org·23h·
Discuss: Hacker News
📜Binary Philology
How We Migrated the Parse API From Ruby to Golang (Resurrected)
charity.wtf·3d·
Discuss: Hacker News
🔌Interface Evolution
git-mcp-server crashed my repository
dev.to·23h·
Discuss: DEV
🌳Git Internals
Cursor makes developers less effective? – by Gergely Orosz
newsletter.pragmaticengineer.com·2d·
Discuss: Hacker News
📏Code Metrics
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com·21h·
Discuss: Hacker News
🌳Archive Merkle Trees
First time writing an Operator, Opinion needed on creating Operator of operators
reddit.com·1d·
Discuss: r/kubernetes
🔐CBOR
title: Echo Dot (Echo Dot (Echo Dot (5th Gen): Honest Review
dev.to·12h·
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·12h·
Discuss: DEV
🔍BitFunnel
📈 Bug rate improvement after switching to AI assistants:
dev.to·6h·
Discuss: DEV
✏️OCR Correction
Keeping on Track: Building a Smart Goal Planner with Bolt
dev.to·2h·
Discuss: DEV
🚀Indie Hacking