135 karma · joined April 26, 2021
https://sudk1896.github.io/2026/09/03/Spanner-notes.html
Highly recommend this course.
Elon firing half of Twitter just normalized layoffs to such an extent that it’s considered par for the course now, of course macroeconomic conditions have changed but layoffs were always a bit taboo in tech.
To all the sheep at Meta who weren’t sacrificed because Zuck thought it would look too bad on him, how do you know your game is up at Meta ?
But I wanted to go deeper into the rabbit hole and understand concepts like memory ordering and how atomic operations are actually implemented using the abstractions hw provides.
Any book recommendations or exercises I could do to learn more about this. Thanks.
That’s not true for highly qualified doctors, patient case histories, patient feedback that helps doctors diagnose or treat patients or for surgeons to operate on patients. All of these actions are high stakes, get it wrong and people could die, AI would never be able to replace them.
I saw the job opening in the careers portal and just cold DM’d the HM. As to why I DM’d, what do I have to lose ? I was already working at MSFT in a different team. The worst that could happen was that he would just ignore the message. Also, I didn’t nag the HM, it was just one DM where I summarised the things I did in the course. He then asked me to send me my resume and that was it.
With that, I was able to get the interview although I ended up failing it. My lack of experience in C++ was probably one of the main reasons. Your course helped me stand my own during the interview and even though I had zero database experience apart from finishing the course, I felt adequately prepared.
Thank you for making the course open source. As a working professional, it was helpful to be able to do the course on my own time. Suffice to say, I am a big fan of your work and thank you for introducing me (and other fellow learners) to the interesting world of Databases!
I am going to share this writing with everyone in my org. Succinctly written and golden advice.
Obviously for the assignments themselves, I use AI sparingly. Mostly as a sounding board when I have doubts or to know how to do something in golang, since it isn’t my primary programming language.
Note, I am not asking for solutions like “implement Append Entries RPC”, the solutions are public so AI could probably implement everything. My workflow is to implement it first, debug test failures, go through each individual test and then come up with clarifying Q’s, such as the one below,
In Raft paper by Ongaro et al, for the below condition, If there exists an N such that N > commitIndex, a majority of matchIndex[i] ≥ N, and log[N].term == currentTerm: set commitIndex = N (§5.3, §5.4).
Is commitIndex changed only when we receive a successful reply for Append Entries ?
Lastly I have an AGENTS.md that prohibits GPT from giving solutions directly, that would defeat the purpose of doing the assignments. It was used in one of Stanford’s GenAI course, look it up.
For Paxos, I also recommend reading Paxos v Raft, Have we reached consensus on distributed consensus ? by Heidi Howard et al. It explains Multi-paxos by using the style and abstractions from the Raft paper, which makes it much more understandable. Paxos can be intimidating but this was the paper that made it click for me.
I highly recommend doing the labs from 6.824.
The issue with buying land outside major metro areas like BLR are the following,
1. Irregular power supply. I lived 2 hours outside of BLR in a village and the power would regularly go off for minimum of 3 hours, sometimes more. The current KA government made a promise to voters to supply subsidised power and the downstream effect of this is that they must mandatorily supply power to BLR which is the only economic engine of KA. Consequently they end up shafting everyone else.
2. Poor education quality. The best teachers and smartest students are concentrated in BLR, unless you are willing to homeschool or are fine with your child not getting the best, this is a difficult tradeoff to live with.
3. Narrow minded people in villages. Unless you live in touristy areas like Coorg, CKM etc you will not find the diversity that you find in a big city like BLR.
4. Less than ideal medical care. Most villages don’t have the sort of hospitals and doctors you would find in BLR. The best doctors who would be the best paid won’t come to villages. Although I did live near a teaching hospital and the medical care there was average. If you’re a healthy individual, you might ignore this.
Surprisingly the roads were decent, a result of being near a highway and having very low population density.
Apart from these, I was living a “slow life”, had great AQI (most days), wide open spaces, great and cheap food. If you’re fine with the shortcomings, buying land in and around major cities is affordable but the shortcomings I mentioned are real and I don’t see them going away anytime soon.
As to the efforts to decongest BLR, there are quite a few like Bidadi township but they are are more like bringing BLR style haphazard development to the outskirts, but these things are still very much in the nascent stage now.
I would worry about Meta dying only when people stop using IG, which they clearly are NOT. IG is firmly entrenched in modern society and culture, they make insane amounts of money off of that.
One thing is becoming more and more clear though, their AI efforts are going nowhere. I would be interested in where they end up in the AI race, they are never going to get as much mindshare as Claude, Codex or Gemini.
Its hard to discern the kernel of truth that the author is trying to communicate. So much of documentation is now AI generated and rarely does it help in understanding code bases or diagnosing issues in production.
This was my experience at MSFT for the past year or so.
Op here, yes I do believe, the levels aren’t perfect though. I believe in them because I was once L60 and L61, I knew intimately what was expected of me then and I can assure you the work I was doing as an L63 could be done by someone few levels down, which is to say I was underutilised. The team was also not the right fit for me.
Levels tell you two things, the scope and autonomy you get in your work and more importantly compensation. From the compensation view point, it does tend to be “gamed” frequently by developers hired from outside who might be out earning devs promoted within.
The point I made was that as an SSE (L63), there’s a certain amount of scope and autonomy that is expected neither of which I was getting and hence I resigned. I am not trying to bully or denigrate anyone junior.
The levelling system specifies the output and the characteristics of the output expected out of an engineer, that’s it. Whether I believe in it or not is beside the point, I was in the system so I did believe it otherwise progressing through my career would have been impossible.
I didn’t have any major financial obligations like you though, so it was a much simpler decision for me.
Hang in there buddy and also thanks for the deeply human comment.
1. No manufacturing expertise in India, we aren’t a manufacturing powerhouse despite having similar levels of population as China. We have always prioritised services. That has an inherent limit.
2. Local governments here are powerless. I don’t have the source for this but only about 3% of public spending is done by local governments at the municipal level. Even for “rich” cities, local governments although are wealthy they are always controlled by whoever has power at the state level. It’s why Indian cities have such decrepit infrastructure vis a vis China.
3. Caste based politics and more recently freebies based politics. Recently, state governments all over India have been all out bribing voters with cash transfers if voted to power. This won’t bode well for long term financial stability. This is also short term thinking at its finest. They have run out of ideas.
4. Weak rule of law. There’s a huge backlog of cases in our justice system right from Supreme Court to the local courts. Doing business in India can backfire in spectacular ways (inordinate tax demands by union government etc).
Entire studies can be done but these are top 4 things keeping India where it is.
In the former, you can see some of the products that MSFT is shipping such as MAIA chips, Azure Horizon DB, MSFT Fabric, Sovereign clouds etc. These businesses are seeing steady growth and there’s plenty of work to be done whereas for products like IoT, XBox and anything to do with gaming in general etc you will see that there isn’t much growth left and yet these products have a lot of headcount behind them.
So MSFT isn’t stagnating (revenue keeps increasing). Although there are quite a few businesses within MSFT that can use a lot of headcount reduction, this is my take as a low level L63 grunt.
Over the past two decades, there have been lot of solved problems like building boring scalable web apps, UX design etc and AI is fairly good at this, enough so that good prompting can get you very far. This shouldn’t be a surprise, there’s a lot of publicly available data for this (GitHub repos etc).
On the other hand, there are rarer Computer science problems like designing efficient Datacenters, GPUs, DL models. Think about problems that someone of Jeff Dean’s or James Hamilton’s (AWS SVP) or a skilled Computer Architecture researcher like David Paterson’s ability would solve. These are incredibly hard and rare problems and AI hasn’t been able to make much progress in these areas. That’s true for other sciences as well.
If you’re a regular Joe like me who builds boring CRUD apps, AI is coming for you.
What I mean is if you are working on incredibly hard and rare problems that require rare skills and also those problems don’t have publicly available data that LLMs can be trained on, you’re safe from being “automated” away. If not, you must plan accordingly. Also if you’re a skilled manager (in any field) AI cannot replace you, highly skilled managers that can get the best out of their teams have rare skills that aren’t easily replicable even amongst humans much less AI. Although, if going forward we need fewer developers we will need fewer managers too.
> time wasted using AI on tasks that did not need it, on artifacts no one will read, on processes that exist only because the tool made it cheap to construct them. On decks that spell out things that previously didn’t even need to be said or were assumed.
I work at MSFT and at-least in my org, this is happening at warp speed. Every document I read, my first thoughts are what is the kernel of the idea that the writer was trying to convey ? Because 95% of the content of the doc is just verbiage. You can always tell its verbiage, the em-dashes, the rhythmic text, the green check mark emoji etc. We are hoping that volume of output will make up for the quality or lack thereof. More markdown files, more AGENTS.md file but is that making us better developers ? It certainly is giving the illusion that we are faster but I don't know how management thinks this will lead to tangible impact on the top line or bottom line.
In my experience, some of the best writing (in design docs and PM specs) at MSFT have been human written. You can see the clarity of purpose from the writer, ithere is no need to read it again, it is equivalent to having a 1-on-1 with the writer themselves. But AI written slop, the less said the better.
This piece hits home, I wonder how the experience is at other Big Tech companies.
I am sure they are closely tracking this metric of Copilot authored PRs so that everyone down from Nadella to the dev and PM for this can use it to hype up GH Copilot. It’s also a simple and clean metric that goes well in your Connects (performance discussion), you could say the feature I worked on led to xx million copilot authored PRs and there is now an AI usage mandate and you need to mention how you used AI to do something more efficiently blah blah. It’s good old promotion theatre. I don’t think its unique to MSFT though and is probably common across Big Tech.
I work at MSFT, this made me chuckle hard. Microsoft must have been a very different company back then, because now I find myself and my colleagues mired in pointless bureaucracy via endless meetings, AI mandates, promotion theatre and the list goes on. I am decently paid but the bureaucracy is soul destroying.
Don’t even get me started on the meaningless meetings that make The Office seem like a serious drama.
All this chicanery to escape work would only eat at my conscience. I don’t believe for one moment that I should be emotionally attached to my employer but at the same time I am a professional and am paid to do a job. I should hold up my end of the bargain. Being deceitful 24X7, 365 days a year will eventually wear me out because there’s always the chance I will be found out. There’s also the reputational risk of being found BS’ing which is non-trivial and could ruin chances of future employment.
The path of least resistance is simply to quit.