Andrew Miloradovsky @amiloradovsky@mathstodon.xyz

I just found out about the mathpartir package for LaTeX. It allows you to write down inference rules and automaticly spaces them so they look pretty. That's incredibly useful!

@kensanata Outside of computer science, it's really easy to keep everything, too. You just write it down. It just costs space on paper. Inside of computer science, it's easier to have an audit trail, so deleting stuff is, if anything, easier.

Police states and surveillance states functioned just fine before computers existed. They are different now, sure, but they are not a modern creation. Thinking about them in terms of computers alone robs us of the lessons of history.

I'm 🙋 pretty ✨cool 😎 if you run 🏃 the numbers 📊

Poll: What basic research and basic necessities have in common?
The author of the most original answer will receive… nothing.

Negative Base
https://en.wikipedia.org/wiki/Negative_base

(submitted by int_10h)

Notes on Discrete Mathematics [pdf]
http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf

(submitted by alokrai)

You can tell with certainty that a person holds a far right political views by hearing/reading "get a job" as a standard suggestion, as if it were a universal solution for any problems one might have. — Basically, it's an insult, indicating at least disrespect and contempt at most.

P.S. The so-called technological unemployment is the response of the creative people to such a suggestion: "OK, I did, now's your turn to follow your own advice… I'm waiting!". Never mind UBI.

Teaching someone is never lost time. It's an increase of shared knowledge.

Intriguing! A brick that's like the 3D analogue of A-series paper: you can cut it in half to produce two bricks similar to the original
https://math.stackexchange.com/questions/2822566/a-cuboid-that-can-be-bisected-into-two-cuboids-all-three-being-similar-sides-r

@cwebber
"It's impossible to do math and love it at the same time." — Computers aren't much different, IMO.
@jamey

Happy Birthday to M.C. Escher!

Tired: Functional programming makes you a useless programmer commercially because you get used to features that aren't in commercially-used languages

Wired: Functional programming makes you a useless programmer commercially because it's a gateway into building programming languages and therefore mathematical philosophy which reveals that the so-called "objective truth" of mathematics is built upon extremely subjective assumptions.

Useless Fact of the Day: this Monday, it will be 17500 days since Epoch.

computers ≈ plumbing

I am a phd student in computer science.
My current research interest is mesh parametrization for texture mapping.
I joined mathstodon to find people which understand what I am talking about when it comes to math, interesting discussions about science related stuff and possibly some math humor as well.

Ok, it's rabbit hole time again.

I implemented completions in my Maxima client, but the CLIM doesn't support keyboard control in popup selection lists.

It seems I have to implement that.