Notices by quat 🐉 (quat@woof.group)

Some of yall

learning Ruby for this class and it's..... it's got a character to it

when i was very green to functional programming i remember being like ... "ohh.. ohhohh.. but have they considered, that the Functions must eventually Execute and do something in the Real World? the way this is so far removed from "Assembly"? have the functional guys thought of that yet? I am soooo smart📈😊 i must be the first person to think of that😂"

what did i do today
- nothing
uh oh!

part of why i have a habit of staying up past a good bedtime is im like, Oh shit i havent accomplished shit today i have to fix that real quick

@Siph

hmmmmm so you just write code and can automatically see the types under the cursor + the evaluation result in the right pane.... hmm........

ok, so i am at the "Option tarpit" phase of learning this kind of programming, where i know there is *surely* some combination of <$> or <*> or little functions that will combine my `Option α`s in the right way, but i can't figure out what they are so i write a clunky little `match`, lol

the very introductory bits of "functional programming with lean" is like "when you make a structure, be careful to add `deriving Repr` or you can't print those types in the interactive session!", but i guess they started doing that automatically or something, since it works fine lol

Lean has like super-hyper-turbo uniform function call syntax where the "receiver" doesn't have to actually be the first argument to the function, which is extremely sickos.png and a lot of fun, but also very confusing when you're learning since `x.map y` might desugar to either `map x y` or `map y x` depending how the types line up

"Are you using lean as a general purpose functional language and not really touching the theorem prover" Yeah why not, it's fun!!

If you hop on F-Droid, the Youtube player app comes with a "this app has features you may not like" banner warning me that youtube isn't open source. The Peertube apps have no such disclaimer even though teeming with open white supremacists is a feature I do not like. So the open source ideology is useless here. I do not care that Peertube is more ideologically clean from the software angle because it is ideology filthy in the ways that matter

They optimize for longer and longer engagement periods and it does *work*, like, people actually are using their phones more. People are used to scrolling and getting fed content from the content machine. You go delete Twitter and since your attention span is now garbage, the new *huge* gap in your schedule is overwhelmingly likely to just be filled by a different app you haven't deleted yet, because our lives have been hollowed out to make more time for apps

Trying to go open-source only by disconnecting yourself from facebook Twitter etc means you disconnect from a lot of /people/ too. The quick and snappy response of "you don't like instagram? well delete your Instagram then" sucks because, what, and isolate yourself from the friends you've made on there? The thing to recognize is that the tech oligopoly willingly and intentionally wants to hold our friends and relationships and wellbeing hostage

thinking about my unfinished modpack, which -- shit it's been 11 months? lmao?

normal git repo