matt_d's submissions | Hacker News

1.		Hitchhiker's Guide to Programming and Optimizing CXL-Based Heterogeneous Systems (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
2.		ACM ByteCast Episode 57: Xavier Leroy (acm.org)
		1 point by matt_d 1 day ago \| past \| discuss
3.		PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [video] (youtube.com)
		1 point by matt_d 2 days ago \| past \| discuss
4.		Safe and efficient C++ interoperability via non-escapable types and lifetimes (swift.org)
		2 points by matt_d 2 days ago \| past \| discuss
5.		MLIR Project Charter and Restructuring Survey (llvm.org)
		1 point by matt_d 2 days ago \| past \| discuss
6.		Big Specification: Specification, Proof, and Testing at Scale 2024 (youtube.com)
		1 point by matt_d 3 days ago \| past \| discuss
7.		Automated reasoning often makes systems more efficient and easier to maintain (amazon.com)
		2 points by matt_d 5 days ago \| past \| discuss
8.		Function Effect Analysis – Clang 20.0.0 (llvm.org)
		1 point by matt_d 5 days ago \| past \| discuss
9.		A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video] (youtube.com)
		2 points by matt_d 6 days ago \| past \| discuss
10.		Static Basic Block Versioning (dagstuhl.de)
		48 points by matt_d 7 days ago \| past \| 11 comments
11.		[RFC] MLIR Project Charter and Restructuring (llvm.org)
		1 point by matt_d 7 days ago \| past \| discuss
12.		Scalable self-improvement for compiler optimization (research.google)
		88 points by matt_d 8 days ago \| past \| 6 comments
13.		Revisiting Reliability in Large-Scale Machine Learning Research Clusters (glennklockwood.com)
		1 point by matt_d 8 days ago \| past \| discuss
14.		Scheduling Languages: A Past, Present, and Future Taxonomy (arxiv.org)
		4 points by matt_d 10 days ago \| past \| discuss
15.		Sorting for Rendering (linebender.org)
		7 points by matt_d 10 days ago \| past \| discuss
16.		Refinement Type Refutations (vusecpl.github.io)
		1 point by matt_d 11 days ago \| past \| discuss
17.		Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation (acm.org)
		4 points by matt_d 21 days ago \| past \| 1 comment
18.		Unboxing Virgil ADTs for Fun and Profit (arxiv.org)
		2 points by matt_d 24 days ago \| past \| 2 comments
19.		Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization (dagstuhl.de)
		2 points by matt_d 24 days ago \| past
20.		Efficient GEMM Kernel Designs with Pipelining (sigarch.org)
		2 points by matt_d 25 days ago \| past
21.		Memory Safety without Lifetime Parameters (safecpp.org)
		4 points by matt_d 25 days ago \| past
22.		efency: An efficient electric-fence malloc debugger for the 21st century (gitlab.com/efency)
		2 points by matt_d 26 days ago \| past
23.		Tensor programming for databases, with first class dimensions (ezyang.com)
		2 points by matt_d 26 days ago \| past
24.		A Case for First-Class Environments (acm.org)
		1 point by matt_d 28 days ago \| past
25.		Can logic programming be liberated from predicates and backtracking? [pdf] (uni-kiel.de)
		197 points by matt_d 28 days ago \| past \| 97 comments
26.		When is causal broadcast not enough for causal memory? (decomposition.al)
		19 points by matt_d 29 days ago \| past \| 4 comments
27.		A Discussion with Sebastian Hack – Compiler/PL Meetup @ UIUC [video] (youtube.com)
		1 point by matt_d 29 days ago \| past \| 1 comment
28.		BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model (github.com/agra-uni-bremen)
		6 points by matt_d 29 days ago \| past
29.		Software Complexity, Path Complexity, and Branch Selectivity [video] (youtube.com)
		2 points by matt_d 29 days ago \| past
30.		Shared Virtual Memory: Its Design and Performance Implications for Applications (acm.org)
		2 points by matt_d 29 days ago \| past
		More