- [Frank Pfenning: Constructive logic, polarization](https://www.cs.cmu.edu/~fp/courses/15317-s23/)
- [CS257: intro to automated raesoning, stanford](https://web.stanford.edu/class/cs257/slides/Lecture_17.pdf)
- [Data, Code, Decisions: decision procedures for real arithmetic](https://symbolaris.com/course/dcd/13-arithmetic.pdf)
- [OPLSS 2012 curriculum](https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html)
- [You're using the wrong dictionary](https://jsomers.net/blog/dictionary)
- [21 proofs of euler characteristic](https://ics.uci.edu/~eppstein/junkyard/euler/)
- [The delta method: single statistical solution for various estimation problems](https://alexdeng.github.io/public/files/kdd2018-dm.pdf)
- [Accounting for developers](https://docs.google.com/document/d/1HDLRa6vKpclO1JtxbGB5NeAYWf8cf1UMGy22o8OZZq4/edit)
- [Gradual typing algorithm](https://github.com/hazelgrove/hazel/wiki/Gradual-Typing-&-Polymorphism-Papers)
- [Printing press for single book](https://print24.com/uk/printing-products/books)
- [Advanced Data analysis from an elemantary point of view](https://www.stat.cmu.edu/~cshalizi/ADAfaEPoV/ADAfaEPoV.pdf)
- [Disappearing Polymorph](https://en.m.wikipedia.org/w/index.php?title=Disappearing_polymorph)
- [The NSAnimation class for describing animations in NextStep](https://developer.apple.com/documentation/appkit/nsanimation#1651628)
- [Broadword algorithms: rank9 and select9](https://vigna.di.unimi.it/ftp/papers/Broadword.pdf)
- Geometric optics to wave optics: [Huygens Principle](https://encyclopediaofmath.org/wiki/Huygens_principle)
- Geometric Topology in Dimension 2 and 3.
- [Matters Computational](https://www.jjj.de/fxt/fxtbook.pdf)
- [Automated Reasoning Lecture Notes](https://www.youtube.com/@automatedreasoning7411)
- Binary divider: https://uomustansiriyah.edu.iq/media/lectures/5/5_2018_12_17!07_25_39_PM.pdf
- Introduction to computer music: https://cmtext.indiana.edu/index.php
- [Chenshaw Approximation](https://en.wikipedia.org/wiki/Clenshaw_algorithm)
- [Cool way to draw a spiral with concentric circles made up of tilted arcs](https://x.com/AkiyoshiKitaoka/status/1798223256723587218)
- [Group theory for physicists: lie algebras, dynkin diagrams, and so forth upto vibes](https://www.youtube.com/watch?v=lEovyfCFtBs)
- [Spectral.js: Kubela Monk based library for color mixing](https://onedayofcrypto.art/)
- [Mixbox: color mixing algorithm](https://scrtwpns.com/mixbox/)
- [Analytical methods for dynamic simulation of non penentrating rigid bodies](https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=a02843095948be29664b48c3338791ec05dcf52c)
- [2D rigid body collision physics engine design, explained](https://www.sassnow.ski/rigid-body-collisions/1)
> Collisions are violations of the pairwise non-intersection constraint between
> bodies. Collision forces are Lagrange multipliers of these constraints.
> Collision normals are the (normalized) partial derivatives of the constraint
> function wrt one of the body's configurations.
- [Rendering Keenan Style geometry in blender](https://nzfeng.github.io/docs/RenderingGeometryInBlender.pdf)
- Metric and Multidimensional Data Structures
- Kleinrock, Queueing Systems
- Is Parallel Programming Hard, And, If So, What Can You Do About It
- Randomized Algorithms
- [Agner Fog microarchitecture optimization book](https://www.agner.org/optimize/microarchitecture.pdf)
- [The Modern Algorithmic toolbox: 2023](https://web.stanford.edu/class/cs168/index.html)
- [Inexhaustibility: An non exhaustive treatment](Inexhaustibility: A Non-Exhaustive Treatment)
- [rvld](https://github.com/bollu/rvld): A RISCV linker.
- [rsync.net: Good cloud file storage](https://rsync.net/products/rclone.html)
- [A research codebase manifesto: how google brain organises research repos](moderndescartes.com/essays/research_code/)
- [Giving Personality to procedural animations](https://www.youtube.com/watch?v=KPoeNZZ6H4s&t=1s)
- van Oosten, Realizability
- [Uses of topoi in logic](https://mathoverflow.net/a/445538/123769)
- [Why LLM fine tuning needs reinfocement learning](https://gist.github.com/yoavg/6bff0fecd65950898eba1bb321cfbd81)
- [Nutrition science has failed](https://metarationality.com/nutrition)
- [Lilian Weng](https://lilianweng.github.io/)
- [Pattern matching with dependent types by Coquand](https://github.com/wonks/type-theory-reading-group/blob/master/papers/proc92-coquand.pdf)
- [Geometric numerical integration](https://link.springer.com/book/10.1007/3-540-30666-8)
- [Suspended Reason](https://suspendedreason.github.io/)
- [The seeeds of science](https://www.theseedsofscience.org/)
- [Works in progress](https://www.worksinprogress.co/about/)
- [Sturm's theorem](https://en.wikipedia.org/wiki/Sturm%27s_theorem)
- [Representation theory for particle physics](https://math.ucr.edu/~huerta/guts/node1.html)
- [Building the fastest Lua interpreter.. automatically!](https://sillycross.github.io/2022/11/22/2022-11-22/)
- [Olin Shivers: CFA dude with epic rants and anti acknowledgements page](https://www.ccs.neu.edu/home/shivers/rants/msoft.html)
- [Chronicles of OPT development: training log of large language model](https://github.com/facebookresearch/metaseq/blob/main/projects/OPT/chronicles/README.md)
- Every Spider Web Has a Simple Flat Twist Tessellation
- Reverse compilation techniques.
- [Johnson–Lindenstrauss lemma: Exponential compression of vectors](https://en.wikipedia.org/wiki/Johnson%E2%80%93Lindenstrauss_lemma)
- [Lock Convoys](https://davekilian.com/lock-convoys.html)
- The Art of Multiprocessor Programming
- [Linkers from scratch](https://www.airs.com/blog/archives/38)
- [Linker Scripts](https://users.informatik.haw-hamburg.de/~krabat/FH-Labor/gnupro/5_GNUPro_Utilities/c_Using_LD/ldLinker_scripts.html)
- Carus Mathematical Monographs Series
- Continued Fractions by Khinchin
- Verification of temporal reactive systems
- An automatic partial evaluator for full prolog
- Caviness and Johnson: Quantifier Elimination and Cylindrical Algebraic Decomposition
- Handbook of theoretical computer science
- Symbolic logic and mechanical theorem proving
- Marker: Model theory --- an introduction
- Kroening Strichman: Decision Procedures
- Bordeaux, Hamadi, Kohli: Tractability
- Jaulin, Kieffer, Didrit, Walter: Applied Interval Analysis
- Slonneger: Formal syntax and semantics of programming languages
- Temporal verification of reactive systems
- Border, Gradel : The classical decision problem
- Smullyan: First order logic
- Bonacina, Stickel: Automated reasoning and mathematics
- Poizat: A course in model theory
- Proof Theory and Logical Complexity
- Sparse evaluation graphs.
- Fuse partial evaluator.
- [Algorithms for Modular Elliptic Curves](http://homepages.warwick.ac.uk/~masgaj/book/fulltext/index.html)
- Mike Urbach: SiFive; Nocolai Hahnle: AMD, Stephen Neundorffer: AMD
- [Language oriented programming](https://en.wikipedia.org/wiki/Language-oriented_programming)
- Finite element method.
- Send lp patch to jeff niu
- Semantic Domains and Denotational Semantics
- W types
- [Anti-unification](https://en.wikipedia.org/wiki/Anti-unification_(computer_science))
>>>>>>> origin/master
- Computation and Logic: George S Boolos
- Mathematical Methods of Classical Mechanics
- [Low level code improvements and loop optimisations made simple](http://www.cs.fsu.edu/~engelen/cr.html)
- [Cellular Sheaves of Lattices and the Tarski Laplacian](https://arxiv.org/pdf/2007.04099.pdf)
- How to draw a straight line. (blog on linkages)
- [Probabilistic numerics: Unified theory of integration via learners](https://www.probabilistic-numerics.org/assets/ProbabilisticNumerics.pdf)
- [Substitutions, jumps, and algebraic effects](http://www.cs.ox.ac.uk/people/samuel.staton/papers/lics2014-substitution.pdf)
- [Static program analysis textbook](https://cs.au.dk/%7Eamoeller/spa/spa.pdf)
- [Cursed computer science content](https://suricrasia.online/iceberg/)
- [Notes on realisability](http://www.andrej.com/zapiski/MGS-2022/notes-on-realizability.pdf)
- [Markov Junior](https://github.com/mxgmn/MarkovJunior)
- Call by push value in SSA?
- Language where `fix` is overloadablwe by a typeclass! So we can only perform recursion in contexts
where we allow it. Also allows us to write DSLs in a way that it knows about recursion.
- BCW calculus is linear time! But it's not if we allow recursion. Can we fix this?
- [Categorical meaning of inductive types and induction](https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt)
- [2d radiosity for soft shadows in smol renderers](https://github.com/schmelczerandras/sdf-2d/blob/main/src/graphics/rendering/shaders/shading-fs.glsl#L48)
- [2d radiosity calculations](https://vimeo.com/diwi)
- [Tree edit distance](http://www.grantjenks.com/wiki/_media/ideas:simple_fast_algorithms_for_the_editing_distance_between_tree_and_related_problems.pdf)
- All the math you missed but you need for grad school book.
- Could a neuroscientist understand a microprocessor
- [The salvation of doug: microbiologist vs geniticist](http://www2.biology.ualberta.ca/locke.hp/dougandbill.htm)
- Could a neuroscientist understand a microprocessor?
- Can a biologist fix a radio? What I learnt while studying apoptosis: `https://www.cell.com/cancer-cell/pdf/S1535-6108(02)00133-2.pdf`
- Reciprocity Laws: From Euler to Eisenstein
- [Course on alg. topology](https://www.youtube.com/watch?v=odva24Ro-44&list=PL2Rb_pWJf9JqgIR6RR3VFF2FwKCyaUUZn&index=37)
- [Intro to algebraic number thory via fermat's last theorem](https://www.youtube.com/watch?v=1f0-pc9zYPQ&list=PLSibAQEfLnTwq2-zCB-t9v2WvnnVKd0wn)
- [Trachtenberg system for fast mental calculation](https://en.wikipedia.org/wiki/Trachtenberg_system)
- [Functional analysis youtube lectures](https://www.youtube.com/watch?v=nE67uQPfRbI&list=PLyqSpQzTE6M8mjwWBz0vXpmJQwR46JIdS)
- [Graph theory and additive combinatorics](https://www.youtube.com/watch?v=NpMv0Nqmy3c&list=PLUl4u3cNGP62qauV_CpT1zKaGG_Vj5igX&index=5)
- [Combinatorial optimization youtube lectures](https://www.youtube.com/watch?v=vD4R93U5_xs&list=PLXsmhnDvpjORcTRFMVF3aUgyYlHsxfhNL&index=33)
- Barton Zwiebach: A first course in string theory.
- [GDBStub: GDB API](https://docs.rs/gdbstub/latest/gdbstub/index.html)
- [The little book of semaphores](https://greenteapress.com/wp/semaphores/)
- [ITMO algorithms and data structures: has advanced algorithms!](https://www.youtube.com/watch?v=oWgLjhM-6XE&list=PLrS21S1jm43igE57Ye_edwds_iL7ZOAG4)
- [AM GM inequality: moments](https://www.youtube.com/watch?v=XJ3643WhKjY)
- What would a visual editor like ableton for APL look like?
>>>>>>> e8f8ace824107d51a5cd10c799ec07261027b4be
- [Choices of representations for names](https://jesper.sikanda.be/posts/1001-syntax-representations.html)
- [Computational geometry video lectures by Philipp Kindermann](https://www.youtube.com/c/PhilippKindermann/playlists)
- [Largest list of CP topics ever](https://codeforces.com/blog/entry/95106)
- [Stanford ICPC team notebook PDF](https://github.com/jaehyunp/stanfordacm/blob/master/notebook.pdf)
- Algebraic Topology of Finite Topological Spaces and Applications by Jonathan Barmak
- [LEAN's type theory](https://github.com/digama0/lean-type-theory/stargazers)
- [uops.info: latency, throughput, data usage tables for ALL processors. Recommended by Casey for performance optimization](http://uops.info/)
- [A A Albert: Higher algebra --- does galois theory directly via primitive element theorem. Possibly cleaner development](https://mathoverflow.net/questions/26557/what-was-galois-theory-like-before-emil-artin)
- [Mathematical methods for QM: A real textbook written by mathematicians!](https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/schroe.pdf)
- [Bayesian statistical thinking in R](https://bookdown.org/connect/#/apps/1850/access)
- [R: survival analysis](https://cran.r-project.org/web/views/Survival.html)
- A First Course in Bayesian Statistical Methods
- [Gwern bayes](https://www.gwern.net/Statistical-notes)
- OSCP: Security course / certification.
- [Ext and Tor constructively](https://mathoverflow.net/questions/50971/how-to-make-ext-and-tor-constructive)
- [Co-applicative style programming](https://www.haskellforall.com/2021/10/co-applicative-programming-style.html)
- [roy.red: Cool blog about shaders galore!](http://roy.red/posts/uniting-spherical-and-hyperbolic-tilings/)
- [Fast algorithms for signal processing](https://www.cambridge.org/core/books/fast-algorithms-for-signal-processing/E35F46175F3558980873443CA8A6A4FD)
- [Is parallel programming hard, and if so, what can you do about it](https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html)
- Lattice Path Counting and Applications
- [Inside interesting integrals](https://galoisian.files.wordpress.com/2018/11/undergraduate-lecture-notes-in-physics-paul-j-nahin-inside-interesting-integrals-2015-springer-1.pdf)
- [Scratch a pixel: rendering turorials from scracth](https://www.scratchapixel.com/index.php?redirect)
- [Doran Zeilberger: mathematician, combinatorial algorithms hypergeometric functions, ultrafinist](https://sites.math.rutgers.edu/~zeilberg/OPINIONS.html)
- [Invite physicists to write new oblique strategies](https://en.wikipedia.org/wiki/Oblique_Strategies)
- [Confidence intervals explained via discretization: confidence sets](https://justindomke.wordpress.com/2021/10/11/confidence-games-1-2/)
- Algorithmic and Computer Methods for Three-Manifolds: By fomenko!
- All of Statistics: A Concise Course in Statistical Inference
- Geometric numerical integration.
- [An invitation to morse theory](https://www3.nd.edu/~lnicolae/Morse2nd.pdf)
- Stochastic Modeling: Analysis and Simulation --- good intro book on queueing theory.
- [How to speak: Patrick Winston](https://www.youtube.com/watch?v=Unzc731iCUY&t=189s)
- [Functioal analysis: Dover books by George Bachman and Lawrence Narci.](https://math.stackexchange.com/a/129282/261373)
- [Lazy BB versioning: Simple and Effective Type Check Removal through Lazy Basic Block Versioning](https://drops.dagstuhl.de/opus/volltexte/2015/5219/pdf/9.pdf)
- [Analysis, Measure, and Probability: A visual introduction](http://euclid.trentu.ca/pivato/Teaching/measure.pdf)
- [Discrete differential geometry by albert chern](https://cseweb.ucsd.edu/~alchern/teaching/DDG.pdf)
- [The mom test: selling](https://news.ycombinator.com/item?id=28667439)
- [Topology in condensed matter](https://topocondmat.org/index.html)
- [Hyperscan: fast SIMD regex matching](https://www.hyperscan.io/2015/10/20/match-regular-expressions/)
- [Mnemonic peg system](https://artofmemory.com/wiki/Mnemonic_Peg_System/)
- [the fundamental theorem on symmetric polynomials: history’s first whiff of galois theory](https://arxiv.org/pdf/1301.7116.pdf)
- [Rota's account of Ulam](https://sgp.fas.org/othergov/doe/lanl/pubs/00285736.pdf)
- [Class groups: lecture notes and exercises!](https://www.usf-crypto.org/class-groups/)
- [Graduate course on galois theory](https://www.youtube.com/watch?v=iHoZ3ZheZHs&list=PLu6jbin1VpDBGWvctA_vGFLXzJD8YsA3F&index=9)
- "Lectures in discrete geometry" by Matousek. Contains geometric information about incidence, polytopes, all that good stuff.
- Problems on algorithms by Ian Parberrt.
- [OEIS C sequence: A000080](https://oeis.org/A000080/a000080.c.txt)
- [Flutter rendering engine](https://www.youtube.com/watch?time_continue=40&v=UUfXWzp0-DU&feature=emb_logo)
- [Pretentious approach to analytic number theory](https://www.youtube.com/watch?v=RpuhtlFqFLw)
- Duhamel's principle
- [Youtube videos: Lie groups and Lie algebras](https://www.youtube.com/watch?v=fXJcoXeiPD8&list=PLRlVmXqzHjURZO0fviJuyikvKlGS6rXrb)
- [Computational Combinatorics Blog](https://computationalcombinatorics.wordpress.com/page/2/)
- Inequalities by Hardy, Littlewood, and Polya: book about inequalities
- [BK tree: data structure for fuzzy string matching](http://blog.notdot.net/2007/4/Damn-Cool-Algorithms-Part-1-BK-Trees)
- Foundations of Multidimensional and Metric Data Structures
- [Inkscape Cheat sheet](https://inkscape.org/doc/keys046.html)
- [Jump Flooding algorithm](https://blog.demofox.org/2016/02/29/fast-voronoi-diagrams-and-distance-dield-textures-on-the-gpu-with-the-jump-flooding-algorithm/)
- [Python Plumbum librar for writing shell scripts](https://plumbum.readthedocs.io/en/latest/#user-guide)
- [Dedekind MacNiellie](https://en.wikipedia.org/wiki/Dedekind%E2%80%93MacNeille_completion)
- [Fuzzing Book](https://www.fuzzingbook.org/html/00_Table_of_Contents.html)
- [IMO Olympiad training material](https://www.imomath.com/index.php?options=257&lmm=1)
- An introduction to symbolic dynamics and coding: Book about combinatorics of infinite words and the study of periodicity.
- [Substitution is pullback](http://math.andrej.com/2012/09/28/substitution-is-pullback)
- passwords: philology, security, authentication
- Probability via expectation
- Find a textbook of graph minors.
- [A theory of changes for higher order languages](https://arxiv.org/abs/1312.0658)
- [Advanced algoriths: string algorithms, duelling, BWT, suffix things, 4 russians](https://www.youtube.com/c/SebastianWildLectures/videos)
- Find encoding of tree that makes the "set tree" (interpreting sets as trees) be itself.
- [Pattern matching: course on advanced / obscure algorithms for pattern matching](https://u.cs.biu.ac.il/~amir/patmat.html)
- [Amortized analysis explained](http://cslabcms.nju.edu.cn/problem_solving/images/3/31/Amortized_Analysis_Explained_%28Fiebrink%29.pdf)
- [Generative art blog](https://inconvergent.net/generative/differential-lattice/)
- [List of all string matching algorithms](https://www-igm.univ-mlv.fr/~lecroq/string/)
- [Lawrence national lab HPC toolkit](https://hpc.llnl.gov/software/development-environment-software/hpc-toolkit)
- [Jeff Erickson: CP lectures](https://www.youtube.com/watch?v=EoNRncSro4A&list=PL0v718LJg-78SFq81e4kJh_rS8XbKZ7Kn)
- [Blues 1hour video](https://www.youtube.com/watch?v=ojNbT2A16Tg)
- Microeconomics: Behavior, Institutions, and Evolution --- good romp through micro econ with math!
- https://www.coursera.org/learn/algorithms-on-graphs/home/welcome
- https://en.wikipedia.org/wiki/Boustrophedon
- [625 things to know in your target language](https://i.redd.it/um9qm4pph5d51.jpg)
- [Codeforces GM who programs in python.](https://codeforces.com/profile/pajenegod)
- Stanley: survey of unimodal sequences.
- [Journal of open source software](https://joss.theoj.org/papers/10.21105/joss.00267)
- [ASMJIT: small JIT, lightweight](https://asmjit.com/)
- [Blend2D: 2D vector graphics library](https://blend2d.com/research.html)
- [Nested word, visibly pushdown grammar for parallel parsing?](https://en.wikipedia.org/wiki/Nested_word)
- Minimal Perl for UNIX and LINUX people
- [Enfilade: good vocabulary for segtrees!](https://en.wikipedia.org/wiki/Enfilade_(Xanadu))
- [Sheaves and homotopy theory: motivate a sheaf as a gadget similar to localization](https://pages.uoregon.edu/ddugger/cech.html)
- [How to learn LATEX programming](https://tex.stackexchange.com/questions/12668/where-do-i-start-latex-programming)
- [Schubert calculus youtube videos](https://www.youtube.com/watch?v=DeKdbxGutbg)
- [Schubert calculus lecture notes](https://users.mccme.ru/valya/Kleiman%20Laksov%20Schubert%20calculus.pdf)
- [3264 and all that: intersection theory and schubert calculus textbook by eisenbud](https://scholar.harvard.edu/files/joeharris/files/000-final-3264.pdf)
- [Mathematical Fiction](https://kasmana.people.cofc.edu/MATHFICT/)
- [Ln: 3D line art engine](https://github.com/fogleman/ln)
- [SVGBob: covert ASCII to SVG](https://ivanceras.github.io/svgbob-editor/)
- [Trackball rotations using quaternions](https://www.xarg.org/2021/07/trackball-rotation-using-quaternions/)
- [Structral regular expressions in SAM](http://doc.cat-v.org/plan_9/4th_edition/papers/sam/)
- [Vis: efficient text editor with subl/sam (plan9) style multiple cursor in vim ](https://github.com/martanne/vis)
- [Stali: minimal static linux](https://sta.li/technologies/)
- [tikzplotlib: save matplotlib figures into latex!](https://github.com/nschloe/tikzplotlib)
- [Context collapse](https://en.wikipedia.org/wiki/Context_collapse)
- [Fitt's law](https://en.wikipedia.org/wiki/Fitts%27s_law)
- [CompileDB: build compile_commands.json for C++ for make based projects](https://github.com/nickdiego/compiledb)
- Difference equations: from rabbits to chaos.
- Callahan: the geometry of spacetime; an intro to SR and GR
- [Comonad apply](https://hackage.haskell.org/package/comonad-5.0.8/docs/Control-Comonad.html#g:2)
- [Looking for a challenge?](http://www.lookingforachallengethebook.com/)
- Practical Binary Analysis
- Learn difference equations from "an introduction to difference eqns".
- Combinatorial Enumeration: Grad level combinatorics textbook. 350 exercises.
- Algorithmic Topology and classification of 3 manifolds: Builds "haken theory of normal surfaces", supposedly a cornerstone of 3 manifold theory.
- [Remez approximation: find chebyshev approximations to functions. Provides control on *maximum* error, instead of other methods that control *expected* error.](https://en.wikipedia.org/wiki/Remez_algorithm)
- [More modern cmake](https://hsf-training.github.io/hsf-training-cmake-webpage/)
- [Presburger formulas and polyhedral compilation: Sven's book on ISL and barvinok APIs](https://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1656544&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1)
- [Topos recommends: Higher categories and homotopical algebra](http://www.mathematik.uni-regensburg.de/cisinski/CatLR.pdf)
- [Topos recommends: Basic concepts of enriched category theory](http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf)
- [Combinatorics Enumeration and Structure MATH 501/2 Alexander Hulpke](https://www.math.colostate.edu/~hulpke/lectures/m502/fa20.pdf)
- [Videos on braid groups](http://matematita.science.unitn.it/braids/download.html)
- [THE COMPLETENESS OF PROPOSITIONAL RESOLUTION: A SIMPLE AND CONSTRUCTIVE PROOF](https://arxiv.org/pdf/cs/0606084.pdf)
- [Fundamentals of stellar astrophysics](http://ads.harvard.edu/books/1989fsa..book/)
- [Schwarz Chrisoffel mapping: conformally map the upper half plane to a polygon](https://en.wikipedia.org/wiki/Schwarz%E2%80%93Christoffel_mapping)
- [Interesting classification of sliding window styles into fast/slow, fast/catchup, fast/lag, front/back](https://medium.com/outco/how-to-solve-sliding-window-problems-28d67601a66)
- TODO: learn some algebraic number theory, you know none of it!
- [fxtbook: Matters Computational --- contains a HUGE list of useful combinatorial and finite field algorithms](https://www.jjj.de/fxt/#fxtbook)
- [A Course in Computational Algebraic Number Theory](https://www.springer.com/gp/book/9783540556404)
- [EERTREE: An Efficient Data Structure for Processing Palindromes in Strings](https://arxiv.org/pdf/1506.04862.pdf)
- [On the greedy solution of ordering problems](https://www.researchgate.net/publication/220668855_On_the_Greedy_Solution_of_Ordering_Problems)
- [Bellman's principle of optimality](https://en.wikipedia.org/wiki/Bellman_equation#Bellman.27s_Principle_of_Optimality)
- [DP as creating equivalence classes](https://cs.stackexchange.com/a/49500/122524)
- [Dynamic programming from algorithm design: joe kleinberg and eva tardos](https://www.cs.sjtu.edu.cn/~jiangli/teaching/CS222/files/materials/Algorithm%20Design.pdf)
- [TCP/IP illustrated](https://en.wikipedia.org/wiki/TCP/IP_Illustrated)
- [Gerby: software that runs the stacks project, to upload a PDF into interconnected hyperlinked HTML](https://gerby-project.github.io/)
- [Intro to critical race theory](https://static1.squarespace.com/static/5441df7ee4b02f59465d2869/t/5d8e9fdec6720c0557cf55fa/1569628126531/DELGADO++Critical+Race+Theory.pdf)
- [List of all useful codeforces blogs](https://codeforces.com/blog/entry/91363)
- [Dictionary of basic factors](https://codeforces.com/blog/entry/92092)
- [Quadratic sieve](http://www.ams.org/notices/199612/pomerance.pdf)
- Combinatorics of finite sets by I. Anderson
- [Colin Galen topic streams](https://www.youtube.com/watch?v=zDEQaDl3cso&list=PLDjGkpToBsYCaRoQ-_S5MRxYMuKgHD62w)
- [Walking libraries: people who used to walk around with books: "Napoleon Bonaparte, perhaps weary of lugging (or telling others to lug) "several boxes holding about sixty volumes each" of his favorite books, did commission his own traveling library from one M. Louis Barbier"](https://www.smithsonianmag.com/smart-news/a-brief-history-of-taking-books-along-for-the-ride-180959116/)
- [Adjoints as inverses in terms of their graphs](https://math.stackexchange.com/questions/20364/adjoint-functors-as-conceptual-inverses?rq=1)
- the free functor must be the left adjoint, and not the right, as free and
left have the same number of letters.
- Simplicial Objects in Algebraic Topology: Prereq for Higher topos theory.
- [Knot theory as playground for topological machinery: Kawaii knots for topological machines](https://mathoverflow.net/a/54241/123769)
- [Course on spectral sequences](https://www.youtube.com/watch?v=HcolzXhwJWs)
- Ordinary inductive types are essentially a constructive way to build
well-founded set-level structures, which we can then do induction over.
Higher inductive types are a constructive way to build well-founded cell
complexes, which we can then do “cellular induction” over.
- [Finite difference computing with PDEs](http://hplgit.github.io/fdm-book/doc/web/index.html)
- https://www.theguardian.com/books/2002/apr/20/scienceandnature.highereducation
> in 1784 when edmund cartwright saw the mechanical turk play chess he was like
> "fuck it, if machines can play chess, they can weave" and then invented the
> mechanical loom
- [Higher dimensional rewriting](http://hdra.gforge.inria.fr/)
- Threshold concept:
> “A threshold concept can be considered as akin to a portal, opening up a
> new and previously inaccessible way of thinking about something. It
> represents a transformed way of understanding, or interpreting, or viewing
> something without which the learner cannot progress.”
- [Lectures on Coxeter groups](http://math.sfsu.edu/federico/Clase/Coxeter/lectures.html)
- [The symmetric group, its representaions, and its combinatorics](https://www.math.uni-tuebingen.de/de/forschung/maphy/lehre/ws-2018-19/sgc/dateien/combinatorics-lecturenotes.pdf): Explains `S_n` and the repr. theory through the lens of coxeter groups.
- [Elementary calculus: a Hyperreal approach](https://people.math.wisc.edu/~keisler/calc.html)
- [Choice and chance, one thousand exercises by Whitworth](https://www.maa.org/press/periodicals/convergence/mathematical-treasure-whitworth-s-choice-and-chance)
- Book on compiler construction in racket: [Essentials of compilation](https://github.com/IUCompilerCourse/Essentials-of-Compilation).
[Course Videos](https://iucompilercourse.github.io/IU-P423-P523-E313-E513-Fall-2020/).
- Intel has XML file with operational semantics for all instructions!
- [Herdberg's theorem](https://ncatlab.org/nlab/show/h-set#properties)
- [Todd and Vishal's blog](https://topologicalmusings.wordpress.com/)
- [Rococo art](https://en.wikipedia.org/wiki/Rococo)
- [shellinabox](https://github.com/shellinabox/shellinabox): provide SSH access over HTTPS.
- Learning R: (1) [R by examples](https://gexijin.github.io/learnR/index.html), (2) [Advanced R](https://adv-r.hadley.nz/),
(3) [Tidyverse](https://www.tidyverse.org/)
- [Induction is not derivable in second order dependent type theory](https://link.springer.com/chapter/10.1007/3-540-45413-6_16)
- [Mathematics Autodidact's Aid: AMS Notices about recommendations of textbooks](https://www.ams.org/notices/200510/comm-fowler.pdf)
- The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions: For more on representation theory of the symmetric group.
- [pydoit: A dead simple make replacement](https://pydoit.org/)
- A course in enumeration, Martin Aigner: Abstract algebraic flavoured intro to combinatorics text. Has a nice chapter on involutions.
- [Combinatorial algorithms for computers and calculators](https://www2.math.upenn.edu/~wilf/website/CombinatorialAlgorithms.pdf
- [Cmake language grammar](https://cmake.org/cmake/help/latest/manual/cmake-language.7.html)
- Data_compression: The Complete Reference by David Salomon
- [Aberth method: polynomial root finding algorithm](https://en.wikipedia.org/wiki/Aberth_method)
- [Quine: Kmett's shadertoy](https://github.com/ekmett/quine)
- [Raymarching by Ingo](https://www.iquilezles.org/www/articles/distfunctions/distfunctions.htm)
- [The Unspeakable Subject of Hieronymus Bosch - Joseph Leo Koerner](https://www.youtube.com/watch?v=oAwilLEhtw4&list=PLED6CCCCA6A866E87&index=6):
An entire video studying the one painting by Bosch. I really can't tell if this is shitposting or not.
- Christian scholars say variety as vanity, in contrast to the one-ness of god.
- [Language of bindings](https://www.ligatus.org.uk/lob/hierarchy): A declarative description of bindings of books across history.
- [Best textbooks on every subject](https://www.lesswrong.com/posts/xg3hXCYQPJkwHyik2/the-best-textbooks-on-every-subject)
- Computational Category Theory by David E. Rydeheard, Rod M. Burstall
- [Image cutting with network flow](https://julie-jiang.github.io/image-segmentation/)
- [Lean: Logic and proof --- good intro for first order logic.](https://leanprover.github.io/logic_and_proof)
- [Tagless final encoding](https://www.foxhound.systems/blog/final-tagless/)
- [Compiler construction course with exercises on implementing loop analyses](http://pages.cs.wisc.edu/~fischer/cs701.html)
- [45th world problems: Has a cool storytelling vibe of strange pictures](https://old.reddit.com/r/45thworldproblems/top/?sort=top&t=all)
- [Preconquest Consciousness by E. Richard Sorenson from the book Tribal Epistemologies: Essays in the Philosophy of Anthropology](http://ranprieur.com/readings/preconquest.html)
> In the isolated hamlets in the southern forests, infants were kept in
> continuous bodily contact with mothers or the mothers' friends--on laps
> when they were seated, on hips, under arms, against backs, or on shoulders
> when they were standing. Even during intensive food preparation, or when
> heavy loads were being moved, babies were not put down. They had priority.
> There was always a place for them against the body of a 'mother' or close
> associate. Loads could be shed or lightened, but babies were simply not put
> down, not deprived of constant, ever-ready, interactive body contact--even when
> the group was on the move under difficult conditions. Babies responded to this
> blanket of ever-ready empathetic tactile stimulation by tactile responses of
> their own. Very quickly they began assembling a sophisticated tactile-speech to
> transmit desires, needs, and states of mind. They didn't whine or cry to get
> attention; they touched. While babies everywhere are liminally aware, the
> constant empathetic tactile contact required to produce a sophisticated type of
> preverbal communication is rare--except among preconquest peoples.
> Eliciting delight from babies was a desired social norm, and attentive tactile
> stimulation was the daily lot of infants. It included protracted body-to-body
> caressing, snuggling, oral sensuality, hugging, fondling, and kissing. The
> seductive aspect of the play was frequently collective as older children singly
> or in combination used their inventive wiles to delight a baby. In their
> hamlets crying might be heard in reaction to accidental pain, but I don't
> recall a single case of disgruntled whining or demanding crying.
- [Suren Arakelov: Arithmetic geometer who after soviet torture become "a conventional person"](https://en.wikipedia.org/wiki/Suren_Arakelov)
> A few days later the following happened. Solzhenitsyn was arrested. Suren
> Arakelov, a loyal disciple and follower of his great teacher [Shafarevich],
> decided to fight the regime. He made two posters - on his chest and on his
> back - with the inscription: “Freedom for Alexander Solzhenitsyn” and went to
> Red Square. There he was arrested and sent straight to the Serbsky Psychiatry
> Institute. He was discharged a couple of years later. Igor Rostislavovich
> [Shafarevich] came to visit him and was amazed at the change that had
> occurred. The inner fire of his soul was trampled and extinguished. He was
> not interested in mathematics, or politics, or even the attention of his once
> beloved teacher. After a while he got married, found some routine job and
> turned into an average man. On this occasion the specialists from the Serbsky
> Institute have brilliantly demonstrated their professional competence. They
> turned a genius into a “normal” mediocrity.
- [Data.Category: embedded category theory in haskell that only uses arrows, no objects](https://hackage.haskell.org/package/data-category-0.10/docs/Data-Category.html#t:Category)
- [Scrivener](https://www.literatureandlatte.com/scrivener/overview)
- J C Butcher: numerical methods for ODEs: Does a mathematical analysis of ODE theory.
- [Pixel art tutorial](https://saint11.org/blog/pixel-art-tutorials/)
- [`molikto`'s weblog on dependently typed languages](https://molikto.github.io/)
- Endless Loops: Detecting and Animating Periodic Patterns in Still Images
- Threfthen and Bau: numerical linear algebra, is more like finite dimension functional analysis with algorithms.
Good for self-study because many exercises.
- [P=NP upto sharing](http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=484032BD603CAD977553C0849FA5D40E?doi=10.1.1.52.1414&rep=rep1&type=pdf)
- [What is a spinor mathematically](https://physics.stackexchange.com/a/112041/129278)
- Dependently typed schemes.
- Dependently typed Forth.
- [Study the KISS package manager to learn bash](https://raw.githubusercontent.com/kisslinux/kiss/master/kiss)
- "If a statementis false, it has no evidence" --- nice way to think of `Not a = a -> Void`.
- [Elimination with a motive in Coq](http://web.mit.edu/~ezyang/Public/motive/motive.html)
- Example of left-inverse that is not a right inverse: `parse` and `print`.
`parse(print(e)) = e` can be achieved easily by printing into a legal parseable format.
On the other hand, `print(parse(s)) = s` is much harder, since for example,
`print(parse("1+2")) = "1 + 2"`, while `"1+2" != "1 + 2"`.
- Pollack-inconsistency:To make these issues concrete we introduce the notion
of Pollack-consistency. This property is
related to a system being able to correctly parse formulas that it printed
itself. In current systems it happens regularly that this fails. We argue that
a good interactive theorem prover should be Pollack-consistent. We show with
examples that many interactive theorem provers currently are not
Pollack-consistent. Finally we describe a simple approach for making a system
Pollack-consistent, which only consists of a small modification to the printing
code of the system.
- [Computational aspects of the mobius transform](https://arxiv.org/pdf/1304.1122.pdf)
- Why PDE is infinite dimensional: The solution to an ordinary differential
equation, of order n, can be written
as a linear combination of n independent solutions, with n undetermined
constants- a vector space of dimension n. The solution to a partial
differential equation, of order n, can be written as a linear combination of
n independent solutions but with n undetermined functions. The functions
themselves constitute an infinite dimensional vector space.
Source https://www.physicsforums.com/threads/why-a-pde-is-an-infinite-dimensional-system.479880/
- [Universes ala Rusell and Tarski](https://ncatlab.org/homotopytypetheory/show/universe#cumulativity)
- Spock's law: A difference that makes no difference is no difference.
- The thing I find fascinating from a sociology perspective about ransomware is
that they have to. To be a successful ransomware company, you have to
simultaneously be: 1. Completely immoral enough to attack companies, hold
their data ransom and potentially put them out of business and reveal the
private details of thousands of people. 2. Create enough trust in the
company you attacked that they believe you will give the data back once you
pay them. It is crazy that they are psychologically savvy enough to
simultaneously attain those directly conflicting goals. In a cynical telling
this is how you start a government or any organization with a monopoly on
violence, ala mafia. First you make it clear that you can cause damage, then
you make it clear that tax payers are safe. The next step for ransomware
companies is to offer cyber security services, whether you want them or not.
We've hacked you. We fixed your crappy unpatched software, if you try to
remove us you lose all your data, so now we're your cyber security partners.
- [Chernoff face](https://en.wikipedia.org/wiki/Chernoff_face) Chernoff faces,
invented by applied mathematician, statistician and physicist Herman Chernoff
in 1973, display multivariate data in the shape of a human face. The
individual parts, such as eyes, ears, mouth and nose represent values of the
variables by their shape, size, placement and orientation. The idea behind
using faces is that humans easily recognize faces and notice small changes
without difficulty.
- [Notes on Categorical logic](https://faculty.math.illinois.edu/~ruiyuan/catlog.pdf)
- [Implementing dependently typed languages](https://math.stackexchange.com/a/3468022/261373)
- [Different parts of the lambda cube](https://cstheory.stackexchange.com/a/36071/49498)
- A key part of these productive ecosystems is jobs. If you want to learn how
to build bridges, you do not set up schools to teach engineering, you fund
the building of bridges, and people will figure out how to build them on the
job, and the demand for civil engineers will pull students to study this and
then universities will open up programs to cater to that demand. The jobs
come first. Only 5% of China's population attends university, yet they are
able to build all the infrastructure they need because they have a laser like
attention to creating jobs. They will even build bridges for America, as long
as Chinese workers get to make them. They will build a port for anyone who
wants it, as long as Chinese workers are the ones building the port. The
entire Belt and Road initiative is an attempt to import infrastructure jobs
by sending workers all over the world to build infrastructure, as long as
China gets to build it. They know that half these projects will default and
not make any money, but what they get out of that is a skilled workforce, and
with a skilled workforce they can do anything. They will let American
companies set up factories in China as long as there is a knowledge transfer
as part of the deal. That all their state owned enterprises are losing money
is not important, the acquisition of skills and the creation of productive
ecosystems is what matters. I wonder when the US will realize this. Western
economic thinking is focused on P&L, rule of law, etc, and assumes as an
article of faith that in such an environment, productive ecosystems will just
arise all on their own, like rats being created from piles of trash. It will
just happen, because in the past it just happened. So we are focused on
abstract principles, but what the last 30 years has shown us is productive
ecosystems being destroyed right and left as production migrates over to
Asia.
- Adding sum types to the bidirectional system breaks this characterization:
two terms equivalent up to (some) commuting conversions may both be typable.
To fix this, one can try and find type theories in which the commuting
conversions no longer preserve equality. By adding (abstract) effects to the
language, terms that used to be equivalent can now be distinguished,
ensuring that term equality once again coincides with semantic equality.
This is the key idea embodied in what is variously called polarized type
theory, focalization, or call-by-push-value.
- Damas–Milner type inference [Damas and Milner 1982] allows only prefix polymorphism. This is a
nice way to describe the difference between `∀ a (∀ b, a -> b -> a)` versus
`∀ a a -> (∀ b. b -> a)`. . This restriction is called prefix or prenex
polymorphism. In their terminology, types contain no quantifiers at all;
only type schemes can have quantifiers (on the outside). Polymorphism can be
introduced only on let expressions.
- Pronounce `f.g` as `f after g`.
- [US army: ADVANCED SITUATIONAL AWARENESS](https://armypubs.army.mil/epubs/DR_pubs/DR_a/ARN32030-TC_3-22.69-000-WEB-1.pdf)
- [Nonlinear dispersive equations: local and global analysis](https://www.math.ucla.edu/~tao/preprints/chapter.pdf)
- [Threaded code for faster interpreters --- The Structure and Performance of Efficient Interpreters},](http://www.complang.tuwien.ac.at/forth/threaded-code.html)
- [Paul Taylor: more exposition of topology of computation. In particular, abstract stone duality](http://www.paultaylor.eu/)
- [Spheres as cogroup objects: A such that hom(a, -) spits out groups](https://math.stackexchange.com/a/2106754/261373)
-[Something other than spheres for homotopy groups](https://math.stackexchange.com/questions/1465472/have-there-been-successful-attempts-to-use-something-other-than-spheres-for-ho?rq=1)
- [Sheaves, cosheaves, and applications](https://arxiv.org/pdf/1303.3255.pdf)
- Some kids grow up on football. I grew up on public speaking (as behavioral
therapy for a speech impediment, actually). If you want to get radically
better in a hurry: 1) If you ever find yourself buffering on output, rather
than making hesitation noises, just pause. People will read that as
considered deliberation and intelligence. It's outrageously more effective
than the equivalent amount of emm, aww, like, etc. Practice saying nothing.
Nothing is often the best possible thing to say. (A great time to say
nothing: during applause or laughter.) 2) People remember voice a heck of a
lot more than they remember content. Not vocal voice, but your authorial
voice, the sort of thing English teachers teach you to detect in written
documents. After you have found a voice which works for you and your typical
audiences, you can exploit it to the hilt. I have basically one way to start
speeches: with a self-deprecating joke. It almost always gets a laugh out of
the crowd, and I can't be nervous when people are laughing with me, so that
helps break the ice and warm us into the main topic. 3) Posture hacks: if
you're addressing any group of people larger than a dinner table, pick three
people in the left, middle, and right of the crowd. Those three people are
your new best friends, who have come to hear you talk but for some strange
reason are surrounded by great masses of mammals who are uninvolved in the
speech. Funny that. Rotate eye contact over your three best friends as you
talk, at whatever a natural pace would be for you. (If you don't know what a
natural pace is, two sentences or so works for me to a first approximation.)
Everyone in the audience -- both your friends and the uninvolved mammals --
will perceive that you are looking directly at them for enough of the speech
to feel flattered but not quite enough to feel creepy. 4) Podiums were
invented by some sadist who hates introverts. Don't give him the
satisfaction. Speak from a vantage point where the crowd can see your entire
body. 5) Hands: pockets, no, pens, no, fidgeting, no. Gestures, yes. If you
don't have enough gross motor control to talk and gesture at the same time
(no joke, this was once a problem for me) then having them in a neutral
position in front of your body works well. 6) Many people have different
thoughts on the level of preparation or memorization which is required. In
general, having strong control of the narrative structure of your speech
without being wedded to the exact ordering of sentences is a good balance for
most people. (The fact that you're coming to the conclusion shouldn't
surprise you.) 7) If you remember nothing else on microtactical phrasing when
you're up there, remember that most people do not naturally include enough
transition words when speaking informally, which tends to make speeches loose
narrative cohesion. Throw in a few more than you would ordinarily think to
do. ("Another example of this...", "This is why...", "Furthermore...", etc
etc.)
- [Dynamical systems that sort lists, diagonalize matrices, and solve LP problems](http://hrl.harvard.edu/publications/brockett88dynamical.pdf)
- [A compact kernel for the calculus of inductive constructions](http://cs.unibo.it/~sacerdot/PAPERS/sadhana.pdf)
- [Hanging pawns: Chess middle games](https://www.youtube.com/watch?v=LV0vbgeRVtY&list=PLssNbVBYrGcD2mB7JrHbpP5qyT_ncxCRj&index=19)
- [Algebraic K theory: youtube lectures](https://www.youtube.com/watch?v=Kagy_cX4hDs). It seems that K
theory automagically forces homotopy of CW complexes when computing the zeroth K-theory.
- I remember attending two lectures by M. Gromov that began by the remark that not only 4 equals 2 plus 2, but this equality is true in 3 different ways (meaning that there are three equipartitions in two classes of a 4-element set). According to him, a lot of exceptional behaviors in math stem from this, especially from the fact that 3 < 4 (it definitely explains why the alternating group A(4) isn't simple, but Gromov also mentioned the gauge-theoretic oddities in dimension 4). [MathOverflow answer](https://mathoverflow.net/q/47569/123769)
- Learn how to use linux with `HOWTO`s.
- Programming and proving in Agda: https://github.com/jespercockx/agda-lecture-notes/blob/master/agda.pdf
- [Hereditary substitution](https://www.cs.nott.ac.uk/~psztxa/publ/msfp10.pdf)
- Categorical logic and type theory by Bart Jacobs.
- [tinyxyz cute animation using `tan`](https://doersino.github.io/tixyz/?code=tan%28i*t%2F999%29*%28%7E%7E%28t*24%257%29%3D%3Di%257%29)
- [Packet life: networks cheat sheets](https://packetlife.net/library/cheat-sheets/)
- [Lexicon branding: company that discovers brand names](https://www.lexiconbranding.com/neurobrand-team)
- [Ideal divisors: fast conversion of division into multiplication, plus p-adic goodness from dan piponi](https://news.ycombinator.com/item?id=26971801)
- [FnV hash: good (non-crypto) fast hash function](https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80%93Vo_hash_function)
- Macrame knots: pretty knot patterns
- [MicroUI](https://github.com/bollu/microui)
- [Write your own OS: videos](https://www.youtube.com/watch?v=1rnA6wpF0o4&list=PLHh55M_Kq4OApWScZyPl5HhgsTJS9MZ6M&index=2)
- Syntax agreement: learn how to make sentences that meander. In particular,
the problem I seem to have is that I am unable to continue half written
thoughts in a manner that is coherent overall. Practice this! Normally I
feel very nut to crack. I ought to write sentences like the previous version,
which are very rising sea.
- Medeival literature on lying, IP = PSPACE, arithmetization, and Dialogiones
- [Passion of the western mind](https://en.wikipedia.org/wiki/The_Passion_of_the_Western_Mind)
- [Gutta percha](https://en.wikipedia.org/wiki/Gutta-percha) and the [Gutta Percha Company](https://en.wikipedia.org/wiki/Gutta_Percha_Company).
- [nanoscale views: cool blog post about berry phase](http://nanoscale.blogspot.com/)
- [Suffle Automata](https://www.dcc.fc.up.pt/~nam/publica/bmmric15.pdf)
- Find out how opaleye works.
- [Write software rasterizer to render this image](https://pbs.twimg.com/media/Ez1tN9jXMAIPYcn?format=png&name=large)
- STONITH: Shoot The Other Node In The Head.
- Find instances of countries which used to be corrupt, that no longer is
corrupt. Use systems that anonymize who sends the systems. So for example,
anonymize the application form so that you don't know who is processing
your form, and thus you can't bribe them.
- [Higher dimensional type theory 2020: CubicalTT](https://favonia.org/courses/hdtt2020/)
- [Hitch-hiker's guide to reinventing a prolog machine](https://drops.dagstuhl.de/opus/volltexte/2018/8453/)
> We take a fresh, "clean-room" look at implementing Prolog by deriving its
> translation to an executable representation and its execution algorithm from
> a simple Horn Clause meta-interpreter. The resulting design has some
> interesting properties. The heap representation of terms and the abstract
> machine instruction encodings are the same. No dedicated code area is used
> as the code is placed directly on the heap. Unification and indexing
> operations are orthogonal. Filtering of matching clauses happens without
> building new structures on the heap. Variables in function and predicate
> symbol positions are handled with no performance penalty. A simple
> English-like syntax is used as an intermediate representation for clauses
> and goals and the same simple syntax can be used by programmers directly as
> an alternative to classic Prolog syntax. Solutions of (multiple) logic
> engines are exposed as answer streams that can be combined through typical
> functional programming patterns, with flexibility to stop, resume,
> encapsulate and interleave executions. Performance of a basic interpreter
> implementing our design is within a factor of 2 of a highly optimized
> compiled WAM-based system using the same host language. To help placing our
> design on the fairly rich map of Prolog systems, we discuss similarities to
> existing Prolog abstract machines, with emphasis on separating necessary
> commonalities from arbitrary implementation choices.
- Multidimensional Real Analysis I: J. J. Duistermaat. Gives the
extrinsic definition of a manifold.
- Read everything by [Ken Perlin](https://mrl.cs.nyu.edu/~perlin/)
- Spanier's algebraic topology.
It's highly rigorous (just like an analysis or algebra book), and many results
are formulated in categorical languages. Besides, assumptions are often as weak
as possible. simplicial complexes are used extensively.
- Dieck's Algebraic Topology is great. It is very rigorous, presents an
incredibly wide range of topics, uses (admittedly minimal) categorical
language, and gives a much more homotopical perspective on many things.
- [The asses of Parnassus: Short poetry](https://assesofparnassus.tumblr.com/)
- [DSP MIT OCW](https://ocw.mit.edu/resources/res-6-008-digital-signal-processing-spring-2011/)
- A pangram (sentence will all letters): "Sphinx of black quartz, judge my vow"
- [Ringelmann effect: Why groups may not be effective](https://en.wikipedia.org/wiki/Ringelmann_effect)
> The Ringelmann effect is the tendency for individual members of a group to
> become increasingly less productive as the size of their group increases.
> This effect, discovered by French agricultural engineer Maximilien Ringelmann
> (1861–1931), illustrates the inverse relationship that exists between the
> size of a group and the magnitude of group members’ individual contribution
> to the completion of a task. While studying the relationship between process
> loss (i.e., reductions in performance effectiveness or efficiency) and group
> productivity, Ringelmann (1913) found that having group members work together
> on a task (e.g., pulling a rope) actually results in significantly less
> effort than when individual members are acting alone. Ringelmann discovered
> that as more and more people are added to a group, the group often becomes
> increasingly inefficient, ultimately violating the notion that group effort
> and team participation reliably leads to increased effort on behalf of the
> members.
- Handbook of Mathematical Economics
- Authors of set theory books: Jech, Kunen, Hrbacek/Jech, Just/Weese
- [How TeX really works](https://www.overleaf.com/learn/latex/How_TeX_macros_actually_work:_Part_1#Introduction:_Objectives_of_this_series)
- [Google word list culture war](https://developers.google.com/style/word-list)
> "Language makes thought possible. When the words disappear, so does our
> ability to think about the ideas the words represent. When they prevent you
> from saying the obvious, overtime it becomes impossible to see the
> obvious.... those who control your words control your mind."
- [Advanced Determinant calculus](https://arxiv.org/abs/math/9902004)
- Computing in the monster. In Group, Combinatorics & Geometry, Durham 2001, 327–337. World Scientific Publishing, 2003.
- [The monster and black box groups](https://arxiv.org/abs/1310.5016)
- [MSR how to write papers](https://www.microsoft.com/en-us/research/academic-program/write-great-research-paper/#!other-resources)
- [Mermaid live editor](https://mermaid-js.github.io/mermaid-live-editor)
- [musicdsp](http://www.musicdsp.org/)
- [Learn how to make every effect in Clean Slate](https://www.sweetwater.com/insync/zipper-noise)
- [72pt is one inch tall!](https://news.ycombinator.com/item?id=26846401)
- [Audo synthesis website like dwitte: tinyrave](https://tinyrave.com/docs)
- [Explain shader: soft heart](https://www.shadertoy.com/view/ls3GRr)
- [ALSA PCM](https://www.alsa-project.org/alsa-doc/alsa-lib/pcm.html)
- [Sound programming website](https://soundprogramming.net/)
- [Linux kernel](https://www.kernel.org/doc/html/v4.11/index.html)
- [Celeste sound design](https://www.twitch.tv/videos/248998904)
- [Corbusier as I knew him](https://thereader.mitpress.mit.edu/le-corbusier-as-i-knew-him/)
> Corb was a very good friend. His numerous letters and postcards and a
> constant stream of his paintings and drawings, that he sent me until his
> death, showed me how seriously he treated friendship. He said living was an
> art.
- [Cayley Bacharach theorem](https://en.wikipedia.org/wiki/Cayley%E2%80%93Bacharach_theorem)
- [Moral foundations of politics](https://www.youtube.com/watch?v=s6MOA_Y3MKE&list=PLlPEhuzb-BQA9O5qhAG5DxT23V9jeUG2k)
- [Why did US universities succeed](https://www.aeaweb.org/research/research-universities-incentives-resources-virtuous-circles-us)
> What became challenging for all these universities once they started
> emphasizing research is how to incentivize that activity. One thing that
> agency theory shows is that one way to achieve this is to create somewhat
> lumpy rewards. That is to say, rewards that don’t necessarily give you a
> little bit more for a little bit more output but rather create a big prize.
> Tenure has that flavor. It basically says if your research output is high
> enough you’re going to get a lifetime contract at this university. Tenure has
> a couple of benefits that come out of agency theory. One is that these types
> of lumpy rewards can be particularly good when you make people compete
> against each other. The emergence of it in the US, in fact, helped place the
> US on good footing to compete at research with Europe, which does not have
> that institution as much. US university system, which he calls a “perfect
> mess.” He says it's a mess, but it's a perfect mess, and it's kind of a
> contradiction. I think that the good side of the US is that it produces a
> variety of institutions that can do a variety of tasks relatively well. It
> produces 50 to 100 that do research extremely well and lead the world in this
> dimension. It produces other schools, to cite the work of Raj Chetty and
> coauthors, that generate a lot of mobility.
> This is not a mess that a social planner would have designed necessarily, but
> the different parts work well.
- [Foundations of modern social theory](https://www.youtube.com/watch?v=hd33BahdAjs&list=PLDF7B08FF8564D1FE&index=1)
- [Trachtenberg system](https://en.wikipedia.org/wiki/Trachtenberg_system)
- [Novel writing help blog](https://www.novel-writing-help.com/)
- [Awakening from the meaning crisis](https://www.youtube.com/watch?v=54l8_ewcOlY)
- [toxic libs](http://toxiclibs.org/) --- processing like library in Java.
- [Black: Stafford gambit](https://www.youtube.com/watch?v=XkB4IVNaZWw).
- [Noncommutativity in chess annotation](https://en.wikipedia.org/wiki/Chess_annotation_symbols#?!_(Dubious_move))
> !? an interesting move that may or may not be good
> ?! a dubious move or move that is probably an inaccuracy
- Remembering White's queenside and kingside:
> from White's left (the queenside) to right (the kingside).
> "queen on her own color", "white on right".
> Casting kingside is `O-O` because 2pieces are swapped.
> Castling queenside is `O-O-O` because the queen is in the "middle".
- [Will no one rid me of this turbulent priest?](https://en.wikipedia.org/wiki/Will_no_one_rid_me_of_this_turbulent_priest)
> "Will no one rid me of this turbulent priest?" (also expressed as
> "troublesome priest" or "meddlesome priest") is a quote attributed to Henry
> II of England preceding the death of Thomas Becket, the Archbishop of
> Canterbury, in 1170. While the quote was not expressed as an order, it
> prompted four knights to travel from Normandy to Canterbury, where they
> killed Becket. The phrase is commonly used in modern-day contexts to express
> that a ruler's wish may be interpreted as a command by his or her
> subordinates.
- [Neat comparison between "skyrocketing trans rates" and "skyrocketing left handed rates"](https://www.washingtonpost.com/news/wonk/wp/2015/09/22/the-surprising-geography-of-american-left-handedness/)
> Basically, the rates jumped from 2 percent, till they stabilized at the
> "real rate" of 12 percent.
- [Applications of Lie Groups to Differential Equations](https://www.springer.com/gp/book/9781468402742) Solving DEs using Lie theory.
- [Natural operations in diffgeo: Covers jet bundles and writes everything from a bundle perspective](https://www.emis.de/monographs/KSM/)
- [Pierre albin: algebraic topology/homology](https://www.youtube.com/watch?v=XxFGokyYo6g&list=PLpRLWqLFLVTCL15U6N3o35g4uhMSBVA2b)
- [Marx, Kant, Nietcheze](https://www.youtube.com/watch?v=kIlEkbU4rx0&list=PLDF7B08FF8564D1FE&index=9)
- [The song of wandering aengus](https://www.poetryfoundation.org/poems/55687/the-song-of-wandering-aengus)
- [Modern english poetry](https://www.youtube.com/watch?v=ixs5AvKaB4E&list=PLh9mgdi4rNewA25FVJ-lawQ-yr-alF58z&index=4)
- [Quadratic recirpocity on n-category cafe](https://golem.ph.utexas.edu/category/2007/06/quadratic_reciprocity.html)
- [Docco: a tool to generate literate javascript docs](http://ashkenas.com/docco/)
- [Blog post explaining how to implement git. Love the presentation of code](http://gitlet.maryrosecook.com/docs/gitlet.html)
- [Lattice paths and continued fractions](https://golem.ph.utexas.edu/category/2017/09/lattice_paths_and_continued_fr.html)
- [Topos of G sets](https://golem.ph.utexas.edu/category/2018/10/topoi_of_gsets.html)
- [Entropy mod `p`](https://golem.ph.utexas.edu/category/2019/03/entropy_mod_p.html)
- Learn how to use `zsh` with `info zsh`.
- [Video lectures on algebraic topology](http://www.math.wsu.edu/faculty/bkrishna/FilesMath524/F19/LecNotes/welcome.html)
- Nigel Goldenfeld’s book on the renormalization group: Lectures on Phase Transitions and the Renormalization Group
- [Agonism](https://en.wikipedia.org/wiki/Agonism)
> There are three elements shared by most theorists of agonism: constitutive
> pluralism, a tragic view of the world, and a belief in the value of
> conflict.[1] Constitutive pluralism holds that there is no universal measure
> of adjudicating between conflicting political values.[2] For example, Chantal
> Mouffe argues, following Carl Schmitt, that politics is built on the
> distinction of 'us' and 'them'.[3] Based on this, agonists also believe in "a
> tragic notion of the world without hope of final redemption from suffering
> and strife", which cannot find a lasting political solution for all
> conflicts.[4] Instead, agonists see conflict as a political good.[5][6] For
> example, Mouffe argues that "In a democratic polity, conflicts and
> confrontations, far from being a sign of imperfection, indicate that
> democracy is alive and inhabited by pluralism”.[7]
- [Hatcher's list of recommended topology books](https://pi.math.cornell.edu/~hatcher/Other/topologybooks.pdf)
- C P Rourke and B J Sanderson. Introduction to Piecewise-Linear Topology.
- Topology by Klaus Jainich: Considered to be beautiful, chatty, but full of elegant proofs, especially
of things like Tychonoff and Tietze extension.
- [O Viro, O Ivanov, V Kharlamov, and N Netsvetaev. Elementary Topology](http://www.math.uu.se/˜oleg/educ-texts.html).
Essentially just an outline with proofs left as exercises, but with many
insightful comments. Includes also some algebraic topology and manifold
theory
- [Read all the archives of the n category cafe](https://golem.ph.utexas.edu/category/archives.html)
- [Ends in category theory](https://golem.ph.utexas.edu/category/2014/01/ends.html)
> “The end of the walking stick is at the bottom.”
- [The structure of information: from probability to homology](https://128.84.21.199/abs/1709.07807v1)
> D. Bennequin and P. Baudot introduced a cohomological construction adapted to
> information theory, called "information cohomology" (see "The homological
> nature of Entropy", 2015). Our text serves as a detailed introduction to
> information cohomology, containing the necessary background in probability
> theory and homological algebra. It makes explicit the link with topos theory,
> as introduced by Grothendieck, Verdier and their collaborators in the SGA IV.
> It also contains several new constructions and results. (1) We define
> generalized information structures, as categories of finite random variables
> related by a notion of extension or refinement; probability spaces are models
> (or representations) for these general structures. Generalized information
> structures form a category with finite products and coproducts. We prove that
> information cohomology is invariant under isomorphisms of generalized
> structures. (2) We prove that the relatively-free bar construction gives a
> projective object for the computation of cohomology. (3) We provide detailed
> computations of H1 and describe the "degenerate" cases. (4) We establish the
> homological nature of Tsallis entropy. (5) We re-interpret Shannon's axioms
> for a 'measure of choice' in the light of this theory and provide a
> combinatorial justification for his recurrence formula.
- Pragmatic truth: Truths that allow you to act in a way that maximises your ability to reproduce.
Truths with functional utility.
- [Set Theory and the Continuum Problem](Set Theory and the Continuum Problem)
> Part One's focus on axiomatic set theory features nine chapters that examine
> problems related to size comparisons between infinite sets, basics of class
> theory, and natural numbers. Additional topics include author Raymond
> Smullyan's double induction principle, super induction, ordinal numbers, order
> isomorphism and transfinite recursion, and the axiom of foundation and
> cardinals. The six chapters of Part Two address Mostowski-Shepherdson mappings,
> reflection principles, constructible sets and constructibility, and the
> continuum hypothesis. The text concludes with a seven-chapter exploration of
> forcing and independence results. This treatment is noteworthy for its clear
> explanations of highly technical proofs and its discussions of countability,
> uncountability, and mathematical induction, which are simultaneously charming
> for experts and understandable to graduate students of mathematics.
- [Path tracing depth of field](https://blog.demofox.org/2018/07/04/pathtraced-depth-of-field-bokeh/)
- [Peterson: Jung](https://www.youtube.com/watch?v=3iLiKMUiyTI)
- [Locally finite graphs with ends](https://www.math.uni-hamburg.de/home/diestel/papers/TopSurvey.pdf)
- [Differential calculus and gauge theory on finite sets](https://arxiv.org/pdf/hep-th/9401149.pdf)
- Open question: how to convert Pilot wave theory into quantum field theory?
- [Fecko: differential geometry and Lie Groups for physicists](https://www.amazon.com/dp/0521187966/?tag=pfamazon01-20&tag=pfamazon01-20)
- [Audio synthesis: The blog at the bottom of the ocean](https://blog.demofox.org/)
- [Basic intro to digital waveguide synthesis](https://ccrma.stanford.edu/~jos/swgt/swgt.html)
- [Light is beautiful: blog of a demoscener](http://lousodrome.net/blog/light/)
- [Revision 2020 threeway battle](https://gargaj.tumblr.com/post/615750987019436032/a-breakdown-of-the-revision-2020-threeway-battle)
- [mercury.sexy](http://mercury.sexy/)
- [`hg_sdf: library for signed distance fields(http://mercury.sexy/hg_sdf/)
- [On the building blocks of mathematical logic](https://writings.stephenwolfram.com/data/uploads/2020/12/Schonfinkel-OnTheBuildingBlocksOfMathematicalLogic.pdf)
- [Dependent linear type theory](https://ncatlab.org/nlab/show/dependent+linear+type+theory)
- [HoTT in Agda](https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html)
- [Kerodon: A textbook of infinity category theory](https://kerodon.net/tag/0001)
- Lying in persia
- [Podgist --- get transcriptions of podcasts](https://www.podgist.com/dan-carlins-hardcore-history/show-56-kings-of-kings/index.html)
- Why "cogito ergo sum" is insufficient:
> It reminds me of Descarte's argument that even if we were just brains in vats
> coerced to believe in reality by some evil demon's manipulation, we still
> "know" something because "cogito ergo sum". A simple counter argument is that
> there's no reason the evil demon can't also coerce logic. For example, that we
> are in effect constantly entering into contradiction but are unable to see it
> by design.
- [Mathworks in the UK](https://in.mathworks.com/company/jobs/locations/unitedkingdom-cambridge.html)
- [Theorem that quantum circuits can be simulated efficiently classically for hadamard, phase. Gottesman Knill theorem](https://en.wikipedia.org/wiki/Gottesman%E2%80%93Knill_theorem).
CHP / Scott Aaronson's [Improved Simulation of Stabilizer Circuits](https://arxiv.org/pdf/quant-ph/0406196.pdf)
- Learn descriptive set theory.
- [Murray Gell Mann: MIT or suicide](https://www.youtube.com/watch?v=nfEvQMPDhOg)
- [Threaded interpretiv languages](https://www.amazon.co.uk/Threaded-Interpretive-Languages-R-G-Loeliger/dp/007038360X)
- [Tensors: the geometric viewpoint and its uses](https://www.springer.com/gp/book/9783540520184)
Book that I learnt much of tensor algebra from.
The cover has Shiva on it, and quotes a bunch of Zen buddhism and the Bhagavad gita in its openings.
Quite a unique flavour for sure.
- [VoxelSpace: 2.5D voxel renderer](https://s-macke.github.io/VoxelSpace/)
- Mathographics: how to draw mathematics
- Read EVERYTHING by Milnor!
- [Method of moving frames](https://math.stackexchange.com/questions/125536/need-references-on-cartans-method-of-moving-frames)
- Learn to draw impossible figures. It's MUCH harder than I thought it would be.
- [Mathematics for physics: has everything including bundles](https://www.mathphysicsbook.com/mathematics/)
- Joahn Baez: Gauge Fields, Knots and Gravity
- [Probability on trees and networks](https://rdlyons.pages.iu.edu/prbtree/)
Some Highlights
> Random Walks and Electric Networks
> Special Networks
> Uniform Spanning Trees
> Branching Processes, Second Moments, and Percolation
> Isoperimetric Inequalities
> Percolation on Transitive Graphs
> The Mass-Transport Principle and Percolation
> Infinite Electrical Networks and Dirichlet Functions
> Uniform Spanning Forests
> Minimal Spanning Forests
> Limit Theorems for Galton-Watson Processes
> Escape Rate of Random Walks and Embeddings
> Random Walks on Groups and Poisson Boundaries
> Hausdorff Dimension
> Capacity and Stochastic Processes
> Random Walks on Galton-Watson Trees
- [What colour are your bits](ansuz.sooke.bc.ca/entry)
> My friend had gone through an elaborate process that basically amounted to
> performing some other piece of music four minutes and thirty-three seconds
> long, with a software synthesizer and the volume set to zero. The result was
> an appropriate-sized file of zeroes - which he compressed with an MP3
> compressor. The MP3 file was bit-for-bit identical to one that would have been
> produced by compressing /dev/zero... but this file was (he claimed)
> legitimately a recording of 4'33" and the other one wouldn't have been. The
> difference was the Colour of the bits. He was asserting that the bits in his
> copy of 433.mp3 had a different Colour from those in a copy of 433.mp3 I might
> make by means of the /dev/zero procedure, even though the two files would
> contain exactly the same bits.
> ...
> The trouble is, human beings are not in general Colour-blind. The law is not
> Colour-blind. It makes a difference not only what bits you have, but where
> they came from. There's a very interesting Web page illustrating the Coloured
> nature of bits in law on the US Naval Observatory Web site. They provide
> information on that site about when the Sun rises and sets and so on... but
> they also provide it under a disclaimer saying that this information is not
> suitable for use in court. If you need to know when the Sun rose or set for
> use in a court case, then you need an expert witness - because you don't
> actually just need the bits that say when the Sun rose. You need those bits to
> be Coloured with the Colour that allows them to be admissible in court, and the
> USNO doesn't provide that. It's not just a question of accuracy - we all know
> perfectly well that the USNO's numbers are good. It's a question of where the
> numbers came from.
- [HoTT lecture videos](https://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22)
- [Comp.graphics usenet FAQ](http://www.faqs.org/faqs/graphics/algorithms-faq/)
- Kobayashi Nomizu: Contains the """right definitions""" of all differential geometric objects.
- [Reciprocality: The Anatomy, Life Cycle and Effects of the Phenomenologically Distributed Human Parasite M0](https://www.datapacrat.com/Opinion/Reciprocality/r1/index.html)
> This paper presents a self-replicating, homeostatic phenomenon called M0. M0
> runs parasitically on populations of humans. It is remarkable in that
> although its anatomy is distributed across all phenomenological layers from
> neurological to paradigmattic, its causal sequences are robust and (once
> exposed) readily traceable and hence vulnerable to counterattack.
> The anatomy and lifecycle of the parasite are described, together with
> several secondary effects which are often of primary importance to the host
> population. An alternative interpretation of the role of dopamine in
> controlling mood and awareness is proposed, and how the "security breach"
> thus exposed is exploited by M0 is shown. A disturbing model of the
> variability of human consciousness is proposed.
- [Invitation to topos theory](https://www.youtube.com/watch?v=Tz3B21zuMSw&list=PLKnx70LRf21dHwTTJ_ihHalZdeXlsZC1U&index=14)
- [Groups, Categories, Homological algebra](http://therisingsea.org/post/mast90068/)
- [Metric and hilbert spaces](http://therisingsea.org/post/mast30026/)
- [Cohomology operations and applications in homotopy theory](https://www.amazon.com/dp/0486466647)
- [Homotopic topology by Fomenko (guy with amazing drawings)](http://www.math.columbia.edu/~khovanov/algtop2013/)
- [Trefethen: Numerical Linear Algebra](https://people.maths.ox.ac.uk/trefethen/text.html)
- Topology via logic, frames and locales, etc.
- Laziness and linear types mix in complicated ways.
- [Spaceship earth](https://en.wikipedia.org/wiki/Spaceship_Earth)
> Spaceship Earth (or Spacecraft Earth or Spaceship Planet Earth) is a
> worldview encouraging everyone on Earth to act as a harmonious crew working
> toward the greater good.
> We travel together, passengers on a little space ship, dependent on its
> vulnerable reserves of air and soil; all committed for our safety to its
> security and peace; preserved from annihilation only by the care, the work,
> and, I will say, the love we give our fragile craft. We cannot maintain it
> half fortunate, half miserable, half confident, half despairing, half
> slave—to the ancient enemies of man—half free in a liberation of resources
> undreamed of until this day. No craft, no crew can travel safely with such
> vast contradictions. On their resolution depends the survival of us all.
- [Dialog can change people's minds](https://www.independent.co.uk/news/world/americas/kkk-klu-klux-klan-members-leave-black-man-racism-friends-convince-persuade-chicago-daryl-davis-a7489596.html)
> A black man says he has accidentally persuaded around 200 white racists to
> abandon the Klu Klux Klan simply by befriending them. Blues musician Daryl
> Davis has travelled the US for around three decades, actively seeking out white
> supremacists as a hobby. In a new documentary, out this month, the 58-year-old
> can be seen sitting down beside and joking with cloaked members. “It’s a
> wonderful thing when you see a light bulb pop on in their heads or they call
> you and tell you they are quitting,” said the author, actor and lecturer. “I
> never set out to convert anyone in the Klan. I just set out to get an answer to
> my question: ‘How can you hate me when you don’t even know me’.
- [Jazz standard](https://en.wikipedia.org/wiki/Jazz_standard)
- [Pannini Projection](http://tksharpless.net/vedutismo/Pannini/)
- [Hunter versus farmer hypothesis](https://en.wikipedia.org/wiki/Hunter_vs._farmer_hypothesis)
> This hypothesis proposes that ADHD represents a lack of adaptation of members
> of hunter-gatherer societies to their transformation into farming societies.
> Hartmann developed the idea first as a mental model after his own son was
> diagnosed with ADHD, stating, "It's not hard science, and was never intended to
> be.". However, more recent molecular and clinical research has given support
> to a genetic deflection ”theory” of ADHD arising from evolutionary adaptation
> Hartmann notes that most or all humans were nomadic hunter-gatherers for
> hundreds of thousands of years, but that this standard gradually changed as
> agriculture developed in most societies, and more people worldwide became
> farmers. Over many years, most humans adapted to farming cultures, but Hartmann
> speculates that people with ADHD retained some of the older hunter
> characteristics. A key component of the hypothesis is that the proposed "hyperfocus" aspect of
> ADHD is a gift or benefit under appropriate circumstances. The hypothesis also
> explains the distractibility factor in ADHD individuals and their short
> attention span for subject matter that does not interest the individual (which
> may or may not trigger hyperfocus), along with various other characteristics
> such as difficulty adhering to social norms, poor planning and organizing
> ability, distorted sense of time, impatience, attraction to variety or novelty
> or excitement, and impulsiveness.[citation needed] It is argued that in the
> hunter-gatherer cultures that preceded farming societies, hunters needed
> hyperfocus more than gatherers.
- [Gender Differences in Personality and Interests: When, Where, and Why?](https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1751-9004.2010.00320.x)
> How big are gender differences in personality and interests, and how stable are
> these differences across cultures and over time? To answer these questions, I
> summarize data from two meta‐analyses and three cross‐cultural studies on
> gender differences in personality and interests. Results show that gender
> differences in Big Five personality traits are ‘small’ to ‘moderate,’ with the
> largest differences occurring for agreeableness and neuroticism (respective
> ds = 0.40 and 0.34; women higher than men). In contrast, gender differences on
> the people–things dimension of interests are ‘very large’ (d = 1.18), with
> women more people‐oriented and less thing‐oriented than men. Gender differences
> in personality tend to be larger in gender‐egalitarian societies than in
> gender‐inegalitarian societies, a finding that contradicts social role theory
> but is consistent with evolutionary, attributional, and social comparison
> theories. In contrast, gender differences in interests appear to be consistent
> across cultures and over time, a finding that suggests possible biologic
> influences.
- [Complex analysis: A geometric viewpoint](https://www.maa.org/press/maa-reviews/complex-analysis-the-geometric-viewpoint)
Teaches complex analysis using diffgeo.
- [Can't we talk?](https://web.archive.org/web/20090707084209/http://raysweb.net/poems/articles/tannen.html)
> A married couple was in a car when the wife turned to her husband and asked,
> "Would you like to stop for a coffee?" "No, thanks," he answered truthfully.
> So they didn't stop. The result? The wife, who had indeed wanted to stop,
> became annoyed because she felt her preference had not been considered. The
> husband, seeing his wife was angry, became frustrated. Why didn't she just
> say what she wanted? Unfortunately, he failed to see that his wife was
> asking the question not to get an instant decision, but to begin a
> negotiation. And the woman didn't realize that when her husband said no, he
> was just expressing his preference, not making a ruling. When a man and woman
> interpret the same interchange in such conflicting ways, it's no wonder they
> can find themselves leveling angry charges of selfishness and obstinacy at
> each other. As a specialist in linguistics, I have studied how the
> conversational styles of men and women differ. We cannot lump all men or all
> women into fixed categories. But the seemingly senseless misunderstandings
> that haunt our relationships can in part be explained by the different
> conversational rules by which men and women play.
- [Semantics of type theory](https://www.springer.com/gp/book/9781461267577)
- Selected papers on Automath.
- [Higher dimensional type theory](https://favonia.org/courses/hdtt2020/)
- [Differential algebraic topology: From stratifolds to exotic spheres](http://www.him.uni-bonn.de/fileadmin/user_upload/kreck-DA.pdf)
- [Stable homotopy theory](https://www.youtube.com/watch?v=v5Rr_Z8QsOs&list=PLQuS12Ap6va-VgI5cdIjdHquIH3sLCLdJ)
- [Computing the continuous discretely: integer point enumeration in polyhedra](http://math.sfsu.edu/beck/papers/noprint.pdf)
- Algebraic Topology of Finite Topological Spaces and Applications by Jonathan Barmak
- Memory layout and staging: https://www.youtube.com/watch?v=WOd0ZFbJfQg
- Concolic execution:
- Determiniant calculus: https://arxiv.org/pdf/math/9902004.pdf
- Compact Oxford english dictionary: https://kk.org/cooltools/compact-oxford/
- Fractional Calculus: An Introduction for Physicists
- Electromagnetic Theory and Computation: A Topological Approach
- [Gauge theory and the topology of 4-manifolds](https://www.worldcat.org/title/gauge-theory-and-the-topology-of-four-manifolds/oclc/37806030)
- A history of gale shapely for selecting doctors:
https://thesheriffofsodium.com/2020/02/10/the-match-part-3-on-proposals-and-the-fight-for-a-student-optimal-match/
- Being and Event: Dude who claims to use ZFC to
"identify the relationship of being to history, Nature, the State, and God"?
- Read quotes of camus, kierkegaard, nietcheze, derrida, lovecraft,
- A Mathematical Introduction to String Theory
- Fundamental Algorithms for Permutation Groups
- Topological data structures for surfaces.
- [Obscurantism](https://en.wikipedia.org/wiki/Obscurantism). Wonderful that there's
a wikipedia page for this.
- [analytical marxism](https://en.wikipedia.org/wiki/Analytical_Marxism)
- [Inuit parenting](https://www.npr.org/sections/goatsandsoda/2019/03/13/685533353/a-playful-way-to-teach-kids-to-control-their-anger)
- [Metamorphosis of prime intellect, author](http://localroger.com/)
- Cheap way to spy on someone's `tty` if they are sharing. Something like `asciinema` but
can be live-streamed on a `tty`.
- do-ocracy: an organizational structure in which individuals choose roles and tasks for themselves and execute them.
- SAGE and Ito calculus?: https://github.com/acguidoum/Sim.DiffProc
- https://almostsuremath.com/: great blog on probability
- Apparently, a LOT of complex analysis can be performed if one knows martingales!
Examples include "Proof of Liouville’s theorem from Brownian motion",
"Brownian Motion in Complex Analysis".
- Seems to be a connection between elliptic/parabolic PDEs (heat equation)
and brownian motion, which is also ofc explained in keenan's geodesics in heat.
[Here is an MO link](https://mathoverflow.net/questions/115032/non-rigorous-reasoning-in-rigorous-mathematics/115075#115075)
- David Williams: Probability with Martingales --- motivates probability and measures
through martingales.
- [arb: a C library for arbitrary precision arithmetic](https://arblib.org/index.html)
- James Gilleard: [Hypnotic art that looks like a strange blend of natural and artifical](https://jamesgilleard.net/).
Minimal. He lives in Japan now. Has art on mountains, japan, and animals.
- Silent trade:
> Silent trade, also called silent barter, dumb barter ("dumb" here used in its
> old meaning of "mute"), or depot trade, is a method by which traders who
> cannot speak each other's language can trade without talking. Group A would
> leave trade goods in a prominent position and signal, by gong, fire, or drum
> for example, that they had left goods. Group B would then arrive at the spot,
> examine the goods and deposit their trade goods or money that they wanted to
> exchange and withdraw. Group A would then return and either accept the trade
> by taking the goods from Group B or withdraw again leaving Group B to add to
> or change out items to create an equal value. The trade ends when Group A
> accepts Group B's offer and removes the offered goods leaving Group B to
> remove the original goods.
- Deep trust versus broad trust
> we don't have communities like we used to have with deep trust, even the
> families are not the same anymore. On the other hand I am not afraid to go to
> neighboring city (or when I was a kid it could be even other part of the city)
> so someone would come up with "hey you are not from around here, what are you
> looking for a trouble here son?".
> We traded deep trust for broad trust. This way price of transactions on
> bigger scale went down a lot, even if they went up on personal or local
> level.
> In the end broad trust is more useful for people because it enables mobility.
> One can move to a big city and won't be instantly scammed. If we would value
> deep trust only, there would be no way for people to move out from "dead end"
> places.
- Multiple cursors as local operational transforms!
- [Haskell for maths: implementations of lots of algorithms for math](https://hackage.haskell.org/package/HaskellForMaths)
- [Serees: Permutation group algorithms](https://doc.lagout.org/science/0_Computer%20Science/2_Algorithms/Permutation%20Group%20Algorithms%20%5BSeress%202003-03-17%5D.pdf)
- [algebraic number theory: a computational approach by the sage dude (William stein)](https://github.com/williamstein/ant)
- [Beautiful math books along the lines of needham](https://mathoverflow.net/questions/31879/are-there-other-nice-math-books-close-to-the-style-of-tristan-needham/102712#102712)
- "Introduction to Money" by Honor Croome
- Linearity, Symmetry, and Prediction in the Hydrogen Atom: Capstone book for complex analysis and representation theory.
Seems like a good bedtime read. Found from an MO question: [why is the physical meaning of an irreducible representation justified](https://mathoverflow.net/questions/16074/how-is-the-physical-meaning-of-an-irreducible-representation-justified)
- [Big list of useful terminal apps](https://discuss.kakoune.com/t/what-is-your-kakoune-stack/1130/7)
- C++ move semantics, the complete guide: http://www.cppmove.com/
- SIMD parsers are sort of like parsers that build an index/semi-index. Can we
use this to build a restartable semi-indexed parser? This will let us use
seekable machines to play rank/select tricks, while being "fast" and
"good in memory" (succinct). Krohn rhodes theory may tell us how to cascade
the automata correctly.
- Inequalities: Theory of Majorization and Its Applications
- Measure theory youtube videos: https://www.youtube.com/watch?v=xZ69KEg7ccU
- Representations of Groups A Computational Approach
- [SAGE issues/tickets related to manifolds](https://trac.sagemath.org/query?status=!closed&reporter=gh-mjungmath)
- [SAGE ticket on finite topological spaces](https://trac.sagemath.org/ticket/30400)
- [The real problem at Yale is not free speech](https://palladiummag.com/2019/08/05/the-real-problem-at-yale-is-not-free-speech/)
> There is a reason why Harvard’s motto is “Veritas”—truth, whereas Yale’s
> motto is “Lux et veritas”—light and truth. Truth without light is pointless.
> Knowledge without an aim is at best not useful—and at worst, destructive.
> ~ The real problem at yale is not free speech
- [Group theory and its application to physical problems](Group theory and its application to physical problems)
- Classical Tessellations And Three Manifolds: geometric and pictorial account of low dimensional geometry.
- Representation Theory of Finite Groups Gordon James: introductory account of representation theory phrased in terms of modules.
- [Tarot of the divine: beautiful tarot cards](https://yoshiyoshitani.store/collections/tarot/products/preorder-tarot-of-the-divine-a-deck-and-guidebook-inspired-by-deities-folklore-and-fairy-tales-from-around-the-world-tarot-deck-only)
- [Growing a proof assistant](Growing a Proof Assistant)
- Introduction to Higher-Order Categorical Logic: Lambek, P. J. Scott on topoi!
- Method of types
- Lazy Depth-First Search and Linear Graph Algorithms in Haskell
- [MAA problem books](https://www.maa.org/sites/default/files/pdf/pubs/books/Problems_book_list.pdf): Series of books
about problem solving!
- The Cauchy Schwarz master class: inequalities and how to use cauchy schwarz
- [A shorter model theory](https://www.amazon.in/Shorter-Model-Theory-Wilfrid-Hodges/dp/0521587131): Short book on model theory.
- [On the complexity of linear arithmetic with divisibility](https://www.cs.ox.ac.uk/people/james.worrell/LICS-main.pdf): Useful for presburger results.
- [Hori's Mirror symmetry](https://www.claymath.org/library/monographs/cmim01c.pdf) seems to contain good exposition of differential and
algebraic geometry.
- [Shafaravich: Basic Algebraic Geometry](https://www.springer.com/gp/book/9783642579080)
- [Discrete version of riemann roch](https://mathoverflow.net/a/322850/123769)
- [The Geometry of Geodesics, by Herbert Busemann, provides a purely intrinsic approach to a large part of differential geometry, through axioms on the metric. It does not define covariant derivatives — but it defines geodesics without them, as length-preserving maps from the real line. It does not define vector fields — but it analyzes motions, which are a finite analog to that infinitesimal notion. It does not define differential forms — but it defines scalar curvature synthetically.](https://mathoverflow.net/a/379424/123769)
- Relativity in Illustrations: Explains relativity purely geometrically.
- [Intuition for divisor and genus](https://math.stackexchange.com/questions/1609/intuitive-explanations-for-the-concepts-of-divisor-and-genus/1635#1635)
- [Group representations in probability and statistics: Covers representation theory of the symmetric group](https://jdc.math.uwo.ca/M9140a-2012-summer/Diaconis.pdf)
- Symmetries and curvature in general relativity by G S Hall: covers the lie
and representation theory of the lorentz group.
- [Doxastic logic](https://en.wikipedia.org/wiki/Doxastic_logic)
- [Right-left rule for disambiguating C declarations](http://cseweb.ucsd.edu/~ricko/rt_lt.rule.html)
- [Grothendieck construction](https://math.mit.edu/~dspivak/CT4S.pdf)
- [KMP, functionally](https://chaoxuprime.com/posts/2014-04-11-the-kmp-algorithm-in-haskell.html)
- [Codeforces: voronoi diagrams](https://codeforces.com/blog/entry/85638)
- [Superflux: imagined futures for the 21st century](https://superflux.in/)
- [Exact humanities reading list](https://itihas.review/grimoire/hrl.html)
- [That about wraps it up; using Y combinator to tie the knot](http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/ECS-LFCS-97-375.pdf)
- [Adjoint operators](http://www.reproducibility.org/RSF/book/bei/conj/paper_html/index.html)
- [Original BDD reading material: Graph-Based Algorithms for Boolean Function Manipulation](https://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf)
- [13 ways to think of the correlation coefficient](https://www.jstor.org/stable/pdf/2685263.pdf)
- [Chasm of unknowing](https://chasm-of-unknowing.tumblr.com/)
- [A distributed systems reading list](https://dancres.github.io/Pages/)
- [Linear logic vector spaces?](https://www.cs.bham.ac.uk/~drg/bll/steve.pdf)
- Book on juggling notation.
- Applied Analysis by the Hilbert Space Method: book which combines Hilbert spaces, differential equations, and Fourier analysis at very elementary undergraduate level
- [The major system: remembering numbers](https://artofmemory.com/wiki/Major_System)
- [Necessary disorder: GIFs with the same style, looping, beautiful](https://necessary-disorder.tumblr.com/page/2)
- [Chess tactics](https://www.chesstactics.org/)
- [Geometric Algebra: Eric Chisolm --- the reference that finally made GA make sense for me.](https://arxiv.org/pdf/1205.5935.pdf )
- [The Topological Structure of Asynchronous Computability](https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.78.1455&rep=rep1&type=pdf). Seems to explain a bunch of distributed systems results in combinatorial topology language. Very very cool.
- [Chess endgames you must know](https://www.goodreads.com/book/show/2897367-100-endgames-you-must-know?ac=1&from_search=true&qid=VFPFB6EwYF&rank=1)
- [Basic number theory by Weil](https://en.wikipedia.org/wiki/Basic_Number_Theory) --- seems like a good place as any
to learn "real Algebraic number theory"
- [Digraphs: Theory, Algorithms and Applications](https://www.springer.com/gp/book/9781848009974) Seems to be an authoritative
textbook on digraph theory. Sadly, it does not contain an exposition of Tarjan's SCC algorithm.
- [INOI training material](https://www.iarcs.org.in/inoi/online-study-material/topics/articulation-points.php)
- Discrete Images, Objects, and Functions in Zn: Seems to contain many results on
topologies for images.
- Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry
- Applied finite group actions
- [Orbit stabilizer for Lie groups? Answers in the book: "Lie Algebras and Algebraic Groups"](https://rads.stackoverflow.com/amzn/click/com/3642063330
- [the book of Parametrized algorithms](https://www.mimuw.edu.pl/~malcin/book/parameterized-algorithms.pdf)
- [Second Thread: IGM on codeforces with great videos on competitive programming ideas](https://codeforces.com/blog/SecondThread)
- [Possibility theory](http://scholarpedia.org/article/Possibility_theory) an ordinal version of probability
theory, and [an implementation in racket, called 'ranked programming'](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf)
- [Galois' dream: textbook about lie theory for differential equations](https://www.springer.com/gp/book/9780817636883)
- [Inverse Noether theorem](https://scholar.harvard.edu/files/noahmiller/files/visualizing_noether.pdf)
- Atmospheric Thermodynamics: Bohren and Albrecht: Spends a lot of time building up good conventions
and notation, does NOT use scam differentials.
- [zhihu: chinese reddit](https://www.zhihu.com/)
- [Makepad: sexy rust editor that runs in the web with wasm](https://makepad.nl/)
- [Olympiad combinatorics](https://artofproblemsolving.com/community/c6h601134)
- [Evan Cheng's list of books](https://web.evanchen.cc/recommend.html): Has good sources for
algebraic geometry and differential geometry.
- [Yufei Zhao: olympiad training](https://yufeizhao.com/olympiad/)
- Dirac general theory of relativity: a good description of torsion as being intrinsic.
Learnt from [this answer on mathoverflow](https://mathoverflow.net/a/376498) which goes on to say:
> I will try to help with the title question. I think that the real motivation
> for the Levi-Civita connection comes from looking at surfaces in Euclidean
> 3-space. Differentate one tangent vector field Y along another X by first
> extending them to be defined in the ambient space, and then taking the
> tangential projection of XY, i.e. tangential projection of the Euclidean
> connection. Levi-Civita discovered that this process is intrinsic, i.e.
> invariant under isometry of surfaces without carrying along the ambient
> space, and described precisely by torsion freedom. This was clearly a long
> and difficult process. Dirac uses this view in his book General Theory of
> Relativity, and this is how I introduce the Levi-Civita connection in my
> lectures. I have to agree that there is something missing in the textbook
> discussions of torsion. I have not found an intuitive understanding of
> torsion.
- [`aerc`: email client for CLI](https://aerc-mail.org/)
- [Graphs, Dioids and Semirings: Provides algebraic descriptions of most graph algorithms](https://www.springer.com/gp/book/9780387754499)
- [cutter: IDE for reverse engineering](https://cutter.re/)
- Reversing: Secrets of Reverse Engineering --- book on reverse engineering.
- [`kaitai` is like `010` editor for drilling into binary formats, but also FOSS. With a web IDE!](https://ide.kaitai.io/)
- [010 editor: world's best hex editor, comes with powerful scripting language to describe data layout](https://www.sweetscape.com/010editor/)
- [MenuetOS: an entire OS written in assembly](https://github.com/marcosptf/menuetos)
- [Study tree-sitter](https://github.com/tree-sitter/tree-sitter)
- [Kakoune community's list of CLI tools](https://discuss.kakoune.com/t/terminal-life-lust-for-life/778/29)
- Prefix sums and their applications: Guy Blelloch
- [Stanford intro to logic course that uses Herbrand semantics](http://intrologic.stanford.edu/public/index.php)
- [The herbrand manifesto: why we ought to use herbrand semantics, and the consequences this has on prolog](http://intrologic.stanford.edu/extras/manifesto.html). [Found from this `math.se` link](https://math.stackexchange.com/a/3894320/261373)
- [Patat: terminal based presentations using Pandoc](https://hackage.haskell.org/package/patat)
- [Algebraic effects in C](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr.pdf)
- [BASIC programming in the commodore64](http://tomasp.net/commodore64/)
- A course on probability: https://www.probabilitycourse.com/
- A knight moves one square diagonal plus one straight. no need to think of `L`.
- [Einstein's original 100 page manuscript on relativity](https://www.gutenberg.org/files/36276/36276-pdf.pdf)
- [Holor theory: generalization of tensors that support either independent/dependent quantities]()
- An IDE for x86 assembly with great documentation lookup, goto symbol, etc. The
things """we expect""". Ie, language server for assembly.
- [Problems on flows](https://gist.github.com/bollu/371caca4d9ad73f401f095c3ac835e60)
- [The GHIDRA book](https://nostarch.com/GhidraBook): Book about learning how
to use GHIDRA
- Differentiable programming for cheaply adding interactivity to graphics: https://tiarkrompf.github.io/notes/?/differentiable-programming-in-js/
Very nice!
- [Talon: hands free input for computers](https://talonvoice.com/docs/) write code using
sounds and eye tracking.
- Advanced data structres by Peter Brass: Describes both the usual things, and
exotic okasaki structures, interval trees, ukkonen's in detail.
- [Oriented matroids](https://en.wikipedia.org/wiki/Oriented_matroid) as the theory of simplex?
- https://github.com/ssloy/tinyrenderer
- [Combinatorial commutative algebra](Combinatorial Commutative Algebra)
- [Applied finite group actions](https://www.springer.com/gp/book/9783540659419)
- [How does the C debugger work](https://blog.0x972.info/?d=2014/11/13/10/40/50-how-does-a-debugger-work)
- [First class patterns](https://hackage.haskell.org/package/first-class-patterns)
- Complete and easy bidirectional type checking for higher ranked polymorphism.
- Towards a practical programming language based on dependent type theory.
- [Refinement types, a tutorial in the nanopass style](https://arxiv.org/pdf/2010.07763.pdf)
- Manifolds tensors and forms, introduction to mathematicians and physicists: Teaches
diffgeo with a heavy emphasis on physics intuition and applications. Is very geometric!
- [Real time collision detection book](https://realtimecollisiondetection.net/). It
is basically a book about spatial data structures and cache aware algorithms.
- [Werner Harzog](https://en.wikipedia.org/wiki/Werner_Herzog)
- [Iron smelting from scratch: Harald the blacksmith](https://www.haraldthesmith.com/iron-smelting/)
- Read Roslyn: https://github.com/dotnet/roslyn
- The Art of Multiprocessor Programming
- Read how CILK works. They've clearly spent a lot of time making it fast, and there
are papers.
- [Performance engineering for software systems](https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-172-performance-engineering-of-software-systems-fall-2018/)
- [Ludwig Miles van der Rohe: God is in the details](https://en.wikipedia.org/wiki/Ludwig_Mies_van_der_Rohe)
- Strange algebraic structures: [racks, shelves, quandles](https://ncatlab.org/nlab/show/rack)
- Schroeder’s Thermal Physics: Buck learnt stat mech from this.
- Economics and stat mech: (1) Classical thermodynamics and economic general equilibrium theory,,
(2) An economic analogy to thermodynamics.
- Nathan Bailey’s 1737 Dictionary of Thieving Slang (canting, or cant) from the underworld
- Charles Knight’s (1845) Old England, a Pictorial Museum
- Brewer's Dictionary of Phrase and Fable: a dictionary of strange words! Nice.
- [Racket DSLs: Making a DSL in one hour --- `stacker`](https://beautifulracket.com/stacker/)
- [REDIS walk through source code by antirez](https://www.youtube.com/user/antirez/videos)
- [2D general relativity](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.339.3671&rep=rep1&type=pdf)
- [general relativity for 1+1 dimensions](https://core.ac.uk/download/pdf/4877178.pdf)
- [Regge calculus, a discrete version of General relativity](https://en.wikipedia.org/wiki/Regge_calculus)
- [bidirectional type inference, explained in Agda](https://plfa.github.io/Inference/)
- Arithmetic of elliptic curves: seems to explain elliptic curves from the "algebraic geometry perspective".
- [Smoothie: Smooth non analytic functions generated by chebfun](https://www.chebfun.org/examples/stats/Smoothies.html)
- [USACO guide](https://usaco.guide/dashboard/)
- [CSES problem set](https://cses.fi/problemset/). Problem set for competitive programming
- [The generalized distributive law: general version of FFT, viterbi, ...](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.125.8954&rep=rep1&type=pdf)
- algebraic geometry through toric ideals: https://www.youtube.com/watch?v=-AkCtGY7Kc8&list=PLnkl-SmACpdhIZnHAecRG36du2Oc2jiTs&index=1
- [CadQuery](https://github.com/CadQuery/cadquery): open source python based
3D modelling / 3D printing / parametric CAD tool. Supposedly better than
OpenSCAD.
- Free Culture, Lawrence Lessig
- Getting Stronger, a blog about training oneself to thrive on stress: https://gettingstronger.org/
- A visual introduction to Differential Forms and Calculus on Manifolds
- A general relativity workbook: Supposedly is like Abel's theorem in problems and solutions,
where it gives you exercises to work through.
- Gentle introduction to general relativity that answers all the 'why's:
A Most Incomprehensible Thing: Notes Towards a Very Gentle Introduction to the Mathematics of Relativity Kindle Edition
- A primer on domains and measure theory: https://www.youtube.com/watch?v=UJrnhhRi2IE
- Fisher Yates and Sattolo's algorithm (generate permutation with one cycle) https://danluu.com/sattolo/
- `monochrom`'s favourite work of djikstra: http://www.vex.net/~trebla/ewd.html
- Course on solids, crystal groups, tension with video lectures: https://ocw.mit.edu/courses/materials-science-and-engineering/3-60-symmetry-structure-and-tensor-properties-of-materials-fall-2005/index.htm
- Project oberon: a computing system built from scratch: http://www.projectoberon.com/
- Domain theory and measurement: http://www.nearmidnight.com/domains.pdf
- Domain theory/Lattices/partial orders and general relativity (GR): http://www.cs.ox.ac.uk/people/bob.coecke/gr2.pdf.
- https://en.wikipedia.org/wiki/Richard_Hofstadter: American understanding of politics.
The age of reform.
- Good journal about programming: The Art, Science, and Engineering of Programming
- Adam Curtis: Hypernormalization (https://www.youtube.com/watch?v=-fny99f8amM),
Bitter Lake (https://www.youtube.com/watch?v=84P4dzow1Bw),Century of the Self,
documentares.
- Joseph Tainter: The Collapse of Complex Societies
- 24 hours of local cohomology
- [8086 is encoded in OCTAL!](https://web.archive.org/web/20041117160755if_/http://www.dabo.de:80/ccc99/www.camp.ccc.de/radio/help.txt)
- WordPerfect as a word processor: https://news.ycombinator.com/item?id=24411333
- The entire Landscape series from Macfarlane:
(1) Mountains of the Mind (a history and first-person account of mountain climbing),
(2)The Wild Places (a history and exploration of the 'wild' landscapes of the British Isles),
(3) The Old Ways (a history and exploration of the ancient paths of the world) are
all really excellent (and can be read in any order). He's a fabulous writer,
kind of like a Kapuściński for the natural world.
- OpenSCAD: 3D modelling CAD 3D printing tool for mathematically and programatically
generating solids.
- CALM conjecture: when do we need to use coordination? https://arxiv.org/pdf/1901.01930.pdf
- pwn.college CTF: https://pwn.college/
- Procrastination by Burka & Yuen. How to stop procrastination: https://news.ycombinator.com/item?id=24120275.
> In situation X I will do behaviour Y to achieve subgoal Z
> Value affirmation: Remind yourself of the why.
- 'Never split the difference': book about negitation.
- Translation of Odyssey into iambic pentameter: 'Odyssey by Emily Wilson'
- Milan Kundera --- The Art of the Novel: If the novel you write isn't smarter
than you, it's probably a bad novel.
- Learning synths: https://learningsynths.ableton.com/en/making-changes/amplitude | https://news.ycombinator.com/item?id=20272346
- Greg Egan list of physics: https://www.gregegan.net/SCIENCE/Science.html
- Vim capture groups: https://stackoverflow.com/a/17734304/5305365
- Books on "raw counting": The Art of Proving Binomial Identities, Bijective Combinatorics
- Efficient E-Matching for SMT Solvers
- monotonicity and deltas is needed by datalog inside propagators?
- Lennart Blog: http://augustss.blogspot.com/2007/04/
- https://en.wikipedia.org/wiki/Inline_caching#Polymorphic_inline_caching
- http://twelf.org/wiki/Main_Page
- LF for dependent types.
- A hunt for a dictionary of rare words: http://www-personal.umich.edu/~jlawler/wordlist.html,
which also led me to http://phrontistery.info/isms.html
- Video lectures on computational AG: http://swc.math.arizona.edu/oldaws/06Notes.html
- Algebraic function fields and codes: Covers some version of Riemann Roch in chapter 1!
Seems to build a decent amount of algebraic number theory to then perform
coding theory. Is very cool.
- Street fighting mathematics: How to do mathematics: https://www.cs.cmu.edu/~odonnell/toolkit13/how-to-do-math-and-tcs.pdf
- Books on writing: (1) On Writing by Stephen King, (2) Anatomy of Story by
John Truby (3) The Art of Dramatic Writing by Lajos Egri,
(4) Bird by Bird by Anne Lamott, (5) Theory of Prose by Shklovsky,
(6) Morphology of the Folk Tale by Propp, (7) Narrative Discourse by Genette,
and (8) Structural Semantics by Greimas, (9) Building Great Sentences
- Stream fusion to completeness: https://arxiv.org/pdf/1612.06668.pdf
- PhD qualifying exams, large list: https://math.stackexchange.com/questions/267554/on-ph-d-qualifying-exams/270467#270467
- Mishchenko/Fomenko - "A Course of Differential Geometry and Topology". It
develops everything up from Rn, curves and surfaces to arrive at smooth
manifolds and LOTS of examples (Lie groups, classification of surfaces, etc).
It is also filled with LOTS of figures and classic drawings of every
construction giving a very visual and geometric motivation. It even develops
Riemannian geometry, de Rham cohomology and variational calculus on manifolds
very easily and their explanations are very down to Earth.
- Stoker, differential geometry: Very concrete first few chapter, then does
abstract manifolds next few chapters, finally ends up at relativity.
- Ergodic theory explanation for burnside:
https://mathoverflow.net/questions/50033/intuitive-explanation-of-burnsides-lemma
- Geometry: A metric approach with models by Richard S Millman: https://math.stackexchange.com/a/615095/261373
- Invitation to ergodic theory by CE Silva. Contains a first chapter on
Lebesgue measure, so no difficulties of "not knowing measure".
- All the good tutorials on competitive programming in
codeforces: https://codeforces.com/blog/entry/57282
- Computataional algebraic number theory:
A Course in Computational Algebraic Number Theory by Henri Cohen
- Algorithms to compute the primary decompositions of ideals:
(1) Localization and Primary Decomposition of Polynomial ideals
(2) Eisenbud-Huneke-Vasconcelos
- [Zhegalkin polynomials: Think edward told me about to compute toric varieties](https://en.wikipedia.org/wiki/Zhegalkin_polynomial)
- Indian IAS preparation textbooks: https://www.jagranjosh.com/articles/best-books-for-ias-exam-1479814834-1
- Ballentine: Quantum Mechanics: A Modern Development. Rigorously
builds up QM from rigged hilbert spaces, and probability theory from
Kolmogrov axioms.
- [Recursive estimation and the kalman filter](https://www.le.ac.uk/users/dsgp1/COURSES/MESOMET/ECMETXT/recurse.pdf)
- [Books in the style of needleham's Visual complex analysis](https://mathoverflow.net/questions/31879/are-there-other-nice-math-books-close-to-the-style-of-tristan-needham/65746#65746)
- Online etymology dictionary: [Etymonline](https://www.etymonline.com/)
- ImagineFX: [digital art magazine](https://www.creativebloq.com/imaginefx)
- Learning how to draw: structured exercises! [Draw a box](https://drawabox.com)
- The digital line: a non-Hausdorff space important in graphics: https://math.stackexchange.com/a/3778161/261373.
This seems to give topological meaning to a bunch of interesting "discrete"
algorithms. I'll have to check it out.
- Defending the Undefendable: The Pimp, Prostitute, Scab, Slumlord, Libeler,
Moneylender, and Other Scapegoats in the Rogue's Gallery of American Society
Origins of Mathematical Words, a book about the etymology of mathematical
terms.
- [Nice example of left/right identities in terms of colored sheets](https://www.reddit.com/r/math/comments/hzyt8l/consider_a_set_of_opaque_colored_sheets_along/)
> Consider a set of opaque colored sheets, along with a binary operation of
> stacking sheets. Then every sheet is a left identity, UNLESS you add a
> transparent sheet to the set, at which point none of the other sheets are
> left identities anymore, and only the transparent sheet remains as an
> identity.
- [Why do people stay poor?](http://sticerd.lse.ac.uk/dps/eopp/eopp67.pdf)
> There are two views as to why people stay poor. The equal opportunity view
> emphasizesthat differences in individual traits like talent or motivation
> make the poor choose lowproductivity jobs. The poverty traps view
> emphasizes that access to opportunitiesdepends on initial wealth and hence
> poor people have no choice but to work in lowproductivity jobs. We test the
> two views using the random allocation of an asset transferprogram that gave
> some of the poorest women in Bangladesh access to the same jobopportunities
> as their wealthier counterparts in the same villages. The data rejectsthe
> null of equal opportunities. ... Our findings imply that largeone-off
> transfers that enable people to take on more productive occupations can
> helpalleviate persistent poverty.
- SPQR by Mary Beard: is a Roman history more or less with the midpoint as the
fall of the Republic and transition to Empire... a very apt piece of history
in the current political climate.
- Anarchy, State, and Utopia by Robert Nozick:
> Nozick argues in favor of a minimal state, "limited to the narrow functions
> of protection against force, theft, fraud, enforcement of contracts, and so
> on." When a state takes on more responsibilities than these, Nozick argues,
> rights will be violated. To support the idea of the minimal state, Nozick
> presents an argument that illustrates how the minimalist state arises
> naturally from anarchy and how any expansion of state power past this
> minimalist threshold is unjustified.
- Lam's Lectures on Rings and Modules, apparently the
[best book in the world for rings and modules](https://blog.jpolak.org/?p=1494)
- [New dimensions in geometry by manin](https://people.mpim-bonn.mpg.de/zagier/files/doi/10.1007/BFb0084581/chapter04.pdf).
Describes "supergeometry", where we analyze `Z[x1,..., xn, e1, ... en]`
where the `ei` anticommute amongst themselves, and commute with the `xi`.
This gives it a symplectic dimension (`ei`), regular space dimension (`xi`),
plus a single `Z` dimension. This somehow leads to the notion that `Spec(Z)` ought
to be thought of as a 3-manifold..
- Measure theoretic proof of Chebyshev: https://mathoverflow.net/a/65922/123769
- [Geometry of Kalman filters](https://projecteuclid.org/euclid.jgsp/1495245641)
- [How inuit parents teach children to control their anger](https://www.npr.org/sections/goatsandsoda/2019/03/13/685533353/a-playful-way-to-teach-kids-to-control-their-anger).
>Traditional Inuit parenting is incredibly nurturing and tender. If you took
> all the parenting styles around the world and ranked them by their gentleness,
> the Inuit approach would likely rank near the top. (They even have a special
> kiss for babies, where you put your nose against the cheek and sniff the skin.)
> The culture views scolding — or even speaking to children in an angry voice —
> as inappropriate, says Lisa Ipeelie, a radio producer and mom who grew up with
> 12 siblings. "When they're little, it doesn't help to raise your voice," she
> says. "It will just make your own heart rate go up."
> Traditionally, the Inuit saw yelling at a small child as demeaning. It's as if
> the adult is having a tantrum; it's basically stooping to the level of the
> child, Briggs documented.
- [Vicious circles](https://twitter.com/sigfpe/status/1286298055306706944/photo/1) --- contains
stories of sets, quines, and recursion theory. Contains theorems on how to
formally derive quines.
- [MIT OCW lecture notes for combinatorics](https://ocw.mit.edu/courses/mathematics/18-315-combinatorial-theory-introduction-to-graph-theory-extremal-and-enumerative-combinatorics-spring-2005/lecture-notes/)
- [Uses of the internal language of a topos in AG](https://rawgit.com/iblech/internal-methods/master/notes.pdf).
Contains references to why topoi matter.
- [Good notes on the hungarian algorithm](https://www.cse.ust.hk/~golin/COMP572/Notes/Matching.pdf)
- [Introduction to the theory of schemes by Manin](https://sites.icmc.usp.br/grossi/Sasha/galg/manin.pdf)
appears to contain much geometric content about scheme theory, along with cleaner pictures of `Spec`
where `Spec` is drawn as "layered" instead of "fuzzy" as mumford does.
- [Page of David a Cox that contains a wealth of information about grobner basis, elimination theory, toric varieties](https://dacox.people.amherst.edu/). It also contains information on the [relationship between Newton's method and Galois theory](https://dacox.people.amherst.edu/lectures/newton.pdf).
- [How to learn arithmetic geometry](https://terrytao.wordpress.com/career-advice/learn-and-relearn-your-field/#comment-36823/)
- [Great example explaining how egyptian is both logographic as well as phonographic](https://www.reddit.com/r/AskHistorians/comments/hswhqx/how_did_humans_work_in_fields_in_the_heat_for/fyevea7/)
- Constantinople myth: it will rise and fall to an emperor named Constantine with
a mother named Helena.
- Using the internal language of toposesin algebraic geometry: https://rawgit.com/iblech/internal-methods/master/notes.pdf
- [Algebraic Geometry from the beginning](https://rigtriv.wordpress.com/ag-from-the-beginning/).
Expository blog posts that has the algebraic, geometric, and computational
parts of AG. Really neat!
- [The oldschool PC font resource/pixel fonts](https://int10h.org/oldschool-pc-fonts/download/).
I recommend the font: Mx437 Nix8810 M15
- [Karpman drama triangle](https://en.wikipedia.org/wiki/Karpman_drama_triangle)
> The drama triangle is a social model of human interaction – the triangle maps
> a type of destructive interaction that can occur between people in conflict
> The triangle of actors in the drama are oppressors, victims and rescuers.
**The Victim:** The Victim's stance is "Poor me!" The Victim feels
victimized, oppressed, helpless, hopeless, powerless, ashamed, and seems
unable to make decisions, solve problems, take pleasure in life, or achieve
insight. The Victim, if not being persecuted, will seek out a Persecutor and
also a Rescuer who will save the day but also perpetuate the Victim's
negative feelings. **The Rescuer:** The rescuer's line is "Let me help you."
A classic enabler, the Rescuer feels guilty if they don't go to the rescue.
Yet their rescuing has negative effects: It keeps the Victim dependent and
gives the Victim permission to fail. The rewards derived from this rescue
role are that the focus is taken off of the rescuer. When they focus their
energy on someone else, it enables them to ignore their own anxiety and
issues. This rescue role is also pivotal because their actual primary
interest is really an avoidance of their own problems disguised as concern
for the victim’s needs. **The Persecutor: (a.k.a. Villain):** The Persecutor
insists, "It's all your fault." The Persecutor is controlling, blaming,
critical, oppressive, angry, authoritarian, rigid, and superior.
- [Classical Algebraic Geometry: a modern view](http://www.math.lsa.umich.edu/~idolga/CAG.pdf)
Tome of classical AG.
- [From Tao's article on gauges](https://terrytao.wordpress.com/2008/09/27/what-is-a-gauge/):
(i) Quivers. This theory basically concerns connections on vector bundles over
(usually finite) directed graphs. One novel feature, over manifolds, is
that the dimension of the “bundle” may change over different points. The
“connection”, usually called a representation of the quiver, is a choice
of linear map for each edge of the graph. If one fixes a gauge, i.e. a
basis for each vector space, then the theory is boring — the space of
connections is itself a big vector space. The interest is in the gauge
transformations, whose group is the product of the general linear groups
of the vector spaces. (ii) Currency trading
- [if everything is political, nothing works](https://pjmedia.com/news-and-politics/sarah-hoyt/2019/01/20/when-everything-is-political-nothing-works-n63221)
- [Science is politics; it is not _politics_](https://publicseminar.org/2017/06/not-everything-political-is-politics/)
- [Kaliedoscopes: optics through applicatives](https://chrispenner.ca/posts/kaleidoscopes)
- [UPenn linguistics course](https://www.ling.upenn.edu/courses/Fall_2003/ling001/schedule.html). Has
lecture notes.
- [Three dimensional geometry and topology](https://www.amazon.com/Three-Dimensional-Geometry-Topology-Vol-1/dp/0691083045)
> Most of it is readable to undergraduates. Its target audience, though, is
> beginning graduate students in mathematics. If not already familiar with
> hyperbolic geometry, you might want to get an introduction to the subject
> first. Once with this background, though, you will discover there is another
> level of understanding of hyperbolic space you never realized was possible. One
> imagines Thurston able to skateboard around hyperbolic space with the kind of
> geometric understanding he conveys here.
- [1/k! as the volume of the k-simplex: gives geometric meaning to the 1/k! in taylor series.](https://math.stackexchange.com/questions/3753212/is-there-any-geometrical-intuition-for-the-factorials-in-taylor-expansions)
- [Dark Mountain movement](https://dark-mountain.net/about/manifesto/). A movement
about changing the narrative of the 21st century to stave off, or at least
prepare better for, the eventual cycle of collapse of society.
> What both Russell and Conrad were getting at was a simple fact which any
> historian could confirm: human civilisation is an intensely fragile
> construction. It is built on little more than belief: belief in the rightness
> of its values; belief in the strength of its system of law and order; belief in
> its currency; above all, perhaps, belief in its future.
> …
> Once that belief begins to crumble, the collapse of a civilisation may
> become unstoppable. That civilisations fall, sooner or later, is as much a
> law of history as gravity is a law of physics. What remains after the fall
> is a wild mixture of cultural debris, confused and angry people whose
> certainties have betrayed them, and those forces which were always there,
> deeper than the foundations of the city walls: the desire to survive and
> the desire for meaning
> …
> What remains after the fall is a wild mixture of cultural debris, confused
> and angry people whose certainties have betrayed them, and those forces which
> were always there, deeper than the foundations of the city walls: the desire to
> survive and the desire for meaning
- [Deschooling Society](https://davidtinapple.com/illich/1970_deschooling.html)
> "Many students, especially those who are poor, intuitively know what the
> schools do for them. They school them to confuse process and substance. Once
> these become blurred, a new logic is assumed: the more treatment there is,
> the better are the results; or, escalation leads to success. The pupil is
> thereby "schooled" to confuse teaching with learning, grade advancement with
> education, a diploma with competence, and fluency with the ability to say
> something new. His imagination is "schooled" to accept service in place of
> value. Medical treatment is mistaken for health care, social work for the
> improvement of community life, police protection for safety, military poise
> for national security, the rat race for productive work. Health, learning,
> dignity, independence, and creative endeavor are defined as little more than
> the performance of the institutions which claim to serve these ends, and
> their improvement is made to depend on allocating more resources to the
> management of hospitals, schools, and other agencies in question. In these
> essays, I will show that the institutionalization of values leads inevitably
> to physical pollution, social polarization, and psychological impotence:
> three dimensions in a process of global degradation and modernized misery."
- [Tools for Convivality](https://en.wikipedia.org/wiki/Tools_for_Conviviality)
> Radical monopoly is a concept defined by philosopher and author Ivan Illich
> in his 1973 book, "Tools for Conviviality," and revisited in his later work,
> which describes how a technology or service becomes so exceptionally dominant
> that even with multiple providers, its users are excluded from society
> without access to the product. His initial example is the effect of cars on
> societies, where the car itself shaped cities by its needs, so much so that
> people without cars become excluded from participation in cities. A radical
> monopoly is when the dominance of one type of product supersedes dominance by
> any one brand. Social media as a technology in the forms of
> Facebook/Instagram/Twitter could be seen as a radical monopoly for
> reputation, as is Linkedin for employment, colleges for education, etc. I
> think Illich's criticisms of car culture pushed him outside the Overton
> window of policy making, but his radical monopoly concept is a useful
> critical tool for reasoning about tech and ethics. A counter argument could
> use the example that the discovery of fire created a radical monopoly on
> heat, and therefore it's so general as to be applied arbitrarily to anything
> you don't like. However, being able to think about the consequences of a new
> radical monopoly might have on some aspect of human experience is useful for
> anticipating policy options in response to dynamic technology development.
- [Handbook of geometry for competitive programmers](https://vlecomte.github.io/cp-geo.pdf)
- Andrew Marr: A history of the world.
- [Great animations of sphere eversion, setup with scrolling and webGL](https://rreusser.github.io/explorations/sphere-eversion/)
- Interesting thought about why people dislike the ribbon layoyt:
> It sounds like the issue is that the layout isn't spatial. There isn't a 1:1
> mapping between place and object. The same place can have multiple objects
> depending on what tab's selected.
- [AG in the time of Covid: Ravi Vakil's course](https://www.youtube.com/channel/UCy3u23mZE4TyW88yr6JLx9A)
- [Elanor Ostrom: analysis of how to build systems which encourages cooperation and not competition: Design principles for Common Pool Resource (CPR) institution](https://en.wikipedia.org/wiki/Elinor_Ostrom)
- [`Mikutap`: Website with gorgeous transitions, I wish to replicate](https://aidn.jp/mikutap/)
- [From parametricity to Noerther's theorem](https://bentnib.org/conservation-laws.pdf)
- [Program design by calculation: Has a sweet graphical/geometric interpretation of galois connections](http://www4.di.uminho.pt/~jno/ps/pdbc.pdf)
- [Derivation of wave equation](https://en.wikipedia.org/wiki/Wave_equation)
- [Mumford's recollections of coming to India and staying at TIFR](www.dam.brown.edu/people/mumford/beyond/papers/2010c--PassagesIndia-journal.pdf)
- [Indra's pearls: book from mumford](http://klein.math.okstate.edu/IndrasPearls/)
- [twtxt: UNIX based microblogging](https://twtxt.readthedocs.io/en/latest/)
- It's called the center of a group, because just like the city centre, everybody commutes there.
- Books on the financial system:
(1) A Monetary History of the United States (2) The General Theory of Employment, Interest and Money
- What are the topological obstructions to chaos in 1D and 2D?
- [Involutive MCMC: new MCMC method that has classical MCMC methods as special cases](https://arxiv.org/pdf/2006.16653.pdf)
- [Fun blog with visualizations by Nicholas Pilkington](https://nickp.svbtle.com/)
- [Chernoff fish: A way to build fishes that reflect the statistics of the data](https://github.com/tmm-archive/chernoff-fish)
- [Ma and the use of negative space](https://en.wikipedia.org/wiki/Ma_(negative_space))
- [Dan Piponi's notes on differential forms. Has good diagrams](file:///home/bollu/Downloads/forms.pdf)
- [Jacobi field: Diffeq that contains the Riemann curvature tensor. Maybe useful to develop and intuition.](https://en.wikipedia.org/wiki/Jacobi_field)
- [William MacNeill’s Plagues and Peoples: Looking at history through the lens of diesease](https://en.wikipedia.org/wiki/Plagues_and_Peoples)
- [The presentation of self in everyday life](https://en.wikipedia.org/wiki/The_Presentation_of_Self_in_Everyday_Life)
- [Theirrey Coquand's website](http://www.cse.chalmers.se/~coquand/)
- [Concept-Model-Idiom](https://gracicot.github.io/conceptmodel/2017/09/13/concept-model-part1.html)
- [Gorgeous animation: Escher solid](https://www.reddit.com/r/loadingicon/comments/gvx7oc/eschers_solid/)
- [Eastern European Movies](https://easterneuropeanmovies.com/)
- [Combinatorial meaning of determinant](https://qchu.wordpress.com/2009/11/17/the-lindstrom-gessel-viennot-lemma/)
- [Motivation for distribution theory](https://mathoverflow.net/a/77983/123769)
- [Addition in terms of group theory: 2 cocyles](https://www.physicsforums.com/threads/repost-of-carrying-and-cocycles-by-james-dolan-part-one.182195/)
- [How to think about non hausdorff topologies in the finite case (as a preorder)](https://mathoverflow.net/questions/44109/how-should-one-think-about-non-hausdorff-topologies/44135#44135). Also:
> To make an example possibly closer to us, think you're in a car in the urban
> traffic. Due to one-way streets, metric is not the best way to organize your
> perception of the space: actually, the proper topology to do that is possibly
> not Hausdorff (usually, you can't move to A without immediately finding
> yourself in B, and once you are in B, you are enormously far from A, even if
> you changed your mind about the opportunity of the movement.)
- [Free Pascal](https://freepascal.org/?new_version)
- [The strategy of conflict, book by Schelling about Schelling points](https://www.hup.harvard.edu/catalog.php?isbn=9780674840317&content=reviews )
- [All about circuits: How to learn bottom up circuits](https://www.allaboutcircuits.com/textbook/)
- [https://arxiv.org/pdf/1801.09553.pdf](Extending the Algebraic Manipulability of Differentials: Nice notational abuse for higher order integrals.)
- [Books that tour mathematical domains](https://math.stackexchange.com/questions/828458/book-ref-request-starting-from-a-mathematically-amorphous-problem-and-comb/829889#829889)
- [Catchy encodings of serious mathematics](https://mathoverflow.net/questions/3559/colloquial-catchy-statements-encoding-serious-mathematics/62194#62194)
- [Intuition for chernoff: pointwise => integrals](https://math.stackexchange.com/questions/161408/chernoff-inequalities)
- Occurs check: cannot construct the infinite type: `a ~ a -> a` <- automatically make it a domain?
Language with _only_ domains?
- Think of A5 in terms of the picture I put inside ~/blog/static/ [icosian calculus]
- [Bill Mollison: permaculture/Permaculture One](https://en.wikipedia.org/wiki/Bill_Mollison)
- Algebraic geometry with a lot of geometry: Fulton's Algebraic Curves; Griffiths,Harris's text on Complex Algebraic Geometry
- Engineering applications of noncommutative harmonic analysis.
- SnoB / representation theory of Sn / fourier transform on Sn:
(i) [his thesis](https://people.cs.uchicago.edu/~risi/papers/KondorThesis.pdf)
(ii) [link to his library](http://www.gatsby.ucl.ac.uk/~risi/SnOB/SnOB/SnOB.pdf)
(iii) [link to mini course](http://www.gatsby.ucl.ac.uk/~risi/courses/mini08/mini08.html)
- [Full text search with bloom filters](https://endler.dev/2019/tinysearch/)
- [sparse sets using two arrays and pointers between them](https://research.swtch.com/sparse)
[An efficient representation for sparse sets](https://dl.acm.org/doi/10.1145/176454.176484)
- [A species approach to the twelvefold path / rota](https://arxiv.org/pdf/1903.11580.pdf)
- [Important formulas in combinatorics](https://mathoverflow.net/questions/214927/important-formulas-in-combinatorics/215167#215167)
- George Springer: Introduction to Riemann sufaces. Good, low-technology account
of riemann surface theory that gets to Riemann Roch!
- [Icosan calculus](https://en.wikipedia.org/wiki/Icosian_calculus)
- [generalization of 2nd isomorphhism theorem: Modular Lattices](https://en.wikipedia.org/wiki/Modular_lattice)
- Planning the Unthinkable: How New Powers Will Use Nuclear, Chemical, and Biological Weapons
- On Limited Nuclear War in the 21st Century
- Abel's theorem in problems and solutions.
- Mikhail Bakunin: founder of collective anarchism.
- [Algebraic geometry](https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2019/alggeom-2019-c3.pdf)
- Continued fractions, mobius transformations.
- Domain theory crash course.
- Learn how to generate music.
- Fast mobius inversion using heavy/light?
- Sphere packings, lattices, groups.
- [Gaussian geometry](http://www.matematik.lu.se/matematiklu/personal/sigma/Gauss.pdf)
- [Gauss bonnet proof](http://www.math.uchicago.edu/~may/VIGRE/VIGRE2008/REUPapers/Halper.pdf)
- [Low dimensional diffgeo (classic, curves, surfaces)](http://uregina.ca/~mareal/MATH431-2014.html)
- Algebraic curves and riemann surfaces: has real cohomology uses,
sheaves, all the tools I want to see in action.
- Domain theory.
- Janus (time travel) for algorithm-X style backtracking algorithms.
- Incidence Hopf algebra.
- Think about lex-ordering as some kind of metric. Eg. `a, b, c` each define
a branch in space. `abc` counts for `[a]/4 + [b]/4 + [c]/4`,
where `[a] = 1, [b] = 2, [c] =3`. This way, the lowest lex word is the
path that keeps us closest to `0`. See how much of the string stuff
can be reinterpreted this way.
- Word processing in groups: book on automatic groups, hyperbolic groups,
and their relations.
- [Stone duality](https://www.irif.fr/~mgehrke/scriptie.pdf)
- Create a viewer for tensor the way fortran displays arrays.
- DebugIR.
- CRAB for llvm.
- Finish the godbolt PR for STG and Cmm
- Help with coq docs: https://github.com/coq/coq/issues/8946
- SAT Solver
- Deltas
- Dataflow: notice that arrow desugaring is bad, make this faster!
- Finish implementation of live range reordering ()
- Upstream change to `gensim-data` changing the order of downloading
and then trying to pull data locally.
- Structure theorem for PID
- Propogators (Renissance of the propogator paper - ekmett).
- Word2Blank paper.
- ApplicativeDo.
- Get the using segmented stack hack on simplexhc into GHC, run with nofib
for delta.
- Cleanup POIS notes
- BDD optimisation.
- Hyperfunctions.
- Freejit
- Tagged data flow architecture
- Geometric algebra
- Information geometry
- Elements of set theory.
- Information theory
- Topology via logic
- Geometric algebra
- Universal algebra (An invitation to General Algebra and Universal Constructions)
- [Real Numbers from Exodus](https://en.m.wikipedia.org/wiki/Construction_of_the_real_numbers#Construction_from_Z_(Eudoxus_reals))
- [Geometry of manifolds](https://ocw.mit.edu/courses/mathematics/18-965-geometry-of-manifolds-fall-2004/index.htm)
- Mathematical methods of classical mechanics, Arnold, [Lectures notes on sympletic geometry](https://people.math.ethz.ch/~acannas/Papers/lsg.pdf)
- Ideals, Varietites, and Algorithms
- Differential forms and connections
- Differential forms of curves and surfaces
- [Tychonoff theorem](http://math.uga.edu/~pete/Tychonoff.pdf)
- Elementary applied topology
- [Arthur Whitney guy who writes dense code.](http://kparc.com/b/readme.txt)
- Directly solve system of recurrences we get from loops. (Loat-purrs has been
installed, use it to compute closed forms)
- Reverse mode automatic differentiation
- Andrej Bauer blog posts
- Toric ideals
- Noncommutative rational series with applications
- [Normaliz: Can solve hilbert basis.](https://github.com/Normaliz/Normaliz/)
- A data parallel compiler hosted on the GPU
- Definitional interpreters for higher-order programming languages (Defunctionalization, original paper)
- Languages of the Underworld of West Bengal
- Language identification in the limit: inductive inference of regular / context free langs
- Blog post: An accessible example of classical gauge theory (wave from adding springs)
- Forcing
- [Homology via everyday examples](https://mathoverflow.net/questions/153302/teaching-homology-via-everyday-examples )
- Jeff E: Algorithms - Excellent collection of explanations of algorithms.
- [The little book of OS development](https://littleosbook.github.io/book.pdf)
- Computer architecture, a constructive approach (for processor design)
- Algebraic geometry and statistical learning theory: Sumio watanabe
- [IRE: book on information retreival](https://nlp.stanford.edu/IR-book/pdf/irbookonlinereading.pdf)
- [P3G](https://wcipeg.com/wiki/Special:AllPages)
- [awesome Competitive Programming (big list)](https://codeforces.com/blog/entry/23054)
- [Fenwick tree in terms of orbits](http://michaelnielsen.org/polymath1/index.php?title=Updating_partial_sums_with_Fenwick_tree)
- [Schorr-Waite algorithm for graph marking](https://www.cs.cornell.edu/courses/cs312/2007fa/lectures/lec21-schorr-waite.pdf)
- GraphQL apparently don't need you to use a graph DB on the backend?
- [Partial evaluation nd automatic program generation](http://www.itu.dk/people/sestoft/pebook/jonesgomardsestoft-letter.pdf)
- [Geometry algorithms](http://geomalgorithms.com/)
- [Computational Geometry in C](http://cs.smith.edu/~jorourke/books/compgeom.html)
- Algebraic Curves and Riemann Surfaces (Rick Miranda)
- [The great ISAs, a course on computer architecture as it could have been.](https://www.cs.cornell.edu/courses/cs7491/2020sp/)
- [What you need to know about Yoneda](https://www.youtube.com/watch?v=TBtDZrPJnv8&feature=emb_logo)
- [order statistics inside C++](https://codeforces.com/blog/entry/11080)
- [trie using order statistics tree](https://ideone.com/6VFNZl)
- [Matroid intersection](https://codeforces.com/blog/entry/69287)
- [Michel X Goemans, advanced combinatorial optimisation](https://math.mit.edu/~goemans/18438F09/)
- [Collection of competitive programming tricks](https://codeforces.com/blog/entry/57282)
- [Wavelet trees](https://users.dcc.uchile.cl/~jperez/papers/ioiconf16.pdf)
- [FFT, polynomials notes](https://drive.google.com/file/d/1B9BIfATnI_qL6rYiE5hY9bh20SMVmHZ7/view)
- [Finding the minimal polynomial of a recurrence](https://en.wikipedia.org/wiki/Berlekamp%E2%80%93Massey_algorithm)
- [About ordinals and infinity, contains some exposition from Conway](http://www.geometer.org/mathcircles/Infinity.pdf)
- Read everything by conway: The Book of Numbers
- Discrete Morse theory
- [Topos of monoid actions](http://176.58.104.245/NOTES/categories/M-Set.pdf)
- [An introduction to mechanics and symmetry](https://www.fis.unam.mx/~max/mecanica/b_Marsden.pdf)
- [The geometry of whales and ants / Intro to hyperbolic geometry](https://static01.nyt.com/images/blogs/wordplay/Universe_in_Zero_Words_Copyright.pdf)
- The Shape of Space
- Hartree-Fock method for simulation
- Fortune's algorithm for Delaunay triangulation
- Li chao tree
- Aliens
- Vehicles: Experiments in Synthetic Psychology
- [Uniform space](https://en.wikipedia.org/wiki/Uniform_space)
- [DFS bridges intuition](https://codeforces.com/blog/entry/68138)
- Discrete morse theory.
- [Legendre transform](https://www.aapt.org/docdirectory/meetingpresentations/sm14/mungan-poster.pdf)
- [Three lectures on free probability: why cumulants are the correct way to think about distributions](https://arxiv.org/pdf/1205.2097.pdf)
- [mlock / locking memory: https](//linux.die.net/man/2/mlock)
- [RETYPED NOTES OF John Milnor](https://oldbookstonew.blogspot.com/)
- [Vector displays](https://en.wikipedia.org/wiki/Vectrex)
- [APL idioms](http://www.softwarepreservation.org/projects/apl/Papers/MYFAVORITEIDIOM)
- [No stinking loops!](http://nsl.com/)
- Can spaced repetition train LSTMs?
- [Anatoli fomenko artist topology spaces math art](http://chronologia.org/en/math_impressions/images.html)
- [Histomorphisms and dynamorphisms](http://www.cs.ox.ac.uk/people/nicolas.wu/publications/Histomorphisms.pdf)
- Primes of the form x2+ny2 (Good intro to algebraic number theory!)
- An exposition of the Krohn-Rhodes decomposition theorem: http://www-verimag.imag.fr/~maler/Papers/kr-new.pdf
- Biohazard: The Chilling True Story of the Largest Covert Biological Weapons Program in the World - Told from Inside by the Man Who Ran It
- [Mathematical methods for engineers](https://ocw.mit.edu/courses/mathematics/18-086-mathematical-methods-for-engineers-ii-spring-2006/video-lectures/)
- Unified Media Programming: An Algebraic Approach (uses semigroups)
- Check if decomposition gives something useful for presburger automata??
- Discrete Algebraic Methods: book that contains presburger AND krohn-rhodes!
- [Beyondloom: list of K/APL articles](http://beyondloom.com/blog/)
- [A description of the collaboration between Serre and Grothendieck. Powerfully written](https://webusers.imj-prg.fr/~leila.schneps/corr.pdf)
- Cascade Decompositions are Bit-Vector Algorithms!
- "You just pick the speed of light squared in Minkowski space to be an
appropriate algebraic number, and magic happens! Suddenly solutions of
natural PDE's on hyperbolic manifolds are linked with cohomology of
arithmetic groups." I picked it up from a variety of sources, but I'd
recommend reading anything by Alan Reid. He has some course notes floating
around which cover arbitrary hyperbolic n-manifolds, though I can't seem to
track them down at the moment. People often focus on hyperbolic 3-manifolds
because there are some very strong links to number theory (e.g. Spec(Z)
behaves like a 3-manifold in certain ways), but the machinery works for
higher dimensional hyperbolic manifolds as well. "Arithmetic hyperbolic
manifolds" is a good keyword to look for if you want to dig deeper.
[a link for the above](http://math.stanford.edu/~akshay/research/takagi.pdf)
- [hull: using the filesystem to maintain state of program](http://250bpm.com/blog:153)
- Dilworth's theorem: length largest antichains (pairwise incomparable elem) = number of disjoint maximal chains
- [Intro to condensed matter](https://podcasts.ox.ac.uk/01-introduction-condensed-matter-einstein-model-vibrations-solids)
- [Andreson, more is different, anti-reductionism](http://robotics.cs.tamu.edu/dshell/cs689/papers/anderson72more_is_different.pdf)
- [Blog on solid state physics/Condensed matter](http://nanoscale.blogspot.com/)
- [Solid state physics basics. Has a bunch of stuff on reciprocal lattices]( https://podcasts.ox.ac.uk/series/oxford-solid-state-basics)
- [Lattice differential geometry, a generalization of DDG](https://arxiv.org/pdf/1802.02887.pdf)
- [Gerard t'hooft list of physics lecture notes](http://www.goodtheorist.science)
- Red plenty: book about how people thought communism would be better economically than capitalism (SSC)
- The machinery of freedom: 1975 book on libterterianism, feels "fresh". (SSC)
- [Bregman divergence, great article](http://mark.reid.name/blog/meet-the-bregman-divergences.html)
- MAthematical methods of classical mechanics: mathematical physics book for classical mechanics.
- Felix Klein: Development of mathematics in the 19th century: strognly encouraged by V I Arnold
- [https://physicstravelguide.com](Physics travel guide)
- Axioms and Hulls: Book by knuth on geometry algorithms, starting axiomatically!
- rework fuzzy to also make use of negative vectors.
- Theorizing Contemporary Anarchism
- Visualizing curved spacetime: Rickard M. Jonsson
- Lycurgus of Sparta
- [Quasirandom sequences reading](http://extremelearning.com.au/unreasonable-effectiveness-of-quasirandom-sequences/)
- [Prob. theory in terms of co-intuionistic variant of minimal logic](https://www.lesswrong.com/posts/QGkYCwyC7wTDyt3yT/0-and-1-are-not-probabilities?commentId=qXjDuWnzQuc9zfoJD)
- Is the a relationship between kernels, level sets (kernel is a level set), lagrange multipliers,
discrete morse theory? [which talks about critical points].
- [The power of prolog: proper prolog tutorials!](https://www.metalevel.at/prolog)
- The Elements of Style: writing advice.
- [Gordon Plotkin pisa notes on domain theory](http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps)
- [Algorithm to decompose number into sum of 4 primes](https://www.alpertron.com.ar/4SQUARES.HTM)
- [Jack Cremshaw's article on building compilers mixing parsing with codegen / Single pass compilers / One pass compilers / 1 pass compilers](https://compilers.iecc.com/crenshaw/). Can we write fast C compilers this way? probably not, due to preprocessor :( Can we get fast Pascal commpilers thigs way? Maybe...
- The Zen of Code Optimization --- The Ultimate Guide to Writing Software That Pushes PCs to the Limit: Low level programming tricks.
- Hacker's Delight.
- [Agner fog: dude who maintains info about X86 optimiation](https://www.agner.org/optimize/)
- [More moment map reading](https://www.math.columbia.edu/~woit/wordpress/?p=7146)
- [Book whose Ch 13 and 14 cover moment maps](http://www.math.columbia.edu/~woit/QM/qmbook.pdf)
- [Polyscope: geometry processing library](https://polyscope.run/)
- [List of contradictory truisms with an enjoyable flavour](https://www.cs.utexas.edu/~field/holzer/truisms.txt)
- C-w stands for for "wipe out" in emacs. [List of similar mnemonics](https://caiorss.github.io/Emacs-Elisp-Programming/Keybindings.html)
- [Build your own working robot](https://www.amazon.com/Build-your-own-working-robot/dp/0830668411)
- Take birkhoff polytope; is a polytope, can build discrete diff geo
around it. consider tangent spaces. now perform DHMC on this space?
Problem is that the "interesting" points are vertices, so we may
not gain much. However, what happens if we tesselate the space
with birkhoff polytopes? Perhaps likely we get something? it's
unclear, but very interesting for sure.
- VC dimension as matroid?
- How to Write a Sentence: how to get better at writing.
- Bugs in writing: a guide to debugging you prose.
- The chicago manual of style, for styling on how to write.
- [Hierarchical Structures and Scaling in Physics](http://bactra.org/reviews/badii-and-politi/)
- Conversation with arjit about iheritance versus composition. Ie, `SourcePanel : public Panel` versus
`Panel a = ...; type SourcePanel = Panel Source`.
- [Flat assembler](https://flatassembler.net/docs.php): assembler with very strong macro support.
- HLA (high-level-assembler): assembler with a huge STDLIB, C-like-syntax and pattern matching.
- [Lens over tea](https://artyom.me/lens-over-tea-1)
- Galculator: proof assistant using galois connections.
- [Topos theory videos](https://www.youtube.com/watch?v=o-yBDYgUqZQ)
- Tropical fourier transform is a legendre transform?! [mathoverflow](https://mathoverflow.net/a/80719/123769), [arxiv](https://arxiv.org/pdf/1005.1247.pdf), [Dan Piponi's notes](https://github.com/dpiponi/Legendre/blob/master/legendre.pdf)
- [Jet bundles](https://math.stackexchange.com/questions/3626040/introductory-material-for-jets-and-jet-bundles)
- [Lagrangian submanifolds](https://mathoverflow.net/questions/60201/what-is-a-lagrangian-submanifold-intuitively)
- [Intro to Scheme theory](https://www.math.toronto.edu/dburbani/work/schemes.pdf)
- [Church encoding / BÖHM-BERARDUCCI](http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html#short-review-of-b%C3%B6hm-berarducci-encoding)
- [Synthesis: self-modifying kernel](http://www.scs.stanford.edu/nyu/04fa/sched/readings/synthesis.pdf)
- [Strong towns, we've built cities we cannot afford](https://www.strongtowns.org/journal/2020/4/8/weve-built-cities-we-cant-afford)
- Why Nation Fails, How democracies die
- Chronicles of Wasted Time
- [Hysterical Realism: a genre of writing that includes Infinite Jest. I might really enjoy it, from the sound of things](https://en.wikipedia.org/wiki/Hysterical_realism)
- [`sizecoding.org` how to build demos, wealth of demoscene knowledge! shows basic MSdos getting started](http://www.sizecoding.org/wiki/Memories#Introduction)
- [`pouet.net` demoscene group](https://www.pouet.net/prod.php?which=85227)
- [subreddit for tiny code/demoscene: `tinycode`](https://www.reddit.com/r/tinycode/)
- lock picking!
- [Chess Programming: they usually have the best knowledge of obscure ASM instructions](https://www.chessprogramming.org)
- PROCEDURAL GENERATION TODO: video of alabama shakes future people.
- Learn how to free associate when writing/rhyming. Gold standard: Can't stop, RHCP.
Think of a good _algebra_ for this duality between "slots" and "indexes"
- ponder an algebra that gives us _segments_: ie, given a list, gives us [left..right],
given a tree, gives us subtree representation (eg. recover euler tour?)
- build language to convert between 'flat' memory representations and
data manipulation. eg. `list a = cons a (list a) | nil`. this in sparse form
is linked list, in dense form is array. `tree a = nil | branch a (tree a) (tree a)` in
sparse form is tree, in dense form is some dense repr. `complete a = leaf a | branch (complete a) (complete a)`
is tree in sparse form, heap in dense form.
- [Flipcode: demoscene, rasterization, etc.](https://www.flipcode.com/archives/The_Coverage_Buffer_C-Buffer.shtml)
- [Mir: Kinematic method for geometry, contains a lot about barycentric coordinates](https://mirtitles.org/2018/05/04/the-kinematic-method-in-geometrical-problems-lyubich-shor/)
- [Mir: Operational methods](https://mirtitles.org/2018/10/13/operational-methods-maslov/). Has theory of distributions.
- [Mir: Big list of cybernetics books](https://mirtitles.org/category/computers/)
- [Mir: The world is built on proabbility (thermodynamics <-> entropy)](https://mirtitles.org/2013/09/13/the-world-is-built-on-probability-tarasov/)
- [Mir: Computational mathematics](https://mirtitles.org/2012/12/26/computational-mathematics-demidovich-maron/)
- [Mir: Percolation theory: Physics and Geometry of disorder]( https://mirtitles.org/2011/11/28/science-for-everyone-physics-and-geometry-of-disorder-percolation-theory/)
- [Mir: A simple non euclidian geometry and its physical basis](https://mirtitles.org/2018/04/24/a-simple-non-euclidean-geometry-and-its-physical-basis-yaglom/)
- [Mir: Theory of elasiticity](https://mirtitles.org/2017/01/20/theory-of-elasticity-filonenko-borodich/)
- [Mir: Plasma physics](https://mirtitles.org/2018/04/22/plasma-physics-kadomtsev-ed/)
- [Semiconductors: seems to contain explanations of how to use semiconductors](https://mirtitles.org/2018/04/21/semiconductors-testing-and-adjusting-green-shokalsky/)
- [Mir: Laser physics](https://mirtitles.org/2013/09/17/laser-physics-tarasov/)
- [Mir: Problems in differential geometry and topology](https://mirtitles.org/2016/06/05/problems-in-differential-geometry-and-topology-mishchenko-solovyev-fomenko/)
- [Mir: Linear algebra and multidimensional geometry](https://mirtitles.org/2020/02/13/4129/). Contains use of reciprocal basis!
- Style: lessons in clarity and grace.
- Multivariate Calculus and Geometry: has intro to gaussian curvature, theory of surfaces in 3D.
- [Word problems in russia and america: scathing critique of how american math education is screwed](http://toomandre.com/travel/sweden05/WP-SWEDEN-NEW.pdf)
also, interesting anecdote about how looking for 'reality' in mathematical problems
may in fact break student's ability to think in the abstract! This is
a deep insight.
- Imaginary numbers are not real: the geometric algebra of spacetime.
- [Topological games: games that reflect some topological property](http://www.telgarsky.com/1987-RMJM-Telgarsky-Topological-Games.pdf)
- [Tibetian book of dying / Tibedian book of death](https://en.wikipedia.org/wiki/Bardo_Thodol)
- [Knuth Bendix completion: A generalization of grobner-basis / bucchberger algorithm to arbitrary systems](https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm)
- Guide to Competitive Programming: Antti Laaksonen
- [Maps of meaning: Jordan peterson's lectures; talks about mythological myths](https://www.youtube.com/watch?v=JodNMjXphKA)
- TOOL TO BUILD: linters that will overlay compiler-tier optimization hints on top of handwritten assembly?
- [building structures by hanging things with tension](https://en.wikipedia.org/wiki/Tensegrity).
[Example using LEGO](https://www.reddit.com/r/lego/comments/g2230l/lego_tensegrity_structure/).
- [Mathematics of tensegrity: Frameworks, tensegrities, and symmetry. Understanding stable structures](http://pi.math.cornell.edu/~web7510/framework.pdf)
- [Spinors: A gentle introduction](http://www.weylmann.com/spinor.pdf)
- Separation logic through a new lens: Lensifies separation logic.
- The derivative operator: paper by ken iverson that generalizes derivative to jacobian, curl, whatnot.
- [Combinatorial manifolds / tropical style manifold](https://en.wikipedia.org/wiki/Piecewise_linear_manifold)
- Noncommutative rational series with applications [They work with coefficients in an arbitrary semiring, which can be like watching paint]
- [Evolution of eusociality](https://en.wikipedia.org/wiki/Evolution_of_eusociality)
- Financial Shenanigans by Howard M Schiit.
- lying for money, The Match King, The Smartest Guys in the Room, Bad Blood, Billion Dollar Whale
- [Great works in programming languages](https://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml)
- Divided power structure: is a way of making expressions of the form x^n/n! (taylor series-like-objects) meaningful even when we don't have access to n! (n factorial).
- [Arend: proof assistant for HoTT cubicalTT](https://github.com/JetBrains/Arend)
- Errett Bishop: Constructive Analysis
- [Theory of elites: Theh italian school of elitism](https://en.wikipedia.org/wiki/Elite_theory#Italian_school_of_elitism)
- [Multiplicative weight update algorithm: contains gradient descent and sampling-like algorithms as close cousins](https://jeremykun.com/tag/multiplicative-weights-update-algorithm/)
- Regular Car Reviews: 2012 Toyota FJ Cruiser. Explaning simulation v/s simulacra through a car review. Jean Baudillard.
- [Simulacra v/s simulacra, discussion on hackernews](https://news.ycombinator.com/item?id=23154141)
- Learn semantics of javascript: `function mk() { let inner = function() { console.warn(this.x)}; inner = inner.bind({x: 42}); inner.x = -42; return inner; }; mk()(); console.log(mk().x);`. NOTE: this behaviour changes if `inner` is an arrow function. What are the denotational semantics of this?
- Queueing Theory.
- [https://codeforces.com/blog/entry/77551](generating functions for CP)
- [Slope trick for DP over convex functions](https://codeforces.com/blog/entry/47821)
- [ADHD: A lifelong struggle: Why organisation systems don't work](https://gekk.info/articles/adhd.html)
- [Slides for intuition on converting number systems to data structures by Ralf Hinze](http://www.cs.nott.ac.uk/~pszgmh/bctcs-slides/hinze.pdf)
- [James mickens: hilarious articles --- this one on security](https://www.usenix.org/system/files/1401_08-12_mickens.pdf)