Slides (PDF): https://compiler-research.org/assets/presentations/Aaron_Vip... Abstract: https://compiler-research.org/presentations/#USINGSTDCPP2026 &g…

4mo ago·view thread

1 pts

Compiler as a Service: C++ Goes Live – Interactive C++, interop, and beyond [video](youtube.com)

4mo ago·1 comments

4 pts

Measuring AI Ability to Complete Long Software Tasks(muratbuffalo.blogspot.com)

4mo ago·discuss

3 pts

6o6 v1.1: Faster 6502-on-6502 virtualization for a C64/Apple II Apple-1 emulator(oldvcr.blogspot.com)

4mo ago·discuss

3 pts

uops.info Update: Emerald Rapids, Meteor Lake, Arrow Lake, and Zen 5(uops.info)

4mo ago·discuss

2 pts

MXFP8 GEMM: Up to 99% of cuBLAS Performance Using CUDA and PTX(danielvegamyhre.github.io)

4mo ago·discuss

4 pts

PyTorch Autograd and Mutation(blog.ezyang.com)

4mo ago·discuss

3 pts

The Future of Python: Evolution or Succession – Brett Slatkin – PyCascades 2026 [video](youtube.com)

4mo ago·discuss

2 pts

SlopCodeBench: Benchmarking How Coding Agents Degrade over Long-Horizon Tasks(scbench.ai)

4mo ago·discuss

2 pts

AutoRocq: Agentic Theorem Prover for Verification(github.com)

4mo ago·discuss

1 pts

Wax: Optimizing Data Center Applications with Stale Profile(github.com)

4mo ago·discuss

2 pts

Dijkstra's Shortest-Path Algorithm: A visual exploration, following Sedgewick(joshmpollock.com)

4mo ago·1 comments

3 pts

Speculative Decoding: Performance or Illusion?(specdecode-bench.github.io)

4mo ago·discuss

3 pts

Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification(goedelcodeprover.github.io)

4mo ago·discuss

1 pts

MLSys 2026 Papers(mlsys.org)

4mo ago·discuss

3 pts

An Efficient Heterogeneous Co-Design for Fine-Tuning on a Single GPU(arxiv.org)

4mo ago·discuss

3 pts

Specula: A framework for finding deep bugs in system code using TLA+(github.com)

4mo ago·discuss

comment

See also C++ coroutines resources (posts, research, software, talks): https://gist.github.com/MattPD/9b55db49537a90545a90447392ad3... …

4mo ago·view thread

2 pts

Equality Saturation for Optimizing High-Level Julia IR(dl.acm.org)

4mo ago·2 comments

2 pts

UniTe: A Universal Tensor Abstraction for Capturing Spatial Relationships(dl.acm.org)

4mo ago·discuss

4 pts

Co-Design of B+-Tree Index with Emerging Zone Interfaces for Small KV Pairs(dl.acm.org)

4mo ago·discuss