๐Ÿฆž๐ŸŒฏ Lobster Roll

Thread

Unhappy Truckers and Other Algorithmic Problems (nautil.us)

Stories related to "Unhappy Truckers and Other Algorithmic Problems" across the full archive.

Unhappy Truckers and Other Algorithmic Problems (nautil.us)
Functional Bits: Lambda Calculus based Algorithmic Information Theory (tromp.github.io)
Computers and Intractability: A Guide to Algorithmic Lower Bounds (hardness.mit.edu)
Algorithmic Debugging of SQL Views (federwin.sip.ucm.es)
This paper describes an interactive, conversational debugger suitable for use with SQL views, but the approach applies well to declarative programming in general.
The Mathematical Hacker (evanmiller.org)
What does randomness look like? (empiricalzeal.com)
Elegance and the Surreals (2009) (raganwald.com)
Algorithmic problems (nautil.us)
The traveling salesman problem provides the mathematical basis for modern transportation systems. It also suggests the limits of human knowledge … more ยป
Odd Odd Even Agda Proof (brianmckenna.org)
A Neighborhood of Infinity: Lossless decompression and the generation of random samples (blog.sigfpe.com)
Finger binary (en.wikipedia.org)
Circles on circles rotating in opposite directions (jsxgraph.uni-bayreuth.de)
Crash Course on Notation in Programming Language Theory (siek.blogspot.de)
A probabilistic model of prime numbers, based on network theory (arxiv.org)
IEEE, Springer withdraw more than 120 gibberish papers (nature.com)
Faster Pseudo-polynomial Time Algorithm for Subset Sums (chaoxuprime.com)
The Physics of Light and Rendering (John Carmack) (youtube.com)
Wadler's Blog: Propositions as Types (wadler.blogspot.com)
Parallel Tree Methods (2010) (fz-juelich.de)
Here are two closely related papers (unfortunately, they are not open access.) An Efficient Program for Many-Body Simulation (1985): http://epubs.siam.org/doi/abs/10.1137/0906008 A portable distributed implementation of the parallel multipole tree algorithm (1990): http://ieeexplore.ieee...
The Power Algorithm (videlalvaro.github.io)
A great series of posts on the power of monoids (reddit.com)
Readings in Number Theory and Computing (videlalvaro.github.io)
Geometric Folding Algorithms: Linkages, Origami, Polyhedra (courses.csail.mit.edu)
How the backpropagation algorithm works (neuralnetworksanddeeplearning.com)
The Hash Function Lounge (larc.usp.br)
C# Algorithmic Trading Backtesting Platform (quantconnect.com)
We've launched a new version of the QC back-testing platform with an introduction video on how to make the most of it. Feedback welcome!
0x5f3759df - derivation of fast rsqrt (2012) (blog.quenta.org)
The Fourier Transform and its Applications (see.stanford.edu)
A summary of some math used in computer science (jfsowa.com)
HYPERSEEING - The International Society of the Arts, Mathematics, and Architecture (ISAMA) (isama.org)