Podcasts Technology Misreading Chat
Misreading Chat

Misreading Chat

92 episodes

会社員プログラマの森田と向井がコンピュータサイエンス周辺の論文を雑に読んで感心する Podcast です。就業後に会議室からこっそりお送りします。

Podcasts

#124: GAIA: a benchmark for General AI Assistants

Published: Dec. 22, 2023, 5:40 p.m.
Duration: 41 minutes 33 seconds

Listed in: Technology

#123: SYCL 2020 Specification

Published: Dec. 5, 2023, 3:38 p.m.
Duration: 37 minutes 50 seconds

Listed in: Technology

#122: Lifting the veil on Metas microservice architecture

Published: Nov. 9, 2023, 5:28 a.m.
Duration: 54 minutes 3 seconds

Listed in: Technology

#121: The SPACE of Developer Productivity

Published: Oct. 31, 2023, 3:47 a.m.
Duration: 22 minutes 51 seconds

Listed in: Technology

#120: On-demand Container Loading in AWS Lambda

Published: Sept. 21, 2023, 3:48 a.m.
Duration: 33 minutes 32 seconds

Listed in: Technology

#119: Overlapping Experiment Infrastructure

Published: Aug. 22, 2023, 4:39 a.m.
Duration: 32 minutes 56 seconds

Listed in: Technology

#118: Pathways: Asynchronous Distributed Dataflow for ML

Published: July 26, 2023, 1:07 p.m.
Duration: 34 minutes 34 seconds

Listed in: Technology

#117: DuckDB: an Embeddable Analytical Database

Published: July 18, 2023, 4:27 a.m.
Duration: 29 minutes 51 seconds

Listed in: Technology

#116: Asymmetric numeral systems

Published: June 6, 2023, 12:53 a.m.
Duration: 40 minutes 28 seconds

Listed in: Technology

#115: Constitutional AI: Harmlessness from AI Feedback

Published: May 23, 2023, 1:27 a.m.
Duration: 36 minutes 42 seconds

Listed in: Technology

#114: Invisinets: Removing Networking from Cloud Networks

Published: May 18, 2023, 12:14 p.m.
Duration: 40 minutes 18 seconds

Listed in: Technology

#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Published: May 2, 2023, 5:19 a.m.
Duration: 25 minutes 48 seconds

Listed in: Technology

#112: SkyPilot: An Intercloud Broker for Sky Computing

Published: April 26, 2023, 3:44 a.m.
Duration: 39 minutes 24 seconds

Listed in: Technology

#111: Formal Algorithms for Transformers

Published: April 4, 2023, 2:52 p.m.
Duration: 38 minutes 1 second

Listed in: Technology

#110.5

Published: March 24, 2023, 12:35 p.m.
Duration: 3 minutes 54 seconds

Listed in: Technology

#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems

Published: March 21, 2023, 12:07 p.m.
Duration: 45 minutes 40 seconds

Listed in: Technology

#109: A Measure of Transaction Processing Power

Published: March 1, 2023, 1:43 p.m.
Duration: 38 minutes 6 seconds

Listed in: Technology

#108: The Verse Calculus

Published: Feb. 2, 2023, 11:52 p.m.
Duration: 41 minutes 29 seconds

Listed in: Technology

#107: Simple Ideas That Changed Printing and Publishing

Published: Dec. 21, 2022, 1:33 p.m.
Duration: 45 minutes 22 seconds

Listed in: Technology

#106: Human-level play in the game of Diplomacy by combining language models with strategic reasoning

Published: Dec. 13, 2022, 1:46 p.m.
Duration: 45 minutes 22 seconds

Listed in: Technology

#105: Volcano An Extensible and Parallel Query Evaluation System

Published: Dec. 6, 2022, 10:11 p.m.
Duration: 44 minutes 40 seconds

Listed in: Technology

#104: Its Time to Replace TCP in the Datacenter

Published: Nov. 19, 2022, 1:30 p.m.
Duration: 30 minutes 19 seconds

Listed in: Technology

#103: GPU-Accelerated Path Rendering

Published: Nov. 1, 2022, 9:54 p.m.
Duration: 37 minutes 35 seconds

Listed in: Technology

#102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow

Published: Oct. 27, 2022, 12:27 a.m.
Duration: 45 minutes 59 seconds

