lala_lala
Re:How to Solve a Concurrency Puzzle with a Model Checker
on Monday February 02, 2026 @01:54PM (#46859706)
Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.
Re:Reproducing the AWS Outage Race Condition with a Model Checker
on Monday November 03, 2025 @05:30AM (#45797638)
Yes, any analysis after an incident has the benefit, and bias, of hindsight.
But I see this post less as an incident analysis and more as an experiment in learning from hindsight. The goal, it seems, isn’t to replay what happened, but to show how formal methods let us model a complex system at a conceptual level, without access to every internal detail, and still reason about where races or inconsistencies could emerge.
Re:How concurrecy works: A visual guide
on Friday December 20, 2024 @10:32AM (#42471955)
As I read it, it felt more like an exploration from state space stand point (and not an example of model checking) which to me sounded quite reasonable. Unusual and intuitive I'd say.
Analysing Text in Python
Useful list of 16 Python libraries that helped a healthcare startup grow
Re:Python libraries that helped a healthcare startup grow
on Saturday May 25, 2019 @01:10PM (#20010081)
Thanks for sharing. Is the code still running on Python 2.x or planning on transitioning to Python 3?
So You Want to Start a Startup?
Re:Ask HN: How to learn to write a compiler and interpreter?
on Thursday January 24, 2019 @01:23PM (#18991358)
It is just that I have a job and a family to support. So I want to create something in whatever time I have. The prospect of engaging myself in myriad of courses sounds dull.
Maybe it's a folly but I am just intrigued by how they work and want to be able to develop them without committing to taking lot of courses.
Re:Ask HN: How to learn to write a compiler and interpreter?
on Thursday January 24, 2019 @10:00AM (#18989197)
Does it require any background in CS?
Ask HN: How to learn to write a compiler and interpreter?
Greetings,I am in my late 30s without a formal CS education. I write software for a living and have this itch to learn to write a compiler / interpreter.DO I have to take any courses (e.g. Discrete Maths, Automata Theory) in order to do it?Do I have to take any courses? If so, do you have recommendations for those as online courses?I really want to do this in 2019 but the thought that I have to...
So you want to start a startup?
Envy in the Tech Sector
Ask HN: Is there a way to get a receipt/proof that server didn't crash?
We recently had elections in Pakistan. We had a fiasco in our elections and I had a question.Election Commission had this Android app which was supposed to transmit results from polling station to federal agency. Supposedly the system crashed on the eve of elections. Now agency which developed the system is claiming that system didn't crash, while other agencies are claiming it did crash.Now is...