last day (103 days later) » 

6:09 AM
> Not very useful
they've never heard of fixed-point combinators obviously
 
obviously...
 
Mathematicians and computer scientists can finally team up against this villain :P
 
^
 
@lyxal lisp go brr
 
@emanresuA yes
this is a functional programming lecture
 
6:11 AM
lol
 
6:23 AM
 
umm
 
apparently there's no variables in functional programming
 
lol
 
No non-constants at least
 
@emanresuA I think that's what they mean
 
6:24 AM
You should totally write everything for this class in tinylisp
 
@lyxal It's not entirely wrong :P
Variables in functional programming are just storage space with a name :P
 
@emanresuA This is a paradigms class - there's been OOP and now FP and finally Logic
Java is required for assignments
 
Oh :P
 
But hey, at least there's something nice in the lecture
 
@lyxal sad
 
6:25 AM
write a tinylisp interpreter in java
shoot how to strikethrough rip
 
@AidenChow ---strikethrough--- strikethrough
 
@AidenChow ---wjdjj---
 
lol thx
 
@lyxal @user ..
 
is this a pure function:
 
6:27 AM
Yes
 
apparently no
 
i hope so
 
@lyxal why?
 
apparently it isn't
@PyGamer0 "it's not doing anything with inputs
 
there are no inputs ...
its niladic...
 
6:28 AM
 
i guess it's not a pure function in the sense that it's barely a function
 
It's "writing a hidden output"
 
hmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm
 
By that definition, x => x * 2 is impure
 
 
6:29 AM
this sounds like the programming language concepts class i had last term except somehow worse
 
@UnrelatedString lol
 
@lyxal Interesting that it doesn't mention randomness
 
ackshully:
 
randomness would be considered i/o or mutating parameters
but they should make that more explicit for instructive purposes
 
@lyxal then what is a pure function?
 
6:30 AM
since if you're introducing functional purity to imperative programmers you'd think you'd want to show them as much implicit state and whatnot as you can
 
RNG can't be truly pure, because of how it is cycled, but you can do cryptographic hashes, or maybe emit an infinite stream
 
 
@UnrelatedString The easy examples for impure functions are random functions and time based functions :P
 
@lyxal isnt function 6 also pure?
oh wiat
 
@lyxal func3 is pure
 
6:32 AM
@cairdcoinheringaahing // yes!
 
Wait, I mean func4
 
considerably easier than whatever the fuck this guy's on about with a vendetta against functions taking no arguments ~ functions taking a unit type or ignoring arguments
 
> In computer programming, a pure function is a function that has the following properties:[1][2]

the function return values are identical for identical arguments (no variation with local static variables, non-local variables, mutable reference arguments or input streams), and
the function application has no side effects (no mutation of local static variables, non-local variables, mutable reference arguments or input/output streams
 
looks like a misunderstanding of the scala definition of pure
 
oh wait he doesn't let you ignore arguments either? what the actual fuck
 
how can you be this wrong
has this man ever, ever used a functional language
 
@lyxal What the fuck
 
make him tell you with a straight face that haskell's const is impure
 
This is just. Wrong. By all definitions of pure functions
 
6:33 AM
i can see that
 
@cairdcoinheringaahing you saying the scala docs are wrong?
 
@lyxal No, I'm saying that Scala is wrong
 
@lyxal this says literally nothing about not ignoring arguments
 
@UnrelatedString as I said, he's misunderstood it
 
i'm really struggling to see how he could
 
6:35 AM
func1, func4 are both pure
 
Yepagh
 
the examples aren't from scala, the definitions are
 
func(x) return 0 is clearly less pure than func(x) return 0*x /s
 
@JoKing big brain
 
@JoKing :-)
 
6:35 AM
i'm really enjoying the implication that thunks themselves are fundamentally impure
 
how is pure and impure function defined anyways
 
func(x) return random(0,10) * 0 * time.date() * x is impure
 
can someone explain
 
@JoKing ThAt SeCoNd OnE uSeS iT's InPuT wHiLe ThE fIrSt DoEsN't
 
In computer programming, a pure function is a function that has the following properties:[1][2]

