Skip to content

Hillel Wayne personal blog

The seven specification ur-languages

buttondown.email published 2023-05-0912 min read

A brief overview of the formal specification landscape

Read on buttondown.email → Discuss on HN (67) Archived copy

Points: 132
HN comments: 67
Submissions: 1
Cited by: 0 commenters

Software Engineering Math & Algorithms 2023

On Hacker News

Submitted	Title on HN	Points	Comments
May 9, 2023	The seven specification ur-languages by BerislavLopac	132	67

More from Hillel Wayne

All 47 posts →

Please read the paper before you comment

2020719 points327 comments Software Engineering details

Donald Knuth was framed

2020632 points311 comments History & Retro Computing details

Six programming languages I’d like to see

2022481 points441 comments Programming Languages details

Reasons Kubernetes is so complex

2022428 points277 comments Infrastructure & DevOps details

Why do we call it “boilerplate code?”

2022422 points97 comments Software Engineering details

Why do arrays start at 0?

2022413 points674 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