Pinned toot

I haven't really done an toot yet, but hello, I'm purefunctor.

I'm a functional programmer based on the Philippines. At the time of writing, I'm still in uni as a cs freshman.

I also like rhythm games and I'm fairly decent in a few of them. As a side-effect, I don't really like mainstream music all that much.

Pinned toot

Before I eventually forget to plug, I have a website where I plan to occasionally make long-form posts.

currently messing with: type checking do blocks before desugaring them

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 by a 'nitter' instance - it allows you to read stuff on the bird site without the annoyances.

- Replace by a 'teddit' instance in the same way

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

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

Didn't expect rustc to compiler under 1h in my machine. Neat.

Show older

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