- Disappearing Polymorph
- The NSAnimation class for describing animations in NextStep
- Broadword algorithms: rank9 and select9
- Geometric optics to wave optics: Huygens Principle
- Geometric Topology in Dimension 2 and 3.
- Matters Computational
- Automated Reasoning Lecture Notes
- 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
- Cool way to draw a spiral with concentric circles made up of tilted arcs
- Group theory for physicists: lie algebras, dynkin diagrams, and so forth upto vibes
- Spectral.js: Kubela Monk based library for color mixing
- Mixbox: color mixing algorithm
- Analytical methods for dynamic simulation of non penentrating rigid bodies
- 2D rigid body collision physics engine design, explained
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
- 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
- The Modern Algorithmic toolbox: 2023
- [Inexhaustibility: An non exhaustive treatment](Inexhaustibility: A Non-Exhaustive Treatment)
- rvld: A RISCV linker.
- rsync.net: Good cloud file storage
- A research codebase manifesto: how google brain organises research repos
- Giving Personality to procedural animations
- van Oosten, Realizability
- Uses of topoi in logic
- Why LLM fine tuning needs reinfocement learning
- Nutrition science has failed
- Lilian Weng
- Pattern matching with dependent types by Coquand
- Geometric numerical integration
- Suspended Reason
- The seeeds of science
- Works in progress
- Sturm's theorem
- Representation theory for particle physics
- Building the fastest Lua interpreter.. automatically!
- Olin Shivers: CFA dude with epic rants and anti acknowledgements page
- Chronicles of OPT development: training log of large language model
- Every Spider Web Has a Simple Flat Twist Tessellation
- Reverse compilation techniques.
- Johnson–Lindenstrauss lemma: Exponential compression of vectors
- Lock Convoys
- The Art of Multiprocessor Programming
- Linkers from scratch
- Linker Scripts
- 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
- Mike Urbach: SiFive; Nocolai Hahnle: AMD, Stephen Neundorffer: AMD
- Language oriented programming
- Finite element method.
- Send lp patch to jeff niu
- Semantic Domains and Denotational Semantics
- W types
- Anti-unification
origin/master
- Computation and Logic: George S Boolos
- Mathematical Methods of Classical Mechanics
- Low level code improvements and loop optimisations made simple
- Cellular Sheaves of Lattices and the Tarski Laplacian
- How to draw a straight line. (blog on linkages)
- Probabilistic numerics: Unified theory of integration via learners
- Substitutions, jumps, and algebraic effects
- Static program analysis textbook
- Cursed computer science content
- Notes on realisability
- Markov Junior
- 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
- 2d radiosity for soft shadows in smol renderers
- 2d radiosity calculations
- Tree edit distance
- 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
- 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
- Intro to algebraic number thory via fermat's last theorem
- Trachtenberg system for fast mental calculation
- Functional analysis youtube lectures
- Graph theory and additive combinatorics
- Combinatorial optimization youtube lectures
- Barton Zwiebach: A first course in string theory.
- GDBStub: GDB API
- The little book of semaphores
- ITMO algorithms and data structures: has advanced algorithms!
- AM GM inequality: moments
- What would a visual editor like ableton for APL look like?
e8f8ace824107d51a5cd10c799ec07261027b4be
- Choices of representations for names
- Computational geometry video lectures by Philipp Kindermann
- Largest list of CP topics ever
- Stanford ICPC team notebook PDF
- Algebraic Topology of Finite Topological Spaces and Applications by Jonathan Barmak
- LEAN's type theory
- uops.info: latency, throughput, data usage tables for ALL processors. Recommended by Casey for performance optimization
- A A Albert: Higher algebra --- does galois theory directly via primitive element theorem. Possibly cleaner development
- Mathematical methods for QM: A real textbook written by mathematicians!
- Bayesian statistical thinking in R
- R: survival analysis
- A First Course in Bayesian Statistical Methods
- Gwern bayes
- OSCP: Security course / certification.
- Ext and Tor constructively
- Co-applicative style programming
- roy.red: Cool blog about shaders galore!
- Fast algorithms for signal processing
- Is parallel programming hard, and if so, what can you do about it
- Lattice Path Counting and Applications
- Inside interesting integrals
- Scratch a pixel: rendering turorials from scracth
- Doran Zeilberger: mathematician, combinatorial algorithms hypergeometric functions, ultrafinist
- Invite physicists to write new oblique strategies
- Confidence intervals explained via discretization: confidence sets
- 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
- Stochastic Modeling: Analysis and Simulation --- good intro book on queueing theory.
- How to speak: Patrick Winston
- Functioal analysis: Dover books by George Bachman and Lawrence Narci.
- Lazy BB versioning: Simple and Effective Type Check Removal through Lazy Basic Block Versioning
- Analysis, Measure, and Probability: A visual introduction
- Discrete differential geometry by albert chern
- The mom test: selling
- Topology in condensed matter
- Hyperscan: fast SIMD regex matching
- Mnemonic peg system
- the fundamental theorem on symmetric polynomials: history’s first whiff of galois theory
- Rota's account of Ulam
- Class groups: lecture notes and exercises!
- Graduate course on galois theory
- "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
- Flutter rendering engine
- Pretentious approach to analytic number theory
- Duhamel's principle
- Youtube videos: Lie groups and Lie algebras
- Computational Combinatorics Blog
- Inequalities by Hardy, Littlewood, and Polya: book about inequalities
- BK tree: data structure for fuzzy string matching
- Foundations of Multidimensional and Metric Data Structures
- Inkscape Cheat sheet
- Jump Flooding algorithm
- Python Plumbum librar for writing shell scripts
- Dedekind MacNiellie
- Fuzzing Book
- IMO Olympiad training material
- An introduction to symbolic dynamics and coding: Book about combinatorics of infinite words and the study of periodicity.
- Substitution is pullback
- passwords: philology, security, authentication
- Probability via expectation
- Find a textbook of graph minors.
- A theory of changes for higher order languages
- Advanced algoriths: string algorithms, duelling, BWT, suffix things, 4 russians
- 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
- Amortized analysis explained
- Generative art blog
- List of all string matching algorithms
- Lawrence national lab HPC toolkit
- Jeff Erickson: CP lectures
- Blues 1hour video
- 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
- Codeforces GM who programs in python.
- Stanley: survey of unimodal sequences.
- Journal of open source software
- ASMJIT: small JIT, lightweight
- Blend2D: 2D vector graphics library
- Nested word, visibly pushdown grammar for parallel parsing?
- Minimal Perl for UNIX and LINUX people
- Enfilade: good vocabulary for segtrees!
- Sheaves and homotopy theory: motivate a sheaf as a gadget similar to localization
- How to learn LATEX programming
- Schubert calculus youtube videos
- Schubert calculus lecture notes
- 3264 and all that: intersection theory and schubert calculus textbook by eisenbud
- Mathematical Fiction
- Ln: 3D line art engine
- SVGBob: covert ASCII to SVG
- Trackball rotations using quaternions
- Structral regular expressions in SAM
- Vis: efficient text editor with subl/sam (plan9) style multiple cursor in vim
- Stali: minimal static linux
- tikzplotlib: save matplotlib figures into latex!
- Context collapse
- Fitt's law
- CompileDB: build compile_commands.json for C++ for make based projects
- Difference equations: from rabbits to chaos.
- Callahan: the geometry of spacetime; an intro to SR and GR
- Comonad apply
- Looking for a challenge?
- 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.
- More modern cmake
- Presburger formulas and polyhedral compilation: Sven's book on ISL and barvinok APIs
- Topos recommends: Higher categories and homotopical algebra
- Topos recommends: Basic concepts of enriched category theory
- Combinatorics Enumeration and Structure MATH 501/2 Alexander Hulpke
- Videos on braid groups
- THE COMPLETENESS OF PROPOSITIONAL RESOLUTION: A SIMPLE AND CONSTRUCTIVE PROOF
- Fundamentals of stellar astrophysics
- Schwarz Chrisoffel mapping: conformally map the upper half plane to a polygon
- Interesting classification of sliding window styles into fast/slow, fast/catchup, fast/lag, front/back
- 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
- A Course in Computational Algebraic Number Theory
- EERTREE: An Efficient Data Structure for Processing Palindromes in Strings
- On the greedy solution of ordering problems
- Bellman's principle of optimality
- DP as creating equivalence classes
- Dynamic programming from algorithm design: joe kleinberg and eva tardos
- TCP/IP illustrated
- Gerby: software that runs the stacks project, to upload a PDF into interconnected hyperlinked HTML
- Intro to critical race theory
- List of all useful codeforces blogs
- Dictionary of basic factors
- Quadratic sieve
- Combinatorics of finite sets by I. Anderson
- Colin Galen topic streams
- 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"
- Adjoints as inverses in terms of their graphs
- 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
- Course on spectral sequences
- 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
- 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
- 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
- The symmetric group, its representaions, and its combinatorics: Explains
S_n
and the repr. theory through the lens of coxeter groups. - Elementary calculus: a Hyperreal approach
- Choice and chance, one thousand exercises by Whitworth
- Book on compiler construction in racket: Essentials of compilation. Course Videos.
- Intel has XML file with operational semantics for all instructions!
- Herdberg's theorem
- Todd and Vishal's blog
- Rococo art
- shellinabox: provide SSH access over HTTPS.
- Learning R: (1) R by examples, (2) Advanced R, (3) Tidyverse
- Induction is not derivable in second order dependent type theory
- Mathematics Autodidact's Aid: AMS Notices about recommendations of textbooks
- The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions: For more on representation theory of the symmetric group.
- pydoit: A dead simple make replacement
- 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
- Data_compression: The Complete Reference by David Salomon
- Aberth method: polynomial root finding algorithm
- Quine: Kmett's shadertoy
- Raymarching by Ingo
- The Unspeakable Subject of Hieronymus Bosch - Joseph Leo Koerner: 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: A declarative description of bindings of books across history.
- Best textbooks on every subject
- Computational Category Theory by David E. Rydeheard, Rod M. Burstall
- Image cutting with network flow
- Lean: Logic and proof --- good intro for first order logic.
- Tagless final encoding
- Compiler construction course with exercises on implementing loop analyses
- 45th world problems: Has a cool storytelling vibe of strange pictures
- Preconquest Consciousness by E. Richard Sorenson from the book Tribal Epistemologies: Essays in the Philosophy of Anthropology
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.
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
-
J C Butcher: numerical methods for ODEs: Does a mathematical analysis of ODE theory.
-
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.
-
Dependently typed schemes.
-
Dependently typed Forth.
-
"If a statementis false, it has no evidence" --- nice way to think of
Not a = a -> Void
. -
Example of left-inverse that is not a right inverse:
parse
andprint
.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.
-
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/
-
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 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.
-
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
asf after g
. -
Threaded code for faster interpreters --- The Structure and Performance of Efficient Interpreters},
-
Paul Taylor: more exposition of topology of computation. In particular, abstract stone duality
-
Spheres as cogroup objects: A such that hom(a, -) spits out groups -Something other than spheres for homotopy groups
-
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
-
A compact kernel for the calculus of inductive constructions
-
Algebraic K theory: youtube lectures. 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
-
Learn how to use linux with
HOWTO
s. -
Programming and proving in Agda: https://github.com/jespercockx/agda-lecture-notes/blob/master/agda.pdf
-
Categorical logic and type theory by Bart Jacobs.
-
Macrame knots: pretty knot patterns
-
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
-
Gutta percha and the Gutta Percha Company.
-
Find out how opaleye works.
-
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.
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
- 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
- DSP MIT OCW
- A pangram (sentence will all letters): "Sphinx of black quartz, judge my vow"
- Ringelmann effect: Why groups may not be effective
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
- Google word list culture war
"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
- Computing in the monster. In Group, Combinatorics & Geometry, Durham 2001, 327–337. World Scientific Publishing, 2003.
- The monster and black box groups
- MSR how to write papers
- Mermaid live editor
- musicdsp
- Learn how to make every effect in Clean Slate
- 72pt is one inch tall!
- Audo synthesis website like dwitte: tinyrave
- Explain shader: soft heart
- ALSA PCM
- Sound programming website
- Linux kernel
- Celeste sound design
- 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.
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
- Trachtenberg system
- Novel writing help blog
- Awakening from the meaning crisis
- toxic libs --- processing like library in Java.
- Black: Stafford gambit.
- Noncommutativity in chess annotation
!? 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 isO-O-O
because the queen is in the "middle".
"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.
Basically, the rates jumped from 2 percent, till they stabilized at the "real rate" of 12 percent.
- Applications of Lie Groups to Differential Equations Solving DEs using Lie theory.
- Natural operations in diffgeo: Covers jet bundles and writes everything from a bundle perspective
- Pierre albin: algebraic topology/homology
- Marx, Kant, Nietcheze
- The song of wandering aengus
- Modern english poetry
- Quadratic recirpocity on n-category cafe
- Docco: a tool to generate literate javascript docs
- Blog post explaining how to implement git. Love the presentation of code
- Lattice paths and continued fractions
- Topos of G sets
- Entropy mod
p
- Learn how to use
zsh
withinfo zsh
. - Video lectures on algebraic topology
- Nigel Goldenfeld’s book on the renormalization group: Lectures on Phase Transitions and the Renormalization Group
- 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
- 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. 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
- Ends in category theory
“The end of the walking stick is at the bottom.”
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
- Peterson: Jung
- Locally finite graphs with ends
- Differential calculus and gauge theory on finite sets
- Open question: how to convert Pilot wave theory into quantum field theory?
- Fecko: differential geometry and Lie Groups for physicists
- Audio synthesis: The blog at the bottom of the ocean
- Basic intro to digital waveguide synthesis
- Light is beautiful: blog of a demoscener
- Revision 2020 threeway battle
- mercury.sexy
- [`hg_sdf: library for signed distance fields(http://mercury.sexy/hg_sdf/)
- On the building blocks of mathematical logic
- Dependent linear type theory
- HoTT in Agda
- Kerodon: A textbook of infinity category theory
- Lying in persia
- Podgist --- get transcriptions of podcasts
- 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
- Theorem that quantum circuits can be simulated efficiently classically for hadamard, phase. Gottesman Knill theorem. CHP / Scott Aaronson's Improved Simulation of Stabilizer Circuits
- Learn descriptive set theory.
- Murray Gell Mann: MIT or suicide
- Threaded interpretiv languages
- Tensors: the geometric viewpoint and its uses 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
- Mathographics: how to draw mathematics
- Read EVERYTHING by Milnor!
- 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
- Joahn Baez: Gauge Fields, Knots and Gravity
- Probability on trees and networks 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
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
- Comp.graphics usenet 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
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.
-
Topology via logic, frames and locales, etc.
-
Laziness and linear types mix in complicated ways.
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.
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’.
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.
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 Teaches complex analysis using diffgeo.
- Can't we talk?
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.
-
Selected papers on Automath.
-
Differential algebraic topology: From stratifolds to exotic spheres
-
Computing the continuous discretely: integer point enumeration in polyhedra
-
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
-
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. Wonderful that there's a wikipedia page for this.
-
Cheap way to spy on someone's
tty
if they are sharing. Something likeasciinema
but can be live-streamed on atty
. -
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
-
David Williams: Probability with Martingales --- motivates probability and measures through martingales.
-
James Gilleard: Hypnotic art that looks like a strange blend of natural and artifical. 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
- Serees: Permutation group algorithms
- algebraic number theory: a computational approach by the sage dude (William stein)
- Beautiful math books along the lines of needham
- "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
- Big list of useful terminal apps
- 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
- SAGE ticket on finite topological spaces
- 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
- [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: Series of books about problem solving!
- The Cauchy Schwarz master class: inequalities and how to use cauchy schwarz
- A shorter model theory: Short book on model theory.
- On the complexity of linear arithmetic with divisibility: Useful for presburger results.
- Hori's Mirror symmetry seems to contain good exposition of differential and algebraic geometry.
- Shafaravich: Basic Algebraic Geometry
- Discrete version of riemann roch
- 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.
- Relativity in Illustrations: Explains relativity purely geometrically.
- Intuition for divisor and genus
- Group representations in probability and statistics: Covers representation theory of the symmetric group
- Symmetries and curvature in general relativity by G S Hall: covers the lie and representation theory of the lorentz group.
- Doxastic logic
- Right-left rule for disambiguating C declarations
- Grothendieck construction
- KMP, functionally
- Codeforces: voronoi diagrams
- Superflux: imagined futures for the 21st century
- Exact humanities reading list
- That about wraps it up; using Y combinator to tie the knot
- Adjoint operators
- Original BDD reading material: Graph-Based Algorithms for Boolean Function Manipulation
- 13 ways to think of the correlation coefficient
- Chasm of unknowing
- A distributed systems reading list
- Linear logic vector spaces?
- 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
- Necessary disorder: GIFs with the same style, looping, beautiful
- Chess tactics
- Geometric Algebra: Eric Chisolm --- the reference that finally made GA make sense for me.
- The Topological Structure of Asynchronous Computability. Seems to explain a bunch of distributed systems results in combinatorial topology language. Very very cool.
- Chess endgames you must know
- Basic number theory by Weil --- seems like a good place as any to learn "real Algebraic number theory"
- Digraphs: Theory, Algorithms and Applications Seems to be an authoritative textbook on digraph theory. Sadly, it does not contain an exposition of Tarjan's SCC algorithm.
- INOI training material
- 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
- Second Thread: IGM on codeforces with great videos on competitive programming ideas
- Possibility theory an ordinal version of probability theory, and an implementation in racket, called 'ranked programming'
- Galois' dream: textbook about lie theory for differential equations
- Inverse Noether theorem
- Atmospheric Thermodynamics: Bohren and Albrecht: Spends a lot of time building up good conventions and notation, does NOT use scam differentials.
- zhihu: chinese reddit
- Makepad: sexy rust editor that runs in the web with wasm
- Olympiad combinatorics
- Evan Cheng's list of books: Has good sources for algebraic geometry and differential geometry.
- Yufei Zhao: olympiad training
- Dirac general theory of relativity: a good description of torsion as being intrinsic. Learnt from this answer on mathoverflow 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- Graphs, Dioids and Semirings: Provides algebraic descriptions of most graph algorithms
- cutter: IDE for reverse engineering
- Reversing: Secrets of Reverse Engineering --- book on reverse engineering.
kaitai
is like010
editor for drilling into binary formats, but also FOSS. With a web IDE!- 010 editor: world's best hex editor, comes with powerful scripting language to describe data layout
- MenuetOS: an entire OS written in assembly
- Study tree-sitter
- Kakoune community's list of CLI tools
- Prefix sums and their applications: Guy Blelloch
- Stanford intro to logic course that uses Herbrand semantics
- The herbrand manifesto: why we ought to use herbrand semantics, and the consequences this has on prolog. Found from this
math.se
link - Patat: terminal based presentations using Pandoc
- Algebraic effects in C
- BASIC programming in the 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
- 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
- The GHIDRA book: 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 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 as the theory of simplex?
- https://github.com/ssloy/tinyrenderer
- [Combinatorial commutative algebra](Combinatorial Commutative Algebra)
- Applied finite group actions
- How does the C debugger work
- 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
- 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. It is basically a book about spatial data structures and cache aware algorithms.
- Werner Harzog
- Iron smelting from scratch: Harald the blacksmith
- 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
- Ludwig Miles van der Rohe: God is in the details
- Strange algebraic structures: racks, shelves, quandles
- 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
- REDIS walk through source code by antirez
- 2D general relativity
- general relativity for 1+1 dimensions
- Regge calculus, a discrete version of General relativity
- bidirectional type inference, explained in Agda
- Arithmetic of elliptic curves: seems to explain elliptic curves from the "algebraic geometry perspective".
- Smoothie: Smooth non analytic functions generated by chebfun
- USACO guide
- CSES problem set. Problem set for competitive programming
- The generalized distributive law: general version of FFT, viterbi, ...
- algebraic geometry through toric ideals: https://www.youtube.com/watch?v=-AkCtGY7Kc8&list=PLnkl-SmACpdhIZnHAecRG36du2Oc2jiTs&index=1
- 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!
- 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
- 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
- Books in the style of needleham's Visual complex analysis
- Online etymology dictionary: Etymonline
- ImagineFX: digital art magazine
- Learning how to draw: structured exercises! Draw a box
- 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
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.
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
- New dimensions in geometry by manin.
Describes "supergeometry", where we analyze
Z[x1,..., xn, e1, ... en]
where theei
anticommute amongst themselves, and commute with thexi
. This gives it a symplectic dimension (ei
), regular space dimension (xi
), plus a singleZ
dimension. This somehow leads to the notion thatSpec(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
- How inuit parents teach children 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 --- contains stories of sets, quines, and recursion theory. Contains theorems on how to formally derive quines.
- MIT OCW lecture notes for combinatorics
- Uses of the internal language of a topos in AG. Contains references to why topoi matter.
- Good notes on the hungarian algorithm
- Introduction to the theory of schemes by Manin
appears to contain much geometric content about scheme theory, along with cleaner pictures of
Spec
whereSpec
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. It also contains information on the relationship between Newton's method and Galois theory.
- How to learn arithmetic geometry
- Great example explaining how egyptian is both logographic as well as phonographic
- 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. Expository blog posts that has the algebraic, geometric, and computational parts of AG. Really neat!
- The oldschool PC font resource/pixel fonts. I recommend the font: Mx437 Nix8810 M15
- 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 Tome of classical AG.
- From Tao's article on gauges: (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
- Science is politics; it is not politics
- Kaliedoscopes: optics through applicatives
- UPenn linguistics course. Has lecture notes.
- Three dimensional geometry and topology
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.
- Dark Mountain movement. 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
"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."
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
- Andrew Marr: A history of the world.
- Great animations of sphere eversion, setup with scrolling and webGL
- 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
- Elanor Ostrom: analysis of how to build systems which encourages cooperation and not competition: Design principles for Common Pool Resource (CPR) institution
Mikutap
: Website with gorgeous transitions, I wish to replicate- From parametricity to Noerther's theorem
- Program design by calculation: Has a sweet graphical/geometric interpretation of galois connections
- Derivation of wave equation
- Mumford's recollections of coming to India and staying at TIFR
- Indra's pearls: book from mumford
- twtxt: UNIX based microblogging
- 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
- Fun blog with visualizations by Nicholas Pilkington
- Chernoff fish: A way to build fishes that reflect the statistics of the data
- Ma and the use of negative space
- Dan Piponi's notes on differential forms. Has good diagrams
- Jacobi field: Diffeq that contains the Riemann curvature tensor. Maybe useful to develop and intuition.
- William MacNeill’s Plagues and Peoples: Looking at history through the lens of diesease
- The presentation of self in everyday life
- Theirrey Coquand's website
- Concept-Model-Idiom
- Gorgeous animation: Escher solid
- Eastern European Movies
- Combinatorial meaning of determinant
- Motivation for distribution theory
- Addition in terms of group theory: 2 cocyles
- How to think about non hausdorff topologies in the finite case (as a preorder). 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.)
-
The strategy of conflict, book by Schelling about Schelling points
-
[https://arxiv.org/pdf/1801.09553.pdf](Extending the Algebraic Manipulability of Differentials: Nice notational abuse for higher order integrals.)
-
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]
-
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 (ii) link to his library (iii) link to mini course
-
sparse sets using two arrays and pointers between them An efficient representation for sparse sets
-
George Springer: Introduction to Riemann sufaces. Good, low-technology account of riemann surface theory that gets to Riemann Roch!
-
generalization of 2nd isomorphhism theorem: Modular Lattices
-
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.
-
Continued fractions, mobius transformations.
-
Domain theory crash course.
-
Learn how to generate music.
-
Fast mobius inversion using heavy/light?
-
Sphere packings, lattices, groups.
-
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 to0
. 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.
-
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: coq/coq#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)
-
Mathematical methods of classical mechanics, Arnold, Lectures notes on sympletic geometry
-
Ideals, Varietites, and Algorithms
-
Differential forms and connections
-
Differential forms of curves and surfaces
-
Elementary applied topology
-
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
-
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
-
Jeff E: Algorithms - Excellent collection of explanations of algorithms.
-
Computer architecture, a constructive approach (for processor design)
-
Algebraic geometry and statistical learning theory: Sumio watanabe
-
GraphQL apparently don't need you to use a graph DB on the backend?
-
Algebraic Curves and Riemann Surfaces (Rick Miranda)
-
The great ISAs, a course on computer architecture as it could have been.
-
About ordinals and infinity, contains some exposition from Conway
-
Read everything by conway: The Book of Numbers
-
Discrete Morse theory
-
The geometry of whales and ants / Intro to hyperbolic geometry
-
The Shape of Space
-
Hartree-Fock method for simulation
-
Fortune's algorithm for Delaunay triangulation
-
Li chao tree
-
Aliens
-
Vehicles: Experiments in Synthetic Psychology
-
Discrete morse theory.
-
Three lectures on free probability: why cumulants are the correct way to think about distributions
-
Can spaced repetition train LSTMs?
-
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
-
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!
-
A description of the collaboration between Serre and Grothendieck. Powerfully written
-
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
-
Dilworth's theorem: length largest antichains (pairwise incomparable elem) = number of disjoint maximal chains
-
Solid state physics basics. Has a bunch of stuff on reciprocal lattices
-
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)
-
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
-
Prob. theory in terms of co-intuionistic variant of minimal logic
-
Is the a relationship between kernels, level sets (kernel is a level set), lagrange multipliers, discrete morse theory? [which talks about critical points].
-
The Elements of Style: writing advice.
-
Jack Cremshaw's article on building compilers mixing parsing with codegen / Single pass compilers / One pass compilers / 1 pass compilers. 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.
-
C-w stands for for "wipe out" in emacs. List of similar mnemonics
-
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.
-
Conversation with arjit about iheritance versus composition. Ie,
SourcePanel : public Panel
versusPanel a = ...; type SourcePanel = Panel Source
. -
Flat assembler: assembler with very strong macro support.
-
HLA (high-level-assembler): assembler with a huge STDLIB, C-like-syntax and pattern matching.
-
Galculator: proof assistant using galois connections.
-
Tropical fourier transform is a legendre transform?! mathoverflow, arxiv, Dan Piponi's notes
-
Why Nation Fails, How democracies die
-
Chronicles of Wasted Time
-
sizecoding.org
how to build demos, wealth of demoscene knowledge! shows basic MSdos getting started -
lock picking!
-
Chess Programming: they usually have the best knowledge of obscure ASM instructions
-
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. -
Mir: Kinematic method for geometry, contains a lot about barycentric coordinates
-
Mir: Operational methods. Has theory of distributions.
-
Mir: The world is built on proabbility (thermodynamics <-> entropy)
-
Semiconductors: seems to contain explanations of how to use semiconductors
-
Mir: Linear algebra and multidimensional geometry. 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 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
-
Guide to Competitive Programming: Antti Laaksonen
-
Maps of meaning: Jordan peterson's lectures; talks about mythological myths
-
TOOL TO BUILD: linters that will overlay compiler-tier optimization hints on top of handwritten assembly?
-
building structures by hanging things with tension. Example using LEGO.
-
Mathematics of tensegrity: Frameworks, tensegrities, and symmetry. Understanding stable structures
-
Separation logic through a new lens: Lensifies separation logic.
-
The derivative operator: paper by ken iverson that generalizes derivative to jacobian, curl, whatnot.
-
Noncommutative rational series with applications [They work with coefficients in an arbitrary semiring, which can be like watching paint]
-
Financial Shenanigans by Howard M Schiit.
-
lying for money, The Match King, The Smartest Guys in the Room, Bad Blood, Billion Dollar Whale
-
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).
-
Errett Bishop: Constructive Analysis
-
Regular Car Reviews: 2012 Toyota FJ Cruiser. Explaning simulation v/s simulacra through a car review. Jean Baudillard.
-
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 ifinner
is an arrow function. What are the denotational semantics of this? -
Queueing Theory.
-
[https://codeforces.com/blog/entry/77551](generating functions for CP)
-
ADHD: A lifelong struggle: Why organisation systems don't work
-
Slides for intuition on converting number systems to data structures by Ralf Hinze