Skip to content

Brian Hicks personal blog

Modeling Git Internals in Alloy, Part 2: Commits and Tags

bytes.zone 5 min read

Understanding Git better by using lightweight formal methods

Read on bytes.zone → Discuss on HN (17) Archived copy

Points: 126
HN comments: 17
Submissions: 1
Cited by: 0 commenters

Software Engineering Systems & Performance 2023

On Hacker News

Submitted	Title on HN	Points	Comments
Apr 10, 2023	Modeling Git Internals in Alloy, Part 2: Commits and Tags by surprisetalk	126	17

More from Brian Hicks

All 5 posts →

Should we design for iffy internet?

2025197 points234 comments Web & Frontend details

What is the randomart image for?

2023158 points44 comments Security & Privacy details

Digital Gardening in Obsidian

2022140 points51 comments Tools & Productivity details

Modeling CRDTs in Alloy – the importance of idempotence

2023114 points8 comments Software Engineering details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Cognitive load is what matters

minds.md20241,769 points721 comments details

Everything that uses configuration files should report where they're located

Chris Siebenmann20231,744 points472 comments details