mathematicalfolkmusician
mathsmusician.at.app.wafrn.net
mathematicalfolkmusician
@mathsmusician.at.app.wafrn.net
A person. I try to be interesting.[...]

View full profile at https://app.wafrn.net/blog/mathematicalfolkmusician
Reposted by mathematicalfolkmusician
Hehehe
August 20, 2025 at 8:01 PM
To be honest my build system's probably not good enough yet for such an application :neocat_laugh_sweat_256:
I don't yet have a way of setting the arguments of many source files all at once - which would be needed for one binary to have a flag apply to all sources and another binary to hav[...]
See complete post at app.wafrn.net
app.wafrn.net is a Wafrn server. Wafrn is a federated social media inspired by Tumblr, join us and have fun!
app.wafrn.net
August 18, 2025 at 6:14 PM
I've got to say, all this is boggling my brain a bit, though I am rather tired. I'm not very fluent in Makefile unfortunately. I'll have a proper look probably tomorrow though I may forget.
August 17, 2025 at 9:40 PM
Sounds interesting! Please do.
I can share a sample build file if that interests you.
August 17, 2025 at 7:02 PM
Reposted by mathematicalfolkmusician
it'd be really funny to call it bitch
July 24, 2025 at 1:59 PM
I had already learnt the non-typed lambda calculus a couple years ago out if my own curiosity and I've been doing more stuff with abstract algebra these days so it wasn't that bad and really cool.
E.g. Monads made sense to me after reading their Wikipedia article, and the syntax was intuit[...]
See complete post at app.wafrn.net
app.wafrn.net is a Wafrn server. Wafrn is a federated social media inspired by Tumblr, join us and have fun!
app.wafrn.net
July 20, 2025 at 8:45 PM
Reposted by mathematicalfolkmusician
Si te sientes tan moralmente inferior a alguien que hasta te sientes atacado y con necesidad de contraatacar a tu interlocutor, el que tiene que hacerse una revisión eres tú.
July 17, 2025 at 9:40 AM
Reposted by mathematicalfolkmusician
ex-president son threatening us with war (thanks trump) if we don't release his father from possible prison
July 10, 2025 at 9:55 PM
Reposted by mathematicalfolkmusician
actually not a bad idea I can like see it in my head as if it's already there

↓ unfortunately, this is me ↓
:neocat_flop_sleep_256:
July 8, 2025 at 7:01 PM
Yeah you can get pretty far in languages just by guessing if a word is good or bad.
I wonder, do you speak anything apart from Brazilian Portuguese and English?
June 27, 2025 at 9:08 PM
See this understand all but "derruba" which I assume means destroy or similar.
But anyway Discord's privacy is awful though, it should die so people make a peer to peer or federated version.
Anyway #Been-shit-at-communicating-today-so-if-any-of-this-sounds-like-it-means-anything-it-probably-doesn't
June 27, 2025 at 9:04 PM
Yay it works
that's so cool OMG
June 27, 2025 at 9:01 PM