compsci
Models of computation
Turing machines, λ-calculus, term-rewriting and other models of what may be computed.
2017-06-18
– 2022-11-22The edge of chaos
Computation, evolution, competition and other past-times of faculty
2016-12-01
– 2022-10-30Informations
Entropies and other measures of surprise
2011-11-25
– 2022-08-30Automated theorem provers
2019-12-09
– 2022-08-09Code editors
The best thing since punchcards
2014-11-11
– 2022-08-07Numerical python
2015-04-27
– 2022-08-06Mathematics without LaTeX
2019-11-19
– 2022-08-06homebrew
2019-06-15
– 2022-06-17This is a simulation
Can the automaton learn to play the game of life?
2017-04-04
– 2022-04-09Typesetting algorithms in LaTeX
Pseudocode
2014-09-08
– 2022-04-08Random binary vectors
The class of distributions that cause you to reinvent Shannon information if you stare at them long enough
2017-02-20
– 2022-03-30Neurons
Neural networks made of real neurons, in functioning brains
2014-11-03
– 2022-02-14Visual node based programming
a.k.a. dataflow graphs, patchers, visual coding, flow-based programming
2020-06-13
– 2022-02-12Quantum computing
2017-12-14
– 2022-01-21Linux-compatible laptops
I love linux but I hate googling for “wifi hangs after suspend”
2018-05-28
– 2022-01-11Comfy Ubuntu
Now with added Pop!_OS
2014-10-14
– 2022-01-08Dual booting MS Windows and linux
2014-10-14
– 2021-10-11Mathematica
2011-04-06
– 2021-10-08Algorithmic statistics
Probably also algorithmic information theory
2014-07-25
– 2021-09-26System76 laptops
Luxury linux
2018-05-28
– 2021-08-03Morphogenesis
2011-01-19
– 2021-07-26Applied string mangling
Regexes, parsing, tokenising etc
2019-12-09
– 2021-07-05Computational symbolic mathematics
Cheating at calculus exams
2016-10-13
– 2021-05-11Editors for LaTeX
2019-11-19
– 2021-04-19IDEs for Julia
2019-11-27
– 2021-03-15Convenient Razer
Ubuntu on the Razer blade
2018-05-28
– 2020-10-05Clipboard managers
Remembering two things at once
2018-08-09
– 2020-09-21Graph computation
2014-12-17
– 2020-09-20Combinatorics of note
2020-07-18Web API automation
2020-06-04
– 2020-07-03MAPLE
An OK computer algebra system
2020-05-19Empirical estimation of information
Informing yourself from your data how informative your data was
2011-04-19
– 2020-04-28Microsoft Azure cloudydoodle numberpants crunchery
2018-08-09
– 2020-02-18Esoteric language zoo
2019-12-27Clojure
2015-01-05
– 2019-11-30Bio computing
2016-05-29
– 2019-10-14Game complexity
2019-06-07Javascript
2014-10-14
– 2019-02-10Atom
A text editor I seemed to be using
2017-06-19
– 2018-11-06Submodular functions, maximizing
2018-07-09Thermodynamics of life
2014-09-23
– 2017-05-30Inference from disorder
2016-10-19Syntax
Formal language theory
2015-01-18
– 2016-06-22Category theory
2011-11-25
– 2016-04-18Art LISP
2015-01-13
– 2015-12-20Computational mechanics
2011-10-17
– 2015-01-02Computational complexity
2014-10-17 