🔧 Compilers - Abhi · Scour

I've just added generics to my programming language! 📐TLA+

reddit.com·6d·r/Compilers

GCC 16.1 released 📐TLA+

·11h·Hacker News

Presentations: A Guide to React Compiler Rendering ⚙️Systems Programming

blog.isquaredsoftware.com·6d

Training a Transformer to Compose One Step Per Layer (and Proving It) 📊Algorithms

lesswrong.com·4d

Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems 💾Tech History

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

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. 📐TLA+

github.com·8h·Hacker News

Large Language Models for Multilingual Code Intelligence: A Survey 📐TLA+

Arm C1-Ultra Scheduling Model Merged For LLVM/Clang 23 ⚙️Computer Architecture

phoronix.com·6d

Structural Generalization on SLOG without Hand-Written Rules 📊Algorithms

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

github.com·2d·DEV

FlowBot: Inducing LLM Workflows with Bilevel Optimization and Textual Gradients 🧠Query Planners

bryanmaclee/scrmlTS: A single-file type, full-stack reactive web language. The compiler splits server from client, wires reactivity, routes HTTP, and emits plain HTML/CSS/JS 📐TLA+

github.com·2d·DEV

VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection 📐TLA+

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

github.com·1d·Hacker News

An Empirical Study of Speculative Decoding on Software Engineering Tasks ⚙️Systems Programming

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. 📐TLA+

github.com·1d·r/Python

RaMP: Runtime-Aware Megakernel Polymorphism for Mixture-of-Experts 📇Vector Indexing

Benchmarking Complex Multimodal Document Processing Pipelines: A Unified Evaluation Framework for Enterprise AI 🔍Search Indexing

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations 🌳LSM Trees

github.com·2d·Hacker News

Meta-Harness: End-to-End Optimization of Model Harnesses 🌳LSM Trees

Sign up or log in to see more results

Log in to enable infinite scrolling