Stories by matt_d

Using Programmable Hardware Accelerators in Analytics

Efficient Cryptography on the RISC-V Architecture

AGC: Dipstiks and reverse engineering the core rope simulator

Gradual Typing from Theory to Practice

Towards Automated Application-Specific Software Stacks

Saving the World from Spreadsheets [video]

Ratification of the RISC-V Base ISA and Privileged Architecture Specifications

Hardware cost evaluation of the posit number system

Design and Evolution of C-Reduce (Part 1)

My First Fifteen Compilers

Exploring Type Systems for Verifying Musical Correctness

Towards Automated Application-Specific Software Stacks

A Look at the AMD Zen 2 Core

Model Checking a C++ Software Framework: A Case Study

Bridging the Latency Gap between NVM and DRAM for Latency-bound Operations

Software woven into wire: Core rope and the Apollo Guidance Computer

Formal Foundations of Serverless Computing

Finding and Understanding Bugs in Software Model Checkers [pdf]

Understanding GCC Builtins to Develop Better Tools

A Taste of Type Theory – YOW Lambda Jam 2019 – Bartosz Milewski

84
85
86
87
88
89
90
91
92
93