simplegeek

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.

Thanks for doing this.

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

I’ll also try to submit a PR.

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

I'll edit it to improve, thanks.

Thank you :) I was wondering how this would look in TLA+/PlusCal.

A little off topic, but just wanted to say please keep blogging. I learn from your content as I’m also a beginner in databases.

Thank you!

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.

Your drawings, on the blog, are really nice, which tools did you use to make those?

He taught not just ways to design software, but also ways to live.

Mind sharing his insights on ways to live?

They were meant to be heard, not read :)

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.

https://wyounas.com

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

Any resources (books etc) or practices you recommend for learning Postgres’ internals?

Last time I had an employer I had feelings of being treated unfairly and voiced it

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

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

Thank you for making these available.

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

Linus Torvalds does scuba diving.

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.

And someone who never writes has no fully formed ideas about anything nontrivial.

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

Thank you Dan.

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

I congratulate you on launching this. Definitely an interesting idea.

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.

That's valuable, thanks for sharing.

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 :)

If you want to tell me "I tried X, and it doesn't work." My first reaction is, "How did you do X?"

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.

I have played squash and my wife is an orthopaedic surgeon. Per her, and from my experience, I can say that any serious squash is not easy on the joints (knees, ankles, thighs, hamstring, etc). I have done swimming, field-hockey, cricket and table-tennis (though not as a pro) and I can say this with a lot of confidence that Squash was the most intense even its in amateur/basic form.

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.

As an avid fan, I would be more interested in a)- how modern squash players train b)- if they can give me feedback on my game via video.

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.

Yes. But in many cases even before a DM people send each other replies publicly (e.g, request to follow so they can DM).

Thank you, looks great. I bought it.

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

Thanks!

Thank you for the insights.

Lately, I have also been thinking about different subjects such as flowers, art history, music theory, about animals (how insects, or bats work).

My question, how do you choose books if you intend to learn such subjects as non-expert? And if you can recommend any good books?

Who are some of the famous Russian authors for high school maths?

Sorry about going on a tangent but looking for good books for my kid.

Thanks!

I started one at http://wyounas.com. I plan on posting about books I read, teams, engineering management, and startups.

Another one I maintain is http://pythontraininghq.com. It is all things Python. I am hoping share my lessons learned at various startups that used Python:)