Listed in: Technology

#101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics

Published: Oct. 19, 2022, 11:33 p.m.
Duration: 40 minutes 41 seconds

Listed in: Technology

#100 AMA!

Published: Oct. 14, 2022, 11:54 a.m.
Duration: 47 minutes 17 seconds

Listed in: Technology

#99.5 AMA?

Published: Oct. 5, 2022, 1:13 p.m.
Duration: 6 minutes 43 seconds

Listed in: Technology

#99: The Prusti Project: Formal Verification for Rust

Published: Sept. 27, 2022, 12:22 p.m.
Duration: 39 minutes 33 seconds

Listed in: Technology

#98: Dynamo: Amazons Highly Available Key-value Store

Published: Sept. 14, 2022, 12:53 p.m.
Duration: 39 minutes 20 seconds

Listed in: Technology

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

Published: Aug. 23, 2022, 5:24 a.m.
Duration: 35 minutes 25 seconds

Listed in: Technology

#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service

Published: July 29, 2022, 8:48 p.m.
Duration: 47 minutes 48 seconds

Listed in: Technology

#95: CockroachDB: The Resilient Geo-Distributed SQL Database

Published: July 10, 2022, 4:38 a.m.
Duration: 46 minutes 33 seconds

Listed in: Technology

#94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente

Published: June 2, 2022, 3:27 a.m.
Duration: 37 minutes 56 seconds

Listed in: Technology

#93: SEQUEL: A structured English query language

Published: May 25, 2022, 3:35 a.m.
Duration: 35 minutes 49 seconds

Listed in: Technology

#92: Software Development Waste

Published: May 13, 2022, 4:07 a.m.
Duration: 44 minutes 42 seconds

Listed in: Technology

#91: Serverless in the Wild

Published: Jan. 26, 2021, 2:18 p.m.
Duration: 33 minutes 27 seconds

Listed in: Technology

#90: Evaluation of splittable pseudo-random generators

Published: Jan. 19, 2021, 2:10 p.m.
Duration: 37 minutes 7 seconds

Listed in: Technology

#89: Conflict-free Replicated Data Types

Published: Oct. 31, 2020, 10 p.m.
Duration: 43 minutes 51 seconds

Listed in: Technology

#88: A History of Haskell: being lazy with class

Published: Oct. 27, 2020, 10 p.m.
Duration: 58 minutes 57 seconds

Listed in: Technology

#87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers

Published: Oct. 19, 2020, 10:33 p.m.
Duration: 35 minutes 11 seconds

Listed in: Technology

#86: JavaScript: the first 20 years

Published: Oct. 19, 2020, 10 p.m.
Duration: 1 hour 1 minute 5 seconds

Listed in: Technology

#85: Continuous Profiling: Where Have All the Cycles Gone?

Published: Oct. 17, 2020, 4:55 a.m.
Duration: 35 minutes 8 seconds

Listed in: Technology

#84: Profiling a warehouse-scale computer

Published: Oct. 12, 2020, 10 p.m.
Duration: 39 minutes 3 seconds

Listed in: Technology

#83: Dynamic Instrumentation of Production Systems

Published: Oct. 8, 2020, 10 a.m.
Duration: 40 minutes 21 seconds

Listed in: Technology

#82: Glass: A New Media for a New Era?

Published: Oct. 5, 2020, 10 a.m.
Duration: 20 minutes 42 seconds

Listed in: Technology

#81: gprof: a Call Graph Execution Profiler

Published: Oct. 2, 2020, 10 a.m.
Duration: 32 minutes 26 seconds

Listed in: Technology

#80.5

Published: Sept. 25, 2020, 5:22 p.m.
Duration: 5 minutes 30 seconds

Listed in: Technology

#80: TrueSkillTM Ranking System

Published: Oct. 6, 2019, 10:40 p.m.
Duration: 29 minutes 23 seconds

Listed in: Technology

#79: Adversarial Examples Are Not Bugs, They Are Features

Published: Sept. 25, 2019, 4:16 a.m.
Duration: 31 minutes 11 seconds

Listed in: Technology

#78: Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks

Published: Sept. 7, 2019, 2:41 p.m.
Duration: 26 minutes 25 seconds

Listed in: Technology

#77: Orca: Differential Bug Localization in Large-Scale Services

