#off-topic
1 messages ยท Page 914 of 1
No
I was going to type somthing about haskell but got caught up typing too many >>>
Lmao
Average Remence: ๐ค
Average Blitz: ๐
yeah bro ACTUALLY thats not true
got it boss
while there is an operator >>, the "do-notation" syntax sugar means using this is rather rare. instead, you can write code that LOOKS imperative but is actually functionally pure and converted into monadic operations
Is this actually how you do comments in Haskell? {-# comment #-}
Ah this website sucks lmao
actually i think theyre more like complier directives
like c++ #define or something
or #include
kinda similar to that
Those aren't too bad
Is it a comment that documents unexpected behaviour? Then better avoid the unexpected behaviour. Example:
a+b-b -- you cannot delete (b-b) because the operations are not associativeIf the operations are not associative for your custom type, then better do not define a Num instance for it. (Sure, Float types are not ideal.)
I repeat: Try hard - very hard - preferably repeatedly - to remove unexpected behaviour from your program. Comments can never fix unexpected behaviour.
Is it an obvious comment? Example:-- swap the elements of a pair swap :: (a,b) -> (b,a)Congratulations: You have chosen a function name and a type signature that make the purpose of the function pretty clear without any comment. Thus: omit the comment, you only risk that it becomes out of sync with the function.
Kinda odd
Ayy that's not spam!
att โ Today at 22:06
Is it a comment that documents unexpected behaviour? Then better avoid the unexpected behaviour. Example:
a+b-b -- you cannot delete (b-b) because the operations are not associativeIf the operations are not associative for your custom type, then better do not define a Num instance for it. (Sure, Float types are not ideal.)
I repeat: Try hard - very hard - preferably repeatedly - to remove unexpected behaviour from your program. Comments can never fix unexpected behaviour.
Is it an obvious comment? Example:
-- swap the elements of a pair
swap :: (a,b) -> (b,a)Congratulations: You have chosen a function name and a type signature that make the purpose of the function pretty clear without any comment. Thus: omit the comment, you only risk that it becomes out of sync with the function.
๐ฅฒ
that is
This is ^
that is a weird example
Pragma
It's from the wiki ๐ฆ
Those are called Pragma
yea thats the term
mhm
GHC supports several pragmas, or instructions to the compiler placed in the source code. Pragmas don't normally affect the meaning of the program, but they might affect the efficiency of the generated code.
Ah that's interesting
Certain pragmas are file-header pragmas:
A file-header pragma must precede the module keyword in the file.
There can be as many file-header pragmas as you please, and they can be preceded or followed by comments.
File-header pragmas are read once only, before pre-processing the file (e.g. with cpp).
The file-header pragmas are: {-# LANGUAGE #-}, {-# OPTIONS_GHC #-}, and {-# INCLUDE #-}.
dw guys i got you
Overloaded Strings all the way
๐
oh
dagger has assisted inject
omg
this makes things much easier
Certain pragmas are file-header pragmas:
A file-header pragma must precede the module keyword in the file.
There can be as many file-header pragmas as you please, and they can be preceded or followed by comments.
File-header pragmas are read once only, before pre-processing the file (e.g. with cpp).
The file-header pragmas are: {-# LANGUAGE #-}, {-# OPTIONS_GHC #-}, and {-# INCLUDE #-}.
Clearly not spam when you do it huh?
๐ข
๐ฎ
Well sir it's only spam when you quote a quote
well you see i posted it the first time
yeah
exactly
@HiltViewModel
class MessageViewModel @AssistedInject constructor(
private val appDatabase: AppDatabase,
@Assisted private val channelId: String,
) : ViewModel() {
val messages by lazy {
appDatabase
.messageDao()
.messagesByDate(channelId).toLiveData(50)
}
@AssistedFactory
interface AssistedMessageViewModelFactory {
fun create(channelId: String): MessageViewModel
}
companion object {
fun provideFactory(
assistedFactory: AssistedMessageViewModelFactory,
channelId: String
): ViewModelProvider.Factory = object : ViewModelProvider.Factory {
@Suppress("UNCHECKED_CAST")
override fun <T : ViewModel?> create(modelClass: Class<T>): T {
return assistedFactory.create(channelId) as T
}
}
}
}
much better
actually
maybe not
there could be though
BAD kotlin makes no GUARANTEES about SAFETY
Is that... kotlin ๐คฎ
ยฏ_(ใ)_/ยฏ
I earlier had another class set the value manually coz I couldnt get dagger to inject it
๐ฅฒ
Some kid blocked me because I didn't give him a answer 
๐ข
Can we all agee that grape flavoured things are the best
Poggers
My government wants me to use it soo
Idk how long Iโve had this
Nope
You see, youโre across the sea
Where
Texas
Weeks
Since 2 weeks ago, or 2 weeks old?
So why even put "gf" at all lol?
friend?
BEST FRIEND
Dude how many relationships have u had this year
Bro the one potential relationship I coulda had I rejected her ๐ญ
Where tf do you find these people
So whatโs the best
strawberry
Gross
Please leave the server and donโt forget to give me your shiny role
3:45
Yes
The best timezone
I think you're the one that should leave
Wow you both live in Australia too?
Ok whatโs second best blitz
Don't really have a second best.
Remence doesn't live in Australia
Oh wait
neither do I
Me?
No
Antarctican
The global multiplier has ran out and has been reset!
2nd spin when matt
Do you want your 2nd one?
Waffle was ready for that lmao
pretty sure cube said u have to redeem within 24 hours of boosting
Probably better a bit later, when more people are around
๐ฎ
Plus i'll need to leave in a bit
I'm not american tho. nice
@regal juniper Ready for the spin when ever you want ;p
=multi spin
@long summit wow you are cool now
pog
Ayy nice
Lol
oh god
I've always been cool ๐
=multi
smh
You wish @long summit
bruh!
Man, Hellion just does not lose top 4. 1 game so far.
Have you managed to win with anything else?
I've been so bad at it, it's horrible
The closest I got was 4th and was with assassins
Okay so the 4th place there was mainly utilizing Coven and i gave that lead to Morgana along with those items. If I had proper burn items, it'd be so much better.
LOL
Thats just a part of it @normal sable like an extra game
Lmao
Iโll give it a shot some day
oh no
Glare have you seen a 3 stars voli?
remence why do u hate urself
What I dislike at tft is that if you have a bad game and somehow get back in game, you just get hit with 20 damage and boom, you are out
I have to try it to have an opinion sir
Negative
Iโm just saying it looks like club penguin remastered
It's so strong https://www.youtube.com/watch?v=qT1HUf6AzGM
Join my discord: https://discord.gg/Wb7T7G8guF
Wanna some free LP? Do check out my Tutorialsใฝ(โฟ๏พโฝ๏พ)ใ
https://www.youtube.com/playlist?list=PLUEnr1vOshOxA-OvKxPfIkf1BH6A5g1NH
S4 All 5 Cost Champions Level 3 with Mage Spat
https://www.youtube.com/playlist?list=PLUEnr1vOshOwlqTspOk9Wzc-Q6k2ijk12
S4 All 5 Cost Champions Level 3
https://www.youtub...
Just casually puts 3 guys on the board at level 9.
Yeah xD
I mean that's a good part, you need to control if you want a loss streak or a win streak and play it differently
The damage increases per level, so if you level up fast you start dealing more damage to them
yes
support in training
holy shit that volibear
I have something you can support me with
okay
Add relocation to PDM
yeah slimjar bad
empty promises...
Awaiting Gradle approval.
I told you since the beginning there wasn't going to be a release lmao
Yugi said there was
yeah you know what has been released 30 times? pdm.
And I corrected him right after
So you're saying it's "released" as soon as it's approved?
the release will happen soon, yes
oh nice
There is a few things to do still before an actual release, the lib still needs to be published then I'll need to update the gradle plugin to implement the lib when ever it's added
pee dee em in 2021 ecksdee
pi di ehm
support in training ez pz
had that once, didnt get online even 1 time lol
responsible as always
Its ready
You can clone and build it to use rn
Lol
Just waiting for the gradle plugin to be approved
gud
see what?
Role ๐
The global multiplier has ran out and has been reset!
GREAT multi
good bye ๐
Totally forgot we had a multi going.
@young mortar why dislike showcase
those two dont relate because you can have DRM & OS at the exact same time
I didn't make the plugins that use my service, I just made the service
Someone can still not like it for that reason
I don't understand that reason
How do you not understand it
i dont like drm either. im just not going to provide a vote
DRM and OS at the same time is stupid
Not liking the product because it supports DRM is a different reason then not liking it because it's not open source
"I don't like DRM services so I'm going to dislike the showcase"
That's as simple as the "reason" gets
Idc if you dislike because you don't like DRM, that's up to you
...
Providing a DRM service obviously discourages OS for others too
"DRM bad
OS good"
It's not necessarily for plugins
I just said it was so it could be easily understood
Who cares if it is for plugins?
Yeah and it's a part many do not like
Minecraft itself is drm
I created a DRM licensing system for minecraft plugins
nowhere on the actual site does it market itself for plugins tho
well you get mad at mojang not the people who wrote the drm software
who "gets mad" here
then why ask
I just wanted to make a cool project
It's got a frontend and a backend and a database
and some cool auth stuff
well people disliking is going to be everywhere lmfao
you just gotta deal with it
ig
why are you so defensive
good luck on revenue tho ๐ฌ
I am not being that defensive
It's not a real production product
It's just a fun thing
just accept that people do not like when others promote paid stuff to support other paid stuff in a community that mostly likes OS
actually scratch that I am being defensive because It's not something to dislike. There's no infastructure for payments, there's no real plan system, it's just a personal fun project idea that I made from scratch to showcase my skills
ok
it's not something to dislike ๐คก
yes I do not support DRM anywhere because it's ruining software
this is why people pirate things
DRM bad
๐คจ
||no ban pls :)||
What is DRM?
Dumb anti piracy stuff that ruins performance even though it inevitably gets cracked in less than a month
Thanks for the link
I pirated pirating
Good
๐ท
I'm a pirate ๐ดโโ ๏ธ
yo remence
yo marcel
hey cutie
๐
๐ณ
No it's 10:27am
๐ฅฒ
Did you guys hear about that piece of debris from a Chinese rocket that's gonna hit earth? ๐ฅฒ
gogleing intensifies
gogleing
๐
Lol this guy has a domain for each plugin https://ultrapermissions.com/updates https://ultraeconomy.com/updates
lol
He died. :(
Ik =/
wat
i forgot to say "pc"
idk how I thought you'd understand "did u upgrade"
without any further context
No? Did you even respond with what to upgrade eee
Ah yes, no not yet, still debating
whats thou budget
if I do get a new one I'm buying the BenQ one
pls ips
Yeye, similar style tho
I'm not gonna spend an obscene amount tho cause I really don't need an amazing monitor
Rythm is dead again ... ๐ข
I was gonna ask why u were alone without rythm lmao
yeah he just left me alone in there
for some reason this keeps happening like once or twice a day
rip
if only barry beats supported YT Music and Playlists xD
Can you call up barry beats?
it doesn't support neither
Then what does it support
oh
welcome back, Rhythm!
Rhythm indeed xD
yoyoy
Alright so we need to go #development so that the staff member here doesn't get pissed
and Rythm is gone once again
rip blitz
well its back
@fallow crow Why the friend request?
well
i was hoping u can help me
basically
my friend
is trying to ban me on discord
You should probably ask here
How am I supposed to help you with that lol
How is matt, or anybody supposed to assist you getting unbanned lmao
Oh no, not swearing
Did you not say the fuck word?
you said the fuck word didn't you
that's even worse
and he said give me mod or else my server is gone
what how can he delete ur server?
idk
?
he said he reported it
reported
๐
you don't have to worry about it lol
yes
yes
why?
uhh why not?
Because swearing isn't a federal offense
=ban @sullen sorrel For saying "moron"
moron is the worst of swear words
well you did now
But u didn't so you
Imo that's worse than the fuck word!
you're chilling
unless you were really really really really toxic
i swear to God i didnt
don't swear to god ๐
๐คฃ
Moral of the story: you're fine
sorry
moral of the story: moron is a VERY VERY bad word!
lol
no
im not
give him it!
i mean unless you want him to have it?
why?
or he will hack ur account!
ok
i'm getting big vision vibes from this person
lol
me too ivan lmao
what is going on lol
emily
vision brought an alt
and he sent me a screenshot that said at the bottom of the screen Disord: he said n**ga
its dkims alt
can you explain to mr vector here that moron is a bad word
even tho i dodnt
no its not
yeah you don't say moron in here
exposed
oh no
omg
he sent me a screenshot of discord sending him an email
btw you know that it takes like 5 seconds to fake screenshots
omg he said the fuck word? omg sinner!
i think i should give him owner
saying that word is a one way ticket to hell ๐ฑ
should i?
yes
what
guess what
BRO
So why did you friend request matt tho
idk
yes
nooooo
omg is this true!!??!
๐
SLANDER
no dont go!
is that... military time ๐คฎ
No sir. That is Good Time
something you never had
1-12 is good enough
U can take your Canadian ass to the US and shoot yourself. Thank You!
Hell no
i like 12 hour time ๐ฆ
Imagine having ambiguity in your time system
Because as we know the only time we ever mention is what we have right now
The numbers are literally ambiguous
or you get context like if they say "let's meet at 3", you most likely know it's not 3 am
no they're not a normal person ..
the same number means two different times
they use am/pm
this is just a fact
yeah so you take the extra 0.3 seconds to specify am/pm
If you have to infer from context this is a good sign of ambiguity
you have to infer english stuff from context?
what?
context matters for a lot of stuff in life
im just saying, the united states and many other countries have managed to use 12 hour time for a long ass time
i think it's fine lol
well to be honest I still say 3 sometimtes. Instead of 15. Like when my brother asks me what the time is I don't say 15:30 I say 3:30
thank you!
12 hours bad
i mean when do you not have context
but I still prefer 24 hours
i have never been confused about a time before
you wanna meet at 10 ?
10 what?
10 am 10 pm
i always get confused with time
well okay in romania
so we do have to use 24 hours
Then specify am/pm
idk if 12pm is at night or 12am is at night
if someone says wanna meet at 10 they say am or pm
i can never remember
12pm is noon
we don't have am or pm
I mean in 12-hour system
like the closest thing we have is 10 in the morning
I prefer 24h system as well
24h ftw
or you could just use clear identifiers
As in?
A one to one mapping from number to time
There is not
yes the am/pm is just part of the time
You need an extra qualifier
it's just how it is
The day has 24h
yeah it has 12 in the am, 12 in the pm
Am and pm is not needed
Gotta be careful before they invade us because we don't like nonsensical time
It is needed
This is quite a dumb argument, neither of the systems are superior. If you're using a system, using it properly/not is your issue
This might be from where I live, but I've never heard a person say "its 16:30" or so
yet the US Army uses it. I wonder why
Because why not?
i do not hold the us army as the standard to match lmao
We don't have that much oil
yeah why not? When our entire country uses 12h let's use 24h in the army
Ok but 13:00 sounds gross to say
no Remence
Nobody wants to say 15:00
Remence bad
sxtanna tried to argue it was better when he was still around
nah imperial kinda dumb
It doesn't sound gross unless you've gotten used with the 12 h system
lol
metric makes sense
oh god
I guess I'll be grouped with the americans then
do u remember bm?
But yes star is right
were u here back then?
24/12 hour time is just preference, there's no superior one
but imperial is just arbitrary
and metric is logical
That man argues about anything and everything
metric clock enters
xD
his arguments were always good before hand though
i used to be able to convert 24hr to metric within seconds lol
lol
usually he had good takes
its like 6:50 o clock now prob
But nobody's perfect
Except Simon
But there is a reason only a few countries use 12
I have a feeling he didn't actually believe that and was just arguing for the sake of it
arguing is fun some times
see but i don't care
That's true
idk if I like to call it arguing, more like conversation inducing dialogue
He does seem like the type of person who would've done that
just because one has a majority means nothing
do you prefer handling timestamps in the 12 hour system
no i prefer handling timestamps in the ISO standard way
If more people follow a stupid idea does that make it brilliant?
Let's not mention mm/dd/yyyy
but i prefer converting thsoe timestamps to 12 hour time when I need to read it
which uses 24 hours incidentally
wonder why
yeah it's easier to store
no one
but you also convert that
dd/MM/yyyy please
also 12 PM and 12 AM make no sense whatsoever
god this server is way too international
As it should
let's get a few more americans in here
this includes the aussies
Let's not ๐
dd/mm/yyyy is correct
Classic american
yup
yooo if days can have 12 am and 12pm months should have 1 am, 2 am and then at the half it will start again from 1 but with PM
lmaoo
๐คจ
we are at month 5am right now
xD
degree clock is superior
I'll have to disagree with the date format, but Im fine with the time format
D:
meant days in a month
why do u have years first
i don't
oh but there's like, 30/31/28
dd/MM/yyyy
that's not a nice even number
Please
good ๐
Piggy's speaking facts here ngl
i dunno, it just feels so nice to say like "January 12th, 1970"
There is no argument ๐ณ
Let's review the totally sensible idea of 12 pm
you count to 11, then go to the other 12 and start from 1
i didn't speak no fax
"12th January" is so weird
Can any of y'all dislocate your pinky on your foot?
i can dislocate my shoulder
Cause I sure can and it hurts like a bitch
:what:
it doesn't hurt though
:what:
i can just pop it out
:what:
u need help
What is wrong with you
:what:
Yea mine pops back to place after a while but hurts like a bitch in the meantime
shoutout to dkim for being a homie
Not even sure how but kek
When i hit it in the corner of the wall in the dark at night
Why is dkim a homie
oh god.
nooo please
stop
he +1'd my "12th January sucks" message
I legit just move it down a bit and it pops out :kek:
Its not another 12, tho, am and pm just denote what part of the day it is, before noon, or after noon
dkim is wrong
oh
you count to 11 in AM, then 12 PM, then start from 1 PM
The 12 usage comes from clocks afaik
main = putStrLn "but"
Some newer digital clocks use 00 AM instead
dude that's right. You read the day as "January 12th, 2021" so month should be first ๐คฏ
oh nice
๐
DON'T hide behind HASKELL
dumb people too scared of analog
lmao
had to use 24 hour time instead
star have u even seen my math bruh
out of fear
i mean i dunno if an analog clock is too much for you, that kinda says something ๐คทโโ๏ธ
its like a sandwich, ```
March
5
2021
yeah why split a 24h day into 24 when you can split it into 12 and then another 12
Die
smh
it is a bit much though
Analog is as simple as it gets
good luck fitting 24 slots on a clock face
I feel like if I used a wrist clock, i would still pull out my phone to check the time
main = putStrLn "๐ฅบ"
good
that will NOT compile
this war resolve world hunger
Smart Watches ...
Hunger Games???
Sooo everyone died?
yes
lol is that a real scene matt
tsunami happened?
i bet
D:
she looks so sad
piggy
that has to be real
Yeah xD
gordon ramsay ๐
where's the lamb sauce
Yeah piggy when is barry gonna be able to do /run
erm
pLZ
never
๐ฆ
NooOO
๐ฅบ
Hello
piggy ๐ฅบ
Ok get Gary to do it or smth
hi
no
someone said God is not real
oh no
something called mybrowseristooslowsoijustusediscordtorunthecodequickly
Freedom of speech
my 5 YEAR OLD raspberry pi has a higher CPU clockspeed than my laptop
speaking of repl did u guys know java has an official one
YO
๐คก
freedom of speech means the government can't stop you from saying something
it doesn't mean a private company (discord) can't stop you, or that other people won't hate you for your actions
freedom of religion
we don't have freedom of speech here
๐ณ
pig is kim jong un in disguise
yeah probably for the best
๐
too many idiots here in 'murica
oh oof
what are the idiots saying
im orange now, i don't think i can say that
๐ฆ
hmm no one stops you from saying anything
dkim for staff
trust me u can
also i saw how bad my hot take of "12 hour time and mm/dd/yyyy" was
so i do not want anything actually debateable lmao
that's not a hot take
Ok but it's a vlid take
that's just stupidity
No
aw whys everyone hate me
kek that message thread i linked to in my rant still exists
Bm
Semigroup Mitten
:)
xD
I hope you all have a nice day :)
I think BM will be demoted today
noooooo
๐ฎ
Are any of u vaccinated
he's too groupy
shall I leak the logs?>
no promotion has happened today ๐
Yes
from what remence
from the coronavirus
negative
tetanus
rip
Sadly no
๐
I don't believe I get vaccinated
what? why?
Slow vaccinations here
Lol
iirc my age group doesn't qualify
for the coronavirus vaccine*
we get vaccinated for other things lol
oh good
|| my mum is antivax ||
Just qualify ๐
tetanus big scary
oh no bm
oh yes :(
same
aw
๐
๐ฅฒ
what about you?
rip
oh boy
i am not antivax
iM pRo LiFe
But I assume she won't let you take it?
i am antivax ๐
My parents weren't anti vax until someone helped them make a facebook account xD
vaccines cause autism
She would not be happy
Bill gates gimme that juicy microchip
bro
it's true that more vaccinated people are autistic kaliber
๐
Was supposed to take ny booster for it in 2019, waited just for them to say "ah the guidelines said to extend to 2023"
oh dont get me started on the chips !!!
Last year she actually said that shit
still does a bit
exactly, they are clearly the cause ๐
๐คฃ
6 feet under lol
correlation vs causation ๐ข
I refused to get a vaccine once when I was like 7. 2 weeks later I had the disease in question
lmao
oof
what disease?
pain
aids
๐คจ
constipation
chickenpox
is there a vaccine for that??
Yeah????
yeah
o lmao
my irl friend is an idiot, he's not anti vax, he just couldn't be bothered to get his vaccinations
I thought it's just something you get once when you're like 5
whats an irl friend
i had chickenpox too
Yeah you don't get it twice
Slap some sense into him
but there is a vaccine
Like an unicorn
That's what a good friend would do
what's a friend?
ยฏ_(ใ)_/ยฏ
exactly, they don't exist
It is very uncomfortable, but there are worse things, yeah
It's pretty much the only children's disease I've had
yea
Yikes
piggy being lsd does not count lol
Piggy slow down on the drugs
4 hours
just surprised there's a vaccine for people that aren't like vulnerable
its really rare to have shingles as a kid apparently, so for me to have it twice was hella rare iirc
i mean there's a vaccine for everything that can have a vaccine
cause they're a miracle invention
hmmm
to be honest I didn't know there's a vaccine for that either. We all got it in our family. Most when we were kids. Its just a common thing everyone got used to
Not true, my fiance said that once you get over the russian anthem playing in your head, the 5g reception is great
yeah you probably need it for like, middle school or elementary school or something
Yeah I thought it was just a thing you get
uncivilized countries suffering with disease yikes
for example for me the teachers asked where I am they just told them I have that and didn't even bother to check xD
oh shit that was my bri ish ancestry talking there
lmao
coronavirus
well okay
im not proud of my country
who is?
Come north star
but at least we don't have chickenpox lmao
but something that most people go thru and none die does
meh chicken pox isn't too bad
chicken pox is hardly a threat afaik
what i don't like disease at all lol
I had a scar left over from it for like 10 years
I'm sure the next time our European friends visit they can introduce you to it
everyone I know irl had it once and no one died or had long term problems from it
for what?
for chickenpox
According to the cdc there is about 3m cases of chicken pox in the us every year
lol
why would u vaccinate against chicken pox?
Lmao
owned with facts and logic
you just get it when you're like 8 or something
you need it to like go to elementary school or whatever
stonks
it's like 5 different ones
but how? They're such a civilized country
impossible
they lie
america is so civilised lol
the us has never once lied ๐บ๐ธ
murdering people on the other side of the earth saying its to protect their own country while stealing their resources? Never happened
why tho ๐
not as bad as the bri'ish empire imo
hey we aren't the only ones who did that
My problem is that they do it and then act like they're such a civilized country like Star said and nothing's wrong. xD
why do u say bri ish all the time ๐
because they're bri ish wdym
ok half of the country doesnt pronounce Ts, but atleast the other does ๐
Looks at portugal, spain, uk
yes
france, holland too
whats wrong with bri'ain
