typo factory
- Popes
- λ-calculus continued
- How do they work?
70 | Annihilating Hilbert's 2nd Problem
- Published on
- ∘ ~75 mins ∘ ––– views
λ-calculuspoty- more quantum mechanics
68 | Useless Solutions Call for Useless Problems
- Published on
- ∘ ~153 mins ∘ ––– views
quantum mechanics67 | AlphaZero should've been called 'Go-NaD'
- Published on
- ∘ ~18 mins ∘ ––– views
Stratego66 | ML 7: De-noising Auto Encoders
- Published on
- ∘ ~33 mins ∘ ––– views
how do they work- Blissard's Symbolic Calculus
- How do they work?
63 | ML 6: Characterizations of Federated Learning
- Published on
- ∘ ~21 mins ∘ ––– views
Digest from a paper presented at NeurIPS '2462 | Looking forward into the past
- Published on
- ∘ ~34 mins ∘ ––– views
Moonwalking through Conway's Game of Life- disproving long standing conjectures
- Haskell is divinely inspired, so it makes sense that I can't hardly read it and that the hoogle docs burn my skin.
- Destiny 2
- Stack, Heap, VRAM
57 | Galois Theory 2: The General Quintic is Dead and Évariste Killed Him
- Published on
- ∘ ~91 mins ∘ ––– views
towers of Galois56 | Shapley, Weyl, Buterin, Freedman, Spinoza, Leibniz, and Kant
- Published on
- ∘ ~60 mins ∘ ––– views
Shapley values, Quadratic Voting, and Quadratic Finance55 | Galois Theory 1: Prelude to the Nonexistence of the General Quintic
- Published on
- ∘ ~40 mins ∘ ––– views
elementary symmetric polynomials and power sums of symmetric polynomials54 | Digest: Thynges that are thynges, that ARE other thynges
- Published on
- ∘ ~26 mins ∘ ––– views
Eric Hehner's unified algebra- Roger Zelazny's 'Lord of Light' and GZA's 'Liquid Swords'poty
52 | The Apollo Guidance Computer
- Published on
- ∘ ~71 mins ∘ ––– views
An overview of the computer which put man on the Moon from an amateur systems enthusiast perspective51 | It's a Complex Situation
- Published on
- ∘ ~38 mins ∘ ––– views
in search of a canonical vector product50 | Librarians, Luhn, and Lizard Brain
- Published on
- ∘ ~64 mins ∘ ––– views
A geometric interpretation of the an error detecting code using dihedral group of order 10poty- Using tensors, lasers to find a faster means of matrix multiplication
48 | Digest: Things that are things, but not other things
- Published on
- ∘ ~36 mins ∘ ––– views
Understanding fundaments of category theory with counter examples- How to write really good unit tests
- Plotting, scheming, generative art
45 | Smiting the Demon Number: How to Solve a Rubik's Cube
- Published on
- ∘ ~70 mins ∘ ––– views
(With Group Theory)- psychology, subitization, chunking, a prison style tattoo gun
- dice, trees, & integer arithmetic
42 | Strong Eventual Consistency
- Published on
- ∘ ~52 mins ∘ ––– views
punk rock & conflict free replicated data types41 | How to be a Successful Software Engineer
- Published on
- ∘ ~11 mins ∘ ––– views
A rebuttal to imposter syndrome40 | Voyager 2
- Published on
- ∘ ~60 mins ∘ ––– views
Error Correcting Codes and future-proofing space craftpoty39 | Notes on Information Theory
- Published on
- ∘ ~170 mins ∘ ––– views
Notes on Information Theory from Claude, Hamming, Hadamard, CMU, Wiley38 | ML 5: If My Mother Had Wheels She Would Have Been a Markov Chain Language Model
- Published on
- ∘ ~28 mins ∘ ––– views
Reject modernity (transformers); embrace tradition (markov chains)37 | Notes on Category Theory
- Published on
- ∘ ~118 mins ∘ ––– views
A collection notes on Category Theory for personal reference.- Nimbers, pencil, and paper, combinatorial game theory
- Using spreadsheets, (not) Gavel, Social Choice Theory
- Philosophy, Economics
- Shapley-Shubrik, Banzhaf, python, a suspicious amount of hypotheticals
32 | Abdicating to the Algorithms: Solving the Redistricting Problem
- Published on
- ∘ ~36 mins ∘ ––– views
I argue that the problem of redistricting is better solved by computational models than by humans, and that their adoption is not only an ethical and logistical possibility, but rather a vast improvement over current techniques.poty- Daniel's knowledge + Monte Carlo simulations
30 | CS 4104 Algorithms Notes
- Published on
- ∘ ~187 mins ∘ ––– views
Graphs, analysis, networks flows, borderline fake math29 | Digest: Magic: the Gathering is Turing Complete
- Published on
- ∘ ~17 mins ∘ ––– views
TERRIBLE TURING MACHINES SEASON 2 BABY!!- Visualizing the Josephus Problem with p5.jspoty
- Write-up of introductory webscraping techniques using Python, pandas, and beautiful soup
- Building a React component with the Google Maps API
- Everything as before + remote tools, engagement tactics, and more!
- Implementing a simple mark-and-sweep garbage collection strategypoty
- Understanding complexity
22 | Digest: TrueSkill 2: Better Bayesian Assumptions Boogaloo
- Published on
- ∘ ~12 mins ∘ ––– views
Optimal Match Making using Bayesian Inference- Sutton, Barto, Bhoag
20 | Digest: Why Most Published Research Findings Are False
- Published on
- ∘ ~19 mins ∘ ––– views
Derivations from Ioannidis' 2005 article: 'Why Most Published Research Findings Are False' and discussion of the replication crisis- A plan, a good team, and lots of lead time!
- Taking a look at a fascinating relationship between Fibonacci numbers and unit conversion while also learning some Python tools along the way.poty
17 | John Stuart Mill’s "On Liberty": Embracing Heresy
- Published on
- ∘ ~18 mins ∘ ––– views
Critical Analysis of Mill's essay- This text was generated by a rnn with 700 hidden nodes across 4 layers trained on everything I've has ever written over 500 epochs
- too much free time
14 | ML 3: A Summary of a Summary: DQN Bottlenecks
- Published on
- ∘ ~5 mins ∘ ––– views
RL + Sergey Levine + Swords!- Tips from industry professionals
- A Summary of a Summary of a Summary
11 | ML 2: A Discussion of Action Spaces
- Published on
- ∘ ~3 mins ∘ ––– views
Just dumb enough that it might work10 | ML 1: Reinforcement Learning, So Hot Right Now
- Published on
- ∘ ~12 mins ∘ ––– views
Overview of a Summary of Reinforcement Learning9 | Build a K-Nearest Neighbors Graph From Scratch
- Published on
- ∘ ~13 mins ∘ ––– views
Given n-dimensional data that we can classify into various categories, we can use KNN to predict what class an unknown n-dimensional data-point falls into based on its proximity to the nearest K points.8 | The New Testament at a Glance
- Published on
- ∘ ~152 mins ∘ ––– views
A semi-exhaustive study guide for the New Testament7 | Justification by Faith: The Letter to the Hebrews
- Published on
- ∘ ~5 mins ∘ ––– views
Historical critcisim6 | Understanding the Christology of the Gospel of John: The Bread of Life
- Published on
- ∘ ~5 mins ∘ ––– views
Historical critcisim of the Gospel according to John- A Survey of seminal Poli-Sci readings
4 | The Post-Revolutionary Literary Revolutionary
- Published on
- ∘ ~22 mins ∘ ––– views
Critical analysis of Naguib Mahfouz's novel 'The Thief and the Dogs'poty- A biographical survey of US presidents through 2020
- Husserl and phenomenology
- Critical analysis of William Faulkner's novel 'The Sound and the Fury'poty