You, a tech startup with millions in angel finance: made an app to turn handwritten maths into TeX.
Me, just the worst kind of smart alec: convinced a pen #plotter to turn TeX into handwritten maths
I spotted this Mastermind game made in Geogebra, and it turned out to be a good example to show the difficulties I have due to colour vision deficiency, and how you can design an interface differently to avoid them.
Does anyone make a desktop printer that isn't subsidised by the cost of replacement ink?
My piece of poop Epson has drained itself of ink the last time, and even knock-off ink is £50!
At the moment I'm looking at Brother laser printers, but even they seem suspiciously cheap. All I really need is black and white. Any suggestions?
The number of open issues on the Numbas repository is down to 100! 🥳`
Fun reddit thread about 'Junk Theorems'; mathematical statements that are only true because of the way we encode them in terms of set theory.
For example, 'An element of an integer is a topolgical space if and only if that integer is the graph of the successor function'.
welp, I tried to compile the code in the tutorial and encountered this problem - https://stackoverflow.com/questions/61154102/building-the-spock-tutorial-example-fails - it doesn't work with the version of GHC it automatically installed.
So I've bounced off haskell again!
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!