Andrew Miloradovsky @amiloradovsky@functional.cafe

Interests include: #Coq, #OCaml, #Ocsigen, #Guix(SD), #CoreBoot, #OpenCASCADE; free/libre/open-source computing, pure and applied #mathematics & #mechanics

PGP: 91889DEFD47B86EDACD52D10355C2591C5706C8B

2.15K Toots

279 Following

226 Followers

Toots Toots and replies Media

**Andrew Miloradovsky** · Jul 02, 2018, 20:42

Andrew Miloradovsky boosted

**bitGamey 🧙🔮📜** @SlightDashOfColour@mstdn.jp · Jul 02, 2018, 20:42

@cypnk

**Andrew Miloradovsky** · Jul 02, 2018, 20:13

Andrew Miloradovsky boosted

**Del** @WelshPixie@mastodon.social · Jul 02, 2018, 20:13

Lil' ladyboops. #mastocats

**Andrew Miloradovsky** · Jul 02, 2018, 02:03

Andrew Miloradovsky boosted

**Paul Cull** @pdcull@mastodon.social · Jul 02, 2018, 02:03

""An SSL error has occurred and a secure connection to the server cannot be made." - William Shakespeare"

**Andrew Miloradovsky** · Jul 02, 2018, 20:02

Andrew Miloradovsky boosted

**Wilfred Hughes** @wilfredh@mastodon.social · Jul 02, 2018, 20:02

Visual augmentation of source code editors: A systematic review https://arxiv.org/abs/1804.02074

A useful paper categorising all the different ways IDEs can show additional metadata alongside the code.

For example, they show this cute plugin (Clepsydra) that shows worst case runtime.

**Andrew Miloradovsky** · Jul 02, 2018, 15:54

Andrew Miloradovsky boosted

**Del** @WelshPixie@mastodon.social · Jul 02, 2018, 15:54

It snowed here last night, on the mountaintops - snow in this part of South Africa is pretty rare, so my friend picked me up and we went driving over one of the local mountain passes to go through the snow, and took the doggies with us. This was just after coming down the pass on the other side into the town of Franschoek.

#Photography

**Andrew Miloradovsky** · Jul 02, 2018, 14:54

Andrew Miloradovsky boosted

**Julio Biason** @juliobiason · Jul 02, 2018, 14:54

pscircle: Visualizes Linux processes in a radial tree
https://gitlab.com/mildlyparallel/pscircle

**Andrew Miloradovsky** · Jul 02, 2018, 08:18

Andrew Miloradovsky boosted

**❦ Billy Blaze ❦** @ckeen@mastodon.social · Jul 02, 2018, 08:18

Since I have been trouble finding the right RAM for my Lenovo X200. Has anyone successfully upgraded said device to 8GB RAM and which DIMMS did you use? Pls boost.

#askmastodon

**Andrew Miloradovsky** · Jul 01, 2018, 20:17

Andrew Miloradovsky boosted

**elomatreb** @elomatreb@social.elomatreb.eu · Jul 01, 2018, 20:17

"50 gigabytes of XML"

four-word horror story

**Andrew Miloradovsky** · Jul 01, 2018, 17:19

Andrew Miloradovsky boosted

**thurloat 📌** @thurloat@mastodon.club · Jul 01, 2018, 17:19

Love doing open source software! So fulfilling! Users so grateful!

https://mastodon.club/media/ZJ7gyKrXE9BUjD88pRk

**Andrew Miloradovsky** · Jul 01, 2018, 12:05

Andrew Miloradovsky boosted

**Lars Wirzenius** @liw@social.nasqueron.org · Jul 01, 2018, 12:05

Is there any place that rents VMs on the POWER architecture?

**Andrew Miloradovsky** @amiloradovsky · Jul 01, 2018, 12:35

**Andrew Miloradovsky** @amiloradovsky · Jul 01, 2018, 12:35

disclaimer Show more

**Andrew Miloradovsky** · Jul 01, 2018, 12:06

Andrew Miloradovsky boosted

**Andrew Miloradovsky** @amiloradovsky@mathstodon.xyz · Jul 01, 2018, 12:06

#Sarcasm: form of speech where the listener is supposed to figure out whether the negation is assumed.

**Andrew Miloradovsky** · Jul 01, 2018, 10:43

Andrew Miloradovsky boosted

**Abdominal muscles** @abs@niu.moe · Jul 01, 2018, 10:43

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!

**Andrew Miloradovsky** · Jun 30, 2018, 12:50

Andrew Miloradovsky boosted

**cilia plath** @cute_weeds@glitch.social · Jun 30, 2018, 12:50

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

**Andrew Miloradovsky** · Jun 30, 2018, 15:08

Andrew Miloradovsky boosted

**Andrew Miloradovsky** @amiloradovsky@scholar.social · Jun 30, 2018, 15:08

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

**Andrew Miloradovsky** · Jun 30, 2018, 14:42

Andrew Miloradovsky boosted

**vascorsd** @vascorsd@mastodon.social · Jun 30, 2018, 14:42

We are like elves to dogs - https://redd.it/8v0u43

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 13:59

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 13:59

forgotten s/w abbreviation Show more

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 12:32

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 12:32

It's a long story, going back to ALGOL, as it turns out…

**Andrew Miloradovsky** · Jun 30, 2018, 12:10

Andrew Miloradovsky boosted

**typochon** @typochon · Jun 30, 2018, 12:10

@amiloradovsky I think it comes from Miranda

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 11:46

**Andrew Miloradovsky** @amiloradovsky · Jun 30, 2018, 11:46

#Haskell'ers, you swapped the type specifier and the cons symbol (single and double colon), and thought you can get away with that?!
Seriously, why?

Older