Contact

Name(必須)

Email(必須)

Comment(必須)

Δ

Backnumbers

#115: Constitutional AI: Harmlessness from AI Feedback
#114: Invisinets: Removing Networking from Cloud Networks
#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
#112: SkyPilot: An Intercloud Broker for Sky Computing
#111: Formal Algorithms for Transformers
#110.5
#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems
#109: A Measure of Transaction Processing Power
#108: The Verse Calculus
#107: Simple Ideas That Changed Printing and Publishing
#106: Human-level play in the game of Diplomacy by combining language models with strategic reasoning
#105: Volcano – An Extensible and Parallel Query Evaluation System
#104: It’s Time to Replace TCP in the Datacenter
#103: GPU-Accelerated Path Rendering
#102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow
#101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics
#100 AMA!
#99.5 AMA?
#99: The Prusti Project: Formal Verification for Rust#99:
#98: Dynamo: Amazon’s Highly Available Key-value Store
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service
#95: CockroachDB: The Resilient Geo-Distributed SQL Database
#94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente
#93: SEQUEL: A structured English query language
#92: Software Development Waste
#91: Serverless in the Wild
#90: Evaluation of splittable pseudo-random generators
#89: Conflict-free Replicated Data Types
#88: A History of Haskell: being lazy with class
#87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers
#86: JavaScript: the first 20 years
#85: Continuous Profiling: Where Have All the Cycles Gone?
#84: Profiling a warehouse-scale computer
#83: Dynamic Instrumentation of Production Systems
#82: Glass: A New Media for a New Era?
#81: gprof: a Call Graph Execution Profiler
#80.5
#80: TrueSkill™ Ranking System
#79: Adversarial Examples Are Not Bugs, They Are Features
#78: Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks
#77: Orca: Differential Bug Localization in Large-Scale Services
#76: XPC: Architectural Support for Secure and Efficient Cross Process Call
#75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKit
#74: FaceNet: A Unified Embedding for Face Recognition and Clustering
#73: Understanding Real-World Concurrency Bugs in Go
#72: How (and How Not) to Write a Good Systems Paper
#71: Machine Learning at Facebook: Understanding Inference at the Edge
#70: Reality Engine Graphics
#69: Bandana: Using Non-Volatile Memory for Storing Deep Learning Models
#68: Introduction to MCMC
#67: Towards Federated Learning at Scale: System Design
#66: The Rendering Equation
#65: Communication-Efficient Learning of Deep Networks from Decentralized Data
#64: Automating Chaos Experiments in Production
#63: Programming with Algebraic Effects and Handlers
#62 – A History Of Erlang
#61 – Spectre is Here to Stay
#60 – XGBoost: A Scalable Tree Boosting System
#59 – Do Developers Learn New Tools On The Toilet?
#58 – Gradient Boosting Decision Trees
#57 – Asynchronous Functional Reactive Programming for GUIs
#56 – Cloud Programming Simplified
#55 – Functional Reactive Programming from First Principles
#54 – Tales of the Tail
#53 – BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
#52 – Convolutional Color Constancy
#51 – Attention Is All You Need
#50 – Geodesic Discrete Global Grid Systems
#49 – Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code
#48 – Real-time Personalization using Embeddings for Search Ranking at Airbnb
#47 – Engineering the Servo Web Browser Engine using Rust
#46 – An Introduction to Neural Information Retrieval
#45 – Why Amazon Chose TLA +
#44 – Firecracker
#43 – Capsicum: practical capabilities for UNIX
#42 – kvm: the Linux Virtual Machine Monitor
#41 – IDRIS — Systems Programming Meets Full Dependent Types
#40
#39 – Service Fabric: A Distributed Platform for Building Microservices in the Cloud
#38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates
#37 – Synthetic Depth-of-Field with a Single-Camera Mobile Phone
#36 – BLeak: Automatically Debugging Memory Leaks in Web Applications
#35 – Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines
#34 – Trust and Protection in the Illinois Browser Operating System
#33 – Distinctive Image Features from Scale-Invariant Keypoints
#32 – Isolating Web Programs in Modern Browser Architectures
#31 – Big.Little
#30 – AddressSanitizer: A Fast Address Sanity Checker
#29 – Image Analogies and Image Style Transfer
#28 – Left-leaning Red-Black Trees
#27 – Julia: A Fresh Approach to Numerical Computing
#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
#25 – Burst photography for high dynamic range and low-light imaging on mobile cameras
#24 – EMME: A Formal Tool for ECMAScript Memory Model Evaluation
#23 – Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing
#22 – Bringing the Web up to Speed with WebAssembly
#21 – The Frankencamera
#20 – The Design and Implementation of Hyperupcalls
#19 – Light Field Rendering

Home
Podcast RSS
iTunes
Pocket Casts
Spotify

Misreading Chat WordPress.com でサイトを構築.

フォローフォロー中
- Misreading Chat
- WordPress.com のアカウントをすでにお持ちですか ? 今すぐログイン