Published: Sept. 4, 2019, 6:36 a.m.
Duration: 25 minutes 49 seconds

Listed in: Technology

#76: XPC: Architectural Support for Secure and Efficient Cross Process Call

Published: Aug. 22, 2019, 12:59 p.m.
Duration: 30 minutes 15 seconds

Listed in: Technology

#75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKit

Published: Aug. 20, 2019, 5:44 a.m.
Duration: 26 minutes 49 seconds

Listed in: Technology

#74: FaceNet: A Unified Embedding for Face Recognition and Clustering

Published: Aug. 17, 2019, 1:49 p.m.
Duration: 32 minutes 56 seconds

Listed in: Technology

#73: Understanding Real-World Concurrency Bugs in Go

Published: Aug. 13, 2019, 4:56 a.m.
Duration: 29 minutes 3 seconds

Listed in: Technology

#72: How (and How Not) to Write a Good Systems Paper

Published: Aug. 10, 2019, 8:36 p.m.
Duration: 26 minutes 46 seconds

Listed in: Technology

#71: Machine Learning at Facebook: Understanding Inference at the Edge

Published: Aug. 8, 2019, 4:10 a.m.
Duration: 26 minutes 48 seconds

Listed in: Technology

#70: Reality Engine Graphics

Published: Aug. 1, 2019, 11:49 p.m.
Duration: 40 minutes 18 seconds

Listed in: Technology

#69: Bandana: Using Non-Volatile Memory for Storing Deep Learning Models

Published: July 30, 2019, 4:51 a.m.
Duration: 22 minutes 26 seconds

Listed in: Technology

#68: Introduction to MCMC

Published: July 25, 2019, 5:42 p.m.
Duration: 36 minutes 52 seconds

Listed in: Technology

#67: Towards Federated Learning at Scale: System Design

Published: July 22, 2019, 5:59 a.m.
Duration: 33 minutes 45 seconds

Listed in: Technology

#66: The Rendering Equation

Published: July 17, 2019, noon
Duration: 38 minutes 29 seconds

Listed in: Technology

#65: Communication-Efficient Learning of Deep Networks from Decentralized Data

Published: July 14, 2019, 6:21 a.m.
Duration: 28 minutes 47 seconds

Listed in: Technology

#64: Automating Chaos Experiments in Production

Published: July 9, 2019, 7:14 p.m.
Duration: 43 minutes 56 seconds

Listed in: Technology

#63: Programming with Algebraic Effects and Handlers

Published: June 24, 2019, 6:46 a.m.
Duration: 34 minutes 44 seconds

Listed in: Technology

#62 A History Of Erlang

Published: June 19, 2019, 10:31 p.m.
Duration: 44 minutes 7 seconds

Listed in: Technology

#61 Spectre is Here to Stay

Published: June 14, 2019, 5:48 a.m.
Duration: 22 minutes 59 seconds

Listed in: Technology

#60 XGBoost: A Scalable Tree Boosting System

Published: April 24, 2019, 8 p.m.
Duration: 42 minutes 19 seconds

Listed in: Technology

#59 Do Developers Learn New Tools On The Toilet?

Published: April 18, 2019, 8:04 p.m.
Duration: 28 minutes 28 seconds

Listed in: Technology

#58 Gradient Boosting Decision Trees

Published: April 11, 2019, 10 p.m.
Duration: 31 minutes 54 seconds

Listed in: Technology

#57 Asynchronous Functional Reactive Programming for GUIs

Published: April 9, 2019, 3:23 a.m.
Duration: 28 minutes 55 seconds

Listed in: Technology

#56 Cloud Programming Simplified

Published: April 4, 2019, 9 p.m.
Duration: 34 minutes 13 seconds

Listed in: Technology

#55 Functional Reactive Programming from First Principles

Published: March 29, 2019, 5:13 p.m.
Duration: 30 minutes 14 seconds

Listed in: Technology

#54 Tales of the Tail

Published: March 28, 2019, 12:14 a.m.
Duration: 49 minutes 47 seconds

Listed in: Technology

#53 BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Published: March 21, 2019, 2:17 a.m.
Duration: 33 minutes 24 seconds

Listed in: Technology

#52 Convolutional Color Constancy

Published: March 7, 2019, 9 p.m.
Duration: 27 minutes 22 seconds

Listed in: Technology

