Software Engineering Daily
Spela

TLA+ with Leslie Lamport

Software Engineering Daily

00:00

TLA+ with Leslie Lamport

Software Engineering Daily

Technical interviews about software topics.

Software Engineering Daily

TLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a user to describe a system formally with simple, precise mathematics. TLA+ was designed by Leslie Lamport, a computer scientist and Turing Award winner. Leslie joins the show to talk about the purpose of TLA+. Since its The post TLA+ with Leslie Lamport appeared first on Software Engineering Daily.

Published

Play Episode

Related episodes Software Engineering Daily

Software Engineering Daily

Computer Vision with Peter Kontschieder
(NaN)
Mapillary is a company that processes high volumes of images to develop a labeled 3-D model of the physical world. Mapillary’s APIs allow developers to build applications that are aware of stop signs, buildings, streets, trees, and other physical objects in real-world space. The potential use cases for Mapillary are numerous, ranging from self-driving cars The post Computer Vision with Peter Kontschieder appeared first on Software Engineering Daily....

en

Software Engineering Daily

Computer Architecture with Dave Patterson
(NaN)
An instruction set defines a low level programming language for moving information throughout a computer. In the early 1970’s, the prevalent instruction set language used a large vocabulary of different instructions. One justification for a large instruction set was that it would give a programmer more freedom to express the logic of their programs. Many The post Computer Architecture with Dave Patterson appeared first on Software Engineering Daily....

en

Software Engineering Daily

OSS Capital with Joseph Jacks
(NaN)
Open source projects benefit from the network effects of a large audience of developers. A popular open source project will be contributed to and used by thousands of developers, who are continuously testing, deploying, and improving the software. The open source movement has created massive communities and a thriving, collaborative economy. Infrastructure software companies are The post OSS Capital with Joseph Jacks appeared first on Software Engineering Daily....

en

Software Engineering Daily

Commons Clause with Kevin Wang
(NaN)
Open source software powers everything we do on the Internet. Google runs on Linux servers. Content sites are served by WordPress. Our data is queued in Kafka clusters and stored in MongoDB instances. The success of an open source project often leads to the creator of that open source software becoming wealthy. An open source The post Commons Clause with Kevin Wang appeared first on Software Engineering Daily....

en

Software Engineering Daily

Scaling Lyft with Matt Klein
(NaN)
Matt Klein has worked for three rapidly growing Internet companies. At AWS, he worked on EC2, the compute-as-a-service product that powers a large percentage of the Internet. At Twitter, he helped scale the infrastructure in the chaotic days before Twitter’s IPO. Today he works at Lyft, building systems to allow for ride sharing infrastructure to The post Scaling Lyft with Matt Klein appeared first on Software Engineering Daily....

en

Software Engineering Daily

Wonolo: Staffing Marketplace with Jeremy Burton
(NaN)
Online labor marketplaces are widely used for one-to-one transactions. On Uber, a rider hires a driver for transportation. On TaskRabbit, a homeowner hires a cleaner to come clean their kitchen. These types of marketplaces are not as widely used for one-to-many transactions, but they can be just as useful. A warehouse owner would want to The post Wonolo: Staffing Marketplace with Jeremy Burton appeared first on Software Engineering Daily....

en

Software Engineering Daily

Diffbot: Knowledge Graph API with Mike Tung
(NaN)
Google Search allows humans to find and access information across the web. A human enters an unstructured query into the search box, the search engine provides several links as a result, and the human clicks on one of those links. That link brings up a web page, which is a set of unstructured data. Humans The post Diffbot: Knowledge Graph API with Mike Tung appeared first on Software Engineering Daily....

en

Software Engineering Daily

Drift: Sales Bot Engineering with David Cancel
(NaN)
David Cancel has started five companies, most recently Drift. Drift is a conversational marketing and sales platform. David has a depth of engineering skills and a breadth of business experience that make him an amazing source of knowledge. In today’s episode, David discusses topics ranging from the technical details of making a machine learning-driven sales The post Drift: Sales Bot Engineering with David Cancel appeared first on Software Engineering Daily....

en

Software Engineering Daily

Building a Hiring Process with Ammon Bartram
(NaN)
Engineers who start companies often find themselves building something they have no experience with: a hiring process. Hiring engineers today is not as systematic as building software. We don’t have lots of data that tells us what makes for an effective programming interview question. The smartest tech companies in the world are still making hiring The post Building a Hiring Process with Ammon Bartram appeared first on Software Engineering Daily....

en

Software Engineering Daily

Gig Economy
(NaN)
I like to write music, and a year ago I started working on an album called “Gig Economy”. The plan for the album was to hire musicians from gig economy platforms like Fiverr and Upwork to perform on songs that I produced. The album is finished and I’m happy with the result, so I’m sharing The post Gig Economy appeared first on Software Engineering Daily....

en

Software Engineering Daily

Blockchain Distribution Network with Aleksandar Kuzmanovic
(NaN)
Cryptocurrencies are not very usable today. The main use cases for cryptocurrencies today are store of value (somewhat like gold) and speculation. One reason that the use cases are so narrow is the problem of scalability. Cryptocurrencies have several scalability bottlenecks. Think about the Internet in 1994. The consumer sitting at home with a dial-up The post Blockchain Distribution Network with Aleksandar Kuzmanovic appeared first on Software Engineering Daily....

en

Software Engineering Daily

Flogo: Event-Driven Ecosystem with Leon Stigter and Matt Ellis
(NaN)
A smart security camera takes in a high volume of video images and processes those images using a set of machine learning models. Those models can be used to identify interesting snippets of movement throughout the day, and decide which of those snippets to keep. Some of the video snippets might contain movement of birds–but The post Flogo: Event-Driven Ecosystem with Leon Stigter and Matt Ellis appeared first on Software Engineering Daily....

