⚙️ Compilers - meib · Scour

Extending Ruzzy with LibAFL 🪝eBPF

malware.news·1d

GCC 16.1 Released 🛡️Memory Safety

gcc.gnu.org·12h·Hacker News

VoidZero’s Experimental Oxc Angular Compiler with Up to 20x Faster Build Performance 📐SIMD

Where Optimizations Come From 🔍Static Analysis

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🔍Static Analysis

github.com·13h·Hacker News

424: File List Optimization 🪝eBPF

blog.codepen.io·1d

On Lisp: A review of Paul Graham's 1993 book 🔢Type Theory

alexvear.com·3d·Hacker News

Apple researchers built an AI that tests several ideas in parallel before answering ✅Formal Verification

9to5mac.com·1d

"Parse, don't Validate" through the years with C++ 🔍Static Analysis

derekrodriguez.dev·4d·Hacker News, r/programming

Linker error on arch 🔍Static Analysis

Training a Transformer to Compose One Step Per Layer (and Proving It) 📐SIMD

lesswrong.com·4d

Hygon C86-4G CPU Support Added To The GCC 17 Compiler 💾CPU Architecture

phoronix.com·1d

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation 🔍Static Analysis

Show HN: LawVM, a compiler for replaying amendment acts into point-in-time law 🔍Static Analysis

lawvm.org·5d·Hacker News

std::__detail (3) Linux Manual Page 🔍Static Analysis

systutorials.com·1d

I've just added generics to my programming language! ✅Formal Verification

reddit.com·6d·r/Compilers

dylancobb/sev: A graphical Emacs-like text editor built around an embedded Scheme interpreter. Written in C using SDL3 and Clay. Compiles to an executable or to WASM and can run in the browser. 🎮Game Engines

github.com·8h·Hacker News

From $200 to $30: Five Layers of LLM Cost Optimization ✅Formal Verification

blog.dwornikowski.com·6d·Hacker News

RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design 📐SIMD

Log in to enable infinite scrolling