matt_d

6 ms·

61.
Functional State Machines in Rust: Typestate and Newtype Patterns(dl.acm.org)
125 points by matt_d 1mo ago|50 comments
62.
Chunky Agents(ianbarber.blog)
3 points by matt_d 1mo ago|0 comments
63.
I accidentally turned LLM memory into program analysis(pwning.systems)
302 points by matt_d 1mo ago|86 comments
64.
Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support(github.com)
1 points by matt_d 1mo ago|0 comments
65.
Terminal-Bench-Science: Evaluating AI agents on scientific research workflows(terminal-bench-science.ai)
117 points by matt_d 1mo ago|36 comments
66.
XPress: Parallel Refinement for Diffusion Drafters in Speculative Decoding(supercomputing-system-ai-lab.github.io)
3 points by matt_d 1mo ago|0 comments
67.
SoK: Multi-Layer Indirect Call Analysis in the Real World [pdf](cs.brown.edu)
2 points by matt_d 1mo ago|0 comments
68.
Composition and Modular Verification of TLA+ Specs(muratbuffalo.blogspot.com)
3 points by matt_d 1mo ago|0 comments
69.
by matt_d 1mo ago
See also https://github.com/MattPD/cpplinks/blob/master/executables.l...
70.
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++(arxiv.org)
2 points by matt_d 1mo ago|0 comments
71.
Maia 200: A Software Defined Dataflow System for Large-Scale AI Acceleration(arxiv.org)
3 points by matt_d 1mo ago|0 comments
72.
Mold: A Massively Parallel Linker(arxiv.org)
186 points by matt_d 1mo ago|30 comments
73.
Change MIR to use block arguments instead of phis – LLVM Code Generation RFC(discourse.llvm.org)
20 points by matt_d 1mo ago|0 comments
74.
A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computation(arxiv.org)
20 points by matt_d 1mo ago|0 comments
75.
From LLM Inference to Agentic Workloads: Characterization and Implications(arxiv.org)
2 points by matt_d 1mo ago|0 comments
76.
Flat vs. segmented memory – it's recursive(humprog.org)
3 points by matt_d 1mo ago|0 comments
77.
Escaping the Quicksand: A Call to Arms(arxiv.org)
2 points by matt_d 1mo ago|0 comments
78.
by matt_d 1mo ago
I'd recommend "A Primer on Memory Consistency and Cache Coherence, Second Edition" - Synthesis Lectures on Computer Architecture 15:1 (2020) - Vijay Nagarajan, Daniel J. Sorin, Mark D. Hill, David A. Wood - (open access, free
79.
Memory Ordering in CPUs(fgiesen.wordpress.com)
21 points by matt_d 1mo ago|3 comments
80.
A Verified Generational GC for OCaml(risemsr.github.io)
2 points by matt_d 2mo ago|0 comments
81.
Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)(dl.acm.org)
2 points by matt_d 2mo ago|0 comments
82.
Evaluating Shrinking (Experience Report)(dl.acm.org)
2 points by matt_d 2mo ago|0 comments
83.
Lean: Postmortem for the Kernel Soundness Bug Hunt(leodemoura.github.io)
3 points by matt_d 2mo ago|0 comments
84.
Portability of Fortran's 'do concurrent' on GPUs II(arxiv.org)
3 points by matt_d 2mo ago|1 comments
85.
Tmp.0ut Volume 5(tmpout.sh)
3 points by matt_d 2mo ago|0 comments
86.
Formal Perf. and Compile Time Guarantees for Compiler Optimization Heuristics(arxiv.org)
2 points by matt_d 2mo ago|0 comments
87.
Vero: Can AI Agents Build Formally Verified Software Repositories?(vero.verina.io)
1 points by matt_d 2mo ago|0 comments
88.
Compile-Time Improvements in LLVM 23(aengelke.net)
12 points by matt_d 2mo ago|0 comments
89.
Programming Language Semantics and Memory Safety(burakemir.ch)
2 points by matt_d 2mo ago|0 comments
90.
Pitfalls of Benchmarking on Modern Systems(stefan-marr.de)
4 points by matt_d 2mo ago|1 comments

More ›