- See Also
- Gwern
-
Links
- “Polyamorous Scheduling”, Gąsieniec et al 2024
- “Efficient Parallelization of an Ubiquitous Sequential Computation”, Heinsen 2023
- “Towards Automatic Design of Factorio Blueprints”, Patterson et al 2023
- “U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning”, Hsu & Serrão 2023
- “Blockwise Parallel Transformer for Long Context Large Models”, Liu & Abbeel 2023
- “You And Your Research”, Hamming 2023
- “Monolith: Real Time Recommendation System With Collisionless Embedding Table”, Liu et al 2022
- “A Library for Representing Python Programs As Graphs for Machine Learning”, Bieber et al 2022
- “TextWorldExpress: Simulating Text Games at One Million Steps Per Second”, Jansen & Côté 2022
- “Learning With Combinatorial Optimization Layers: a Probabilistic Approach”, Dalle et al 2022
- “Overwatch: Learning Patterns in Code Edit Sequences”, Zhang et al 2022
- “Heisenbugs: The Most Elusive Kind of Bug, and How to Capture Them With Perfect Replayability—Eliminate Heisenbugs and Endless Debugging Sessions!”, Ovadia 2022
- “Progress in Mathematical Programming Solvers 2001–2020”, Koch et al 2022
- “Searching for Cyclic TV Reference Paradoxes”, Pinheiro 2022
- “Fast Text Placement Scheme for ASCII Art Synthesis”, Chung & Kwon 2022
- “Monarch: Expressive Structured Matrices for Efficient and Accurate Training”, Dao et al 2022
- “Maximum Flow and Minimum-Cost Flow in Almost-Linear Time”, Chen et al 2022
- “Bamboo Trimming Revisited: Simple Algorithms Can Do Well Too”, Kuszmaul 2022
- “What Goes into Making an OS to Be Unix Compliant Certified?”, Lambert 2022
- “Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow”, Tambon et al 2021
- “Improving Real-Time Rendering of Dynamic Digital Characters in Cycles”, Dietrich 2021
- “Real Time Cluster Path Tracing”, Xie et al 2021
- “Small-Amp: Test Amplification in a Dynamically Typed Language”, Abdi et al 2021
- “Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs”, Sonnerat et al 2021
- “Real-Time Neural Radiance Caching for Path Tracing”, Müller et al 2021
- “Randomness In Neural Network Training: Characterizing The Impact of Tooling”, Zhuang et al 2021
- “How Developers Choose Names”, Feitelson et al 2021
- “Pretrained Transformers As Universal Computation Engines”, Lu et al 2021
- “Entropy Trade-Offs in Artistic Design: A Case Study of Tamil kolam”, Tran et al 2021
- “Investment vs. Reward in a Competitive Knapsack Problem”, Neumann & Gros 2021
- “MLGO: a Machine Learning Guided Compiler Optimizations Framework”, Trofin et al 2021
- “NNUE: The Neural Network of the Stockfish Chess Engine”, Goucher 2021
- “I Know What You Bought At Chipotle for $9.81 by Solving A Linear Inverse Problem”, Fleder & Shah 2020
- “Presyn: Modeling Black-Box Components With Probabilistic Synthesis”, Collie et al 2020
- “Why Johnny Won’t Upgrade”, Mattheij 2020
- “Optimal Peanut Butter and Banana Sandwiches”, Rosenthal 2020
- “A Time Leap Challenge for SAT Solving”, Fichte et al 2020
- “Measuring Hardware Overhang”, hippke 2020
- “A Bayesian Approach to the Simulation Argument”, Kipping 2020
- “Algorithms With Predictions”, Mitzenmacher & Vassilvitskii 2020
- “BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits”, Tiwari et al 2020
- “Funnel-Transformer: Filtering out Sequential Redundancy for Efficient Language Processing”, Dai et al 2020
- “Lessons Learned from Bugs in Models of Human History”, Ragsdale et al 2020
- “Measuring the Algorithmic Efficiency of Neural Networks”, Hernandez & Brown 2020
- “Bringing GNU Emacs to Native Code”, Corallo et al 2020
- “Learning-Based Memory Allocation for C++ Server Workloads”, Maas et al 2020
- “The History of the URL”, Bloom 2020
- “Quantifying Independently Reproducible Machine Learning”, Raff 2020
- “Solving Billion-Scale Knapsack Problems”, Zhang et al 2020
- “Taxonomy of Real Faults in Deep Learning Systems”, Humbatova et al 2019
- “They Might Never Tell You It’s Broken”, Chevalier-Boisvert 2019
- “Co-Dfns: A Data Parallel Compiler Hosted on the GPU”, Hsu 2019c
- “Hyrum’s Law: An Observation on Software Engineering”, Wright 2019
- “Grandmaster Level in StarCraft II Using Multi-Agent Reinforcement Learning”, Vinyals et al 2019
- “Local-First Software: You Own Your Data, in spite of the Cloud [paper]”, Kleppmann et al 2019
- “Gated Linear Networks”, Veness et al 2019
- “A Step Toward Quantifying Independently Reproducible Machine Learning Research”, Raff 2019
- “Different Languages, Similar Encoding Efficiency: Comparable Information Rates across the Human Communicative Niche”, Coupé et al 2019
- “A View on Deep Reinforcement Learning in System Optimization”, Haj-Ali et al 2019
- “Moral Permissibility of Action Plans”, Lindner et al 2019
- “ParPaRaw: Massively Parallel Parsing of Delimiter-Separated Raw Data”, Stehle & Jacobsen 2019
- “Real-World Dynamic Programming: Seam Carving”, Das 2019
- “Local-First Software: You Own Your Data, in spite of the Cloud [web]”, Kleppmann et al 2019
- “GAP: Generalizable Approximate Graph Partitioning Framework”, Nazi et al 2019
- “Parsing Gigabytes of JSON per Second”, Langdale & Lemire 2019
- “AutoPhase: Compiler Phase-Ordering for High Level Synthesis With Deep Reinforcement Learning”, Haj-Ali et al 2019
- “Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch”, Wiener 2019
- “Meta-Learning Neural Bloom Filters”, Rae 2019
- “SageDB: A Learned Database System”, Kraska 2019
- “Test Driving 'Power of Two Random Choices' Load Balancing”, Tarreau 2019
- “Slow Software”, McGranaghan 2018
- “Learning to Perform Local Rewriting for Combinatorial Optimization”, Chen & Tian 2018
- “How to Shuffle a Big Dataset”, Hardin 2018
- “Deterministic Implementations for Reproducibility in Deep Reinforcement Learning”, Nagarajan et al 2018
- “Learning to Optimize Join Queries With Deep Reinforcement Learning”, Krishnan et al 2018
- “Learning to Optimize Tensor Programs”, Chen et al 2018
- “Optimizing Query Evaluations Using Reinforcement Learning for Web Search”, Rosset et al 2018
- “Learning Memory Access Patterns”, Hashemi et al 2018
- “Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions”, Vasilache et al 2018
- “Innovation and Cumulative Culture through Tweaks and Leaps in Online Programming Contests”, Miu et al 2018
- “The Case for Learned Index Structures”, Kraska et al 2017
- “Automatic Differentiation in PyTorch”, Paszke et al 2017
- “From Punched Cards to Flat Screens: A Technical Autobiography”, Hazel 2017
- “DAG Reduction: Fast Answering Reachability Queries”, Zhou et al 2017
- “Stochastic Constraint Programming As Reinforcement Learning”, Prestwich et al 2017
- “Learning to Superoptimize Programs”, Bunel et al 2017
- “Web Bloat”, Luu 2017
- “Resource-Efficient Machine Learning in 2 KB RAM for the Internet of Things”, Kumar et al 2017
- “Machine Learning for Systems and Systems for Machine Learning”, Dean 2017
- “P≟NP § AI”, Aaronson 2017 (page 5)
- “Coz: Finding Parallel Code That Counts With Causal Profiling”, Curtsinger & Berger 2016
- “A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents”, Aziz & Mackenzie 2016
- “Why WhatsApp Only Needs 50 Engineers for Its 900M Users: One of the (many) Intriguing Parts of the WhatsApp Story Is That It Has Achieved Such Enormous Scale With Such a Tiny Team”, Metz 2015
- “Scalability! But at What COST?”, McSherry et al 2015
- “Inferring Algorithmic Patterns With Stack-Augmented Recurrent Nets”, Holdings et al 2015
- “The Ph.D. Grind: A Ph.D. Student Memoir”, Guo 2015
- “The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems—Can We Trust in Them?”, Durán et al 2014
- “The Mystery Machine: End-To-End Performance Analysis of Large-Scale Internet Services”, Chow et al 2014
- “How Inefficient Can a Sort Algorithm Be?”, Lerma 2014
- “Core-Guided MaxSAT With Soft Cardinality Constraints”, Morgado et al 2014
- “Algorithmic Progress in Six Domains”, Grace 2013
- “Intelligence Explosion Microeconomics”, Yudkowsky 2013
- “Homotopy Groups of Suspended Classifying Spaces: An Experimental Approach”, Romero & Rubio 2013
- “Bounded Kolmogorov Complexity Based on Cognitive Models”, Strannegård et al 2013
- “Really Automatic Scalable Object-Oriented Reengineering”, Trudel et al 2013
- “Planning As Satisfiability: Heuristics”, Rintanen 2012
- “The Algebraic Combinatorial Approach for Low-Rank Matrix Completion”, Király et al 2012
- “Evaluating the Design of the R Language: Objects and Functions for Data Analysis”, Morandat et al 2012
- “The International SAT Solver Competitions”, Järvisalo et al 2012
- “Uniform Random Generation of Large Acyclic Digraphs”, Kuipers & Moffa 2012
- “National Cryptologic Museum Opens New Exhibit on Dr. John Nash”, NSA 2012
- “A Brief History of NP-Completeness, 1954–2012”, Johnson 2012
- “Cutting the Pipe: Achieving Sub-Second Iteration Times”, 5.1.1 2012
- “STEPS Toward Expressive Programming Systems: "A Science Experiment"”, Ohshima et al 2012 (page 2)
- “Why Philosophers Should Care About Computational Complexity”, Aaronson 2011
- “You’re Doing It Wrong: Think You’ve Mastered the Art of Server Performance? Think Again.”, Kamp 2010
- “Formal Theory of Creativity & Fun & Intrinsic Motivation (1990–2010)”, Schmidhuber 2010
- “Coolex: The Coolest Way to Generate Combinations”, Ruskey & Williams 2009
- “De-Anonymizing Social Networks”, Narayanan & Shmatikov 2009
- “The Gödel Letter”, Gödel 2009
- “Producing Wrong Data Without Doing Anything Obviously Wrong!”, Mytkowicz et al 2009
- “Is There A Fourth Futamura Projection?”, Robert 2009
- “Dual-Pivot Quicksort Algorithm”, Yaroslavskiy 2009
- “Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes”, Schmidhuber 2008
- “Aggregating Inconsistent Information: Ranking and Clustering”, Ailon et al 2008
- “Bigtable: A Distributed Storage System for Structured Data”, Chang et al 2008
- “Interview With Donald Knuth”, Binstock 2008
- “Optimal Boarding Method for Airline Passengers”, Steffen 2008
- “Harnessing Vision for Computation”, Changizi 2008
- “Communication in Economic Mechanisms”, Segal 2006b
- “How To Break Anonymity of the Netflix Prize Dataset”, Narayanan & Shmatikov 2006
- “Global Multiple Objective Line Breaking”, Holkner 2006
- “Oral History of Butler Lampson § WWW”, Lampson & Kay 2006 (page 36)
- “History of Combinatorial Generation (The Art of Computer Programming: Volume 4: Pre-Fascicle 4B: §7.2.1.7) § Pg22”, Knuth 2005 (page 22)
- “Modeling Bursts and Heavy Tails in Human Dynamics”, Vazquez et al 2005
- “NP-Complete Problems and Physical Reality”, Aaronson 2005
- “Lower-Stretch Spanning Trees”, Elkin et al 2004
- “A Short History of Computational Complexity”, Fortnow et al 2003
- “Least Effort and the Origins of Scaling in Human Language”, Cancho & Sole 2003
- “Extended Comment on Language Trees and Zipping”, Goodman 2002
- “Solving Real-World Linear Programs: A Decade and More of Progress”, Bixby 2002
- “A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances”, Hyyrö 2002
- “Naked Objects: a Technique for Designing More Expressive Systems”, Pawson & Matthews 2001
- “On Proebsting’s Law”, Scott 2001
- “Peopleware: Why Measure Performance”, DeMarco & Lister 2001
- “The Effects of Moore’s Law and Slacking on Large Computations”, Gottbrath et al 1999
- “Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
- “The Concave Least-Weight Subsequence Problem Revisited”, Wilber 1998
- “Applications of Randomness in System Performance Measurement”, Blackwell 1998
- “The PageRank Citation Ranking: Bringing Order to the Web”, Page et al 1998
- “Proebsting’s Law: Compiler Advances Double Computing Power Every 18 Years”, Proebsting 1998
- “George Prices’s Contributions to Evolutionary Genetics”, Frank 1995
- “The Nature of Selection”, Price 1995
- “A Plea for Lean Software”, Wirth 1995
- “Building a Large Annotated Corpus of English: The Penn Treebank”, Marcus et al 1993
- “On the Computational Complexity of the Jones and Tutte Polynomials”, Jaeger et al 1990
- “A Linear-Time Algorithm for Concave One-Dimensional Dynamic Programming”, Galil & Park 1990
- “Planning and Learning in Permutation Groups”, Mose et al 1989
- “Separating Strings With Small Automata”, Robson 1989
- “Optimal Nonlinear Approximation”, DeVore et al 1989
- “Hypertext and the Oxford English Dictionary”, Raymond & Tompa 1988
- “Three Scientists and Their Gods: Looking for Meaning in an Age of Information”, Wright 1988
- “Incentive Engineering: for Computational Resource Management”, Drexler & Miller 1988
- “The Least Weight Subsequence Problem”, Hirschberg & Larmore 1987
- “Geometric Applications of a Matrix Searching Algorithm”, Aggarwal et al 1986
- “Average Case Complete Problems”, Levin 1986
- “Probabilistic Counting Algorithms for Data Base Applications”, Flajolet & Martin 1985
- “Programming As Theory Building”, Naur 1985
- “The Competitive Allocation Process Is Informationally Efficient Uniquely”, Jordan 1982
- “Epigrams on Programming”, Perlis 1982
- “Procedural Reflection in Programming Languages”, Smith 1982
- “On Holy Wars and a Plea for Peace”, Cohen 1981
- “Mutation Analysis Of Program Test Data”, Budd 1980
- “A Correct Preprocessing Algorithm for Boyer-Moore String-Searching”, Rytter 1980
- “Algorithms for Loop Matchings”, Nussinov et al 1978
- “Fast Pattern Matching in Strings”, Knuth et al 1977
-
“Structured Programming With
go ToStatements”, Knuth 1974 - “Interstellar Communication: Scientific Perspectives”, Ponnamperuma & Cameron 1974
- “A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations”, Kogge & Stone 1973
- “Universal Sequential Search Problems”, Levin 1973
- “The Dangers of Computer-Science Theory”, Knuth 1973
- “The Humble Programmer [EWD340]”, Dijkstra 1972
- “The Pattern of Streets”, Alexander 1966
- “A Simple Randomization Procedure”, Sandelius 1962
- “Generation of Random Permutations of Given Number of Elements Using Random Sampling Numbers”, Rao 1961
- “Addressing for Random-Access Storage”, Peterson 1957
- “Chance Remarks”, Pierce 1949
- “The Codeless Code: Case 96: ‘Stateless’”
-
“Submission #6347: Chef Stef’s NES Arkanoid
warplessin 11:11.18” - “TSP Art”
- Wikipedia
- Miscellaneous
- Link Bibliography
See Also
Gwern
“The Scaling Hypothesis”, Gwern 2020
“Computer Optimization: Your Computer Is Faster Than You Think”, Gwern 2021
Computer Optimization: Your Computer Is Faster Than You Think
Links
“Polyamorous Scheduling”, Gąsieniec et al 2024
“Efficient Parallelization of an Ubiquitous Sequential Computation”, Heinsen 2023
Efficient Parallelization of an Ubiquitous Sequential Computation
“Towards Automatic Design of Factorio Blueprints”, Patterson et al 2023
“U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning”, Hsu & Serrão 2023
U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
“Blockwise Parallel Transformer for Long Context Large Models”, Liu & Abbeel 2023
Blockwise Parallel Transformer for Long Context Large Models
“You And Your Research”, Hamming 2023
“Monolith: Real Time Recommendation System With Collisionless Embedding Table”, Liu et al 2022
Monolith: Real Time Recommendation System With Collisionless Embedding Table
“A Library for Representing Python Programs As Graphs for Machine Learning”, Bieber et al 2022
A Library for Representing Python Programs as Graphs for Machine Learning
“TextWorldExpress: Simulating Text Games at One Million Steps Per Second”, Jansen & Côté 2022
TextWorldExpress: Simulating Text Games at One Million Steps Per Second
“Learning With Combinatorial Optimization Layers: a Probabilistic Approach”, Dalle et al 2022
Learning with Combinatorial Optimization Layers: a Probabilistic Approach
“Overwatch: Learning Patterns in Code Edit Sequences”, Zhang et al 2022
“Heisenbugs: The Most Elusive Kind of Bug, and How to Capture Them With Perfect Replayability—Eliminate Heisenbugs and Endless Debugging Sessions!”, Ovadia 2022
“Progress in Mathematical Programming Solvers 2001–2020”, Koch et al 2022
“Searching for Cyclic TV Reference Paradoxes”, Pinheiro 2022
“Fast Text Placement Scheme for ASCII Art Synthesis”, Chung & Kwon 2022
“Monarch: Expressive Structured Matrices for Efficient and Accurate Training”, Dao et al 2022
Monarch: Expressive Structured Matrices for Efficient and Accurate Training
“Maximum Flow and Minimum-Cost Flow in Almost-Linear Time”, Chen et al 2022
“Bamboo Trimming Revisited: Simple Algorithms Can Do Well Too”, Kuszmaul 2022
Bamboo Trimming Revisited: Simple Algorithms Can Do Well Too
“What Goes into Making an OS to Be Unix Compliant Certified?”, Lambert 2022
“Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow”, Tambon et al 2021
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
“Improving Real-Time Rendering of Dynamic Digital Characters in Cycles”, Dietrich 2021
Improving Real-time Rendering of Dynamic Digital Characters in Cycles
“Real Time Cluster Path Tracing”, Xie et al 2021
“Small-Amp: Test Amplification in a Dynamically Typed Language”, Abdi et al 2021
Small-Amp: Test Amplification in a Dynamically Typed Language
“Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs”, Sonnerat et al 2021
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
“Real-Time Neural Radiance Caching for Path Tracing”, Müller et al 2021
“Randomness In Neural Network Training: Characterizing The Impact of Tooling”, Zhuang et al 2021
Randomness In Neural Network Training: Characterizing The Impact of Tooling
“How Developers Choose Names”, Feitelson et al 2021
“Pretrained Transformers As Universal Computation Engines”, Lu et al 2021
“Entropy Trade-Offs in Artistic Design: A Case Study of Tamil kolam”, Tran et al 2021
Entropy trade-offs in artistic design: A case study of Tamil kolam
“Investment vs. Reward in a Competitive Knapsack Problem”, Neumann & Gros 2021
“MLGO: a Machine Learning Guided Compiler Optimizations Framework”, Trofin et al 2021
MLGO: a Machine Learning Guided Compiler Optimizations Framework
“NNUE: The Neural Network of the Stockfish Chess Engine”, Goucher 2021
“I Know What You Bought At Chipotle for $9.81 by Solving A Linear Inverse Problem”, Fleder & Shah 2020
I Know What You Bought At Chipotle for $9.81 by Solving A Linear Inverse Problem
“Presyn: Modeling Black-Box Components With Probabilistic Synthesis”, Collie et al 2020
Presyn: Modeling Black-Box Components with Probabilistic Synthesis
“Why Johnny Won’t Upgrade”, Mattheij 2020
“Optimal Peanut Butter and Banana Sandwiches”, Rosenthal 2020
“A Time Leap Challenge for SAT Solving”, Fichte et al 2020
“Measuring Hardware Overhang”, hippke 2020
“A Bayesian Approach to the Simulation Argument”, Kipping 2020
“Algorithms With Predictions”, Mitzenmacher & Vassilvitskii 2020
“BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits”, Tiwari et al 2020
BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits
“Funnel-Transformer: Filtering out Sequential Redundancy for Efficient Language Processing”, Dai et al 2020
Funnel-Transformer: Filtering out Sequential Redundancy for Efficient Language Processing
“Lessons Learned from Bugs in Models of Human History”, Ragsdale et al 2020
“Measuring the Algorithmic Efficiency of Neural Networks”, Hernandez & Brown 2020
“Bringing GNU Emacs to Native Code”, Corallo et al 2020
“Learning-Based Memory Allocation for C++ Server Workloads”, Maas et al 2020
“The History of the URL”, Bloom 2020
“Quantifying Independently Reproducible Machine Learning”, Raff 2020
“Solving Billion-Scale Knapsack Problems”, Zhang et al 2020
“Taxonomy of Real Faults in Deep Learning Systems”, Humbatova et al 2019
“They Might Never Tell You It’s Broken”, Chevalier-Boisvert 2019
“Co-Dfns: A Data Parallel Compiler Hosted on the GPU”, Hsu 2019c
“Hyrum’s Law: An Observation on Software Engineering”, Wright 2019
“Grandmaster Level in StarCraft II Using Multi-Agent Reinforcement Learning”, Vinyals et al 2019
Grandmaster level in StarCraft II using multi-agent reinforcement learning
“Local-First Software: You Own Your Data, in spite of the Cloud [paper]”, Kleppmann et al 2019
Local-First Software: You Own Your Data, in spite of the Cloud [paper]
“Gated Linear Networks”, Veness et al 2019
“A Step Toward Quantifying Independently Reproducible Machine Learning Research”, Raff 2019
A Step Toward Quantifying Independently Reproducible Machine Learning Research
“Different Languages, Similar Encoding Efficiency: Comparable Information Rates across the Human Communicative Niche”, Coupé et al 2019
“A View on Deep Reinforcement Learning in System Optimization”, Haj-Ali et al 2019
A View on Deep Reinforcement Learning in System Optimization
“Moral Permissibility of Action Plans”, Lindner et al 2019
“ParPaRaw: Massively Parallel Parsing of Delimiter-Separated Raw Data”, Stehle & Jacobsen 2019
ParPaRaw: Massively Parallel Parsing of Delimiter-Separated Raw Data
“Real-World Dynamic Programming: Seam Carving”, Das 2019
“Local-First Software: You Own Your Data, in spite of the Cloud [web]”, Kleppmann et al 2019
Local-first software: You own your data, in spite of the cloud [web]
“GAP: Generalizable Approximate Graph Partitioning Framework”, Nazi et al 2019
“Parsing Gigabytes of JSON per Second”, Langdale & Lemire 2019
“AutoPhase: Compiler Phase-Ordering for High Level Synthesis With Deep Reinforcement Learning”, Haj-Ali et al 2019
AutoPhase: Compiler Phase-Ordering for High Level Synthesis with Deep Reinforcement Learning
“Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch”, Wiener 2019
Reinventing the Wheel: Discovering the Optimal Rolling Shape with PyTorch
“Meta-Learning Neural Bloom Filters”, Rae 2019
“SageDB: A Learned Database System”, Kraska 2019
“Test Driving 'Power of Two Random Choices' Load Balancing”, Tarreau 2019
“Slow Software”, McGranaghan 2018
“Learning to Perform Local Rewriting for Combinatorial Optimization”, Chen & Tian 2018
Learning to Perform Local Rewriting for Combinatorial Optimization
“How to Shuffle a Big Dataset”, Hardin 2018
“Deterministic Implementations for Reproducibility in Deep Reinforcement Learning”, Nagarajan et al 2018
Deterministic Implementations for Reproducibility in Deep Reinforcement Learning
“Learning to Optimize Join Queries With Deep Reinforcement Learning”, Krishnan et al 2018
Learning to Optimize Join Queries With Deep Reinforcement Learning
“Learning to Optimize Tensor Programs”, Chen et al 2018
“Optimizing Query Evaluations Using Reinforcement Learning for Web Search”, Rosset et al 2018
Optimizing Query Evaluations using Reinforcement Learning for Web Search
“Learning Memory Access Patterns”, Hashemi et al 2018
“Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions”, Vasilache et al 2018
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
“Innovation and Cumulative Culture through Tweaks and Leaps in Online Programming Contests”, Miu et al 2018
Innovation and cumulative culture through tweaks and leaps in online programming contests
“The Case for Learned Index Structures”, Kraska et al 2017
“Automatic Differentiation in PyTorch”, Paszke et al 2017
“From Punched Cards to Flat Screens: A Technical Autobiography”, Hazel 2017
From Punched Cards to Flat Screens: A Technical Autobiography:
View PDF:
“DAG Reduction: Fast Answering Reachability Queries”, Zhou et al 2017
“Stochastic Constraint Programming As Reinforcement Learning”, Prestwich et al 2017
“Learning to Superoptimize Programs”, Bunel et al 2017
“Web Bloat”, Luu 2017
“Resource-Efficient Machine Learning in 2 KB RAM for the Internet of Things”, Kumar et al 2017
Resource-Efficient Machine Learning in 2 KB RAM for the Internet of Things
“Machine Learning for Systems and Systems for Machine Learning”, Dean 2017
Machine Learning for Systems and Systems for Machine Learning
“P≟NP § AI”, Aaronson 2017 (page 5)
“Coz: Finding Parallel Code That Counts With Causal Profiling”, Curtsinger & Berger 2016
Coz: Finding Parallel Code that Counts with Causal Profiling
“A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents”, Aziz & Mackenzie 2016
A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents
“Why WhatsApp Only Needs 50 Engineers for Its 900M Users: One of the (many) Intriguing Parts of the WhatsApp Story Is That It Has Achieved Such Enormous Scale With Such a Tiny Team”, Metz 2015
“Scalability! But at What COST?”, McSherry et al 2015
“Inferring Algorithmic Patterns With Stack-Augmented Recurrent Nets”, Holdings et al 2015
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets
“The Ph.D. Grind: A Ph.D. Student Memoir”, Guo 2015
“The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems—Can We Trust in Them?”, Durán et al 2014
The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems—Can We Trust in Them?
“The Mystery Machine: End-To-End Performance Analysis of Large-Scale Internet Services”, Chow et al 2014
The Mystery Machine: End-to-end performance analysis of large-scale Internet services
“How Inefficient Can a Sort Algorithm Be?”, Lerma 2014
“Core-Guided MaxSAT With Soft Cardinality Constraints”, Morgado et al 2014
“Algorithmic Progress in Six Domains”, Grace 2013
“Intelligence Explosion Microeconomics”, Yudkowsky 2013
“Homotopy Groups of Suspended Classifying Spaces: An Experimental Approach”, Romero & Rubio 2013
Homotopy groups of suspended classifying spaces: An experimental approach
“Bounded Kolmogorov Complexity Based on Cognitive Models”, Strannegård et al 2013
“Really Automatic Scalable Object-Oriented Reengineering”, Trudel et al 2013
“Planning As Satisfiability: Heuristics”, Rintanen 2012
“The Algebraic Combinatorial Approach for Low-Rank Matrix Completion”, Király et al 2012
The Algebraic Combinatorial Approach for Low-Rank Matrix Completion
“Evaluating the Design of the R Language: Objects and Functions for Data Analysis”, Morandat et al 2012
Evaluating the Design of the R Language: Objects and Functions for Data Analysis
“The International SAT Solver Competitions”, Järvisalo et al 2012
“Uniform Random Generation of Large Acyclic Digraphs”, Kuipers & Moffa 2012
“National Cryptologic Museum Opens New Exhibit on Dr. John Nash”, NSA 2012
National Cryptologic Museum Opens New Exhibit on Dr. John Nash
“A Brief History of NP-Completeness, 1954–2012”, Johnson 2012
“Cutting the Pipe: Achieving Sub-Second Iteration Times”, 5.1.1 2012
“STEPS Toward Expressive Programming Systems: "A Science Experiment"”, Ohshima et al 2012 (page 2)
STEPS Toward Expressive Programming Systems: "A Science Experiment"
“Why Philosophers Should Care About Computational Complexity”, Aaronson 2011
“You’re Doing It Wrong: Think You’ve Mastered the Art of Server Performance? Think Again.”, Kamp 2010
You’re Doing It Wrong: Think you’ve mastered the art of server performance? Think again.
“Formal Theory of Creativity & Fun & Intrinsic Motivation (1990–2010)”, Schmidhuber 2010
Formal Theory of Creativity & Fun & Intrinsic Motivation (1990–2010)
“Coolex: The Coolest Way to Generate Combinations”, Ruskey & Williams 2009
“De-Anonymizing Social Networks”, Narayanan & Shmatikov 2009
“The Gödel Letter”, Gödel 2009
“Producing Wrong Data Without Doing Anything Obviously Wrong!”, Mytkowicz et al 2009
Producing Wrong Data Without Doing Anything Obviously Wrong!
“Is There A Fourth Futamura Projection?”, Robert 2009
Is There A Fourth Futamura Projection?:
View PDF:
“Dual-Pivot Quicksort Algorithm”, Yaroslavskiy 2009
“Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes”, Schmidhuber 2008
“Aggregating Inconsistent Information: Ranking and Clustering”, Ailon et al 2008
Aggregating inconsistent information: Ranking and clustering
“Bigtable: A Distributed Storage System for Structured Data”, Chang et al 2008
“Interview With Donald Knuth”, Binstock 2008
“Optimal Boarding Method for Airline Passengers”, Steffen 2008
“Harnessing Vision for Computation”, Changizi 2008
“Communication in Economic Mechanisms”, Segal 2006b
“How To Break Anonymity of the Netflix Prize Dataset”, Narayanan & Shmatikov 2006
“Global Multiple Objective Line Breaking”, Holkner 2006
“Oral History of Butler Lampson § WWW”, Lampson & Kay 2006 (page 36)
“History of Combinatorial Generation (The Art of Computer Programming: Volume 4: Pre-Fascicle 4B: §7.2.1.7) § Pg22”, Knuth 2005 (page 22)
“Modeling Bursts and Heavy Tails in Human Dynamics”, Vazquez et al 2005
“NP-Complete Problems and Physical Reality”, Aaronson 2005
“Lower-Stretch Spanning Trees”, Elkin et al 2004
“A Short History of Computational Complexity”, Fortnow et al 2003
“Least Effort and the Origins of Scaling in Human Language”, Cancho & Sole 2003
“Extended Comment on Language Trees and Zipping”, Goodman 2002
“Solving Real-World Linear Programs: A Decade and More of Progress”, Bixby 2002
Solving Real-World Linear Programs: A Decade and More of Progress
“A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances”, Hyyrö 2002
A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances
“Naked Objects: a Technique for Designing More Expressive Systems”, Pawson & Matthews 2001
Naked objects: a technique for designing more expressive systems
“On Proebsting’s Law”, Scott 2001
“Peopleware: Why Measure Performance”, DeMarco & Lister 2001
“The Effects of Moore’s Law and Slacking on Large Computations”, Gottbrath et al 1999
The Effects of Moore’s Law and Slacking on Large Computations
“Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
“The Concave Least-Weight Subsequence Problem Revisited”, Wilber 1998
“Applications of Randomness in System Performance Measurement”, Blackwell 1998
Applications of Randomness in System Performance Measurement
“The PageRank Citation Ranking: Bringing Order to the Web”, Page et al 1998
“Proebsting’s Law: Compiler Advances Double Computing Power Every 18 Years”, Proebsting 1998
Proebsting’s Law: Compiler Advances Double Computing Power Every 18 Years
“George Prices’s Contributions to Evolutionary Genetics”, Frank 1995
“The Nature of Selection”, Price 1995
“A Plea for Lean Software”, Wirth 1995
“Building a Large Annotated Corpus of English: The Penn Treebank”, Marcus et al 1993
Building a Large Annotated Corpus of English: The Penn Treebank
“On the Computational Complexity of the Jones and Tutte Polynomials”, Jaeger et al 1990
On the computational complexity of the Jones and Tutte polynomials
“A Linear-Time Algorithm for Concave One-Dimensional Dynamic Programming”, Galil & Park 1990
A linear-time algorithm for concave one-dimensional dynamic programming:
View PDF:
“Planning and Learning in Permutation Groups”, Mose et al 1989
“Separating Strings With Small Automata”, Robson 1989
Separating strings with small automata:
View PDF:
“Optimal Nonlinear Approximation”, DeVore et al 1989
“Hypertext and the Oxford English Dictionary”, Raymond & Tompa 1988
“Three Scientists and Their Gods: Looking for Meaning in an Age of Information”, Wright 1988
Three Scientists and Their Gods: Looking for Meaning in an Age of Information
“Incentive Engineering: for Computational Resource Management”, Drexler & Miller 1988
Incentive Engineering: for Computational Resource Management
“The Least Weight Subsequence Problem”, Hirschberg & Larmore 1987
“Geometric Applications of a Matrix Searching Algorithm”, Aggarwal et al 1986
“Average Case Complete Problems”, Levin 1986
“Probabilistic Counting Algorithms for Data Base Applications”, Flajolet & Martin 1985
Probabilistic counting algorithms for data base applications
“Programming As Theory Building”, Naur 1985
“The Competitive Allocation Process Is Informationally Efficient Uniquely”, Jordan 1982
The competitive allocation process is informationally efficient uniquely
“Epigrams on Programming”, Perlis 1982
“Procedural Reflection in Programming Languages”, Smith 1982
“On Holy Wars and a Plea for Peace”, Cohen 1981
“Mutation Analysis Of Program Test Data”, Budd 1980
“A Correct Preprocessing Algorithm for Boyer-Moore String-Searching”, Rytter 1980
A Correct Preprocessing Algorithm for Boyer-Moore String-Searching
“Algorithms for Loop Matchings”, Nussinov et al 1978
“Fast Pattern Matching in Strings”, Knuth et al 1977
“Structured Programming With go To Statements”, Knuth 1974
“Interstellar Communication: Scientific Perspectives”, Ponnamperuma & Cameron 1974
“A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations”, Kogge & Stone 1973
A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations
“Universal Sequential Search Problems”, Levin 1973
“The Dangers of Computer-Science Theory”, Knuth 1973
“The Humble Programmer [EWD340]”, Dijkstra 1972
“The Pattern of Streets”, Alexander 1966
“A Simple Randomization Procedure”, Sandelius 1962
“Generation of Random Permutations of Given Number of Elements Using Random Sampling Numbers”, Rao 1961
Generation of Random Permutations of Given Number of Elements Using Random Sampling Numbers
“Addressing for Random-Access Storage”, Peterson 1957
“Chance Remarks”, Pierce 1949
“The Codeless Code: Case 96: ‘Stateless’”
“Submission #6347: Chef Stef’s NES Arkanoid warpless in 11:11.18”
Submission #6347: Chef Stef’s NES Arkanoid warpless in 11:11.18
“TSP Art”
Wikipedia
Miscellaneous
-
/doc/cs/algorithm/2018-mcgranaghan-inkandswitch-slowsoftware-inputlatencycascade.png: -
/doc/cs/algorithm/2018-miu-figure1-progressofbestperformingprogramovertimeofcontest.jpg: -
/doc/cs/algorithm/2006-jared-wikimediaprovesgreenspunstenthlaw.html -
http://www.scholarpedia.org/article/Applications_of_algorithmic_information_theory -
https://adamdrake.com/command-line-tools-can-be-235x-faster-than-your-hadoop-cluster.html -
https://ahrm.github.io/jekyll/update/2022/04/14/using-languge-models-to-read-faster.html -
https://andreasjhkarlsson.github.io/jekyll/update/2023/12/27/4-billion-if-statements.html -
https://andrewpwheeler.com/2022/07/01/using-linear-programming-to-assess-spatial-access/ -
https://ashvardanian.com/posts/python-c-assembly-comparison/ -
https://benkrause.github.io/blog/human-level-text-prediction/ -
https://bertrandmeyer.com/2020/03/26/getting-program-right-nine-episodes/: -
https://blog.research.google/2022/09/tensorstore-for-high-performance.html -
https://bxt.rs/blog/just-how-much-faster-are-the-gnome-46-terminals/ -
https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext -
https://evoniuk.github.io/posts/pitfall.html:View HTML:
-
https://fgiesen.wordpress.com/2012/04/08/metaprogramming-for-madmen/:View External Link:
https://fgiesen.wordpress.com/2012/04/08/metaprogramming-for-madmen/ -
https://github.com/mgarciaisaia/JavaScript-Is-Weird-as-a-compressor -
https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/DESIGN.md#architecture: -
https://github.com/tigerbeetledb/tigerbeetle/blob/main/doc/DESIGN.md#architecture: -
https://google-research.github.io/self-organising-systems/2022/diff-fsm/ -
https://hedgehogreview.com/issues/markets-and-the-good/articles/language-machinery -
https://hirrolot.github.io/posts/sat-supercompilation.html: -
https://jacobbrazeal.wordpress.com/2023/07/09/computationally-optimal-sequences-of-barbell-plates/: -
https://johnnysswlab.com/decreasing-the-number-of-memory-accesses-the-compilers-secret-life-2-2/ -
https://jvns.ca/blog/2023/10/06/new-talk--making-hard-things-easy/ -
https://less.works/less/principles/queueing_theory#queueing-theory: -
https://mark.engineer/2023/11/speed-up-a-program-for-50-years-old-processor-by-180000/ -
https://math.ucr.edu/home/baez/information/information_geometry_8.html -
https://norvig.com/spell-correct.html:View HTML:
-
https://notes.billmill.org/blog/2024/03/mitzVah_-_the__worst__pangrams_part_2.html -
https://priceonomics.com/the-spectrum-auction-how-economists-saved-the-day/ -
https://psyche.co/ideas/as-language-evolves-who-wins-out-speakers-or-listeners: -
https://robertheaton.com/2018/12/17/wavefunction-collapse-algorithm/: -
https://sqlite-users.sqlite.narkive.com/CVRvSKBs/50-faster-than-3-7-17 -
https://trixter.oldskool.org/2015/04/07/8088-mph-we-break-all-your-emulators/:View External Link:
https://trixter.oldskool.org/2015/04/07/8088-mph-we-break-all-your-emulators/ -
https://use.expensify.com/blog/scaling-sqlite-to-4m-qps-on-a-single-server -
https://web.archive.org/web/20100322192300/http://33bits.org/2010/03/15/open-letter-to-netflix/ -
https://weblog.jamisbuck.org/2011/2/7/maze-generation-algorithm-recap.html -
https://www.ageofinvention.xyz/p/age-of-invention-the-beacons-are -
https://www.ctrl-alt-test.fr/2024/how-we-made-an-animated-movie-in-8kb/: -
https://www.eveonline.com/news/view/information-is-power-excel-release -
https://www.honeycomb.io/blog/hard-stuff-nobody-talks-about-llm -
https://www.johndcook.com/blog/2017/02/08/how-efficient-is-morse-code/:View External Link:
https://www.johndcook.com/blog/2017/02/08/how-efficient-is-morse-code/ -
https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/ -
https://www.lesswrong.com/posts/GveDmwzxiYHSWtZbv/shannon-s-surprising-discovery-1 -
https://www.lesswrong.com/posts/aRxDLju75KXD6PCpB/wolf-incident-postmortem:View External Link:
https://www.lesswrong.com/posts/aRxDLju75KXD6PCpB/wolf-incident-postmortem -
https://www.lesswrong.com/posts/no5jDTut5Byjqb4j5/six-and-a-half-intuitions-for-kl-divergence -
https://www.nuff.ox.ac.uk/users/klemperer/biggestpaper.pdf#page=2 -
https://www.overcomingbias.com/p/office-by-combo-auctionhtml -
https://www.quantamagazine.org/how-lossless-data-compression-works-20230531 -
https://www.quantamagazine.org/how-mathematical-curves-power-cryptography-20220919/ -
https://www.quantamagazine.org/physicists-observe-unobservable-quantum-phase-transition-20230911/ -
https://www.quantamagazine.org/researchers-approach-new-speed-limit-for-seminal-problem-20240129/: -
https://www.quantamagazine.org/scientists-find-optimal-balance-of-data-storage-and-time-20240208/: -
https://xorshammer.com/2008/08/21/compute-definite-integral/: -
https://yetanothermathprogrammingconsultant.blogspot.com/2018/11/chess-and-solution-pool.html:
Link Bibliography
-
https://arxiv.org/abs/2403.00465: “Polyamorous Scheduling”, Leszek Gąsieniec, Benjamin Smith, Sebastian Wild -
https://dl.acm.org/doi/pdf/10.1145/3589246.3595371: “U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning”, Aaron W. Hsu, Rodrigo Girão Serrão -
1986-hamming: “You And Your Research”, Richard W. Hamming -
https://levelup.gitconnected.com/searching-for-cyclic-tv-reference-paradoxes-d125ff014279: “Searching for Cyclic TV Reference Paradoxes”, Jamie Pinheiro -
https://arxiv.org/abs/2204.00595: “Monarch: Expressive Structured Matrices for Efficient and Accurate Training”, -
https://arxiv.org/abs/2112.13314: “Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow”, Florian Tambon, Amin Nikanjam, Le An, Foutse Khomh, Giuliano Antoniol -
https://code.blender.org/2021/12/improving-real-time-rendering-of-dynamic-digital-characters-in-cycles/: “Improving Real-Time Rendering of Dynamic Digital Characters in Cycles”, Kévin Dietrich -
https://arxiv.org/abs/2106.12372#nvidia: “Real-Time Neural Radiance Caching for Path Tracing”, Thomas Müller, Fabrice Rousselle, Jan Novák, Alexander Keller -
https://www.ethanrosenthal.com/2020/08/25/optimal-peanut-butter-and-banana-sandwiches/: “Optimal Peanut Butter and Banana Sandwiches”, Ethan Rosenthal -
https://arxiv.org/abs/2006.06856: “BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits”, Mo Tiwari, Martin Jinye Zhang, James Mayclin, Sebastian Thrun, Chris Piech, Ilan Shomorony -
https://pointersgonewild.com/2019/11/02/they-might-never-tell-you-its-broken/: “They Might Never Tell You It’s Broken”, Maxime Chevalier-Boisvert -
2019-hsu-3.pdf: “Co-Dfns: A Data Parallel Compiler Hosted on the GPU”, Aaron Wen-yao Hsu -
https://www.hyrumslaw.com/: “Hyrum’s Law: An Observation on Software Engineering”, Hyrum Wright -
2019-vinyals.pdf#deepmind: “Grandmaster Level in StarCraft II Using Multi-Agent Reinforcement Learning”, -
https://arxiv.org/abs/1608.03676: “Coz: Finding Parallel Code That Counts With Causal Profiling”, Charlie Curtsinger, Emery D. Berger -
https://www.wired.com/2015/09/whatsapp-serves-900-million-users-50-engineers/: “Why WhatsApp Only Needs 50 Engineers for Its 900M Users: One of the (many) Intriguing Parts of the WhatsApp Story Is That It Has Achieved Such Enormous Scale With Such a Tiny Team”, Cade Metz -
2013-romero.pdf: “Homotopy Groups of Suspended Classifying Spaces: An Experimental Approach”, Ana Romero, Julio Rubio -
https://www.informit.com/articles/article.aspx?p=1193856: “Interview With Donald Knuth”, Andrew Binstock -
2006-holkner.pdf: “Global Multiple Objective Line Breaking”, Alex Holkner -
https://archive.computerhistory.org/resources/text/Oral_History/Lampson_Butler/102658024.05.01.pdf#page=36: “Oral History of Butler Lampson § WWW”, Butler Lampson, Alan Kay -
https://arxiv.org/abs/physics/0510117: “Modeling Bursts and Heavy Tails in Human Dynamics”, A. Vazquez, J. Gama Oliveira, Z. Dezso, K. -I. Goh, I. Kondor, A. -L. Barabasi -
2001-pawson.pdf: “Naked Objects: a Technique for Designing More Expressive Systems”, Richard Pawson, Robert Matthews -
1998-page.pdf: “The PageRank Citation Ranking: Bringing Order to the Web”, Larry Page, Sergey Brin, Rajeev Motwani, Terry Winograd -
1995-frank.pdf: “George Prices’s Contributions to Evolutionary Genetics”, Steven A. Frank -
1989-fiat.pdf: “Planning and Learning in Permutation Groups”, Shahar Mose, Adi Shamir, Ilan Shimshoni, Gabor Tardos -
https://papers.agoric.com/papers/incentive-engineering-for-computational-resource-management/full-text/: “Incentive Engineering: for Computational Resource Management”, Eric Drexler, Mark S. Miller -
1985-naur.pdf: “Programming As Theory Building”, Peter Naur -
1980-budd.pdf: “Mutation Analysis Of Program Test Data”, Timothy Alan Budd -
1966-alexander.pdf: “The Pattern of Streets”, Christopher Alexander