the function return values are identical for identical arguments (no variation with local static variables, non-local variables, mutable reference arguments or input streams), and
the function application has no side effects (no mutation of local static variables, non-local variables, mutable reference arguments or input/output streams
 
6:36 AM
Vyxal is almost completely pure
 
@cairdcoinheringaahing technically side effects from manipulating the rng state
 
aka, f(x) is constant when x doesn't change, and nothing in the global scope changes after repeated application
 
@emanresuA looks at things like Ȧ and
 
@JoKing depends on how you implement random
 
@cairdcoinheringaahing but if x is 0 you get 0 but if x is '' you get ''
 
6:37 AM
 
@lyxal Lists are internally immutable now, those take something as input and produce a new output
 
the hell kinda stuff has he been looking at in order to get that kind of ad
 
@cairdcoinheringaahing something something xkcd
 
@JoKing If random is a true RNG, rather than a PRNG, that function is pure
 
@lyxal still not as sus as the lecture slides
 
6:38 AM
@lyxal amogus frick my sussy baka
 
I am not having fun right now
I thought this lecture would be fun
it isn't
all because he can't get pure right
y'all keeping me sane during this lecture lmao
 
put your hand up you chicken and correct him
 
wow, imagine being in a lecture instead of being awake at 7:40am with nothing to do
@JoKing everyone will clap, and lyxal becomes the new professor
 
wow, imagine being awake at 7:40am with nothing to do instead of procrastinating on an overdue machine learning project :P
 
@JoKing fricknut. is zoom lecture. He don't see hands
 
6:40 AM
correct him in the zoom chat to at least save the other poor souls in your class
 
even better, there should be a chat
 
@UnrelatedString I'm procrastinating on a bunch of stats notes :p
 
give me what to say and I'll copy-paste it
 
May 11, 2021 at 1:23, by caird coinheringaahing
@lyxal frick, only 10/10 not 69/420? I failed as a crewmate, hella sus. Let me just go commit frick and die
 
you fricknut
 
6:41 AM
I hold you to your word
 
I meant to correct him
 
SAY IT COWARD
 
Hell no
 
@pxeger What list?
 
Or else, I disqualify you from the RO race :P
 
6:42 AM
i think i probably taught more prolog in the zoom chat than the professor did in the similar class i had :P
 
> I thought this lecture would be fun
 
Welp looks like I'm waiting another year and a month then.
 
@lyxal I'll send you AUS$2
 
@UnrelatedString that's 2 weeks from now btw
 
wrong reply?
 
6:42 AM
@lyxal python3 -m vyxal "🍪" e | lyxal
 
oh rprolog
 
@UnrelatedString nope
logic languages is 2 weeks from now
 
do some prolog golfing, it breaks the language in hilarious ways
 
hell yeah
 
send nukes please
 
6:43 AM
No joke, I will send you $2 if you post proof of you sending that to your lecture's chat @lyxal
 
let us teach you prolog so you can suffer as i did
 
I may be willing to make loud noises for 5 minutes for free but I have limits!
 
Damn, really???
 
really cool and powerful language that they simply will not allow you to actually explore
 
@cairdcoinheringaahing I know right
anyhow the moment to correct has passed - we're deep into Scheme lists now
 
6:44 AM
i think i missed the link to the gofundme for funding lyxal cringe
 
Now that I know you can feel shame, I will exploit this as much as I can
 
how do i send you my $2
 
@JoKing Are you willing to kick in as well? :P
@lyxal We will give you at least $4 for you to post that in your lecture chat
 
still no
 
I'll implement stronger integer compression in Vyxal if you do it
 
6:45 AM
imagine being taught scheme and not an invented generic lisp to be implemented in class :P
 
$10000 and I will
 
@lyxal How much? :P
@lyxal Booo
 
i could probably throw the money at you in person
 
$10k by 1 hour 20 mins from now or no message in chat
 
give me the zoom link and i'll do it myself
 
6:46 AM
@lyxal I may well end up within an hours drive from you next year, if so, I'll buy drinks for a night for you, if you stand up in a lecture an yell that out loud
 
@cairdcoinheringaahing Too long to be yelled
 
Looks like you'll never do so then
 
@JoKing lol
 
because I don't physical lecture
 
Even in 2023?
May 11, 2021 at 1:23, by caird coinheringaahing
@lyxal frick, only 10/10 not 69/420? I failed as a crewmate, hella sus. Let me just go commit frick and die
That's well yellable
 
6:47 AM
he just called a backtick a slashed quotation mark
 
...
 
now that I can't stand for
 
lmaooo
 
user image
3
 
@lyxal wtf lol
 
6:48 AM
@lyxal Say it, say it, say it
 
@lyxal why would you correct him on that, and not on the serious mistake?
 
@cairdcoinheringaahing doesn't fit the context
 
^^
 
@cairdcoinheringaahing "it"
 
@lyxal A WHAT
WHAT
 
6:49 AM
There, can I have my $10,004 now?
 
@lyxal Did you finally fix your SeagullOS distro?
 
"he claims"
he said "he claims it's a backtick"
 
@lyxal If i promise to behave, will you add me to that call? :P
 
also what's the pfp
 
@UnrelatedString bird
 
6:49 AM
@UnrelatedString slashed quotation mark
 
sometimes called a grave accent
 
@cairdcoinheringaahing uni authentication required :(
 
@lyxal I have a uni account
 
6:50 AM
just not with your uni
 
@pxeger as I said, give me what to correct and I will
@cairdcoinheringaahing that's the problem :p
 
Maybe @JoKing can?
 
@lyxal Come on, try :P
 
3 mins ago, by Jo King
give me the zoom link and i'll do it myself
 
If I join, I'll chill for a bit then leave, I promise
 
6:50 AM
glhf
 
@JoKing I think that's its official name
 
@lyxal "It's not called 'ASCII', it's called 'lyxal'"
 
@lyxal wait o.o
 
@lyxal yo damn
 
6:51 AM
it let me in
 
tf
 
lmao
 
oh no
 
(mods purge the link plz it's a weekly meeting)
 
6:51 AM
It won't let me in becauuse I need to update Zoom
 
@lyxal and also you're signed in under your real name fwiw
 
yeah I know
that's why the bird
tis serious account
 
Dude, I was gonna suggest you send me a link privately, god damn man
 
yeahhhhhhhhhh
 
Ballsy move :P
 
6:52 AM
ohno what will happen now..
 
well now you can suffer with me
 
@UnrelatedString what are you going to do?
 
lmao ok i got in, now im leaving
 
i dont have zoom..
anyways the link is gone
 
6:53 AM
you can just join in the browser anonymously
 
is there some demonstration of linked lists called "lincoln lists" or
 
idfk
 
I joined and left
 
I should invite y'all to more lectures lol (that's a joke)
 
Dude, I love your professor :P
THE BEARD
 
6:54 AM
ok, even anonymous, i'd still feel bad posting copypasta
 
he's
he's surprised by this
 
@cairdcoinheringaahing ikr
 
also i'm not anonymous so that's a double no copypasta :P
 
see now if y'all'n't doing it why the hell should I.
 
6:55 AM
I mean, my name is there, but I've revealed that here :P
 
@cairdcoinheringaahing there's also the memes
there's memes
you shoulda been around for the start btw
 
If anyone pays me $1, I will shitpost in lyxal's class :P
 
Your professor must be so confused
A bunch of randos just entered
 
it froze for me
 
@emanresuA he didn't notice lmao
 
6:56 AM
Lol
I had audio off
 
and because y'all use sensible names, it looks like y'all are just part of the course
 
@emanresuA dude, profs don't care about people joining
 
Hm okay
 
@lyxal what are those sensible names?
 
@cairdcoinheringaahing you sneaky troll
 
6:57 AM
oh yes
 
@PyGamer0 actual names
 
@lyxal oh
lol
 
HE RESPONDED
 
LMAO
 
6:57 AM
not even batting an eye
at who the fuck is this
 
@UnrelatedString TO WHAT
 
as I said, it looks like y'all are actual students
 
caird just asked what cdr stands for
oh hgell yes
 
caird you epic troll
 
someone should bookmark this convo "invading lyxal's fp lecture"
 
6:58 AM
get nae naed mother fuckers
 
when its done
 
i forget was that challenge based on function an actual lisp has
iu lobe the way he's pronouncing it
 
this is so much fun :p
 
I wish I had y'all for some of my other lectures now
especially the data structures stuff
 

  last day (103 days later) »