#51 Attention Is All You Need

Published: March 1, 2019, 3:29 a.m.
Duration: 22 minutes 53 seconds

Listed in: Technology

#50 Geodesic Discrete Global Grid Systems

Published: Feb. 22, 2019, 9 p.m.
Duration: 34 minutes 58 seconds

Listed in: Technology

#49 Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code

Published: Feb. 19, 2019, 5:34 a.m.
Duration: 26 minutes 43 seconds

Listed in: Technology

#48 Real-time Personalization using Embeddings for Search Ranking at Airbnb

Published: Feb. 7, 2019, 8:51 p.m.
Duration: 24 minutes 4 seconds

Listed in: Technology

#47 Engineering the Servo Web Browser Engine using Rust

Published: Jan. 31, 2019, 3:38 a.m.
Duration: 29 minutes 33 seconds

Listed in: Technology

#46 An Introduction to Neural Information Retrieval

Published: Jan. 21, 2019, 10:59 p.m.
Duration: 38 minutes 46 seconds

Listed in: Technology

#45 Why Amazon Chose TLA +

Published: Jan. 17, 2019, 4:53 a.m.
Duration: 26 minutes 54 seconds

Listed in: Technology

#44 Firecracker

Published: Jan. 10, 2019, 10:47 p.m.
Duration: 39 minutes 11 seconds

Listed in: Technology

#43 Capsicum: practical capabilities for UNIX

Published: Jan. 4, 2019, 3:22 a.m.
Duration: 23 minutes 22 seconds

Listed in: Technology

#42 kvm: the Linux Virtual Machine Monitor

Published: Dec. 31, 2018, 12:17 p.m.
Duration: 39 minutes 44 seconds

Listed in: Technology

#41 IDRIS Systems Programming Meets Full Dependent Types

Published: Dec. 26, 2018, 3:26 a.m.
Duration: 29 minutes 47 seconds

Listed in: Technology

#40

Published: Nov. 20, 2018, 3 a.m.
Duration: 51 minutes

Listed in: Technology

#39 Service Fabric: A Distributed Platform for Building Microservices in the Cloud

Published: Nov. 10, 2018, 3 a.m.
Duration: 31 minutes 39 seconds

Listed in: Technology

#38 Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates

Published: Nov. 8, 2018, 4:58 a.m.
Duration: 30 minutes 2 seconds

Listed in: Technology

#37 Synthetic Depth-of-Field with a Single-Camera Mobile Phone

Published: Nov. 2, 2018, 2 a.m.
Duration: 40 minutes 38 seconds

Listed in: Technology

#36 BLeak: Automatically Debugging Memory Leaks in Web Applications

Published: Oct. 23, 2018, 3:57 a.m.
Duration: 30 minutes 51 seconds

Listed in: Technology

#35 Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines

Published: Oct. 20, 2018, 2 a.m.
Duration: 31 minutes 2 seconds

Listed in: Technology

#34 Trust and Protection in the Illinois Browser Operating System

Published: Oct. 18, 2018, 3:06 a.m.
Duration: 32 minutes 16 seconds

Listed in: Technology

#33 Distinctive Image Features from Scale-Invariant Keypoints

Published: Sept. 25, 2018, 1 a.m.
Duration: 33 minutes 7 seconds

Listed in: Technology

#32 Isolating Web Programs in Modern Browser Architectures

Published: Sept. 19, 2018, 2:23 a.m.
Duration: 35 minutes 51 seconds

Listed in: Technology

#31 Big.Little

Published: Sept. 11, 2018, 1 a.m.
Duration: 37 minutes 29 seconds

Listed in: Technology

#30 AddressSanitizer: A Fast Address Sanity Checker

Published: Sept. 3, 2018, 6:02 p.m.
Duration: 29 minutes 2 seconds

Listed in: Technology

#29 Image Analogies and Image Style Transfer

Published: Aug. 31, 2018, 1 a.m.
Duration: 33 minutes 37 seconds

Listed in: Technology

#28 Left-leaning Red-Black Trees

Published: Aug. 27, 2018, 5:47 a.m.
Duration: 21 minutes 32 seconds

Listed in: Technology

#27 Julia: A Fresh Approach to Numerical Computing

Published: Aug. 24, 2018, 1 a.m.
Duration: 42 minutes 32 seconds

