🔬 Static Analysis - tyler · Scour

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you ⚙️Systems Programming

kerkour.com·1d·

Code review skill inspierd by Gilfoyle and Dinesh 🔧Code Generation

github.com·5d·Hacker News·

gcode 0.7.0 released - ground-up rewrite with a much better API ⚙️Systems Programming

docs.rs·18h·r/rust·

Validating Hare’s Sort Module using Symbolic Execution λFunctional Programming

notes.8pit.net·11h·Lobsters·

Optimizing for Understanding 🔧Code Generation

blog.br11k.dev·1d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification λFunctional Programming

goedelcodeprover.github.io·6d·Hacker News·

Where Engineering Meets Craft: Edoardo Lunardi’s Obsession with the Details 🎨Design Systems

tympanus.net·12h·

Runtime type checking is great (2023) 🐛Fuzzing

blog.jez.io·2d·Lobsters·

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell ⚙️Systems Programming

gist.github.com·1d·Hacker News·

From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers 🐛Fuzzing

agentseal.org·3d·Hacker News, r/netsec·

Challenges of specifying and compiling gas-fueled languages 🔧Code Generation

rubber-duck-typing.com·1d·Hacker News·

An Opinionated Agentic Engineering Workflow 💬Prompt Engineering

avanwyk.com·2d·Hacker News·

TruffleRuby ⚙️Systems Programming

chrisseaton.com·5d·Hacker News·

Function Calling Harness: Success Rate From 6.75% to 100%, by compiler skills 🔧Code Generation

typia.io·1d·Hacker News·

Rust's next-generation trait solver ⚙️Systems Programming

lwn.net·3d·Lobsters, Hacker News, r/programming·

nstarke/egodeath: A JavaScript Obfuscator based on AST Transforms 🔧Code Generation

github.com·21h·Hacker News·

The Type Theorists need to take a look at Zig λFunctional Programming

pure-systems.org·6d·Hacker News·

Compiler as a Service: C++ Goes Live – Interactive C++, interop, and beyond [video] ⚙️Systems Programming

youtube.com·3d·Hacker News·

First code review tool to move to usage based pricing 🔧Code Generation

macroscope.com·6d·Hacker News·

Semantic – Reducing LLM "Agent Loops" by 27.78% via AST Logic Graphs 💬Prompt Engineering

github.com·2d·Hacker News·

Loading more...