Skip to content

Andrew Helwer personal blog

Writing a TLA⁺ tree-sitter grammar: my foray into free software

ahelwer.ca published 2023-01-1115 min read

My foray into free software

Read on ahelwer.ca → Discuss on HN (3) Archived copy

Points: 131
HN comments: 3
Submissions: 1
Cited by: 0 commenters

Software Engineering Open Source 2023

On Hacker News

Submitted	Title on HN	Points	Comments
Jan 12, 2023	Writing a TLA⁺ tree-sitter grammar: my foray into free software by ahelwer	131	3

More from Andrew Helwer

All 7 posts →

Google Groups has been left to die

2023507 points294 comments Society, Policy & Culture details

Book review: Is parallel programming hard, and, if so, what can you do about it?

2026149 points66 comments Software Engineering details

The current state of TLA⁺ development

2025142 points42 comments Software Engineering details

Doing a math assignment with the Lean theorem prover

2020141 points29 comments Math & Algorithms details

Can sanitizers find the two bugs I wrote in C++?

2023138 points192 comments Software Engineering details

How do you reason about a probabilistic distributed system?

2020112 points15 comments Systems & Performance 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