PureFunctor @purefunctor@types.pl
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
Joined Apr 2022
@toastal Not yet actually, I don't do PC gaming as much
currently messing with: type checking do blocks before desugaring them
the psytrance fakeout 
https://open.spotify.com/track/569ClWgH2UPR2nOmxmHRVJ
@toastal that's fair hahaha
@toastal ah, I'm tempted to get into Genshin
Unfortunately I spend too much time on other gacha games already 
gotta have income as a content creator, of course, but eh
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.
My blog now lives under https://blog.purefunctor.me
programming but with only a file-watching compiler, a dream, and without actual IDE tooling basically summarizes my Haskell dev experience
PureFunctor
boosted
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.
https://github-wiki-see.page/m/zedeus/nitter/wiki/Instances
- Replace reddit.com by a 'teddit' instance in the same way
https://codeberg.org/teddit/teddit
- Put your annoying newspaper link after 'archive.is' for the same result.
https://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
aye, done with my first year of college!
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.
@uncomfyhalomacro I've not heard of such criticisms before. Maybe this is coming from distro package maintainers?
Initial draft of new blog post is up, will update in the following weeks as I write down more stuff https://purefunctor.me/posts/20220606172349-riririri/
I need to stop waking myself up at 6 AM
hahahahahahahahaha https://github.com/EpicGames/Signup/pull/24
@uncomfyhalomacro I'm fine working with Nix on a Mac on a per-project basis; I can't say I have the patience to manage a NixOS config
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
Joined Apr 2022
