but... you can just read in the whole line?
#dev-general
distant sun
bingo
hot hull
what in the
distant sun
why did you added 18 and 2 in left? 😮
old wyvern
why did you added 18 and 2 in left? 😮
From the orders given in the example
This satisfys all 3
distant sun
makes sense
cinder flare
yugi's brain is way too big for me
old wyvern
left node, right node, left of left node, right of left node...etc...
Left derivative tree of some kind
distant sun
I have opened their seminary and I see that somewhere it mention that 2 * i + 1 from https://www.tutorialspoint.com/construct-a-complete-binary-tree-from-given-array-in-level-order-fashion-in-cplusplus and the page title says Binary trees with dynamic allocation
old wyvern
oh wait
distant sun
Only if it wasn't in romanian so I could share it smh
cinder flare
yeah that's how you read a level order traversal
old wyvern
hmm
cinder flare
you can do the same thing with priority queues
or at least, my professor tells me
i didn't actually bother checking that lmao
old wyvern
Star can you counter check this tree @cinder flare
Because if it was level order, shouldnt it go on the right branch?
In which case the given in-order result would be wrong
distant sun
I don't get it tbh
hot hull
sec, had to restart my pc
old wyvern
ah alrighty
cinder flare
that tree adheres to all the given traversals
I don't think it was meant to be level order
jovial warren
Imagine not being at school at this time
old wyvern
weird
cinder flare
cause then the traversals would be wrong
hot hull
just nerds
old wyvern
mhm
hot hull
I'm expecting all 3 of you to you
jovial warren
You won't get me in lol
old wyvern
get in bard
jovial warren
I'm at school on my phone
cinder flare
got a final tomorrow at 9 am
hot hull
Get on the professors pc
cinder flare
it is currently 1:30 am
jovial warren
Get on the professors pc
I'm in form lol
hot hull
and come play, doubt he's teaching anything useful anyways
old wyvern
jovial warren
In form on my own lol
distant sun
Which gab?
why it works like that
jovial warren
Not even a teacher here yet
old wyvern
oof
hot hull
Imagine not having a week off rn lmao
jovial warren
jovial warren
Imagine not having a week off rn lmao
How
old wyvern
why it works like that
No idea gab, the prof probably just meant you to find how to construct the tree from the example
hot hull
holidays Bardy
jovial warren
Already?
distant sun
maybe yugi, but it still doesn't make sense lol
old wyvern
What doesnt?
jovial warren
Or are you just having a late Spring break
old wyvern
The resultant tree?
distant sun
why that and yes
distant sun
@ me when clash starts btw
quiet depot
@hot hull imagine only having a week off
hot hull
Piggy, like 2-3 months till summer vacation
jovial warren
Johnny it's alright, you can just do what zml suggested and upgrade to 48 hour days
hot hull
Johnny, you working or are you unemployed rn
stuck harbor
76 hour days yeet
lunar cypress
I am a full time student right now
jovial warren
So am I but I still get loads of time lol
lunar cypress
But I'm wanna start working this or next semester
hot hull
I thought you said you were done with school eee
jovial warren
Oh btw, you looked at my results yet?
hot hull
Yugi, Gaby you two good?
lunar cypress
I thought you said you were done with school eee
I am
My uni officially has 3 weeks of holidays in a year
but that's kind of a joke too
hot hull
ah
jovial warren
3 weeks?
lunar cypress
yes
jovial warren
Is that it?
hot hull
feels good to be a professional
lunar cypress
used to be 2 before I enrolled
jovial warren
I get 13 weeks a year
jovial warren
feels good to be a professional
Imagine writing CoC answers in Java smh my head
lunar cypress
We get 2 weeks around new year/christmas and 1 week coming up (the thing that's 50 days after easter, idk the english workd)
prisma wave
Imagine writing CoC answers in Java smh my head
Imagine not using
jovial warren
Johnny have you looked at my benchmark results yet btw?
jovial warren
Ah okay
lunar cypress
They're all on github now
old wyvern
Yugi, Gaby you two good?
🥲
jovial warren
32GB DDR4 3200MHz running at 3000MHz @lunar cypress
hot hull
you've been forgiven Yugi for using haskell
old wyvern
The soln is neat tho
distant sun
one more?
old wyvern
Yes
jovial warren
So PCollections only does well on removals from lists then
Everything else it sucks
prisma wave
The soln is neat tho
Send
hot hull
You want feet pics?
old wyvern
main :: IO ()
main = interact (\x -> intercalate "-" $ map readDope $ rangeOf (map read $ words x))
rangeOf :: [Int] -> [Int]
rangeOf (x : y : []) = [x..y]
rangeOf _ = [0..0]
readDope x
| x `mod` 3 == 0 = "Dope"
| elem '3' (show x) = "Dope"
| otherwise = show x
@distant sun join
old wyvern
im doing this on mobile
Does it even work properly on mobile
prisma wave
probably not
old wyvern
The one time I tried it was so broken i couldnt even type
hot hull
it doesn't no
prisma wave
```hs
main :: IO ()
main = interact (\x -> intercalate "-" $ map readDope $ rang...
That's cool
interact is weird
old wyvern
just reads all inp
prisma wave
does it keep going until EOF?
old wyvern
Yup
split cape
ı need help with something can you guys help me
quiet depot
if it’s a support request
old wyvern
The inp is lazy so depends on how you use it
cinder flare
dude my uni does trimesters
prisma wave
yeah
old wyvern
bm you coming?
old wyvern
May, June, July, and August are all no schoolio for me
🥲
We have barely about 2 months here
split cape
ı am trying to download worldedit and ı am now downloading fabrick abrick says ı need to put fabric apı to mods folder but ı don't have a mod folder and ı also havent got the app it is still installer
old wyvern
Didnt evne get december holidays this time
Continuous classes till now from august now
prisma wave
bm you coming?
Wdym
cinder flare
yeah there ain't no holiday 50 days after easter in english land
prisma wave
Im at school, can't really join on anything other than mobile
old wyvern
Ah alrighty
split cape
what should ı do
quiet depot
I get 2 weeks off between each term (roughly ten weeks each), 6 weeks at the end of the year, roughly 2 weeks during exams, and fairly sure we don’t have to come back to school after the second set of exams. So about 18 weeks total
split cape
ı did
hot hull
the fuck is an ackermann function
prisma wave
ı am trying to download worldedit and ı am now downloading fabrick abrick says ı...
How did you get the funny i
split cape
How did you get the funny i
at my country we can use small i
so the pc language is different too
cinder flare
the fuck is an ackermann function
number that grows but isn't primitive recursion
distant sun
the fuck is this @old wyvern @hot hull
hot hull
No clue
distant sun
I saw it before but I dont like t
cinder flare
oh is it in the CoC
hot hull
Shitty explanation as well, if you tell people to use something specific atleast provide a quick description of what the fuck it is
cinder flare
it's basically just three if statements
you take two numbers, m and n
if m is zero, return n + 1
if n is zero, return a recursive call of A(m - 1, 1)
if neither are zero, return a double recursive call of A(m - 1, A(m, n -1))
hot hull
Yeah nah I'm good
cinder flare
it's a pretty theory based question lol
though shouldn't be too hard to implement in a normal lang
hot hull
it shouldn't, effort tho
cinder flare
i mean literally just take the 3 sentences I wrote and make it code
hot hull
effort, already ended it
cinder flare
lmao nice
old wyvern
🙃
prisma wave
😩
cinder flare
oh you spelled otherwise wrong lmao
prisma wave
Yugi can't you do lines <$> getContents
old wyvern
oh wait got it
prisma wave
Is that what you want?
prisma wave
😩
old wyvern
oop
got it
main :: IO ()
main = interact $ show . apply ack . map read . take 2 . words
😌 🤤
lunar cypress
yes
40 is christi himmelfahrt, 50 is pfingsten if my religious education doesn't fool me
But I always forget when Easter is
it's like "the sunday after the first full moon in spring" or some shit like that
I think it's possible for it to be in March
distant sun
easter for us in this saturday, on 2nd march
old wyvern
Can I get discord to use my Laptops mic for input and earphones for output
The "Voice And Video" settings does not seem to separately show inbuilt/earphones
old wyvern
Lemme send you a ss of it
jovial warren
you sure it’s called in built or whatever?
old wyvern
you sure it’s called in built or whatever?
What is?
old wyvern
jovial warren
also go to audio settings and check if it’s there as a device
quiet depot
restart dickcord
old wyvern
lmao
jovial warren
Microphone[] lol
jovial warren
yeah ik I was just saying it’s kinda funny
old wyvern
lol
old wyvern
Windows
old wyvern
Trying to get in a game with friends, but mic kinda ruinging it
jovial warren
right click the volume and go to the audio settings or whatever it’s called
make sure it’s there lol
old wyvern
right click the volume and go to the audio settings or whatever it’s called
In discord, for windows audio settings?
jovial warren
no
quiet depot
set mic in windows to laptop and audio to earphones
jovial warren
right click it at the right of the taskbar
quiet depot
den select default for both in dicksword
jovial warren
or use Windows settings
quiet depot
yugi ur mic sounded fine lat time
old wyvern
old wyvern
yugi ur mic sounded fine lat time
It isnt working for sometime now
I thought it was from some driver issue after installing linux
But after testing with another mic it seems its just an issue with my mic
Oh wait no
xD
I think I just set my output as input
amazing
xD
Thats,,, nice
welp
obtuse gale
Hello hello
old wyvern
Yea I dont think I can separate these
obtuse gale
Well shit
unkempt tangle
Somebody got expirience with lua?
oblique heath
you know what I want to see
oblique heath
i know people have joked about this in the past, and i've also given it some thought
but i want to see a full SQL implementation using discord servers as the db
quiet depot
people have done worse
looking at you, yes you, mr hobbyist developer who thought it was a good idea to have ssh access to their server in discord ||I've seen too many developers think this is a good idea||
oblique heath
people just love tying things together
hot hull
Your hands especially 😏
quiet depot
if you react then I'm taking it as you've done that before, or at least thought it was a good idea at one point, even for a split second
guess i better react
oblique heath
i haven't but i know people who have
prisma wave
but i want to see a full SQL implementation using discord servers as the db
I think this has potential
oblique heath
right??
prisma wave
It can scale vertically with new user accounts
Or maybe that's horizontally
Because 100 server limit
quiet depot
this is about as good as bm's immutable db idea
prisma wave
^
oblique heath
anyways the goal isn't to make this better than a regular sql server
but to make it 'good enough'
prisma wave
You've heard of esoteric languages, now get ready for esoteric databases
oblique heath
since in theory it'll be totally free
prisma wave
🥲
oblique heath
i'm sure people who use it will have similar latency issues from other areas of their setup
hot hull
I mean query at startup, save on shutdown
prisma wave
lmao
hot hull
ez
hot hull
:kek:
lunar cypress
this is about as good as bm's immutable db idea
I keep repeating myself, but I'd like to make clear again that this is a well-working thing
quiet depot
maybe but, bm's immutable db idea was to delete the entire database everytime you edit something
lunar cypress
Implementation detail...
hot hull
Lmao
quiet depot
and if so how is it good under any circumstance
because I really don't know if ur joking or not
lunar cypress
Is bm's implementation idea a real thing? not that I know of
quiet depot
no I mean immutable databases
lunar cypress
but yes I am serious
quiet depot
wait didn't you tell me all about this yesterday
or was that something else
I swear you pasted a big block of something but I can't remember for the life of me what it was
no that was fefo's c++ issue
lunar cypress
That was some quote from the C++ spec
I linked this yesterday already, but this is an interesting talk about those kind of databases
https://www.youtube.com/watch?v=D6nYfttnVco
quiet depot
any prior knowledge needed?
lunar cypress
I have used open source variants of the one specifically discussed in this and it's pretty neat
Uhh, can't remember how much clojure you're gonna see in the talk
quiet depot
I don't know any clojure
lunar cypress
But to get the idea it shouldn't be needed
quiet depot
okie
oblique heath
you wanna know the best part about a discord db
you have easy access to look through the contents!!
quiet depot
another bonus
it's great for data redundancy
because discord stores everything in multiple places
oblique heath
yeah you get all the benefits of discord
quiet depot
on its own servers
and the servers which belong to the companies it sells all our data to
old wyvern
Nice
quiet depot
bm will the fp names ever end
quiet depot
D:
old wyvern
😌
prisma wave
😌
quiet depot
y don't u make ur own paradigm
oblique heath
discord db can act as a blob storage as well
old wyvern
EndoBrister
quiet depot
we've got lambda calc and turing machine
prisma wave
too much effort
old wyvern
The Elara Paradigmn
old wyvern
We need an abstraction over functions
pale shell
bm you still here?
pale shell
fuck
old wyvern
Forget composing functions, make it infinitely generate functions by combining every possible combinable function and generate a trivial name for it
prisma wave
yeah i left sorry
pale shell
I need to find out how he does the github push thing
prisma wave
Forget composing functions, make it infinitely generate functions by combining e...
😮 😮
even more abstractions
pale shell
where he will commit like 30 things then push in one go
quiet depot
give him a few tags and he'll see it when he comes back
old wyvern
showMapFilterFilterMapMapRead
oblique heath
wait, discord db could legitimately be useful if it's main use is in serving as a backup
it can run alongside a regular db so we get low latency and the benefits of discord's own redundancy
prisma wave
lmao
oblique heath
then you also get easy access to the contents and you can run a --recover or something if something happens
old wyvern
wait, discord db could legitimately be useful if it's main use is in serving as ...
It would be extremely show
oblique heath
that's fine
prisma wave
where he will commit like 30 things then push in one go
committing and pushing are separate actions, you can commit without pushing
oblique heath
you'd use a regular sql db for requests
pale shell
so you can commit then it will back-log?
oblique heath
discord db is only there to back your data up
old wyvern
Does discord bot api even provide the "Search" option from the client?
oblique heath
that's... a good question
old wyvern
Coz if not, it would be even worse
prisma wave
probably not
quiet depot
that's ok
jovial warren
What we talking about here?
oblique heath
discord db
quiet depot
iterate through every message every time you need something
old wyvern
ddb
pale shell
like you got can commit 1 then commit 2 then commit 3 and when you push it will all go at once right bm?
jovial warren
discord db
Wat dis
prisma wave
immutable discord db
quiet depot
sql db
oblique heath
you can make your own indexes!!! using pinned messages
prisma wave
like you got can commit 1 then commit 2 then commit 3 and when you push it will ...
Yes
pale shell
ok ty
prisma wave
YES
pale shell
is it better to do that bm?
old wyvern
Sounds like the best type of programs, useless ones
prisma wave
NEW discord server for every modification
jovial warren
You talking about Discord's internal databases?
quiet depot
we're not deleting the fucking server every time we make a modification
no bardy
text channel = table
server = database
message = row
quiet depot
data
jovial warren
Point of this is?
pale shell
bm whats that overrated language you use?
quiet depot
speed improvements over mysql
old wyvern
I mean you could probably workout some sort of indexing system with a message being the index message
quiet depot
and latency benefits
oblique heath
the point is easy redundancy
jovial warren
What's this all for? I'm lost
old wyvern
Which is edited on row add
quiet depot
the next google bardy
pale shell
is it kotlin
jovial warren
Lol
oblique heath
we want to use and abuse discord being free
old wyvern
Disbase™️
jovial warren
is it kotlin
This
oblique heath
asap before microsoft gets a hold on it
jovial warren
Pig learn Kotlin when
pale shell
I fucking hate myself tbh
old wyvern
No
quiet depot
2 years
old wyvern
Pig learn haskell when*
pale shell
I messed up the code real badly
quiet depot
i will be freeish in 2 years
jovial warren
Pig learn haskell when*
200 years
pale shell
and i gotta go around fixing it up
pale shell
bm, progress we got a tick https://i.imgur.com/gCiccJo.png
jovial warren
Lol
Pig learning Kotlin won't actually take you long at all btw
Since you already know Java
old wyvern
Kotlin bad
jovial warren
Just a matter of getting out of bad habits
old wyvern
Just a matter of getting out of bad habits
You're saying that Piggy is in bad habits? 😮
prisma wave
is it better to do that bm?
Slightly faster, not much else. I was gonna say it avoids pushing unfinished work, but that's what branches are for
old wyvern
Allegations
prisma wave
Bad habits such as state
pale shell
bm, have you seen that chess meme?
old wyvern
bm, have you used vesta?
prisma wave
no and no
old wyvern
welp
prisma wave
wait I think I've heard of vesta
old wyvern
the control panel
pale shell
well there's this kid who goes against the world grandmaster and he starts panaking that's how i feel rn fixing this code.
old wyvern
Was trying to setup a reverse proxy to a container without hving to mess with nginx, but I guess thats easier than finding how to set this up
old wyvern
I do have a webserver
I have vestacp installed
The issue is to get it to point to a non lamp stack project
lol
After some googling, I found that I need to setup a template for vesta to use
prisma wave
Huh
obtuse gale
wtf I just found out I had like 15~20 java memory heap dumps between 2 to 4 GB each
idek where these came from...
prisma wave
yikes
jovial warren
Idk how these memory dumpers can even dump that much info in the speeds they do
onyx loom
wtf I just found out I had like 15~20 java memory heap dumps between 2 to 4 GB e...
impressive
jovial warren
Like 4GB heap dumps in a matter of seconds
I mean, transferring data from memory on to disk isn't that hard I suppose
prisma wave
Java bad
old wyvern
Clearly
prisma wave
haskell can do 0 bytes of data transfer in 0s, therefore it is infinitely fast
jovial warren
When you read up on semantic versioning properly and realise you've been doing it wrong the whole time lol
jovial warren
I thought semver applied to more than just the public API, but apparently it doesn't
Internal changes that affect the public API should be marked as patches
old wyvern
it's so much easier to just use nginx directly
Yea just wondering if I need to do anything else, just add the server block and the proxy pass right?
Should I do it in a separate conf file?
jovial warren
So technically, I shouldn't be increasing Krypton's version unless I made API changes
quiet depot
absolutely
jovial warren
You learn something new every day I guess
quiet depot
vesta changes the vhost dir to /etc/nginx/conf.d fyi
there's no separate sites-available & sites-enabled
jovial warren
vesta changes the vhost dir to /etc/nginx/conf.d fyi
RHEL on top
half harness
would it be bad to save a file (json) every minute or so?
prisma wave
yes
prisma wave
You're going to hell
lunar cypress
btw @quiet depot there is no clojure in that talk
old wyvern
Do I use an include in that to add the newly defined config?
quiet depot
okie
prisma wave
You save JSON files every 47 seconds or nothing
old wyvern
It reads the whole directory for confs?
half harness
You save JSON files every 47 seconds or nothing
lunar cypress
it's just about "how do we do immutable databases"
quiet depot
yes
old wyvern
Ah
jovial warren
would it be bad to save a file (json) every minute or so?
If you do it right, no
quiet depot
show me your conf before you restart nginx
old wyvern
Alrighty
half harness
If you do it right, no
how do i do it right? ive never done it before
quiet depot
you need to explicitly declare the public ip in it because of vesta (something you don't normally have to do)
prisma wave
If you do it right, no
Sounds like bomp saying you can use a HashMap wrong
quiet depot
@lunar cypress i'll give it a watch later, thanks for the link
old wyvern
🥲
jovial warren
how do i do it right? ive never done it before
Just don't do blocking IO operations too often
half harness
Just don't do blocking IO operations too often
async?
old wyvern
Sad
prisma wave
Just don't do blocking IO operations too often
Don't do IO at all 😌
old wyvern
I see
quiet depot
any half assed firewall can usually stop them
old wyvern
There were 7k ssh attempts
old wyvern
ah alrighty
quiet depot
vesta sets up fail2ban automatically
jovial warren
There were 7k ssh attempts
You're lucky if you haven't had that happen before
quiet depot
unless you told it not to
half harness
No, you should write it all out by hand on a piece of paper lol
;-;
you said not to do blocking IO operations too often, but if i do it async, it won't block the thread (i think thats what you mean?)
old wyvern
It probably installed it
I think I just used y for all options in the package installation
quiet depot
then you should be safe
old wyvern
lit
quiet depot
just make sure you yourself don't get ip banned
quiet depot
yes
old wyvern
Where are banned ips stored?
old wyvern
Dynamic ip tho
quiet depot
pretty sure you can interact with fail2ban thru the web interface tho
then you're fine
old wyvern
ah
half harness
https://tenor.com/buKii.gif
you could have just said "run it async"
quiet depot
make sure to show me your vhost before you deploy
old wyvern
Alrighty
jovial warren
you could have just said "run it async"
Kinda wanted you to figure out how to solve your own problems
half harness
ok
quiet depot
bardy I don't really want to learn kotlin
half harness
😮
quiet depot
there's other languages I want to learn
half harness
piggy!
quiet depot
kotlin aint one of them
quiet depot
I'd like to learn c, python, go
jovial warren
But that isn't most people's cup of tea
prisma wave
I'd like to learn c, python, go
where is
quiet depot
wat
jovial warren
I'd like to learn c, python, go
For a man who disses Python a hell of a lot, that surprises me
prisma wave
wheres haskell on that list
prisma wave
python ez
quiet depot
it just means it's essential
jovial warren
wheres haskell on that list
Haskell irrelevant
quiet depot
i'm not looking to learn hobbyist/enthusiast languages like haskell
prisma wave
HOBBYIST ????????????????????????
jovial warren
Where is Haskell on the top 100 programming languages?
prisma wave
Where is Haskell on the top 100 programming languages?
probably like 17
jovial warren
https://www.bairesdev.com/blog/top-100-programming-languages/ this list has Haskell beaten by Scratch
quiet depot
scratch is more useful than haskell
half harness
https://www.bairesdev.com/blog/top-100-programming-languages/ this list has Hask...
😮
prisma wave
and python is better than java
pale shell
btw bm i've been re-doing a bunch of shit in the code to the best i can do
I ain't super smart so i can't make it super good but i'm trying my hardest 🙂
prisma wave
r/haskell = 63.2k members
r/kotlin = 49.1k members
curious...
pale shell
Kotlin: 62.9%
Haskell: 51.7% numbers dont add up
half harness
lol
quiet depot
odin
old wyvern
scratch is more useful than haskell
False
quiet depot
they do
pale shell
no
prisma wave
everything
quiet depot
where does it prevail over other languages
old wyvern
everything
pale shell
what is haskell useful for
nothing
pale shell
haskell is overrated
prisma wave
data validation
github uses it for its syntax highlighting iirc, facebook uses it for spam filtering
half harness
piggy learn haskell with me 🥰
quiet depot
fuck no dkim
half harness
😔
prisma wave
🥲
pale shell
bm, it was probs a last option thing
quiet depot
I thought you guys said haskell wasn't really a good language choice, and it was mainly used in academia
like ages ago
pale shell
like it was a last option thing to use it for facebook or whatever
old wyvern
I thought you guys said haskell wasn't really a good language choice, and it was...
Its was mainly used by acamedics yes, but that does not make it a bad language
Its just a different approach than traditional ones
old wyvern
Its priority is to be "safe"
pale shell
btw bm ty for leaving me with deprected code ;D
lunar cypress
Its priority is to be "safe"
is it?
old wyvern
Yes
prisma wave
"pure" might be a better word
pale shell
dude you got old af methods
ocean quartz
"pure" might be a better word
I've of something else wanting to be pure last century and it didn't go too well
prisma wave
🥶
lunar cypress
bro what
quiet depot
would a fair comparison be: lambda calc is like the string theory of computation?
prisma wave
how so?
lunar cypress
no lol
quiet depot
how so?
cuz well the standard model is used everywhere, but there's still people who believe string theory is the way forward, and hell maybe they're right, they're just not there yet
old wyvern
Its just a higher form of abstraction than our current model
prisma wave
the model of "stuff"
lunar cypress
(in your analogy (?), I mean)
quiet depot
the standard model would be turing
lunar cypress
that doesn't make sense
Lambda calc is just as standard as Turing Machines
In fact it's probably used more in theoretical computer science
old wyvern
by the current model I mean more of our current way of solving a problem, either by structural or object orientation
quiet depot
good points
jovial warren
https://github.com/facebook/Haxl
I heard somewhere that Facebook uses a lot of Haskell on their backend for certain stuff
lunar cypress
And lambda calc and turing machines have been proven to be entirely equivalent
prisma wave
clever people like lambda because you can mathematically prove that programs are correct
we like lambda because it has funny words like monad
old wyvern
Church-Turing thesis
old wyvern
lol
jovial warren
Lol
lunar cypress
clever people like lambda because you can mathematically prove that programs are...
eh, not necessarily
For concrete, high level programs there are different ways to prove correctness
There's one for imperative programs too
although you definitely don't use turing machines for that
ocean quartz
https://engineering.fb.com/2015/06/26/security/fighting-spam-with-haskell/
Trying to fight spam with haskell and yet this two spam haskell words in here 😔
prisma wave
Trying to fight spam with haskell and yet this two spam haskell words in here 😔
fight fire with fire
ocean quartz
Good point
prisma wave
There's one for imperative programs too
😮
jovial warren
although you definitely don't use turing machines for that
Turing machines good
prisma wave
said nobody ever
jovial warren
If it can run on your computer it can run on a turing machine
So turing machine = most basic computer and every computer
lunar cypress
you don't want to prove the correctness of a java program with turing machines
old wyvern
So turing machine = most basic computer and every computer
So?
old wyvern
On bottom*
prisma wave
lambda calculus (in this context) is higher level therefore on top
yeah thats what i thought
prisma wave
hoare calculus
fancy stuff
old wyvern
Obviously 😏 , Cant wait to get through more assembly
lunar cypress
lambda calculus is just as high level as turing machines in this sense
old wyvern
All my homies live on assembly
lunar cypress
they're just different ways to express computation
prisma wave
yeah hence the edit -- "emulating" lambda calculus on a turing machine could be considered higher level though
lunar cypress
Should have paid more attention at the end of my basics of computer science lecture
there was a lot of interesting stuff about this, half of which I've already forgotten
But yeah it's also possible for a turing machine to run generic turing machine programs
And you can encode any turing machine in a finite amount of symbols
prisma wave
ooo
lunar cypress
I think even one symbol is sufficient as your alphabet because amazingly turing machines are countable
pale shell
hey @prisma wave https://i.imgur.com/WF0xW8v.png minor cleanup 😉
prisma wave
cute
obtuse gale
static zealot
https://cdn.discordapp.com/attachments/703971293367894017/836968806349930586/unk...
lmaoo
half harness
lmaoo
dawn hinge
Good job yatopia
dawn hinge
https://cdn.discordapp.com/attachments/703971293367894017/836968806349930586/unk...
My TPS just got decreased by 69%, pogu!
steel heart
Bruh java is weird
obtuse gale
this
onyx loom
lol
half harness
lol
steel heart
Apparently we use
int a = switch(b) {
case 1,3: {
yield 5;
}
default: {
yield -1;
}
}
Why is it called yield
obtuse gale
I mean you aren't exactly returning
half harness
what is yield
obtuse gale
it yields a result
steel heart
Uh well but even so, return wouldn’t have been so wrong or does that allow us to return in a method inside the switch case?
half harness
its looking more like kotlin
obtuse gale
I'd love to test that tbh
I would be shocked if return was forbidden, I would like it to exit the method instead
steel heart
Yeah
prisma wave
That's almost definitely exactly what happens
obtuse gale
ugh installing java 16 😫
sly sonnet
You can't really say that one language is shit and other is not...
obtuse gale
wat...
sly sonnet
i am talking about the previous beef
onyx loom
wxip, ever heard of haskell?
obtuse gale
I mean you totally can, nothing is stopping you from doing so lol
Whether that is objectively true or not wildly depends
lunar cypress
That's almost definitely exactly what happens
Don't think that is possible
wouldn't make sense in an expression switch
lunar cypress
Don't think that is possible
| Error:
| attempt to return out of a switch expression
| case 3: { return false;}
| ```oh bummers
prisma wave
You can't really say that one language is shit and other is not...
I can and I will
Thoughts on Haskell?
onyx loom
wxip, ever heard of haskell?
blanked 😔
sly sonnet
just looked it up on google, seems very similar to python or other lazy people languages
onyx loom
lol
prisma wave
Lol
onyx loom
haskell is similar to python
steel heart
What if Haskell is python 👀
onyx loom
👀
prisma wave
Monad pattern in python
onyx loom
python pure
prisma wave
God I wish
onyx loom
everything except haskell and python are bad
half harness
everything except kotlin (and maybe haskell) are bad
half harness
elara good
everything else (except star's language) bad
star? 👀
onyx loom
unpopular opinion
onyx loom
please state ur facts dkim
prisma wave
is java bad
yes
half harness
oh phew
static zealot
you all suck. YAML is the best programming language
half harness
bm is here
half harness
you all suck. YAML is the best programming language
boreal needle
you all suck. YAML is the best programming language
do you program in html tho
prisma wave
elara good
everything else (except star's language) bad
haskell
static zealot
PHP not bad either
static zealot
what about java with lombok
good
boreal needle
or is that just bad kotlin
static zealot
java with lombok it's a godsent
prisma wave
data class < record < data
old wyvern
java with lombok it's a godsent
You will be sent to the devil
steel heart
`data class` < `record` < `data`
true
static zealot
You will be sent to the devil
i don't want to go to Haskell!!! please no!!!
half harness
😤
static zealot
Invert that list!! Someone flipped it by accident
old wyvern
i don't want to go to Haskell!!! please no!!!
You've got it wrong, Im sending you to the devil known as kotlin
old wyvern
Not for long
static zealot
k
old wyvern
l
static zealot
m
old wyvern
n
static zealot
o
old wyvern
p
static zealot
r
half harness
?
old wyvern
t
static zealot
q
boreal needle
v
half harness
staff spamming!!1!!!1!
old wyvern
s
prisma wave
51.7% loved
old wyvern
#ban-blitz
half harness
demote! 🚨
prisma wave
shit's like marmite
static zealot
staff spamming!!1!!!1!
Sir please respect the rules and do not spam. Repeating a character multiple times is considered spam. Thank you very much
half harness
Sir please respect the rules and do not spam. Repeating a character multiple tim...
a
a
a
a
a
a
static zealot
-ban DKIM
half harness
no perms :D
half harness
hi remence
static zealot
no perms \:D
Well I'll have to tell you to KINDLY FUCK OFF. thank you very much
oak raft
hi dkim
half harness
Well I'll have to tell you to KINDLY FUCK OFF. thank you very much
D;
half harness
bm
are you there
i have a very important question for you
oh well that sucks
ok
prisma wave
yes
static zealot
i have a very important question for you
question is ||do you love dick|| ?
prisma wave
im here 😄
half harness
question is ||do you love dick|| ?
hm
prisma wave
13% dread using rust
dumb people
old wyvern
Yes!
prisma wave
hmmmm
half harness
and abandon haskell?
onyx loom
dumb people
they couldnt get past compiling their apps :kekw:
prisma wave
🥲
old wyvern
and abandon haskell?
No
half harness
i can't learn all
old wyvern
False
half harness
too much for my smol brain to handle
old wyvern
You can
half harness
do you know more rust or haskell
prisma wave
more haskell for sure
onyx loom
Rust mitten was only a short stay
half harness
ok then ill just use haskell
onyx loom
why tho? xd
half harness
i dont like public games because 2/3 of the times its shortest mode
made me realize how much i hate it
old wyvern
😔
jovial warren
I almost just lost a night's worth of work I did trying to add Adventure to Waterfall by running ./waterfall patch instead of ./waterfall rebuild lol
IJ's local history is officially god tier though
boreal needle
does kotlin have anything like c#'s yield return
ocean quartz
What is C#'s yield return?
boreal needle
essentially an implicit collection
for (int i in {1, 2, 3, 4, 5}) yield return i```which will return a collection
prisma wave
so list comprehension
boreal needle
idk what its called
not necessarily list comprehension from what im getting from google
old wyvern
Kotlin's sequences act similar
ocean quartz
Was gonna say the closest thing I can think of are sequences
prisma wave
[1..5] 🙂
ocean quartz
(1..5) 🙂
old wyvern
val mySeq = sequenceOf {
for (i in setOf(1, 2, 3, 4, 5)) yield i
}
yeah that looks pretty close
prisma wave
`(1..5)` 🙂
that's not lazy 🤢
ocean quartz
that's not lazy 🤢
But I am
old wyvern
😂
prisma wave
i've got the perfect language for you!
old wyvern
😌
obtuse gale
oh no
oblique heath
gimme = map (\x -> x)
main = print $ gimme [1..5]
why the🤨
onyx loom
didnt someone already do that bm
prisma wave
lol
old wyvern
lol
ocean quartz
```kt
val mySeq = sequenceOf {
for (i in setOf(1, 2, 3, 4, 5)) yield i
}
```
Had to do some slight changes, but seems like that works yeah
oblique heath
is it invalid
oblique heath
because of the (\x -> x)?
oblique heath
isn't this what everyone else was doing though
or wait
were they getting the sum of the list?
prisma wave
Oh Its a direct translation
well [1..5] is already a "sequence" so
Haskell most concise language best language
cinder flare
guys im confused
prisma wave
aren't we all
cinder flare
which of the following is the worst case run time for Quicksort that uses the middle element as pivot
1 2 5 3 4
cinder flare
what's the difference
oblique heath
wait
cinder flare
@prisma wave
cinder flare
sorry for ping i am literally taking a test lol
oblique heath
only reason i say that is because the secone one requires the elements to be swapped
for the left side and right side
cinder flare
oh I seee
oblique heath
not sure if that actually affects it though
cinder flare
okay because they seem equally bad running time wise
prisma wave
sorry for ping i am literally taking a test lol
Yeah you'd better be sorry
prisma wave
Ah that website
cinder flare
all of them require a tree traversal
prisma wave
Yeah none I think
cinder flare
prisma wave
"None" instead of "Nothing" 🥲
cinder flare
fuck this is like the worst tree to traverse
oblique heath
left mid right
old wyvern
bdaec
oblique heath
bdaec
obtuse gale
"only"
cinder flare
yeah and it was open book open notes open discord
cinder flare
I want a fucking A fefo
oblique heath
how much time did you have for it
cinder flare
60 minutes
old wyvern
Whats the point?
oblique heath
thats not bad
cinder flare
i was up to 45
obtuse gale
if I stress myself enough to always try and get 100% I would have committed suicide already
old wyvern
open-everything quiz? damn
obtuse gale
unhealthy
cinder flare
open-everything quiz? damn
i mean yeah how you can police it
cinder flare
it's easier to just let people do stuff and actually learn
half harness
GASYUDHIUAHSJD coc hates me, just got shortest mode 4 times in a row 😦
oblique heath
ew camera on??
old wyvern
mhm
cinder flare
i don't have a camera on my pc and my mic is a dynamic mic that picks up nothing lol
wouldn't help them
people always find ways to cheat
old wyvern
Not that people dont still manage to copy
cinder flare
so might as well make it not cheating so that you actually try to learn
cinder flare
i mean hell, I just learned the in order traversal for that tree lmao
cinder flare
but it confused me because each node only had one child
oblique heath
not the root node 😎
old wyvern
rip