Notices by pup quat 🔜 🛌 (quat@woof.group)

Who the fuck is this

Hello my name is John Wifi i'm the wifi expert. I just found out that when you leave your home, the wifi signal from your home drops off sharply. I still think i should spend a couple minutes looking for the signal before switching to mobile data tho. Just in case.

@GossiTheDog according to stickerhub's website this was someone spamming notifications and nothing to do with the platform

"ai" this "ai" that. how come tech guys havent invented headphones that don't get drowned out while eating chips or brushing your teeth

@spinach omg what could it be?

The polycule tailnet

(filing an issue in the polycule JIRA) Out of milk

🌷

Datapacks bad

https://notes.highlysuspect.agency/datapacks-bad.html

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!!