コンテンツへスキップ

Misreading Chat

CS の論文読んで話をしよう!

  • Home
  • RSS
  • iTunes
  • Pocket Casts
  • Spotify
  • YouTube Music
  • YouTube

#89: Conflict-free Replicated Data Types

並列編集しても衝突しないデータ構造 CRDT に森田が入門します。

並列編集しても衝突しないデータ構造 CRDT に森田が入門します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。iTunes のレビューや星も歓迎です。


  • Conflict-free Replicated Data Types – Archive ouverte HAL
  • A commutative replicated data type for cooperative editing – Archive ouverte HAL
  • Dynamo: Amazon’s Highly Available Key-value Store
  • About CRDTs • Conflict-free Replicated Data Types
  • xi-editor/crdt-details.md at master · xi-editor/xi-editor · GitHub
  • xi-editor/crdt-details.md at master · xi-editor/xi-editor · GitHub
  • Towards a text editor construction kit · Issue #1187 · xi-editor/xi-editor · GitHub

共有:

  • クリックして X で共有 (新しいウィンドウで開きます) X
  • Facebook で共有するにはクリックしてください (新しいウィンドウで開きます) Facebook
不明 のアバター投稿者 Hajime Morrita投稿日: 2020-10-312020-10-24カテゴリー episodes

投稿ナビゲーション

前 過去の投稿: #88: A History of Haskell: being lazy with class
次 次の投稿: #90: Evaluation of splittable pseudo-random generators

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 のアカウントをすでにお持ちですか ? 今すぐログイン
    • Misreading Chat
    • 登録 開始日
    • 登録
    • ログイン
    • 短縮リンクをコピー
    • このコンテンツを報告
    • Reader で投稿を表示
    • 購読管理
    • このバーを折りたたむ