For last few months, whenever I am trying to understand a difficult problem or a concept or addressing a complex issue at work or in relationships, I try to write one page by hand. Often it brings clarity or surfaces the core confusion/misunderstanding. I don't know why that works but it has been really useful.
I feel LLMs are indeed getting better at writing models. But, in my experience, they struggle to come up with correct safety and liveness properties unless you closely work with them. And of these two, they struggle the most with correct liveness properties.
Also for some problems I observe that models produced by LLMs often cause state space explosion. For simpler models they can fix this when you guide them though.
I’m sure LLMs will get even better.
That said, I take slightly different approach. Lamport said “If you're thinking without writing, you only think you're thinking.” So taking that advice I always try to write the first draft with hand and once I have the final shape in place I then turn to an LLM for further exploration and experimentation if I have to.
> And even at the end, when asked what he would like to do, he said: "I would like to learn something."
Don't have an exact word to describe how I feel after reading above. Find it beautiful that such an accomplished person wanted to learn something even towards the end of his life.
Inspiring and well written. It resonated with me for I find myself in a similar position. I wonder how much time did the author commit on weekly basis. Nonetheless, I wanted to signup on Math Academy immediately but doesn't look cheap.
Are there any other recommended websites for learning math (apart from Khan Academy, Math Academy)?
Thank you! I initially included the illustration and explanation in the first draft but decided to remove them in favor of the full trail. Looking back, I think that was a mistake. I’ve now added back the illustration along with some explanation.
You're right, I could have phrased it better to something like:
"If we run P and Q concurrently with ‘n’ initialized to zero, what extreme interleaving could result in the lowest value of 'n' when the two processes finish executing their statements on a model checker?"
Is good English translation of her works available? If so, please share. I like good prose and want to read and understand how is her prose different. Thanks.
Also, some effect is lost in the translation as well.
Cicero's letters were meant to be read, I suggest you try them. They kind of feel monotonous at times, but it's hard to ignore how good a writer he was.
Email: [email protected]
Blog: https://wyounas.github.io