Submissions by ghuntley

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)

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