Stories by ghuntley

GitHub pull-request contents out of sync by at least 5mins

Trust but test: Vendor security testing at Canva

Fonts are still a Helvetica of a Problem

DotSlash: Simplified Executable Deployment

Linear Lenses in Haskell

Genealogos takes outputs from Nix evaluation tools and produces SBoM files

Sqlol (CVE-2023-32422) – a macOS TCC bypass

Daytona Raises $2M in Pre-Seed

An Analysis of Signal's Pqxdh

Loom Is Joining Atlassian

How I Made a Heap Overflow in Curl

Curl 8.4.0

A Primer on Formal Verification and TLA+

Security Tradeoffs: Privacy

Introducing Magic Studio: the power of AI, all in one place

Type Theory: #33 Z3 and Lean, the Spiritual Journey

Codeanywhere Founders Take on GitHub Codespaces with Daytona

When URL parsers disagree (CVE-2023-38633)

2
3
4
5
6
7
8
9
10
11