Remote follow

Abdominal muscles @abs@niu.moe

I study CS and enjoy doing sports.
Feel free to message me about them, I love to chat.

715 Toots

35 Following

59 Followers

Toots Toots and replies Media

**Abdominal muscles** @abs · May 01, 2018, 18:12

Pinned toot

**Abdominal muscles** @abs · May 01, 2018, 18:12

#introduction

Hi, fediverse!

I'm currently studying #CS. My interests include #FP, especially #Haskell, #verification and #plt. I also work with #Coq.

Outside of academics, I do a lot of sports. Mainly #running, #cycling, #bouldering and #swimming.

In my off-time, I sometimes watch #anime and read #manga.

**Abdominal muscles** @abs · Jul 02, 2018, 06:45

**Abdominal muscles** @abs · Jul 02, 2018, 06:45

I messed up with my clothes washing again, so now I have to wear this goofy I got for finishing a triathlon two years ago and look like a dick for the whole day. :blobderpy:

**Abdominal muscles** · Jul 02, 2018, 03:03

Abdominal muscles boosted

**Craig Maloney ☕ ✅** @craigmaloney@octodon.social · Jul 02, 2018, 03:03

**Abdominal muscles** @abs · Jul 01, 2018, 18:12

**Abdominal muscles** @abs · Jul 01, 2018, 18:12

I don't feel motivated to do anything. :blob_cry:
I'll probably just go to bed early and hope everything is better tomorrow.

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

**Abdominal muscles** @abs · 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!

**Abdominal muscles** @abs · Jul 01, 2018, 09:41

**Abdominal muscles** @abs · Jul 01, 2018, 09:41

I just looked through the paper one of my peers presented in the seminar and his talk resembles that paper superficially.
I'm honestly not even sure if he read the introduction because he didn't even show what the paper was trying to achieve.

**Abdominal muscles** @abs · Jul 01, 2018, 08:29

**Abdominal muscles** @abs · Jul 01, 2018, 08:29

Damn, there are even some really good offers in my area. But spending ~2000€ more or less on a whim just doesn't sound very smart. 🙈

**Abdominal muscles** @abs · Jul 01, 2018, 08:11

**Abdominal muscles** @abs · Jul 01, 2018, 08:11

I am really tempted to go out and buy a proper carbon frame roadcycle this summer.
Currently, I'm riding a fairly old (as in 90s) thriathlon bike and I'd honestly love to own a bike better suited for climbs.

**Abdominal muscles** @abs · Jun 30, 2018, 20:58

**Abdominal muscles** @abs · Jun 30, 2018, 20:58

Regardless of how often I hear it, I am always surprised how bad the OP for Boku no Hero Academia is.
I'm sure the show has a big enough budget to get a song that's actually good.

**Abdominal muscles** @abs · Jun 30, 2018, 19:21

**Abdominal muscles** @abs · Jun 30, 2018, 19:21

Calling yourself a futurist is a great way of signalling me to ignore anything you say.

**Abdominal muscles** @abs · Jun 30, 2018, 18:15

**Abdominal muscles** @abs · Jun 30, 2018, 18:15

Chicken soup is finally done!
It took longer than planned, because the temperature I started boiling the chicken at was too low, but it turned out great!

**Abdominal muscles** · Jun 30, 2018, 17:45

Abdominal muscles boosted

**Dekken** @Dekken · Jun 30, 2018, 17:45

STOP SWEATING I JUST HAD A SHOWER

**Abdominal muscles** @abs · Jun 30, 2018, 12:18

**Abdominal muscles** @abs · Jun 30, 2018, 12:18

Writing out proofs in English is really fun once in a while!
It still feels surprisingly concise.

**Abdominal muscles** @abs · Jun 30, 2018, 04:48

**Abdominal muscles** @abs · Jun 30, 2018, 04:48

I think I have a fever (or something like that). Feeling like shit. :night:

**Abdominal muscles** @abs · Jun 29, 2018, 18:43

**Abdominal muscles** @abs · Jun 29, 2018, 18:43

Going cycling was a great decision!
I waited until 7pm and the roads were practically empty!
Not being endangered by agressive drivers and not feeling guilty about holding up traffic is awesome! :blobcheer2:

**Abdominal muscles** @abs · Jun 29, 2018, 15:14

**Abdominal muscles** @abs · Jun 29, 2018, 15:14

I've written up 2.5 pages today (and dome some other university stuff)!
Now off to a quick dinner and then cycling once people driving home from work are off the roads! :nombread:

**Abdominal muscles** @abs · Jun 29, 2018, 09:23

**Abdominal muscles** @abs · Jun 29, 2018, 09:23

I just found out I can stay at my dorm room for another year! This takes a lot of stress away! :rainbowdance:

**Abdominal muscles** @abs · Jun 29, 2018, 08:25

**Abdominal muscles** @abs · Jun 29, 2018, 08:25

Working on the summary for my talk has reminded me how much I enjoy writing!
Maybe I should look for another outlet to do it. :blobmelt:

**Abdominal muscles** @abs · Jun 28, 2018, 11:01

**Abdominal muscles** @abs · Jun 28, 2018, 11:01

Writing official emails is always very tiring. But now that I'm done, I can get back to actual work! :blobcheer2:

**Abdominal muscles** @abs · Jun 28, 2018, 08:34

**Abdominal muscles** @abs · Jun 28, 2018, 08:34

I don't know who decided to put 4k monitors in the chairs student room, but I'm very thankful for it. :blobpout:

**Abdominal muscles** @abs · Jun 28, 2018, 06:24

**Abdominal muscles** @abs · Jun 28, 2018, 06:24

I really should look for a better way to spend my time at home. At the moment, if I'm not working out, I just waste my time on YouTube. I think I'll look for something to read this evening.

Older