🔧 MLIR

Compiler Infrastructure, Multi-Level IR, LLVM, Code Generation

Using large-scale search to discover fast GPU kernels
reddit.com·19h·
Discuss: r/LocalLLaMA
🤖AI
How to Build a Compiler: A Step-by-Step Outline for Creating a custom compiler in C from scratch
dev.to·1d·
Discuss: DEV
⚙️Programming
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·17h·
Discuss: Hacker News
⚙️Programming
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·3d
🤖AI
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
📜Smart Contracts
Pyghidra-mcp: Run Ghidra headless for multi‑binary reverse engineering with LLMs
clearbluejar.github.io·1d·
Discuss: Hacker News
🤖AI
What Claude Code gets right
minusx.ai·9m·
Discuss: Hacker News
🤖AI
Vif, a new webframework for OCaml 5
discuss.ocaml.org·1h·
Discuss: Hacker News
⚙️Programming
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1h·
Discuss: Hacker News, r/programming
🧮Homomorphic Encryption
Your agent, your rules: A deep dive into the Responses API with Llama Stack
developers.redhat.com·1d
🤖AI
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
⚙️Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·11h·
Discuss: r/rust
⚙️Programming
Fearless Programming with Rust
infoq.com·2h·
Discuss: Hacker News
⚙️Programming
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·3h·
Discuss: r/LocalLLaMA
✅Formal Verification
Mastering Self-Consistency Prompting
dev.to·1d·
Discuss: DEV
🤖AI
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·2d
⚙️Programming
the core of rust
jyn.dev·14h
⚙️Programming
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·2d·
Discuss: Lobsters, Hacker News
⚙️Programming
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·1d·
Discuss: Hacker News
⚙️Programming
Slice: SAST + LLM Interprocedural Context Extractor
noperator.dev·2d·
Discuss: Lobsters, Hacker News
⚙️Programming