🔧 Compilers - jinkai_lau · Scour

The Complicated Nature of Programming Languages λFunctional Programming

functiondispatch.substack.com·5d·r/programming

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping 🤖AI Engineering

The Final Form of Software Development ✅Formal Verification

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

Changes, New Features, and Fixes 🗣️New Languages

gcc.gnu.org·5h·Hacker News, r/cpp

Everything I know about debugging LLVM ✅Formal Verification

clangbuiltlinux.github.io·20h

Bun’s Zig fork got 4x faster compilation times 🗣️New Languages

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

github.com·5h·Hacker News

Two Compilers, One Moment 🗣️New Languages

intertwingly.net·4d·Hacker News

Where Optimizations Come From 🔍Static Analysis

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

GCC 16 debuts C++20 by default, adds Algol 68 and boosts diagnostics 🗣️New Languages

alternativeto.net·46m

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

phoronix.com·6h·r/linux

#643, April 27th 2026 🗣️New Languages

llvmweekly.org·2d

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs 🔍Static Analysis

nowarp.io·6d·Hacker News

Vector, the Journal of the British APL Association 🗄️Vector Databases

web.archive.org·22h·Hacker News

std::kill_dependency (3) Linux Manual Page 🦀Rust

systutorials.com·12h

Coloring Code: How Compilers Use Graph Theory 🔍Static Analysis

youtube.com·1d·Lobsters, Hacker News

Apple researchers built an AI that tests several ideas in parallel before answering 🔬AI Research

9to5mac.com·18h

Extending Ruzzy with LibAFL 🗣️New Languages

malware.news·1d

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 🔍Static Analysis

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

pyembed 💾SQLite

Log in to enable infinite scrolling