matt_d

17 ms·

631.
Designing AI Chip Hardware and Software(docs.google.com)
1 points by matt_d 8mo ago|0 comments
632.
Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger(philipzucker.com)
11 points by matt_d 8mo ago|0 comments
633.
Breaking Control Flow Integrity by Abusing Modern C++ (Coroutines) – BH USA 2025 [video](youtube.com)
2 points by matt_d 8mo ago|0 comments
634.
Programming the Loop(ianbarber.blog)
2 points by matt_d 8mo ago|0 comments
635.
Scalable Training of Mixture-of-Experts Models with Megatron Core(arxiv.org)
2 points by matt_d 8mo ago|0 comments
636.
PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks(arxiv.org)
3 points by matt_d 8mo ago|0 comments
637.
Formalizing Data Structures and Algorithms with Agents(risemsr.github.io)
3 points by matt_d 8mo ago|0 comments
638.
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping(philipzucker.com)
20 points by matt_d 8mo ago|2 comments
639.
Advent of Computing: Dan Temkin – Forty-Four Esolangs(adventofcomputing.libsyn.com)
2 points by matt_d 8mo ago|0 comments
640.
Checking Write Bandwidth on GPUs(clamtech.org)
1 points by matt_d 8mo ago|0 comments
641.
Challenges in Decompilation and Reverse Engineering of CUDA-Based Kernels [pdf](nicolo.dev)
5 points by matt_d 8mo ago|0 comments
642.
Block Number Formats Are Direction Preservers(constantinides.net)
8 points by matt_d 8mo ago|0 comments
643.
Cutie Fly: CuTe Layout Representation and Algebra, CuTeDSL, FlyDSL(ianbarber.blog)
2 points by matt_d 8mo ago|0 comments
644.
Converting Binary Floating-Point Numbers to Shortest Decimal Strings(onlinelibrary.wiley.com)
21 points by matt_d 8mo ago|5 comments
645.
Controlling Floating-Point Determinism in NVIDIA CCCL(developer.nvidia.com)
3 points by matt_d 8mo ago|0 comments
646.
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using LLMs(arxiv.org)
3 points by matt_d 8mo ago|0 comments
647.
Custom Data Structures in E-Graphs(uwplse.org)
3 points by matt_d 8mo ago|0 comments
648.
Formal Verification in the Age of AI(verse.systems)
2 points by matt_d 8mo ago|1 comments
649.
CuTe Layout Representation and Algebra(arxiv.org)
4 points by matt_d 8mo ago|0 comments
650.
Bespoke OLAP: Synthesizing Workload-Specific One-Size-Fits-One Database Engines(arxiv.org)
2 points by matt_d 8mo ago|0 comments
651.
SkyDiscover: A Flexible Framework for AI-Driven Sci. and Algorithmic Discovery(skydiscover-ai.github.io)
3 points by matt_d 8mo ago|0 comments
652.
Silent Backwards Compatibility Breaking Changes in PyTorch(blog.ezyang.com)
4 points by matt_d 8mo ago|1 comments
653.
Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days(normalcomputing.com)
3 points by matt_d 8mo ago|0 comments
654.
AgentCgroup: Understanding and Controlling OS Resources of AI Agents(github.com)
2 points by matt_d 8mo ago|0 comments
655.
Equality Saturation for Circuit Synthesis and Verification(spiral.imperial.ac.uk)
2 points by matt_d 8mo ago|0 comments
656.
An Introduction to Folios(blogs.oracle.com)
2 points by matt_d 8mo ago|0 comments
657.
Perplexity Cannot Always Tell Right from Wrong(ianbarber.blog)
2 points by matt_d 8mo ago|0 comments
658.
Ganak: The Making of a Versatile, High Performance Model Counter(msoos.org)
1 points by matt_d 8mo ago|0 comments
659.
TorchLean: Formalizing Neural Networks in Lean(leandojo.org)
104 points by matt_d 8mo ago|20 comments
660.
Fast Autoscheduling for Sparse ML Frameworks(fredrikbk.com)
1 points by matt_d 8mo ago|0 comments

More ›