💻Testestear Murat Demirbas (Distributolog) cidrdb.org/cidr2024/paper…

Anyscale Robert Nishihara Freeplay Symbl.ai surbhi rathore By combining Voxel51's open source computer vision toolkit with Atlas Vector Search, developers can quickly perform vector similarity searches across billions of features with just a few lines of code, both in Python and via pp. Excited to partner with Voxel51!

This is an article about applied logic, though that’s not apparent in the title.

muratbuffalo.blogspot.com/2020/06/learni…

SQL is turning 50 years old later this week 🎉

In your opinion, which are the best bits? Which are the worst?

Finally amazing weather in Buffalo! It’s a t-shirt day.

I was recently interviewed by ABC News on the impact of data centers’ energy usage on the climate and environment.

To read the full story: abcnews-go-com.cdn.ampproject.org/c/s/abcnews.go…

Do you want to excel in distributed systems?! My advice: Learn formal methods

How to get started?!

Formal methods are powerful thinking tools, helping you analyze complex problems with accurately and concisely

A few basic concepts are enough to get started to think about…

When your customers give you their requirements described in a TLA+ specification it gets rid of a lot of confusion and unnecessary hand waving.

happy April 25 to all who celebrate

Here’s the letter that the UT Austin Faculty Council Executive Committee (which includes me) sent to our colleagues this morning respecting yesterday’s events:

t.e2ma.net/message/7jm7kk…

New blog post, looking at the great new paper from the Amazon MemoryDB folks: brooker.co.za/blog/2024/04/2… Much of the discussion on distributed systems is about scalability, but this paper shows how availability, durability, cost, and performance are equally important.

In Turkish, the donkey braying sound is written as Ai, Ai

How long before formal methods are widely use in software engineering?

patreon.com/posts/102809124

What's the best paper or essay out there explaining why the number of college administrators—at expensive schools, certainly; at all schools, possible—is growing infinity-times faster than the number of tenured faculty?

[new blog post]

Linux OSSNA'24

muratbuffalo.blogspot.com/2024/04/linux-…

[new blog post]

Linux OSSNA'24

muratbuffalo.blogspot.com/2024/04/linux-…

👋 Hi, we're KRAZAM. We're dreamers, doers, hustlers, and believers. Which is why today, we're unveiling the totally revamped krazam.tv website running the all-new KRAZAM OS, reimagined for the next generation of dreamers.

Walked outside and did not freeze.