Media Summary: A worked example of a rounding error analysis. This is an introduction to a sequence of videos for the Spring 2012 offering of CVSS 10.0 in Redis because of a bug in Lua. Truly beautiful.

Cs 3220 A Cautionary Tale - Detailed Analysis & Overview

A worked example of a rounding error analysis. This is an introduction to a sequence of videos for the Spring 2012 offering of CVSS 10.0 in Redis because of a bug in Lua. Truly beautiful. code::dive conference 2014 - Nokia Wrocław Modern software systems are built on probabilistic assumptions. Most architectures rely on heuristics, anomaly detection, and ... What if software refused to “guess”? What if every action an AI system took had to be mathematically provable — down to the last ...

Bryan Cantrill on "ARC: A Self-Tuning, Low Overhead Replacement Cache" by Nimrod Megiddo and Dharmendra Modha ...

Photo Gallery

CS 3220: A cautionary tale
CS 3220: Introductory video
it doesn't get worse than this (CVSS 10.0)
code::dive conference 2014 - Scott Meyers: Cpu Caches and Why You Care
Heuristic Monitoring Is Dead — Deterministic Proofs Replace It [QEC Github Release v155.x ARC]
The Most Paranoid Software Architecture Ever Built [QEC Github Release v156.x ARC]
Bryan Cantrill on ARC: A Self-Tuning, Low Overhead Replacement Cache [PWL SF] 10/2017
Sponsored
View Detailed Profile
CS 3220: A cautionary tale

CS 3220: A cautionary tale

A worked example of a rounding error analysis.

CS 3220: Introductory video

CS 3220: Introductory video

This is an introduction to a sequence of videos for the Spring 2012 offering of

it doesn't get worse than this (CVSS 10.0)

it doesn't get worse than this (CVSS 10.0)

CVSS 10.0 in Redis because of a bug in Lua. Truly beautiful. https://redis.io/blog/security-advisory-cve-2025-49844/ ...

code::dive conference 2014 - Scott Meyers: Cpu Caches and Why You Care

code::dive conference 2014 - Scott Meyers: Cpu Caches and Why You Care

code::dive conference 2014 - Nokia Wrocław http://codedive.pl/

Heuristic Monitoring Is Dead — Deterministic Proofs Replace It [QEC Github Release v155.x ARC]

Heuristic Monitoring Is Dead — Deterministic Proofs Replace It [QEC Github Release v155.x ARC]

Modern software systems are built on probabilistic assumptions. Most architectures rely on heuristics, anomaly detection, and ...

Sponsored
The Most Paranoid Software Architecture Ever Built [QEC Github Release v156.x ARC]

The Most Paranoid Software Architecture Ever Built [QEC Github Release v156.x ARC]

What if software refused to “guess”? What if every action an AI system took had to be mathematically provable — down to the last ...

Bryan Cantrill on ARC: A Self-Tuning, Low Overhead Replacement Cache [PWL SF] 10/2017

Bryan Cantrill on ARC: A Self-Tuning, Low Overhead Replacement Cache [PWL SF] 10/2017

Bryan Cantrill on "ARC: A Self-Tuning, Low Overhead Replacement Cache" by Nimrod Megiddo and Dharmendra Modha ...