matt_d's submissions | Hacker News

1.		SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style (philipzucker.com)
		1 point by matt_d 2 days ago \| past \| discuss
2.		Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation (acm.org)
		2 points by matt_d 3 days ago \| past \| discuss
3.		Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs (arxiv.org)
		2 points by matt_d 3 days ago \| past \| discuss
4.		Oral History of Jeffrey Ullman [video] (youtube.com)
		1 point by matt_d 9 days ago \| past \| discuss
5.		CPU Autoscaling with a Kernel of Truth (acm.org)
		1 point by matt_d 11 days ago \| past \| discuss
6.		ACM Transactions on Programming Languages & Systems: New Year, New Paper Tracks (acm.org)
		4 points by matt_d 12 days ago \| past \| discuss
7.		An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video] (youtube.com)
		2 points by matt_d 12 days ago \| past \| discuss
8.		A "Ready-to-Use" Template for LLVM Out-of-Tree Passes (github.com/federicobruzzone)
		1 point by matt_d 13 days ago \| past \| 1 comment
9.		Mini-SGLang: Efficient Inference Engine in a Nutshell (lmsys.org)
		2 points by matt_d 13 days ago \| past \| discuss
10.		FrontierCS: Evolving Challenges for Evolving Intelligence (arxiv.org)
		1 point by matt_d 13 days ago \| past \| discuss
11.		svc-hook: hooking system calls on ARM64 by binary rewriting (acm.org)
		3 points by matt_d 13 days ago \| past \| 1 comment
12.		The Simple Essence of Monomorphization (Oopsla 2025) [video] (youtube.com)
		1 point by matt_d 14 days ago \| past
13.		Abusing x86 instructions to optimize PS3 emulation [RPCS3] [video] (youtube.com)
		2 points by matt_d 14 days ago \| past
14.		Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf] (zionbasque.com)
		52 points by matt_d 15 days ago \| past \| 1 comment
15.		Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video] (youtube.com)
		1 point by matt_d 15 days ago \| past
16.		Testing and Benchmarking of AI Compilers (broune.com)
		1 point by matt_d 18 days ago \| past
17.		Interpreters everywhere! – Lindsey Kuper [video] (youtube.com)
		1 point by matt_d 19 days ago \| past
18.		The Wild West of post-POSIX IO Interfaces [video] (youtube.com)
		2 points by matt_d 19 days ago \| past
19.		Using the `vpternlogd` instruction for signed saturated arithmetic (wunkolo.github.io)
		2 points by matt_d 20 days ago \| past
20.		Indexed Reverse Polish Notation, an Alternative to AST (burakemir.ch)
		10 points by matt_d 20 days ago \| past
21.		ASM Visualizer: a new assembly visualization tool (diveintosystems.org)
		2 points by matt_d 22 days ago \| past
22.		Oral History of Jensen Huang – Computer History Museum [video] (youtube.com)
		1 point by matt_d 23 days ago \| past
23.		The Equational Theories Project: Collaborative Mathematical Research at Scale (terrytao.wordpress.com)
		2 points by matt_d 23 days ago \| past
24.		The Quest Toward That Perfect Compiler – ACM SPLASH / OOPSLA 2025 Keynote [video] (youtube.com)
		2 points by matt_d 23 days ago \| past
25.		Learning to love mesh-oriented sharding (ezyang.com)
		2 points by matt_d 24 days ago \| past
26.		Microbenchmarking NVIDIA's Blackwell: An In-Depth Architectural Analysis (arxiv.org)
		1 point by matt_d 24 days ago \| past
27.		tritonBLAS: Triton-based Analytical Approach for GEMM Kernel Parameter Selection (arxiv.org)
		1 point by matt_d 25 days ago \| past
28.		RFC: Forming a Working Group on Formal Specification for LLVM (llvm.org)
		2 points by matt_d 27 days ago \| past
29.		hls4ml: A Flexible, OSS Platform for ML Acceleration on Reconfigurable Hardware (arxiv.org)
		4 points by matt_d 27 days ago \| past
30.		Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf] (utah.edu)
		1 point by matt_d 30 days ago \| past
		More