Listed in: Technology

#26 Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

Published: Aug. 21, 2018, 3:52 a.m.
Duration: 31 minutes 46 seconds

Listed in: Technology

#25 Burst photography for high dynamic range and low-light imaging on mobile cameras

Published: Aug. 17, 2018, 1 a.m.
Duration: 37 minutes 40 seconds

Listed in: Technology

#24 EMME: A Formal Tool for ECMAScript Memory Model Evaluation

Published: Aug. 13, 2018, 6:13 a.m.
Duration: 19 minutes 28 seconds

Listed in: Technology

#23 Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing

Published: Aug. 3, 2018, midnight
Duration: 35 minutes 5 seconds

Listed in: Technology

#22 Bringing the Web up to Speed with WebAssembly

Published: July 30, 2018, 1:47 a.m.
Duration: 36 minutes 27 seconds

Listed in: Technology

#21 The Frankencamera

Published: July 27, 2018, midnight
Duration: 54 minutes 9 seconds

Listed in: Technology

#20 The Design and Implementation of Hyperupcalls

Published: July 23, 2018, 5:23 a.m.
Duration: 23 minutes 16 seconds

Listed in: Technology

#19 Light Field Rendering

Published: July 20, 2018, midnight
Duration: 42 minutes 43 seconds

Listed in: Technology

#18 Exploiting the DRAM Rowhammer Bug to Gain Kernel Privileges

Published: July 17, 2018, 3:07 a.m.
Duration: 32 minutes 32 seconds

Listed in: Technology

#17 Unikernels: Library Operating Systems for the Cloud

Published: June 18, 2018, midnight
Duration: 44 minutes 28 seconds

Listed in: Technology

#16 A Deep Learning Approach for Generalized Speech Animation

Published: June 12, 2018, 8 p.m.
Duration: 29 minutes 43 seconds

Listed in: Technology

#15 Neural Machine Translation by Jointly Learning to Align and Translate

Published: June 8, 2018, midnight
Duration: 38 minutes 1 second

Listed in: Technology

#14 LevelDB

Published: June 4, 2018, 3:24 a.m.
Duration: 38 minutes 22 seconds

Listed in: Technology

#13 HyperLogLog in Practice

Published: June 1, 2018, midnight
Duration: 31 minutes 11 seconds

Listed in: Technology

#12 Semantics and Complexity of GraphQL

Published: May 30, 2018, 3:24 a.m.
Duration: 32 minutes 4 seconds

Listed in: Technology

#11 The Story in the Notebook

Published: May 25, 2018, 1 a.m.
Duration: 51 minutes

Listed in: Technology

#10 Deep Probabilistic Programming

Published: May 21, 2018, 1:10 p.m.
Duration: 36 minutes 13 seconds

Listed in: Technology

#09 Automatic Differentiation in Machine Learning: a Survey

Published: May 17, 2018, 11 p.m.
Duration: 41 minutes 28 seconds

Listed in: Technology

#08 Generative Adversarial Nets

Published: May 13, 2018, 8:53 p.m.
Duration: 32 minutes 51 seconds

Listed in: Technology

#07 One VM to Rule Them All

Published: May 4, 2018, midnight
Duration: 41 minutes 10 seconds

Listed in: Technology

#06 CloudBuild: Microsofts Distributed and Caching Build Service

Published: May 1, 2018, 3:02 a.m.
Duration: 34 minutes 56 seconds

Listed in: Technology

#05: Agile CPU / Versioned Golang

Published: April 22, 2018, 7:15 p.m.
Duration: 1 hour 1 minute 3 seconds

Listed in: Technology

#04: Filesystem on NVM / Self-Driving Car on Dessert

Published: April 17, 2018, 12:05 a.m.
Duration: 1 hour 4 minutes 1 second

Listed in: Technology

#03: New Grads Struggle / Data Scientists Strive

Published: April 8, 2018, 2:54 a.m.
Duration: 1 hour 10 minutes 6 seconds

Listed in: Technology

#02: Android Intent / GPU Raytracer

Published: April 1, 2018, 6:38 p.m.
Duration: 58 minutes 14 seconds

Listed in: Technology

#01: Tensor Comprehensions, Rust Belt

Published: March 26, 2018, 12:21 a.m.
Duration: 50 minutes 29 seconds

Listed in: Technology