simplegeek

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.

My blog: https://wyounas.github.io.

I’ll also try to submit a PR.

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.

Are there any other recommended websites for learning math (apart from Khan Academy, Math Academy)?

"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?"

I'll edit it to improve, thanks.

Mind sharing his insights on ways to live?

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.

Not much there but I plan to write more. :)

Did you raise it with your manager or his/her manager?

Just trying to understand at what forum did you raise it and how?

What's the alternative for "Byte" magazine today? Where do you go to read similar stuff?

Recently finished his biography; he was not much into sports all when he was growing up. I suspect he took up scuba diving late in life.

Harsh. Socrates didn't write his ideas, a counter example that immediately popped up in my head.

Dan also helped promote one of my open-source projects. I'm grateful for all that he does.

Another thing that interests me is the approach that Benjamin Franklin described in his autobiography to improve his writing.

He would read writing that he liked, note it carefully, and then after a few days he would try to reproduce the writing. Finally, he would tally it with the original writing to correct mistakes.

I would also be very interested in knowing more about how the parents of those noble-prize winners, renowned academics, and award winning authors raised them :)

I feel author should have also explained how did he read those books.

Without knowing that, it's hard to see how exactly things didn't work.

But if you're in it for fun e.g. play it 3 times a week for like 20 mins then maybe yes, but definitely check this with your doctor.

I once trained with a former World 80, he was a nephew of a former world-champion. His coaching and feedback on the game was 100 times better/different than the club's coach. Training with him for 15 days, I think, had 10x times more ROI than training with club coach.

These professional players / coaches are miles ahead. His feedback on my game, racket skill, movement, and even on warm-up was so different. I had never warmed-up like that before and his prescribed exercises was so different and effective.

If there are any other books like that, please let me know.

Thanks!