📊 Static Analysis

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

Spritely Goblins v0.16.0 released!
spritely.institute·1d
🔒Linear Types
Quoting Sam Altman
simonwillison.net·1h
📡RSS
PyDPainter
pydpainter.org·3d·
Discuss: Hacker News
⛏️File Carving
Show HN: I built a plugin to create a ChatGPT archive with Typemill CMS
typemill.net·2d·
Discuss: Hacker News
🤖Archive Automation
A Library Approach to Constant Template Parameters
brevzin.github.io·6d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
We went from unauthenticated to arbitrary RCE in CyberArk Conjur
cyata.ai·1d·
Discuss: Hacker News
🎫Kerberos Attacks
Red Teams Jailbreak GPT-5 with Ease, Warn It's 'Nearly Unusable' for Enterprise
securityweek.com·1h·
Discuss: Hacker News
🔓Hacking
PyTorch 2.8 Released With Better Intel CPU Performance For LLM Inference
phoronix.com·1d
🦾ARM Cortex-M
2 years of writing a front end blog (among other things)
frontendundefined.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Handling errors in concurrent goroutines with channels
reddit.com·1d·
Discuss: r/golang
🌊Stream Processing
Automated ultrasound doppler angle estimation using deep learning
arxiv.org·1d
🧠Machine Learning
User Acceptance Testing: The Final Check Before Go-Live
dev.to·2d·
Discuss: DEV
🕵️Penetration Testing
AI-Context Documentation: The Missing Link in AI-Assisted Development
dev.to·4d·
Discuss: DEV
⚡Proof Automation
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
AI Isn't Writing 90% of Your Code (But It Should Be Making You Money)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Show HN: Principles of Building AI Agents book [pdf]
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Gmail API developer intro: spotting chatty threads
dev.to·2d·
Discuss: DEV
⚡gRPC
UrBLiMP: A Benchmark for Evaluating the Linguistic Competence of Large Language Models in Urdu
arxiv.org·3d
🌀Brotli Dictionary
I Launched DjangoFixer — Here’s Why
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
arxiv.org·2d
🧠Intelligence Compression