Computer Optimization: Your Computer Is Faster Than You Think
It’s Not Easy Being Green: On the Energy Efficiency of Programming Languages
Beyond A✱: Better Planning with Transformers via Search Dynamics Bootstrapping (Searchformer)
Hamiltonicity of expanders: optimal bounds and applications
Efficient Parallelization of an Ubiquitous Sequential Computation
U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
Blockwise Parallel Transformer for Long Context Large Models
Distinct Elements in Streams: An Algorithm for the (Text) Book
Monolith: Real Time Recommendation System With Collisionless Embedding Table
A Library for Representing Python Programs as Graphs for Machine Learning
TextWorldExpress: Simulating Text Games at One Million Steps Per Second
Learning with Combinatorial Optimization Layers: a Probabilistic Approach
Heisenbugs: The Most Elusive Kind of Bug, and How to Capture Them With Perfect Replayability—Eliminate Heisenbugs and Endless Debugging Sessions!
Monarch: Expressive Structured Matrices for Efficient and Accurate Training
Bamboo Trimming Revisited: Simple Algorithms Can Do Well Too
What goes into making an OS to be Unix compliant certified?
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
Improving Real-time Rendering of Dynamic Digital Characters in Cycles
Small-Amp: Test Amplification in a Dynamically Typed Language
Introducing Triton: Open-Source GPU Programming for Neural Networks
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Randomness In Neural Network Training: Characterizing The Impact of Tooling
Entropy trade-offs in artistic design: A case study of Tamil kolam
MLGO: a Machine Learning Guided Compiler Optimizations Framework
I Know What You Bought At Chipotle for $9.81 by Solving A Linear Inverse Problem
Presyn: Modeling Black-Box Components with Probabilistic Synthesis
BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits
Funnel-Transformer: Filtering out Sequential Redundancy for Efficient Language Processing
Reinforcement Learning for Combinatorial Optimization: A Survey
Grandmaster level in StarCraft II using multi-agent reinforcement learning
Local-First Software: You Own Your Data, in spite of the Cloud [paper]
A Step Toward Quantifying Independently Reproducible Machine Learning Research
Different languages, similar encoding efficiency: Comparable information rates across the human communicative niche
A View on Deep Reinforcement Learning in System Optimization
ParPaRaw: Massively Parallel Parsing of Delimiter-Separated Raw Data
Local-first software: You own your data, in spite of the cloud [web]
GAP: Generalizable Approximate Graph Partitioning Framework
AutoPhase: Compiler Phase-Ordering for High Level Synthesis with Deep Reinforcement Learning
Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch
Learning to Perform Local Rewriting for Combinatorial Optimization
Deterministic Implementations for Reproducibility in Deep Reinforcement Learning
Learning to Optimize Join Queries With Deep Reinforcement Learning
Always Measure One Level Deeper: Performance Measurements Often Go Wrong, Reporting Surface-Level Results That Are More Marketing Than Science
Optimizing Query Evaluations using Reinforcement Learning for Web Search
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Innovation and cumulative culture through tweaks and leaps in online programming contests
From Punched Cards to Flat Screens: A Technical Autobiography
Stochastic Constraint Programming as Reinforcement Learning
Resource-Efficient Machine Learning in 2 KB RAM for the Internet of Things
Machine Learning for Systems and Systems for Machine Learning
Neural Combinatorial Optimization with Reinforcement Learning
The Doodle Theorem, and Beyond: Colin Wright Juggles Euler, Doodling and Millennium Problems
Coz: Finding Parallel Code that Counts with Causal Profiling
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
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets
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
Homotopy groups of suspended classifying spaces: An experimental approach
The Algebraic Combinatorial Approach for Low-Rank Matrix Completion
Evaluating the Design of the R Language: Objects and Functions for Data Analysis
National Cryptologic Museum Opens New Exhibit on Dr. John Nash
STEPS Toward Expressive Programming Systems: "A Science Experiment"
Why Philosophers Should Care About Computational Complexity
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)
Producing Wrong Data Without Doing Anything Obviously Wrong!
The Tactical Amulet Extraction Bot: Predicting and Controlling NetHack's Randomness
Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes
Aggregating inconsistent information: Ranking and clustering
Bigtable: A Distributed Storage System for Structured Data
History of Combinatorial Generation (The Art of Computer Programming: Volume 4: Pre-Fascicle 4B: §7.2.1.7) § Pg22
Solving Real-World Linear Programs: A Decade and More of Progress
A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances
Naked objects: a technique for designing more expressive systems
The Effects of Moore’s Law and Slacking on Large Computations
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
Applications of Randomness in System Performance Measurement
Proebsting’s Law: Compiler Advances Double Computing Power Every 18 Years
Building a Large Annotated Corpus of English: The Penn Treebank
On the computational complexity of the Jones and Tutte polynomials
A Linear-Time Algorithm for Concave One-Dimensional Dynamic Programming
Three Scientists and Their Gods: Looking for Meaning in an Age of Information
Incentive Engineering: for Computational Resource Management
Probabilistic counting algorithms for data base applications
The competitive allocation process is informationally efficient uniquely
A Correct Preprocessing Algorithm for Boyer-Moore String-Searching
A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations
Generation of Random Permutations of Given Number of Elements Using Random Sampling Numbers
Programmed Differently? Testing for Gender Differences in Python Programming Style and Quality on GitHub
Summing ASCII Encoded Integers on Haswell at Almost the Speed of memcpy
The Final Cut [Ford-Fulkerson’s Max-Flow Min-Cut As Planning Paradigm]
Measurement, Benchmarking, and Data Analysis Are Underrated
Programmed Differently? Testing for Gender Differences in Python Programming Style and Quality on GitHub
Heuristics on the High Seas: Mathematical Optimization for Cargo Ships
Submission #6347: Chef Stef’s NES Arkanoid warpless in 11:11.18
How Much of a Genius-Level Move Was Using Binary Space Partitioning in Doom?
An Open Letter to Netflix from the Authors of the De-Anonymization Paper
Scaling Our Spreadsheet Engine from Thousands to Billions of Cells
2022-06-05-jamiepinheiro-paradoxicalcyclesintvshowsreferencingeachotherasfictional-4cycleexample-theocsimpsonstwoandahalfmenthebigbangtheory.jpg
2021-tran-figure3-tradeoffbetweenevennessandrichnessinsouthindiankolamabstractdrawings.jpg
2018-mcgranaghan-inkandswitch-slowsoftware-inputlatencycascade.png
2018-miu-figure1-progressofbestperformingprogramovertimeofcontest.jpg
http://james.hiebert.name/blog/work/2015/09/14/CS-FTW.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://brooker.co.za/blog/2018/01/01/balls-into-bins.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://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=ab699db5f2b70cf94951e28f07cc18b0b2d33e9a
https://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki
https://fgiesen.wordpress.com/2012/04/08/metaprogramming-for-madmen/
https://findthatmeme.com/blog/2023/01/08/image-stacks-and-iphone-racks-building-an-internet-scale-meme-search-engine-Qzrz7V6T.html
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://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://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html
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
0f147f35b72d6fd45574c9eed842f173daede869.html#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://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://questdb.io/blog/billion-row-challenge-step-by-step/
https://research.google/blog/tensorstore-for-high-performance-scalable-array-storage/
https://robertheaton.com/2018/12/17/wavefunction-collapse-algorithm/
https://scienceblogs.de/klausis-krypto-kolumne/2019/12/19/bigram-750-challenge-solved-new-world-record-set/
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/
https://use.expensify.com/blog/scaling-sqlite-to-4m-qps-on-a-single-server
https://web.archive.org/web/20210205014443/https://meanderful.blogspot.com/2018/01/the-accidental-hft-firm.html
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.amygoodchild.com/blog/computer-art-50s-and-60s
https://www.atlasobscura.com/articles/the-strangely-perplexing-problem-of-communicating-numbers-out-loud
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/knuthmorrispratt-illustrated/8EFA77D663D585B68630E372BCE1EBA4
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/
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
https://www.lesswrong.com/posts/axxnpQi8FyBPE4rbq/hutter-prize-for-prompts?commentId=WKNXFtQWzfSs9mGih
https://www.lesswrong.com/posts/no5jDTut5Byjqb4j5/six-and-a-half-intuitions-for-kl-divergence
https://www.math.rwth-aachen.de/~Martin.Schoenert/Cube-Lovers/Alan_Bawden__Shamir%27s_talk_really_was_about_how_to_solve_the_cube!.html
https://www.nuff.ox.ac.uk/users/klemperer/biggestpaper.pdf#page=2
https://www.overcomingbias.com/p/city-by-combo-auctionhtml
https://www.overcomingbias.com/p/office-by-combo-auctionhtml
https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702
https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/
https://www.quantamagazine.org/computer-scientists-invent-an-efficient-new-way-to-count-20240516/
https://www.quantamagazine.org/how-lossless-data-compression-works-20230531
https://www.quantamagazine.org/how-mathematical-curves-power-cryptography-20220919/
https://www.quantamagazine.org/in-highly-connected-networks-theres-always-a-loop-20240607/
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://www.stylewarning.com/posts/brute-force-rubiks-cube/#brute-force-still-ignorant-but-kinda-smart
225fbb0da219da552f563282bfda77459af4761f.html#brute-force-still-ignorant-but-kinda-smart
https://xorshammer.com/2008/08/21/compute-definite-integral/
https://yetanothermathprogrammingconsultant.blogspot.com/2018/11/chess-and-solution-pool.html
U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
https%253A%252F%252Fdl.acm.org%252Fdoi%252Fpdf%252F10.1145%252F3589246.3595371.html
https%253A%252F%252Flevelup.gitconnected.com%252Fsearching-for-cyclic-tv-reference-paradoxes-d125ff014279.html
Monarch: Expressive Structured Matrices for Efficient and Accurate Training
What goes into making an OS to be Unix compliant certified?
https%253A%252F%252Fwww.quora.com%252FWhat-goes-into-making-an-OS-to-be-Unix-compliant-certified.html
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
Improving Real-time Rendering of Dynamic Digital Characters in Cycles
https%253A%252F%252Fcode.blender.org%252F2021%252F12%252Fimproving-real-time-rendering-of-dynamic-digital-characters-in-cycles%252F.html
https%253A%252F%252Farxiv.org%252Fabs%252F2106.12372%2523nvidia.html
https%253A%252F%252Fwww.ethanrosenthal.com%252F2020%252F08%252F25%252Foptimal-peanut-butter-and-banana-sandwiches%252F.html
BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits
https%253A%252F%252Fpointersgonewild.com%252F2019%252F11%252F02%252Fthey-might-never-tell-you-its-broken%252F.html
Grandmaster level in StarCraft II using multi-agent reinforcement learning
%252Fdoc%252Freinforcement-learning%252Fmodel-free%252Falphastar%252F2019-vinyals.pdf%2523deepmind.html
Coz: Finding Parallel Code that Counts with Causal Profiling
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
https%253A%252F%252Fwww.wired.com%252F2015%252F09%252Fwhatsapp-serves-900-million-users-50-engineers%252F.html
Homotopy groups of suspended classifying spaces: An experimental approach
https%253A%252F%252Fwww.informit.com%252Farticles%252Farticle.aspx%253Fp%253D1193856.html
%252Fdoc%252Fdesign%252Ftypography%252Ftex%252F2006-holkner.pdf.html
https%253A%252F%252Farchive.computerhistory.org%252Fresources%252Ftext%252FOral_History%252FLampson_Butler%252F102658024.05.01.pdf%2523page%253D36.html
https%253A%252F%252Farxiv.org%252Fabs%252Fphysics%252F0510117.html
Naked objects: a technique for designing more expressive systems
%252Fdoc%252Fgenetics%252Fselection%252Fnatural%252F1995-frank.pdf.html
Incentive Engineering: for Computational Resource Management
https%253A%252F%252Fpapers.agoric.com%252Fpapers%252Fincentive-engineering-for-computational-resource-management%252Ffull-text%252F.html
Wikipedia Bibliography:
