🔍 Static Analysis - nmarshall · Scour

Code quality: a concern for businesses, bottom lines, and empathetic programmers 🧩Low-code

stackoverflow.blog·2d·Hacker News

Program Analysis: A Pragmatic Approach ∀Lean4

homes.cs.washington.edu·7h·Lobsters

Automated Security Assertion Generation Using LLMs (U. of Florida) ∀Lean4

semiengineering.com·5d

Giving LLMs a Formal Reasoning Engine for Code Analysis ∀Lean4

yogthos.net·7h·Lobsters, Hacker News

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. ∀Lean4

github.com·1d·Hacker News

Linting into 'The Pit of Success' 🧩Low-code

prairielearn.com·5d·Hacker News

Engineering Is Moving Up the Stack 🤖AI Coding Tools

sanderknape.com·1d·Hacker News

When the compiler lies: breaking memory safety in safe Go 🔄C to Rust Translation

ciolek.dev·1d·Lobsters, Hacker News

A real-world case of property-based verification ∀Lean4

ochagavia.nl·4d·Lobsters, Hacker News, r/rust

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·1d

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. ∀Lean4

github.com·13h·Hacker News

AST Edits: The Code Editing Format Nobody Uses 🏭Code Generation

geometricagi.github.io·5d·Hacker News

Compare harnesses not models: Blitzy vs. GPT-5.4 on SWE-Bench Pro 🏗️Cranelift

quesma.com·2d·Hacker News

[RFC] JSIR: A High-Level IR for JavaScript 🏗️IRs

discourse.llvm.org·2d·Lobsters, Hacker News, Hacker News, Hacker News

Formal Methods 📐TLA+

formalmethods.dk·6d·Lobsters

Surveillance Findings: Age Verification as Mass Surveillance Infrastructure 🌐Network Security

tboteproject.com·2d·Hacker News

Why the Smart Model Reviewer Pattern Is Backwards ∀Lean4

cloudpresser.com·3d·Hacker News

aelaguiz/doctrine: Python-like DSL and compiler for reusable AI agent instructions, workflows, and contracts that compile to AGENTS.md. 🤖AI agents

github.com·15h·Hacker News

Automatic removal of junk instructions through state tracking (2018) 🔍Reverse Engineering

usualsuspect.re·4d·Hacker News

Writing a CHIP-8 Emulator from Spec 🔍Chip Verification

log.beshr.com·5d·Hacker News

Loading more...