Submissions by Cieplak

Why You Shouldn’t Use “Markdown” for Documentation

Replacing Entity-Attribute-Value with JSONB in Postgres (2016)

x86 Bare Metal Examples

Unreal Mode

Octopuses on ecstasy just want a cuddle (2018)

Remotely Attacking Network Cards (or why we do need VT-d and TXT) (2010)

SuperRecord: Anonymous Records for Haskell (2017)

People Don't Write Programs (2018)

Lambda Cube

Alloy*: A Higher-Order Relational Constraint Solver

Ramen has become the black-market currency in American prisons (2016)

Gen. Nakasone on US Cyber Command

Programming Constraint Services with Z3

RACK: a time-based fast loss detection algorithm for TCP (2018)

Heavy Rainfall Can Cause Huge Earthquakes (2011)

Writing a Self-Mutating x86_64 C Program (2013)

Exploring and exploiting Lenovo firmware secrets (2016)

Xiaomi Mijia M365 Custom Firmware Toolkit

Google wins U.S. approval for radar-based hand motion sensor

A Real SMM Rootkit: Reversing and Hooking BiOS SMI Handlers (2009)

FoundationDB Fault Tolerance Demo [video]