back
user profile

matt_d

21,168karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
3 pts
The VexRiscV CPU – A New Way to Design(tomverbeure.github.io)
7y ago·discuss
92 pts
Type erasure and reification(eli.thegreenplace.net)
7y ago·91 comments
2 pts
A Highly Productive Implementation of an Out-Of-Order Processor Generator(www2.eecs.berkeley.edu)
7y ago·discuss
34 pts
Reconfigurable Computing at Hyperscale [video](youtube.com)
7y ago·discuss
4 pts
Making Memories: Clojure for Hardware Engineers (And Others)(youtube.com)
7y ago·discuss
3 pts
SIMD-Visualizer: A tool to graphically visualize SIMD code(github.com)
7y ago·discuss
104 pts
How to design co-programs(patternsinfp.wordpress.com)
7y ago·21 comments
3 pts
Glow: LLVM-based machine learning compiler – 2018 LLVM Developers’ Meeting(youtube.com)
7y ago·discuss
2 pts
Diagrammatic Execution Models for Functional Languages – Lambda World 2018(youtube.com)
7y ago·discuss
3 pts
Deep Learning Inference in Facebook Data Centers(arxiv.org)
7y ago·discuss
9 pts
OOPSLA 2018 Videos(youtube.com)
7y ago·discuss
3 pts
How many uops are there?(0x80.pl)
7y ago·discuss
59 pts
Time is Partial: distributed consistency models and weak memory models(composition.al)
7y ago·3 comments
2 pts
Programming Abstractions and Synthesis-Aided Compilation for Emerging Computing(www2.eecs.berkeley.edu)
7y ago·discuss
1 pts
A Systematic Evaluation of Transient Execution Attacks and Defenses(arxiv.org)
7y ago·discuss
7 pts
Lambda World 2018 – What FP Can Learn from Smalltalk by Aditya Siram(youtube.com)
7y ago·discuss
88 pts
Trip report: Fall ISO C++ standards meeting(herbsutter.com)
7y ago·76 comments
39 pts
Zippers for non-inductive types(danghica.blogspot.com)
7y ago·6 comments
2 pts
Transformations of High-Level Synthesis Codes for High-Performance Computing(arxiv.org)
7y ago·discuss
4 pts
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS(alastairreid.github.io)
7y ago·discuss
3 pts
Benchmarking “Hello, World”(queue.acm.org)
7y ago·discuss
1 pts
Pre-trip report: Fall ISO C++ standards meeting (San Diego)(herbsutter.com)
7y ago·discuss
2 pts
Home Chip Fab: Silicon IC Fabrication in the Garage – Sam Zeloof(youtube.com)
7y ago·discuss
4 pts
Studying Silicon: Reverse Engineering Integrated Circuits – Ken Shirriff(youtube.com)
7y ago·discuss
1 pts
Morbig: A Static Parser for POSIX Shell(hal.archives-ouvertes.fr)
7y ago·discuss
5 pts
First-Class Automatic Differentiation in Swift: A Manifesto(gist.github.com)
7y ago·discuss
2 pts
FaCT: A New Language for Constant-Time Programming(thestrangeloop.com)
7y ago·discuss
3 pts
“All the Languages Together” – Amal Ahmed, Strange Loop 2018(thestrangeloop.com)
7y ago·discuss
82 pts
Tree-sitter – a new parsing system for programming tools [video](thestrangeloop.com)
7y ago·25 comments
101 pts
Big Integer Design(bearssl.org)
7y ago·8 comments