This week we talked with Richard Hipp, the creator of SQLite, about its history, where it came from, why it succeeded as a database, how it’s development is sustainably funded, and how it’s the most widely deployed database engine in the world.
dueyfinster / tags / tech
Tagged with “tech” (4)
-
-
Leslie Lamport on Distributed Systems | Episode 203 Software Engineering Radio
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a definition: a distributed system is a multiprocessor system in which the time required for interprocess communication is large compared to the time for events within a single processor–in other words, it takes longer for interprocess communication than it does for a process to look at its own memory. Alternatively, a distributed system is one in which processors communicate by sending messages. Leslie goes on to talk about how he became interested in distributed systems, and describes the story behind his paper about the Paxos algorithm. The goal of Paxos is to maintain consensus in an environment with unexpected faults (otherwise known as Byzantine faults). After the discussion of Paxos, Jeff asks Leslie about his recent talk “Thinking for Programmers,” which emphasizes the benefit of having a specification prior to writing actual code. “Specification” can mean a variety of things, but predicates and next-state relationships provide a mathematical rigor that is well-suited to distributed and concurrent systems. The conversation concludes with Jeff asking Leslie about how a programmer can build the mental resolve to work through a difficult problem.
-
JavaScript Strategies at Microsoft with Scott Hanselman | 071 Javascript Jabber
-
Redesigning Computer Science 101 Education with Omoju Miller | THE HANSELMINUTES PODCAST
PhD Candidate Omoju Miller is a Computer Scientist who is working to unlock the joys of Natural Language Processing as applied to rap lyrics. She is finishing her PhD in Computer Science Education and has big ideas about where the field should go. How should we change Computer Science 101 for the next generation of developers?