🔍 Static Analysis - jinkai_lau · Scour

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine λFunctional Programming

squid-protocol.github.io·3d·Hacker News

The Code Review Comment I Left 47 Times ✅Dev Best Practices

optirefine.qzz.io·2d·DEV

LLM-Guided Issue Generation from Uncovered Code Segments ✅Dev Best Practices

AI Code Review Only Catches Half of Your Bugs ✅Dev Best Practices

oreilly.com·3h

The Final Form of Software Development ✅Formal Verification

blog.zksecurity.xyz·1d·Lobsters, Hacker News

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🗣️New Languages

github.com·13h·r/cpp

What Code Review Can't See (and Bad Data Always Finds) ✅Dev Best Practices

blog.dochia.dev·4h·Hacker News, r/programming

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs 🔧Compilers

nowarp.io·6d·Hacker News

std::__detail (3) Linux Manual Page λFunctional Programming

systutorials.com·1d

VoidZero’s Experimental Oxc Angular Compiler with Up to 20x Faster Build Performance 🗣️New Languages

GCC 16.1 Released With AMD Zen 6 Support, Algol 68 & Many C/C++ Improvements 🗣️New Languages

phoronix.com·4h·r/linux

Custom linting rules to guide AI code ✅Dev Best Practices

sandromaglione.com·1d

I built a repo structural audit — bus factor, churn, god files, dependency rot, gap analysis ✅Dev Best Practices

drive.google.com·4d·DEV

Python translated to English, Spanish, French – 100% AST verified, 99K free 🧠LLMs

huggingface.co·1h·Hacker News

Static Analysis Results Interchange Format (SARIF) 🧪Testing

Content Verification Platform ✅Formal Verification

proofididit.com·4h

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification 🔒Zero Trust

blog.trintler.me·23h·Hacker News

Clojure on Fennel part three: parsing λFunctional Programming

andreyor.st·2d·Hacker News

How Static Code Analysis Helps Reduce Software Bugs, and Money Spent! ✅Dev Best Practices

blog.jetbrains.com·4d

CVE-2026-42208: LiteLLM bug exploited 36 hours after its disclosure 🔬eBPF

securityaffairs.com·18h

Log in to enable infinite scrolling