2015arXiv
A Critique of the CAP Theorem
Martin Kleppmann
The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases.
6 mentions6 months
3.5HN score
Distributed systems
Follow the ideas that keep turning up in Hacker News discussions.
Loading full catalog… in Distributed systems
2020arXiv
Paxos vs Raft: Have we reached consensus on distributed consensus?
Heidi Howard, Richard Mortier
Distributed consensus is a fundamental primitive for constructing fault-tolerant, strongly-consistent distributed systems.
12 mentions8 months
1.5HN score
2016arXiv
Flexible Paxos: Quorum intersection revisited
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
Distributed consensus is integral to modern distributed systems.
4 mentions4 months
1.5HN score
1970Communications of the ACM
A relational model of data for large shared data banks
E. F. Codd
Future users of large data banks must be protected from having to know how the data is organized in the machine (the internal representation).
4 mentions4 months
1.5HN score
2023arXiv
TinyStories: How Small Can Language Models Be and Still Speak Coherent English?
Ronen Eldan, Yuanzhi Li
Language models (LMs) are powerful tools for natural language processing, but they often struggle to produce coherent and fluent text when they are small.
32 mentions14 months
1HN score
2024arXiv
Quantum error correction below the surface code threshold
Rajeev Acharya, Laleh Aghababaie-Beni, Igor Aleiner +246
Quantum error correction provides a path to reach practical quantum computing by combining multiple physical qubits into a logical qubit, where the logical error rate is suppressed exponentially as more qubits are added.
19 mentions10 months
1HN score
2019arXiv
Keeping CALM: When Distributed Consistency is Easy
Joseph M. Hellerstein, Peter Alvaro
A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics.
15 mentions13 months
1HN score
2024arXiv
Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction
Blaise Agüera y Arcas, Jyrki Alakuijala, James Evans +5
The fields of Origin of Life and Artificial Life both question what life is and how it emerges from a distinct set of "pre-life" dynamics.
11 mentions7 months
1HN score
2012arXiv
Surface codes: Towards practical large-scale quantum computation
Austin G. Fowler, Matteo Mariantoni, John M. Martinis +1
This article provides an introduction to surface code quantum computing.
8 mentions8 months
1HN score
2015arXiv
A Neural Conversational Model
Oriol Vinyals, Quoc Le
Conversational modeling is an important task in natural language understanding and machine intelligence.
7 mentions6 months
1HN score
2018arXiv
Real Differences between OT and CRDT for Co-Editors
Chengzheng Sun, David Sun, Agustina +1
OT (Operational Transformation) was invented for supporting real-time co-editors in the late 1980s and has evolved to become a core technique used in today's working co-editors and adopted in major industrial products.
6 mentions6 months
1HN score
2018arXiv
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan +1
We introduce OpSets, an executable framework for specifying and reasoning about the semantics of replicated datatypes that provide eventual consistency in a distributed system, and for mechanically verifying algorithms that implement these datatypes.
5 mentions5 months
1HN score
2020arXiv
Forecasting timelines of quantum computing
Jaime Sevilla, C. Jess Riedel
We consider how to forecast progress in the domain of quantum computing.
4 mentions4 months
1HN score
2013arXiv
Majority is not Enough: Bitcoin Mining is Vulnerable
Ittay Eyal, Emin Gun Sirer
The Bitcoin cryptocurrency records its transactions in a public log called the blockchain.
11 mentions8 months
0HN score
2022arXiv
Diffusion Art or Digital Forgery? Investigating Data Replication in Diffusion Models
Gowthami Somepalli, Vasu Singla, Micah Goldblum +2
Cutting-edge diffusion models produce images with high quality and customizability, enabling them to be used for commercial art and graphic design purposes.
11 mentions4 months
0HN score
2023arXiv
QLoRA: Efficient Finetuning of Quantized LLMs
Tim Dettmers, Artidoro Pagnoni, Ari Holtzman +1
We present QLoRA, an efficient finetuning approach that reduces memory usage enough to finetune a 65B parameter model on a single 48GB GPU while preserving full 16-bit finetuning task performance.
10 mentions6 months
0HN score
2025arXiv
s1: Simple test-time scaling
Niklas Muennighoff, Zitong Yang, Weijia Shi +7
Test-time scaling is a promising new approach to language modeling that uses extra test-time compute to improve performance.
10 mentions5 months
0HN score
2022arXiv
Discovering Latent Knowledge in Language Models Without Supervision
Collin Burns, Haotian Ye, Dan Klein +1
Existing techniques for training language models can be misaligned with the truth: if we train models with imitation learning, they may reproduce errors that humans make; if we train them to generate text that humans rate highly, they may output errors that human evaluators can't detect.
9 mentions4 months
0HN score
2023arXiv
Accelerating Large Language Model Decoding with Speculative Sampling
Charlie Chen, Sebastian Borgeaud, Geoffrey Irving +3
We present speculative sampling, an algorithm for accelerating transformer decoding by enabling the generation of multiple tokens from each transformer call.
8 mentions6 months
0HN score
2019arXiv
Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors
David Sun, Chengzheng Sun, Agustina Ng +1
OT (Operational Transformation) was invented for supporting real-time co-editors in the late 1980s and has evolved to become core techniques widely used in today's working co-editors and adopted in industrial products.
7 mentions5 months
0HN score
2020arXiv
Combining GHOST and Casper
Vitalik Buterin, Diego Hernandez, Thor Kamphefner +6
We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain.
7 mentions4 months
0HN score
2022arXiv
Large Language Models Can Self-Improve
Jiaxin Huang, Shixiang Shane Gu, Le Hou +4
Large Language Models (LLMs) have achieved excellent performances in various tasks.
7 mentions4 months
0HN score
2013arXiv
Distributed Representations of Words and Phrases and their Compositionality
Tomas Mikolov, Ilya Sutskever, Kai Chen +2
The recently introduced continuous Skip-gram model is an efficient method for learning high-quality distributed vector representations that capture a large number of precise syntactic and semantic word relationships.
6 mentions3 months
0HN score
2014arXiv
word2vec Explained: deriving Mikolov et al.'s negative-sampling word-embedding method
Yoav Goldberg, Omer Levy
The word2vec software of Tomas Mikolov and colleagues (https://code.google.com/p/word2vec/ ) has gained a lot of traction lately, and provides state-of-the-art word embeddings.
6 mentions5 months
0HN score
2014arXiv
Distributed Representations of Sentences and Documents
Quoc V. Le, Tomas Mikolov
Many machine learning algorithms require the input to be represented as a fixed-length feature vector.
6 mentions5 months
0HN score
2016arXiv
Algorand
Jing Chen, Silvio Micali
A public ledger is a tamperproof sequence of data that can be read and augmented by everyone.
6 mentions4 months
0HN score
2018arXiv
Quantum Computing in the NISQ era and beyond
John Preskill
Noisy Intermediate-Scale Quantum (NISQ) technology will be available in the near future.
6 mentions5 months
0HN score
2019arXiv
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Philip Daian, Steven Goldfeder, Tyler Kell +5
Blockchains, and specifically smart contracts, have promised to create fair and transparent trading ecosystems.
6 mentions5 months
0HN score
2021arXiv
Silent Data Corruptions at Scale
Harish Dattatraya Dixit, Sneha Pendharkar, Matt Beadon +4
Silent Data Corruption (SDC) can have negative impact on large-scale infrastructure services.
6 mentions6 months
0HN score
2022arXiv
Monolith: Real Time Recommendation System With Collisionless Embedding Table
Zhuoran Liu, Leqi Zou, Xuan Zou +8
Building a scalable and real-time recommendation system is vital for many businesses driven by time-sensitive customer feedback, such as short-videos ranking or online ads.
6 mentions6 months
0HN score