Flipper @flipperino@mastodon.social

Weekend is here and I have a million projects I want to do.

Sometimes I wonder if I'm incapable of relaxing.

Sun is going down, room is getting darker.

I run a script that turns on the lights.

Nothing happens.

After 4 hours of doing system upgrades and compiling weird libs in complete darkness I reach for the remote -- that is literally less than two meters away from me -- and turn on the lights manually like a savage.

My little brother sent me a custom made emoji that looks like him to me.

How far up the Maslow Hierarchy of needs are we these days?

I really love how terrible the Spotify discover feature is.

I listened to one Finnish Gospel song *two years ago* and I still get some real weird music from Finland in my Discover Weekly list.

Hung out with friends tonight. I'm always surprised with how energized I feel afterwards.

It is really strange writing proofs using the coq proof assistant.

Sometimes it feels like I'm getting ordered around by coq, rather than the other way around.

Reading the "code" is slightly surreal too. It is like listening to a mobile phone conversation, you only get half of what's happening.

I have this feeling like I've insulted a friend but I'm not sure how.

I'm deffo getting vibes, and I do not know what to do.

Wooo! I made a proper proof in coq. Wow this was a lot harder than I thought.

I was thinking of learning how the Coq theorem prover works for a course in algebra. The course explores the concept of rings.

Giggled hysterically when I google "Coq rings".

I only got relevant results. Turns out Google is a a lot more mature than I am.

#introductions

Hi, I'm flipper. I came here because I felt that there was a piece of my personality that was not entirely compatible with the image people in meatspace had of me.

I love statistics, 3d-printing, poetry, vector-art, all kinds of music, and I have a slight obsession with white collar crime.

I turned in a project report 30 seconds before the deadline...

I could have lazed around for 15 more seconds!

I had a presentation today, and accidentally introduced myself as *group member name*

I was so stressed out about the presentation that I forgot my own name.

But other than that the presentation went well XD.

Played mahjong with good friends late last night, and it was the best thing. I did not win much but I feel like I lucked out in life anyway.

Having a fever and listening to George Orwell impersonators gives the world a slightly bent feel.

I was up 'till 6am trying to create an elegant model for a problem.

I finally go to bed and sleep a few hours.

Later I wake up to an email with an attached model that is waaay better than what I was doing.

I love/hate working with smart people. Mostly love =)

Holy shit The Magicians is such a wonderful show.

Donald Knuth came by my uni a few weeks ago and there was this internal debate in my class if we were gonna ask him if he *knows* how complicated it is to type "\" on a Swedish keyboard.

I imagine humanities students just do some nice and simple Google Docs thing.

Only CS students feel the need to *compile* reports.

So strange working on a CV again. It feels like I'm working against every instinct in my body, but I need money and food and all that jazz.

Also: LaTeX *shudder*

Ah I feel a lot better today. The world is churning and I feel like Ahab. Bring it on!