Amin Setayesh

Linearizability a Correctness Condition For Concurrent Objects aminst.github.io/2024-04-21-int…

Intuitive Consistency: The Many Faces of Consistency aminst.github.io/2024-04-07-int…

@MaiyyaSujaya Thank youu🥲 Your support means a lot

Read this a while ago, but it is still stuck in my head ever since: #fn:B" target="_blank" rel="nofollow noopener">danluu.com/look-stupid/#f…

The smartest people that I have known think with invariants.

I'll be at #Remarkable2024 and the Vector office space until February 10th. Looking forward to meeting new people and catching up with others! Feel free to message me to meet up :)

@kepano @obsdmd It would be great to have this: forum.obsidian.md/t/request-adju… Please :)

what do you wish to see for @obsdmd in 2024?

Last week, I participated in an amazing MariaDB/MySQL hack week organized by @eatonphil. I wrote about the things I learned about MariaDB replication here: aminst.github.io/2024-01-10-mar… Hope it helps.

"If you wait around for the clouds to part and a bolt of lightening to strike you in the brain, you are not going to make an awful lot of work. All the best ideas come out of the process; they come out of the work itself."

@VikramSubrama11 It has been a while since when I used celery. But from what I remember, it didn't have much overhead to add to the product, and the deployment was fairly simple. My guess is that the task queue will get overly complicated over time, especially for handling failed events.

You're building a small Python web app that sees ~1000 "events" a day that need to be processed async. These events take 3-5 mins each. Is it better engineering to set up celery or reinvent the wheel and set up a dead simple task queue on mem? Is celery over-eng?

Last October, I hosted a virtual hack week focused on Postgres internals. ~100 devs showed up to dig in and have fun. In early January 2024, I'll host another hack week focused on MySQL/MariaDB internals. Sound fun? Sign up in the linked Google Form! eatonphil.com/2024-01-wehack…

I know that Stack Overflow is not the system with the highest load, but this is really interesting: stackexchange.com/performance

My plan for now is to consume selectively and always produce something based on whatever I read. Maybe it will help me not read every random blog post across the internet.

The ways our own mind deceives us are so interesting. Recently I figured out that when I want to procrastinate doing something, I start reading a lot about different subjects. It gives an illusion of being productive while I'm not doing what I'm supposed to do.

Programming is cool. It's as cool as writing. Writing and programming make you touch the infinite. Maybe programming will become as irrelevant as writing, but it will continue to be one of the best things you can apply your mind to, making life worth.

@muratdemirbas Thank you for your blog posts. They are really helpful :)

[new blog post] Best of Metadata in 2023 muratbuffalo.blogspot.com/2023/12/best-o… It is that most wonderful time of the year again. Time to reflect back on the best posts at Metadata blog in 2023.

Reminder to myself: Work hard, but always take a step back to reflect on whether you're in the right direction.

"things cannot touch the mind: they are external and inert; anxieties can only come from your internal judgment."

I didn't think like this before, but now I understand how everyone has something you can learn from. In the first chapter, he writes about what he learned from everyone. He actually got sth out of all his interactions.

I'm reading Meditations by Marcus Aurelius, a Roman Emperor. It is strange and incredible to be able to read what a person privately wrote to himself every day around 2000 years before. I highly recommend reading it; it is amazing.