<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <id>https://AdamManuel-dev.github.io/feeds/all.xml</id>
    <title>Combined feed</title>
    <updated>2021-12-22T17:57:40.096Z</updated>
    <generator>https://github.com/jpmonette/feed</generator>
    <entry>
        <title type="html"><![CDATA[Learning a technical subject (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/12/learning-technical-subject.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/12/learning-technical-subject.html"/>
        <updated>2021-12-18T18:48:00.000Z</updated>
        <content type="html"><![CDATA[I love learning.  I wanted to write about how I learn, so I can analyze if there is a method to this madness. I will first talk about what my learning process looks like in abstract terms, and then I'll give an analogy to make things more concrete and visual. &nbsp; Learning is a messy process for me I know some very clear thinkers. They are very organized and methodical. I am not like that. These tidy thinkers seem to learn a new subject quickly (and effortlessly) by studying the rules of the subject and then deriving everything about that subject from that set of rules. They speak in precise statements and have clear and hard-set opinions about the subject. They seem to thrive most in theoretical subjects. In my observation those tidy learners are in the minority. Maybe the tidy thinkers are able to pull this feat off because they come from a neighboring domain/subject and map the context there to this subject quickly. But, again from my experience, it doesn't feel like that. It s]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[A read-only transaction anomaly under snapshot isolation (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/12/a-read-only-transaction-anomaly-under.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/12/a-read-only-transaction-anomaly-under.html"/>
        <updated>2021-12-16T01:55:00.000Z</updated>
        <content type="html"><![CDATA[This paper, from Sigmod 2004,  is short and sweet. Under snapshot isolation level, it shows a surprising example of a transaction history where the read-only transaction triggers a serialization anomaly, even when the update transactions are serializable. This is surprising because it was assumed that, under snapshot isolation, read-only transactions always execute serializably without ever needing to wait or abort because of concurrent update transactions. Background Snapshot isolation is an attractive consistency model for transactions.&nbsp; Wikipedia has a very nice summary: In databases, and transaction processing (transaction management), snapshot isolation is a guarantee that all reads made in a transaction will see a consistent snapshot of the database (in practice it reads the last committed values that existed at the time it started), and the transaction itself will successfully commit only if no updates it has made conflict with any concurrent updates made since that snapshot. Sn]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Humans of Computer Systems: Ted (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/12/humans-of-computer-systems-ted.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/12/humans-of-computer-systems-ted.html"/>
        <updated>2021-12-15T17:59:00.000Z</updated>
        <content type="html"><![CDATA[Programming How did you learn to program? Through a project in high school. &nbsp; &nbsp; Tell us about the most interesting/significant piece of code you wrote. &nbsp; Electronic mail system. Who did you learn most from about computer systems? &nbsp; Edsger Dijkstra https://www.cs.utexas.edu/users/EWD/ &nbsp; &nbsp; What is the best code you have seen? &nbsp; IBM 360 operating system &nbsp; &nbsp; &nbsp; What do you believe are the most important skills to be successful in your field? &nbsp; &nbsp; There are many paths to success, and a variety of skills to get there - no MOST IMPORTANT &nbsp; &nbsp; &nbsp; What quality or ability do you value most in a computer systems person? The ability to explain. Personal Which of your work/code/accomplishments are you most proud of? Read, eg, Erich Fromm - pride is not a quality that should be considered What comes to you easy that others find hard? What are your superpowers? Recursion is natural to me. What was a blessing in disguise for you? What seemed like a failure at the time but led to something better later]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Graviton2 and Graviton3 (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/12/graviton2-and-graviton3.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/12/graviton2-and-graviton3.html"/>
        <updated>2021-12-04T21:46:00.000Z</updated>
        <content type="html"><![CDATA[What do modern cloud workloads look like? And what does that have to do with new chip designs? I found these gems in Peter DeSantis's ReInvent20 and ReInvent21 talks. These talks are very informative and educational. Me likey! The speakers at ReInvent are not just introducing new products/services, but they are also explaining the thought processes behind them. To come up with this summary, I edited the YouTube video transcripts slightly (mostly shortening it). The presentation narratives have been really well planned, so this makes a good read I think. Graviton2 This part is from the ReInvent2020 talk from Peter DeSantis. &nbsp; Graviton2 is the best performing general purpose processor in our cloud by a wide margin. It also offers significantly lower cost. And it's also the most power efficient processor we've ever deployed. Our plan was to build a processor that was optimized for AWS and modern cloud workloads. But, what do modern cloud workloads look like? Let's start by]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Chess (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/11/chess.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/11/chess.html"/>
        <updated>2021-11-30T03:09:00.000Z</updated>
        <content type="html"><![CDATA[World chess championship is on.  Magnus is the clear favorite, but Nepomniachtchi is coming strong. It is a lot of fun. I haven't been posting for sometime. And this seems like a good time to talk about chess. My journey picking up on chess, again As a kid I wasn't much interested in chess. My younger brother was into chess, he would buy books to review grandmasters' games. I didn't go further than playing casual games with him. Maybe it was the quarantine that triggered this, but in the last year I started playing some chess on the smartphone. I had an Android phone for the last 3 years, and I used a random chess app downloaded at Play Store. I thought the app was very neat because it let me play against the computer at different levels and it allowed me to go back and try different things. Like Git, you know. The app also suggested me hints. I thought this was a dope way to improve one's chess skills. Little did I know, I was just scratching the surface. Three yea]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[What’s Really New with NewSQL? (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/11/whats-really-new-with-newsql.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/11/whats-really-new-with-newsql.html"/>
        <updated>2021-11-18T04:03:00.000Z</updated>
        <content type="html"><![CDATA[This paper is by Andy Pavlo and Matthew Aslett, and it appeared in Sigmod 2016. &nbsp; NoSQL managed to scale horizontally, but this came at the expense of losing transaction and rich querying capability. NewSQL followed NoSQL to amend things and restore balance to the force. NewSQL is a class of modern relational DBMSs that seek to provide on-par scalability to NoSQL for OLTP read-write workloads while still maintaining ACID guarantees for transactions. Let's dissect this definition. The biggest benefit of NewSQL is that developers do not have to write code to deal with eventually consistent updates as they would in a NoSQL system, because they will be able to use ACID transactions and SQL-like rich querying capabilities. NewSQL is about OLTP (online transaction processing), not OLAP (online data analysis like in data warehouse systems). Well, with the caveat that it can also be about HTAP (hybrid transactional-analytical processing), as the paper mentions under the future trends secti]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Rabia: Simplifying State-Machine Replication Through Randomization (SOSP'21) (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/11/rabia-simplifying-state-machine.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/11/rabia-simplifying-state-machine.html"/>
        <updated>2021-11-03T03:17:00.000Z</updated>
        <content type="html"><![CDATA[This paper appeared in SOSP'21 . I took notes and screen-snapshots during the presentation of this paper, and decided to put together a summary of what I understood from it. The paper has a simple idea and a somewhat unexpected result. It will be interesting to dive deep and explore to the extent this idea can be applied in practice.&nbsp; Here is the idea. State-machine replication through Paxos , more accurately MultiPaxos, is commonly used in practice. (Yes, that includes state-machine replication through Raft, if I have to spell this out to the Rafters among us.) The MultiPaxos leader drives the protocol.  It is basically one round, phase-2 execution of "accept this!" "yes, boss" between the leader and followers, where phase3 commit can be piggybacked to phase-2 message. This is as simple and efficient as it gets. You can't beat it! Or can you? The paper argues that, although the happy path of MultiPaxos based state-machine replication is simple and efficient]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Log structured protocols in Delos (SOSP21) (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/10/log-structured-protocols-in-delos-sosp21.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/10/log-structured-protocols-in-delos-sosp21.html"/>
        <updated>2021-10-30T00:52:00.000Z</updated>
        <content type="html"><![CDATA[This paper  picks up from where the "Virtual Consensus in Delos" paper finishes , and&nbsp; talks about using Delos to build control plane databases at Facebook. These are my notes from Mahesh's excellent conference presentation. These control plane databases at Facebook were required to support multiple APIs: some SQL, some key-value pairs, and some ZooKeeper namespaces. Each such API typically requires a separate database to be built. But implementing and operating even a single zero dependency control plane system is difficult. To cut this dilemma, they observe that these databases have a similar structure: a consensus protocol at the bottom, and a replicated state machine on top. A lot of that state machine uses generic logic that can be reused across different APIs. This implies that there is an hourglass architecture at work here, where Delos platform is the narrow waist. This paper focuses on protocols which allow us to layer multiple apis on this common Delos platform.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[David G. Andersen AMA (SOSP Day 3) (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/10/david-g-andersen-ama-sosp-day-3.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/10/david-g-andersen-ama-sosp-day-3.html"/>
        <updated>2021-10-29T14:25:00.000Z</updated>
        <content type="html"><![CDATA[Dave has broad research interests in computer systems in the networked environment. What do you think systems community should be working on but isn't getting enough attention? With the stuttering of Moore's law as we get into nanoscales, there is more need to extract performance from systems through integrated co-design of hardware and software. We need integrated work through the entire stack to make systems faster and more reliable. How do you pick research ideas/projects? I stumble on interesting questions. There is a lot of cross-fertilization going on between different areas I am working on. If everything else fails, once a year or so, I take a notebook, go for a walk, and write down my ideas. My two sabbaticals were also very fruitful for finding research ideas and projects. At Google, I worked with AI/ML people, which opened new horizons for me. What do you think about the future prospects of blockchain systems? Will there be a killer application, like ever? There are v]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Jon Howell AMA at SOSP21 (Day 2) (Distributed Systems Blog)]]></title>
        <id>https://muratbuffalo.blogspot.com/2021/10/jon-howell-ama-at-sosp21-day-2.html</id>
        <link href="https://muratbuffalo.blogspot.com/2021/10/jon-howell-ama-at-sosp21-day-2.html"/>
        <updated>2021-10-28T13:14:00.000Z</updated>
        <content type="html"><![CDATA[&nbsp;There were several AMAs at SOSP21, where the attendees can ask questions. I really like Jon Howell 's AMA session. I asked two questions I was interested about learning.&nbsp;&nbsp; Why do you think verification is at a breakaway point now? What are the factors that make this the go-big moment? We are now figuring out how to make common problems cheap. Historically Coq proving was about being clever: do something not done before. Now we are focusing on how do we make the common stuff cheap. The Ironclad project  began when Rustan Leino  came to our team, and said I have a tool, let's use this tool. The Dafny demos were interesting to me. A red squiggly line showed a bug. When you give hint, the bug went away. It was a lightbulb moment. It took me extra line of code/explanation for me to get it. The verifier already got it. We had verification runouts in slicon valley,&nbsp; with tlc, tlaps and others. The verifier send back question mark, and we try to decode it, what we realize was, almost]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[2021-12-13: Are Refactorings to Blame? An Empirical Study of Refactorings in Merge Conflicts (Most Recent It Will Never Work in Theory)]]></title>
        <id>https://neverworkintheory.org/2021/12/13/refactorings-in-merge-conflicts.html</id>
        <link href="https://neverworkintheory.org/2021/12/13/refactorings-in-merge-conflicts.html"/>
        <updated>2021-12-13T17:44:53.392Z</updated>
        <content type="html"><![CDATA[Merge conflicts are one of the biggest difficulties developers face when using separate development branches. Many developers believe that code refactoring makes the situation worse, but are the refactorings solely to blame? How big of a difference do they make when it comes to merge conflicts? Using data from roughly 3000 open-source Java software repositories, Mahmoudi2019 examined the association between merge conflicts and 15 prominent refactoring patterns, and at how difficult it is to settle refactoring-related disagreements. They used a tool called RefactoringMiner to detect refactorings and investigated the relationship between refactorings and merge conflicts; they also developed and presented...]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Mathematician Hurls Structure and Disorder Into Century-Old Problem (Quanta: Mathematics)]]></title>
        <id>https://www.quantamagazine.org/oxford-mathematician-advances-century-old-combinatorics-problem-20211215/</id>
        <link href="https://www.quantamagazine.org/oxford-mathematician-advances-century-old-combinatorics-problem-20211215/"/>
        <updated>2021-12-15T17:45:10.169Z</updated>
        <content type="html"><![CDATA[A new paper shows how to create longer disordered strings than mathematicians had thought possible, proving that a well-known recent conjecture is “spectacularly wrong.”]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Mathematicians Transcend Geometric Theory of Motion (Quanta: Mathematics)]]></title>
        <id>https://www.quantamagazine.org/mathematicians-transcend-geometric-theory-of-motion-20211209/</id>
        <link href="https://www.quantamagazine.org/mathematicians-transcend-geometric-theory-of-motion-20211209/"/>
        <updated>2021-12-11T05:37:27.168Z</updated>
        <content type="html"><![CDATA[More than 30 years ago, Andreas Floer changed geometry. Now, two mathematicians have finally figured out how to extend his revolutionary perspective.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Why e, the Transcendental Math Constant, Is Just the Best (Quanta: Mathematics)]]></title>
        <id>https://www.quantamagazine.org/why-eulers-number-is-just-the-best-20211124/</id>
        <link href="https://www.quantamagazine.org/why-eulers-number-is-just-the-best-20211124/"/>
        <updated>2021-12-02T17:43:09.469Z</updated>
        <content type="html"><![CDATA[The solution to our puzzle about Euler’s number explains why <span style="font-style: initial;">e</span> pops up in situations that involve optimality.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Researchers Defeat Randomness to Create Ideal Code (Quanta: Mathematics)]]></title>
        <id>https://www.quantamagazine.org/researchers-defeat-randomness-to-create-ideal-code-20211124/</id>
        <link href="https://www.quantamagazine.org/researchers-defeat-randomness-to-create-ideal-code-20211124/"/>
        <updated>2021-12-02T17:43:09.476Z</updated>
        <content type="html"><![CDATA[By carefully constructing a multidimensional and well-connected graph, a team of researchers has finally created a long-sought locally testable code that can immediately betray whether it’s been corrupted.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[What Does It Mean for AI to Understand? (Quanta: Computer Science)]]></title>
        <id>https://www.quantamagazine.org/what-does-it-mean-for-ai-to-understand-20211216/</id>
        <link href="https://www.quantamagazine.org/what-does-it-mean-for-ai-to-understand-20211216/"/>
        <updated>2021-12-16T17:45:10.080Z</updated>
        <content type="html"><![CDATA[It’s simple enough for AI to seem to comprehend data, but devising a true test of a machine’s knowledge has proved difficult.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[AI Researchers Fight Noise by Turning to Biology (Quanta: Computer Science)]]></title>
        <id>https://www.quantamagazine.org/ai-researchers-fight-noise-by-turning-to-biology-20211207/</id>
        <link href="https://www.quantamagazine.org/ai-researchers-fight-noise-by-turning-to-biology-20211207/"/>
        <updated>2021-12-07T18:10:04.375Z</updated>
        <content type="html"><![CDATA[Tiny amounts of artificial noise can fool neural networks, but not humans. Some researchers are looking to neuroscience for a fix.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Researchers Defeat Randomness to Create Ideal Code (Quanta: Computer Science)]]></title>
        <id>https://www.quantamagazine.org/researchers-defeat-randomness-to-create-ideal-code-20211124/</id>
        <link href="https://www.quantamagazine.org/researchers-defeat-randomness-to-create-ideal-code-20211124/"/>
        <updated>2021-12-02T17:43:09.476Z</updated>
        <content type="html"><![CDATA[By carefully constructing a multidimensional and well-connected graph, a team of researchers has finally created a long-sought locally testable code that can immediately betray whether it’s been corrupted.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[How Quantum Computers Will Correct Their Errors (Quanta: Computer Science)]]></title>
        <id>https://www.quantamagazine.org/how-quantum-computers-will-correct-their-errors-20211116/</id>
        <link href="https://www.quantamagazine.org/how-quantum-computers-will-correct-their-errors-20211116/"/>
        <updated>2021-12-02T17:43:14.384Z</updated>
        <content type="html"><![CDATA[Quantum bits are fussy and fragile. Useful quantum computers will need to use an error-correction technique like the one that was recently demonstrated on a real machine.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[The Year in Physics (Quanta: Physics)]]></title>
        <id>https://www.quantamagazine.org/the-year-in-physics-20211222/</id>
        <link href="https://www.quantamagazine.org/the-year-in-physics-20211222/"/>
        <updated>2021-12-22T17:57:39.476Z</updated>
        <content type="html"><![CDATA[Puzzling particles, quirky (and controversial) quantum computers, and one of the most ambitious science experiments in history marked the year’s milestones.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Detailed Footage Finally Reveals What Triggers Lightning (Quanta: Physics)]]></title>
        <id>https://www.quantamagazine.org/radio-telescope-reveals-how-lightning-begins-20211220/</id>
        <link href="https://www.quantamagazine.org/radio-telescope-reveals-how-lightning-begins-20211220/"/>
        <updated>2021-12-20T17:47:23.008Z</updated>
        <content type="html"><![CDATA[Scientists have never been able to adequately explain where lightning comes from. Now the first detailed observations of its emergence inside a cloud have exposed how electric fields grow strong enough to let bolts fly.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Cosmologists Parry Attacks on the Vaunted Cosmological Principle (Quanta: Physics)]]></title>
        <id>https://www.quantamagazine.org/giant-arc-of-galaxies-puts-basic-cosmology-under-scrutiny-20211213/</id>
        <link href="https://www.quantamagazine.org/giant-arc-of-galaxies-puts-basic-cosmology-under-scrutiny-20211213/"/>
        <updated>2021-12-13T17:45:08.121Z</updated>
        <content type="html"><![CDATA[A central pillar of cosmology — the universe is the same everywhere and in all directions — is surviving a storm of possible evidence against it.]]></content>
    </entry>
    <entry>
        <title type="html"><![CDATA[Gravitational Waves Should Permanently Distort Space-Time (Quanta: Physics)]]></title>
        <id>https://www.quantamagazine.org/gravitational-waves-should-permanently-distort-space-time-20211208/</id>
        <link href="https://www.quantamagazine.org/gravitational-waves-should-permanently-distort-space-time-20211208/"/>
        <updated>2021-12-08T17:46:11.643Z</updated>
        <content type="html"><![CDATA[The “gravitational memory effect” predicts that a passing gravitational wave should forever alter the structure of space-time. Physicists have linked the phenomenon to fundamental cosmic symmetries and a potential solution to the black hole information paradox.]]></content>
    </entry>
</feed>