Stories by ghuntley

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)

AI knows what you did last summer

HashiCorp’s New Licensing: a new benchmark for presenting license change

How to Prevent GHC from Inferring Types with Undesirable Constraints

Technology stack transitions are hard

aussie vanlife free camping: a guide to working remote and not paying rent

Making OCaml 5 Succeed for Developers and Organisations

1
2
3
4
5
6
7
8
9
10