⚙️ Compilers - meib · Scour

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

A History of Live Programming (2013) ✅Formal Verification

liveprogramming.github.io·3d·Hacker News

Presentations: A Guide to React Compiler Rendering 🎮Game Engines

blog.isquaredsoftware.com·6d

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🔍Static Analysis

github.com·1d·r/cpp

Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems 🔍Static Analysis

developing.dev·3d·Hacker News, r/programming

GCC 16.1 released 💾CPU Architecture

·13h·Hacker News

The Genesis of TurboPentest.com: Bridging the Gap in an AI-Code Explosion Era 🪝eBPF

integsec.com·6d·Hacker News

Structural Generalization on SLOG without Hand-Written Rules 📊Algorithms

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

github.com·1d·Hacker News

Arm C1-Ultra Scheduling Model Merged For LLVM/Clang 23 💾CPU Architecture

phoronix.com·6d

Large Language Models for Multilingual Code Intelligence: A Survey 🔍Static Analysis

FlowBot: Inducing LLM Workflows with Bilevel Optimization and Textual Gradients 🔍Static Analysis

StratCraftsAI/NexusFix: A zero-alloc, compile-time hardened FIX engine built for sub-100ns execution. 🪝eBPF

github.com·2d·DEV

pcre_jit_stack_alloc (3) Linux Manual Page 🧠Memory Allocators

systutorials.com·4d

An Empirical Study of Speculative Decoding on Software Engineering Tasks 🔍Static Analysis

warheart1984-ctrl/ul-language-vm: A minimal custom language runtime featuring a tokenizer, parser, bytecode compiler, and virtual machine. Designed for deterministic execution and as a foundational component of the AAIS architecture. 🎮Game Engines

github.com·1d·r/Python

COPUS: Co-adaptive Parallelism and Batch Size Selection in Large Language Model Training 📐SIMD

pcre_jit_exec (3) Linux Manual Page 🪝eBPF

systutorials.com·4d

Meta-Harness: End-to-End Optimization of Model Harnesses 🪝eBPF

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations 🔍Static Analysis

github.com·2d·Hacker News

Sign up or log in to see more results

Log in to enable infinite scrolling