matt_d

20 ms·

781.
A "Ready-to-Use" Template for LLVM Out-of-Tree Passes(github.com)
1 points by matt_d 11mo ago|1 comments
782.
Mini-SGLang: Efficient Inference Engine in a Nutshell(lmsys.org)
2 points by matt_d 11mo ago|0 comments
783.
FrontierCS: Evolving Challenges for Evolving Intelligence(arxiv.org)
1 points by matt_d 11mo ago|0 comments
784.
svc-hook: hooking system calls on ARM64 by binary rewriting(dl.acm.org)
3 points by matt_d 11mo ago|1 comments
785.
The Simple Essence of Monomorphization (Oopsla 2025) [video](youtube.com)
1 points by matt_d 11mo ago|0 comments
786.
Abusing x86 instructions to optimize PS3 emulation [RPCS3] [video](youtube.com)
2 points by matt_d 11mo ago|0 comments
787.
Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf](zionbasque.com)
53 points by matt_d 11mo ago|1 comments
788.
Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video](youtube.com)
1 points by matt_d 11mo ago|0 comments
789.
Testing and Benchmarking of AI Compilers(broune.com)
1 points by matt_d 11mo ago|0 comments
790.
Interpreters everywhere! – Lindsey Kuper [video](youtube.com)
1 points by matt_d 11mo ago|0 comments
791.
The Wild West of post-POSIX IO Interfaces [video](youtube.com)
2 points by matt_d 11mo ago|0 comments
792.
Using the `vpternlogd` instruction for signed saturated arithmetic(wunkolo.github.io)
2 points by matt_d 11mo ago|0 comments
793.
Indexed Reverse Polish Notation, an Alternative to AST(burakemir.ch)
10 points by matt_d 11mo ago|0 comments
794.
ASM Visualizer: a new assembly visualization tool(asm.diveintosystems.org)
2 points by matt_d 11mo ago|0 comments
795.
Oral History of Jensen Huang – Computer History Museum [video](youtube.com)
1 points by matt_d 11mo ago|0 comments
796.
The Equational Theories Project: Collaborative Mathematical Research at Scale(terrytao.wordpress.com)
2 points by matt_d 11mo ago|0 comments
797.
The Quest Toward That Perfect Compiler – ACM SPLASH / OOPSLA 2025 Keynote [video](youtube.com)
2 points by matt_d 11mo ago|0 comments
798.
Learning to love mesh-oriented sharding(blog.ezyang.com)
2 points by matt_d 11mo ago|0 comments
799.
Microbenchmarking NVIDIA's Blackwell: An In-Depth Architectural Analysis(arxiv.org)
1 points by matt_d 11mo ago|0 comments
800.
tritonBLAS: Triton-based Analytical Approach for GEMM Kernel Parameter Selection(arxiv.org)
1 points by matt_d 11mo ago|0 comments
801.
RFC: Forming a Working Group on Formal Specification for LLVM(discourse.llvm.org)
2 points by matt_d 11mo ago|0 comments
802.
hls4ml: A Flexible, OSS Platform for ML Acceleration on Reconfigurable Hardware(arxiv.org)
4 points by matt_d 11mo ago|0 comments
803.
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf](users.cs.utah.edu)
1 points by matt_d 11mo ago|0 comments
804.
SAT Etudes 2: Toy DPLL(philipzucker.com)
1 points by matt_d 11mo ago|0 comments
805.
The Hitchhiker's Guide to Coherent Fabrics: 5 Programming Rules(sigarch.org)
8 points by matt_d 11mo ago|0 comments
806.
Optimizing libdwarf .eh_frame enumeration(rovarma.com)
4 points by matt_d 11mo ago|0 comments
807.
GSoC 2025: ClangIR Upstreaming(blog.llvm.org)
3 points by matt_d 11mo ago|0 comments
808.
by matt_d 11mo ago
See https://github.com/MattPD/cpplinks/blob/master/assembly.x86.... - mostly focused on x86-64 (and some of the talks/tutorials offer pretty good overview)
809.
Normal Forms for MLIR – 2025 US LLVM Developers' Meeting – Alex Zinenko [video](youtube.com)
2 points by matt_d 11mo ago|0 comments
810.
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing [video](youtube.com)
2 points by matt_d 11mo ago|0 comments

More ›