🎯 Instruction Selection - abnv · Scour

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs

arxiv.org·22h

🧩Constraint Logic

An introduction to lockless algorithms [LWN.net]

lwn.net·2d

🎯Ring Buffers

JUXT Blog: From specification to stress test: a weekend with Claude

juxt.pro·1d

📡Erlang BEAM

bpftrace in C++

kuniga.me·2d

🔄Tail Call Analysis

A Note on Flat Abstract Syntax Trees

gist.github.com·2d·

Discuss: Hacker News

🌳Tree Walking

How I Used Claude Code to Teach Myself Rust

mlolson.github.io·11h·

Discuss: Hacker News, r/programming

🏗️Cranelift

Neuromorphic HW That Detects Motion Changes 4X Faster (Beihang, BIT, KAUST, Cambridge et al.)

semiengineering.com·8h

🔍Peephole Optimization

Making a 4 port automated PCB test and programming tool

blog.adafruit.com·12h

🌐Portable Assembly

Rust Traits Deep Dive: Static vs. Dynamic Dispatch

dev.to·3h·

Discuss: DEV

🦀MIR Optimization

A note on parameterized testing

blog.gnoack.org·3h

🧪Compiler Testing

Architecture of SQLite

sqlite.org·14h·

Discuss: Hacker News

💾Minimal Databases

SMTLIB as a Compiler IR I

philipzucker.com·3d·

Discuss: Hacker News

📚Forth Compilers

PyBites: The Vibe Coding trap

pybit.es·3h

🪞Homoiconicity

Surface code off-the-hook: diagonal syndrome-extraction scheduling

arxiv.org·22h

⚡Interpreter Optimization

AI learns to perform analog layout design

techxplore.com·5h

⚡Control Synthesis

Optimizing the MongoDB Java Driver: How minor optimizations led to macro gains

linkedin.com·6h·

Discuss: DEV

⚡Interpreter Optimization

AI agent sandboxing in 2026: how to choose between primitives, runtimes, and platforms

manveerc.substack.com·8h·

Discuss: Substack

🛡️Capability VMs

SAE Feature Matchmaking (Layer-to-Layer)

lesswrong.com·1d

🔢Algebraic Datatypes

百度千帆推出 AI 编码订阅服务 Coding Plan

linux.do·1h

💬REPL Design

MPSpeed: Implementing and Optimizing MPC-in-the-Head Digital Signatures in Hardware

eprint.iacr.org·2d

⏲️Embedded GC

Loading more...