matt_d

46 ms·

931.
Adventures in Type Theory 1 – Locally Nameless STLC (Part 1)(tekne.dev)
2 points by matt_d 1y ago|0 comments
932.
by matt_d 1y ago
Abstract: > Programs written in C/C++ often include inline assembly: a snippet of architecture-specific assembly code used to access low-level functionalities that are impossible or expensive to simulate in the source language. Alth
933.
Extending the C/C++ Memory Model with Inline Assembly [video](youtube.com)
3 points by matt_d 1y ago|1 comments
934.
Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads(vldb.org)
5 points by matt_d 1y ago|1 comments
935.
How to Optimize SQL Queries? A Comparison [pdf](vldb.org)
2 points by matt_d 1y ago|0 comments
936.
Which Programming Language Should I Teach First: the least productive question(parentheticallyspeaking.org)
2 points by matt_d 1y ago|1 comments
937.
10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers(chapel-lang.org)
1 points by matt_d 1y ago|0 comments
938.
Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging(ieeexplore.ieee.org)
1 points by matt_d 1y ago|0 comments
939.
A Clash Course in Solving Sudoku (Functional Pearl) [pdf](unsafeperform.io)
22 points by matt_d 1y ago|2 comments
940.
Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive(arxiv.org)
4 points by matt_d 1y ago|0 comments
941.
"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video](youtube.com)
5 points by matt_d 1y ago|0 comments
942.
"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video](youtube.com)
1 points by matt_d 1y ago|0 comments
943.
Cycle-Accurate 8088 Emulation [video](youtube.com)
3 points by matt_d 1y ago|0 comments
944.
UNIX: A History and a Memoir by Brian Kernighan [video](youtube.com)
5 points by matt_d 1y ago|0 comments
945.
Specification and Formal Verification of Hardware–Software Contracts(computer.org)
3 points by matt_d 1y ago|0 comments
946.
Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs(arxiv.org)
3 points by matt_d 1y ago|0 comments
947.
How to Think About GPUs(jax-ml.github.io)
88 points by matt_d 1y ago|1 comments
948.
Basic dependency injection with objects in OCaml(gr-im.github.io)
2 points by matt_d 1y ago|0 comments
949.
Invertible Syntax Without the Tuples (Functional Pearl)(arxiv.org)
2 points by matt_d 1y ago|0 comments
950.
A Python CLI for Verifying Assembly(philipzucker.com)
2 points by matt_d 1y ago|0 comments
951.
ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video](youtube.com)
3 points by matt_d 1y ago|0 comments
952.
Numerical Considerations in Weighted Model Counting(arxiv.org)
2 points by matt_d 1y ago|0 comments
953.
State of torch.compile for training (August 2025)(blog.ezyang.com)
3 points by matt_d 1y ago|0 comments
954.
Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing(arxiv.org)
3 points by matt_d 1y ago|0 comments
955.
OCaml Blockly(cambridge.org)
4 points by matt_d 1y ago|0 comments
956.
by matt_d 1y ago
Afterword: "This pearl grew out of the authors’ frustration with textbook presentations of binary search. Given that binary search is one of the standard algorithms every programmer and computer science student should know, the subject
957.
Binary Search–Think Positive(cambridge.org)
2 points by matt_d 1y ago|1 comments
958.
Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis(arxiv.org)
1 points by matt_d 1y ago|0 comments
959.
Vector Types and Debug Performance(blog.s-schoener.com)
1 points by matt_d 1y ago|0 comments
960.
C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video](youtube.com)
2 points by matt_d 1y ago|0 comments

More ›