Pinned toot

With the sudden flow of new users over here at Mastodon, I'll do another !

I'm Justin, and I'm a junior software developer (and kind of an aspiring game developer) currently hacking at Meeshkan.

I taught myself functional programming, and I'm currently a core team member for the PureScript programming language.

I like rhythm games, programming languages, and very niche things in general.

With the sudden flow of new users over here at Mastodon, I'll do another !

I'm Justin, and I'm a junior software developer (and kind of an aspiring game developer) currently hacking at Meeshkan.

I taught myself functional programming, and I'm currently a core team member for the PureScript programming language.

I like rhythm games, programming languages, and very niche things in general.

I often forget that OCaml has object-oriented features and is technically the sussus amogus of FP languages

gotta have income as a content creator, of course, but eh

Show thread

ads disguised as educational videos with zero substance

I was bored so I built rustc and ghc, 10 and 20 minutes respectively to produce stage 2 builds.

programming but with only a file-watching compiler, a dream, and without actual IDE tooling basically summarizes my Haskell dev experience

This is a PSA

Please remember people:

- Replace twitter.com by a 'nitter' instance - it allows you to read stuff on the bird site without the annoyances.
github-wiki-see.page/m/zedeus/

- Replace reddit.com by a 'teddit' instance in the same way
codeberg.org/teddit/teddit

- Put your annoying newspaper link after 'archive.is' for the same result.
archive.ph

If we all work together on this one, we can all make Mastodon a better place!

Thank you!

This is the end of this PSA.

Technically, because I missed one course that the registrar didn't sign me up to :angus:

Show thread

I think it'd be good if I kept track of the ideas I want to explore through Emacs+Org. I'm yet again stuck trying to explore multiple things at once and it really sucks.

Initial draft of new blog post is up, will update in the following weeks as I write down more stuff purefunctor.me/posts/202206061

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.