Y HN SearchHacker News Search

new|comments|top|jobs

matt_d

searching PlanetScale…

1.▲
2.▲
3.▲
4.▲
5.▲
6.▲

38 ms·

901.
Cppless: Single-Source and High-Performance Serverless Programming in C++(dl.acm.org)
4 points by matt_d 1y ago|0 comments
902.
Gluon: a GPU programming language based on the same compiler stack as Triton(github.com)
83 points by matt_d 1y ago|24 comments
903.
Machine Scheduler in LLVM – Part I(myhsu.xyz)
5 points by matt_d 1y ago|2 comments
904.
Safepoints and Fil-C(fil-c.org)
87 points by matt_d 1y ago|44 comments
905.
Simon Peyton Jones: Pursuing a Trick a Long Way, Just to See Where It Goes [video](youtube.com)
7 points by matt_d 1y ago|0 comments
906.
by matt_d 1y ago
Announcement: https://mathstodon.xyz/@andrejbauer/115191725004191889 > This week I gave a lecture series at the School on Logical Frameworks and Proof Systems Interoperability. I spoke about programming language tec
907.
Faux Type Theory: three minimalist OCaml simple proof checker implementations(github.com)
3 points by matt_d 1y ago|1 comments
908.
by matt_d 1y ago
As far as compiling continuations goes, sequent calculus (specifically as a compiler IR) is an interesting research direction. See Grokking the Sequent Calculus (Functional Pearl) from ICFP 2024: https://dl.acm.org/doi/
909.
Inside vLLM: Anatomy of a High-Throughput LLM Inference System(blog.vllm.ai)
2 points by matt_d 1y ago|0 comments
910.
simdjson Version 4.0.0 Released(github.com)
4 points by matt_d 1y ago|0 comments
911.
Introducing BackendBench: how well LLMs and humans can write PyTorch backends(github.com)
2 points by matt_d 1y ago|0 comments
912.
Rethinking Analytical Processing in the GPU Era(arxiv.org)
6 points by matt_d 1y ago|0 comments
913.
EUV: Lithography: History, Latest Results, Technology Roadmap [video](youtube.com)
3 points by matt_d 1y ago|0 comments
914.
Disaggregation: A New Architecture for Cloud Databases(muratbuffalo.blogspot.com)
16 points by matt_d 1y ago|0 comments
915.
GSoC 2025 – Byte Type: Supporting Raw Data Copies in the LLVM IR(blog.llvm.org)
1 points by matt_d 1y ago|0 comments
916.
The Future of Memory: Limits and Opportunities(arxiv.org)
2 points by matt_d 1y ago|0 comments
917.
Interposing on clone() system calls in-process, from Linux userspace(humprog.org)
3 points by matt_d 1y ago|0 comments
918.
So you want to control flow in PyTorch 2(blog.ezyang.com)
2 points by matt_d 1y ago|0 comments
919.
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing(usenix.org)
32 points by matt_d 1y ago|11 comments
920.
Evolving the OCaml Programming Language (2025) [pdf](kcsrk.info)
159 points by matt_d 1y ago|48 comments
921.
Why ML Needs a New Programming Language – Chris Lattner – Signals and Threads(signalsandthreads.com)
2 points by matt_d 1y ago|0 comments
922.
vLLM with torch.compile: Efficient LLM inference on PyTorch(blog.vllm.ai)
1 points by matt_d 1y ago|0 comments
923.
DaCe AD: Unifying High-Performance Automatic Differentiation for ML and SciComp(arxiv.org)
3 points by matt_d 1y ago|0 comments
924.
Still Asking: How Good Are Query Optimizers, Really? [pdf](vldb.org)
60 points by matt_d 1y ago|13 comments
925.
Sphinx: A Succinct Perfect Hash Index for x86 [pdf](vldb.org)
1 points by matt_d 1y ago|0 comments
926.
by matt_d 1y ago
Publication: https://azizzayed.com/publications/dialegg/ Repo: https://github.com/AzizZayed/DialEgg
927.
DialEgg: Dialect-Agnostic MLIR Optimizer Using Equality Saturation with Egglog [video](youtube.com)
2 points by matt_d 1y ago|1 comments
928.
Dependent Types: Universes, or types of types(jonmsterling.com)
41 points by matt_d 1y ago|2 comments
929.
Translation Validation for LLVM's AArch64 Back End [pdf](users.cs.utah.edu)
1 points by matt_d 1y ago|0 comments
930.
What on Earth Does Pointer Provenance Have to Do with RCU?(people.kernel.org)
2 points by matt_d 1y ago|0 comments