🔧 Compilers - Abhi · Scour

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🔄Concurrency

github.com·21h·r/cpp

424: File List Optimization 🗂️Vector Indexes

blog.codepen.io·1d

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 📐TLA+

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

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation 📐TLA+

Mapping and Routing Fault-Tolerant Quantum Circuits Onto Chiplet Architectures (TU Munich) 🤝Paxos Consensus

semiengineering.com·2d

#643, April 27th 2026 🔄Cache Replacement

llvmweekly.org·3d

Glaze 7.2 - C++26 Reflection | YAML, CBOR, MessagePack, TOML and more 📐TLA+

Where Optimizations Come From 🌳LSM Trees

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

"Parse, don't Validate" through the years with C++ 🗂️Vector Indexes

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

std::__detail::_Compiler (3) Linux Manual Page 📐TLA+

systutorials.com·1d

Linker error on arch 📐TLA+

Hygon C86-4G CPU Support Added To The GCC 17 Compiler ⚙️Computer Architecture

phoronix.com·1d

On Lisp: A review of Paul Graham's 1993 book 📐TLA+

alexvear.com·3d·Hacker News

Show HN: LawVM, a compiler for replaying amendment acts into point-in-time law 📐TLA+

lawvm.org·5d·Hacker News

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 🔄Cache Replacement

github.com·23h·Hacker News

From $200 to $30: Five Layers of LLM Cost Optimization 🧠Query Planners

blog.dwornikowski.com·6d·Hacker News

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

A History of Live Programming (2013) ⚙️Systems Programming

liveprogramming.github.io·3d·Hacker News

GCC 16.1 released 📐TLA+

·9h·Hacker News

Log in to enable infinite scrolling