Stories by matt_d

Fast and accurate approximation algorithms for computing floating point sqrt

The Conditional Syntax

Patterns of Data Flow in Words

Take-aways from using Deduce in the classroom

Using the C Bounded Model Checker as a TLA+

C2y Standard: 71st WG14 Meeting Report

Scaling Laws of Optimization

Generic Arity: Definition-Checked Variadics in Carbon [video]

Optional Strict Memory Safety for Swift

Introduction to the λ-Calculus

Advent of Computing: Episode 140 – Assembling Code

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code

Bendable non-silicon RISC-V microprocessor

Total Denotational Semantics

Research for Practice: Deterministic Record-and-Replay

Lightweight region memory management in a two-stage language

When is causal broadcast not enough for causal memory?

FP8 data type – all values in a table

QED: A Powerful Query Equivalence Decider for SQL [pdf]

Set Operations on SAT Problems

4
5
6
7
8
9
10
11
12
13