en

Software Engineering Daily

JAM Stack with Phil Hawksworth
(NaN)
Engineers can build applications faster by using tools that abstract away infrastructure. Major cloud providers offer this tooling in the form of functions-as-a-service, as well as managed services such as Google BigQuery or Azure Container Instances. The term “serverless” refers to these functions-as-a-service and the managed services–because when you use these tools, you are not The post JAM Stack with Phil Hawksworth appeared first on Software Engineering Daily....

en

Software Engineering Daily

DevSecOps with Edward Thomson
(NaN)
DevSecOps emphasizes moving security out of a siloed audit process and distributing security practices throughout the software supply chain. In the past, software development usually followed a waterfall development process. Each step in building software was serialized, one after another. First, software was planned. Then it was built. Then it was tested. Finally, the software The post DevSecOps with Edward Thomson appeared first on Software Engineering Daily....

en

Software Engineering Daily

Google JavaScript with Malte Ubl
(NaN)
Google Search is a highly interactive JavaScript application. As you enter a query, results are being automatically suggested to you before you even finish typing. When you press enter, some of your search results may be widgets that represent the weather, the price of a stock, a recipe for green bean soup, or a language The post Google JavaScript with Malte Ubl appeared first on Software Engineering Daily....

en

Software Engineering Daily

AWS Containers with Deepak Singh
(NaN)
Deepak Singh is the director of compute services at AWS, where he works on cloud products relating to containers, Linux, and High Performance Computing. In today’s show, Deepak describes how the market for containers and serverless has evolved, and how Amazon thinks about product strategy. Back in 2014, Docker containers were becoming a popular way The post AWS Containers with Deepak Singh appeared first on Software Engineering Daily....

en

Software Engineering Daily

Open Source Product Strategy with Shaun Connolly
(NaN)
Linux has created much more value for Google than it has for Linus Torvalds. Ruby on Rails has created more value for Airbnb than it has for David Heinemeier Hansson. Successful open source projects create more value than their creators’ capture–and that’s one reason why collections of people on the Internet are often inspired to The post Open Source Product Strategy with Shaun Connolly appeared first on Software Engineering Daily....

en

Software Engineering Daily

Cloud Search with Liam Cavanagh
(NaN)
Search is part of almost every application. Users search for movies to watch. Engineers search through terabytes of log messages to find exceptions. Drivers search through maps to find a destination. Search remains an unsolved problem, with lots of room for optimization. Many search applications have been built Elasticsearch, an open source distributed search engine. The post Cloud Search with Liam Cavanagh appeared first on Software Engineering Daily....

en

Software Engineering Daily

Open vSwitch: Virtual Networking with Ben Pfaff
(NaN)
Virtual machines are operating system instances that run alongside each other on the same physical host. The virtual machines running on a physical host are managed by a hypervisor running on the physical host. A cluster of two physical servers could have four virtual machines running across those two physical instances. Those four virtual machines The post Open vSwitch: Virtual Networking with Ben Pfaff appeared first on Software Engineering Daily....

en

Software Engineering Daily

Data Warehouse with Christian Kleinerman
(NaN)
A data warehouse provides fast access to large data sets for analytics, data science, and dashboards. A data warehouse differs from a transactional database, because you often do not need to update specific records. Because of the read-only nature of the access patterns, and the high volumes of data being queried, the design of a The post Data Warehouse with Christian Kleinerman appeared first on Software Engineering Daily....

en

Software Engineering Daily

DevOps at Microsoft with Martin Woodward
(NaN)
The Windows operating system is one of the most widely used pieces of software in history. Windows was started before there was any alternative to a monolithic codebase, because Microsoft was building software before the Internet was widely used by consumers. Networked computers gave rise to web applications, and software engineers began to rethink how The post DevOps at Microsoft with Martin Woodward appeared first on Software Engineering Daily....

en

Software Engineering Daily

Generative Models with Doug Eck
(NaN)
Google Brain is an engineering team focused on deep learning research and applications. One growing area of interest within Google Brain is that of generative models. A generative model uses neural networks and a large data set to create new data similar to the ones that the network has seen before. One approach to making The post Generative Models with Doug Eck appeared first on Software Engineering Daily....

en

Software Engineering Daily

Mapillary: Computer Vision Crowdsourcing with Peter Neubauer
(NaN)
Mapillary is a platform for gathering photos taken by smartphones and using that data to build a 3D model of the world. Mapillary’s model of the world includes labeled objects such as traffic signs, trees, humans, and buildings. This 3D model can be explored much like you can explore Google Street view. The data set The post Mapillary: Computer Vision Crowdsourcing with Peter Neubauer appeared first on Software Engineering Daily....

en

Software Engineering Daily

Digital Privacy with Aran Khanna
(NaN)
When Aran Khanna was a college student, he accepted an internship to work at Facebook. Even before his internship started, he started playing around with Facebook’s APIs and applications. Aran built a Chrome extension called Marauder’s Map, which used Facebook Messenger’s web APIs to track where people lived, what their schedule was, and other highly The post Digital Privacy with Aran Khanna appeared first on Software Engineering Daily....

en

Software Engineering Daily

Airbnb Engineering with Surabhi Gupta
(NaN)
Airbnb began in 2008 as a monolithic Rails application serving the simple purpose of listing homes for rental. Over time, the number of listings increased dramatically, as did the number of people who were renting. With that scale, the Rails app had to be broken into different services, and entire teams were built out to The post Airbnb Engineering with Surabhi Gupta appeared first on Software Engineering Daily....

en