Stories by todsacerdoti

From migration tools to updates to Enterprise Managed Users, what's new in GitH

Release Radar · End of 2023 Edition

The Athletic Joins Apple News+

Basic Gerrit Walkthrough – For GitHub Users

Teaching Program Verification in Dafny at Amazon

Careful what data you send or how to tank your performance with Task.async

CVE-2023-6483: Improper/missing API authentication in ADiTaaS v5.1

Google's True Moonshot

Using Zig to Unit Test a C Application

Three Days of Advent of Code in Hurl

Church vs. Curry Types

Exploring the section layout in linker output

Real World OCaml

Towards SSH3: how HTTP/3 improves secure shells [pdf]

What: Debug-level logging behind a build tag

MacoCaml: Staging Composable and Compilable Macros [pdf]

Multithreading and Memory-Mapping: Refining ANN Performance with Arroy in Rust

ELF binaries and everything before main() starts [pdf]