Pinned toot
Pinned toot

Realized I never did one of these

I'm Soren, I don't like my real name
I'm :ms_pansexual_flag: :ms_demiguy_flag: (he|they)
I answer Male on forms because it's much less complicated
@gerd is my bf
I use Arch Linux
I program in Scala
I love puzzle games
I'm a huge Google fan
I like soda. A lot.
I march the flute
I use the Dvorak layout
I completed watch for rolling rocks in 0.5 A presses
I like headpats
I use Emacs for my Calculus notes

Pinned toot

cw meta, emojos related to common cws, long post, in relation to recent CW subtoots Show more

Pinned toot

BEGIN KEYBASE SALTPACK SIGNED MESSAGE. kXR7VktZdyH7rvq v5weRa0zkKBWu2f bmUwtM5mFvKiAQt FozPym4MqFi20cc OamuF1pi1pzRwOU ZJ4yj7A2Cxhx5SD ExfGWMOuV81ffIh b69JwkHtP2z4zwI stEgWdZjlRNLgfx WaYOnu4k7W7LOYU jq6WHWtDpDXpuBr VVGpwUk3ImMreFd 38dj9OLk8J9qT83 trahD6lRxEznyD4 vlzN73rVgfdDq5E m7ci4GiskQINNXi ae8ic. END KEYBASE SALTPACK SIGNED MESSAGE.

Pinned toot

The Code of Conduct for this instance links to Typelevel's ( Typelevel is a group of people/scala projects dedicated to making Scala a more completely functional language.

I've been working with Typelevel's libraries for a while now, and honestly they're pretty cool, so I wanted to share two (of many) of them:

:Mgreen_potion: Spire, a math library:
:Mpink_potion: Cats, a library providing reactive data types:

Time to figure out how to get the length of a linked list in lambda calculus

in about 8 hours not now

I got comparisons and subtractions finally not freezing

These are the implemented lambda calculus definitions I have so far in snap

((power (2 [> λ)) (4 [> λ))? Fine.
(((power (2 [> λ)) (4 [> λ)) [> n)? Freezes.

Thank you Snap, very cool

> mastodon is written in ruby, which is supposedly a garbage collecting language, and yet my toots pass through unscathed

Yeah, well, Twitter is written (largely) in Scala and yet isn't even a little bit functional so ¯\_(ツ)_/¯

What's the point of having your own blog if you're just gonna link a Medium post?

Can't wait until I can finally work on programming stuff without being hindered by school ooooohhhhhh

On the Mutant Standard Discord: Turkish Guy Fieri copycat

drew this frog for school. based off frog picture on the right

i accidentally screenshared my full desktop during a meeting and i had to explain this to my boss

ok what's the c word for like being con- i remembered

me: im gay

also me: im gay

me, online: im gay

me, offline: im gay

marching band financial issues, fundraiser Show more

Turns out sprinkling lazy_statics all around makes code really hard to reason about, and you can avoid that while still keeping a static API by wrapping a non-static system behind a static API. #rust

So in other words, I've been rewriting the backbone of my UI crate bit by bit recently. I'll be done with that soon, and then I'll rewrite the public facing parts, because I can't apparently design an API and write good, coherent code at the same time.

Show more
Scuttlebug Space

A scuttlebug jamboreed too hard and got lost in space.

This instance uses Mutant Standard emoji, which are licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.