Contact

← 戻る

ご回答をありがとうございました。 ✨

Name(必須)

Email(必須)

Comment(必須)

Δ

Backnumbers

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL
#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis
#138: Distilling the Knowledge in a Neural Network
#137: Optimal Quantile Approximation in Streams
#136: Distinct Elements in Streams: An Algorithm for the (Text) Book
#135: In-Datacenter Performance Analysis of a Tensor Processing Unit
#134: LoRA: Low-Rank Adaptation of Large Language Models
#133: Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
#132: High-Resolution Image Synthesis with Latent Diffusion Models
#131: FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness
#130: Diffusion models from scratch, from a new theoretical perspective
#129: Programming Massively Parallel Processors (Ch.4- Ch.6)
#128: Faiss: A library for efficient similarity search and clustering of dense vectors.
#127: Programming Massively Parallel Processors (Ch.1- Ch.3)
#126: Vector Database Management Systems
#125: Always-on Vision Processing Unit for Mobile Applications
#124: GAIA: a benchmark for General AI Assistants
#123: SYCL 2020 Specification
#122: Lifting the veil on Meta’s microservice architecture
#121: The SPACE of Developer Productivity
#120: On-demand Container Loading in AWS Lambda
#119: Overlapping Experiment Infrastructure
#118: Pathways: Asynchronous Distributed Dataflow for ML
#117: DuckDB: an Embeddable Analytical Database
#116: Asymmetric numeral systems
#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
#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
#18 – Exploiting the DRAM Rowhammer Bug to Gain Kernel Privileges
#17 – Unikernels: Library Operating Systems for the Cloud
#16 – A Deep Learning Approach for Generalized Speech Animation
#15 – Neural Machine Translation by Jointly Learning to Align and Translate
#14 – LevelDB
#13 – HyperLogLog in Practice
#12 – Semantics and Complexity of GraphQL
PyTorch, Chainer and Forking
#11 – The Story in the Notebook
#10 – Deep Probabilistic Programming
#09 – Automatic Differentiation in Machine Learning: a Survey
#08 – Generative Adversarial Nets
Notes on Episode 07
#07 – One VM to Rule Them All
#06 – CloudBuild: Microsoft’s Distributed and Caching Build Service
#05: Agile CPU / Versioned Golang
#04: Filesystem on NVM / Self-Driving Car on Dessert
#03: New Grads Struggle / Data Scientists Strive
#02: Android Intent / GPU Raytracer
#01: Tensor Comprehensions, Rust Belt
👋

2024 (19)
2023 (18)
2022 (17)
2021 (2)
2020 (10)
2019 (38)
2018 (45)

Home
RSS
iTunes
Pocket Casts
Spotify
YouTube Music
YouTube

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

登録開始日
- Misreading Chat
- WordPress.com のアカウントをすでにお持ちですか ? 今すぐログイン