« first day (2245 days earlier)      last day (2702 days later) » 

2:00 PM
I think it's funny that the bartender at the pub where he drinks already knows to say they don't know of him when people from Germany call.
 
confuse him by saying "Hi this is Robor from Scandinavia"
 
user1804599
@Ven The guy with the Vim avatar.
 
Ven
I don't remember.
I've only been here since 2014.
 
martin was not here when ven joined
 
His disappearance was around a year ago or so.
 
Ven
2:02 PM
actually the vim avatar rings a bit of a bell...
 
Oct 6 '15
that's when we started looking for him
wait wow
he's suspended
> This account is temporarily suspended to cool down. The suspension period ends on Jun 4 '17 at 19:18.
 
Ven
lol :D
 
wow
 
user1804599
lol why
 
now how could he get suspended if he didn't post in the first place
what a mystery
 
2:04 PM
that's a pretty hardcore suspension
 
@AlexM. Comments get deleted usually.
 
what did he do, insinuate things about a mod's mother?
 
> Likes: croissants, banana sandwiches, chicken magmaloo, beer and turbo-grapefruit. Dislikes: calls or emails asking me to do stuff, 'Intro to threads' websites, PHP, Ruby, nails in tyres, airports, any mention of food/beer when I'm hungry/thirsty and the gravitationally-challenged Parking Enforcement Officer downtown.
 
@jaggedSpire Wouldn't be out-of-character, tbh.
 
2:06 PM
for him or for the mod
 
Ven
"Just pray. Pray for the days your moderators won't be PHP developers. Pray for the days you'll be able to visit the lounge, without the fear of getting madarated..."
 
I haven't seen madara in ages
 
Ven
Me neither :P.
 
It's been a year for me, thereabouts
 
Ven
2:10 PM
since the lounge got closed.
Skyrim music is truly nice.
 
just don't do weird shit and it's fine
now I'm not saying weird shit is bad
;) ;) ;) ;)
in fact we have a room with lots of channels for...
 
Ven
reported.
 
... weird shit ;) ;) ;) ;)
on discord ;) ;) ;) ;) ;) ;) ;) ;) ;) ;) ;) ;)
unmoderated
uncut
unrated
 
Ven
can confirm.
 
Called the rental agency at noon, and they said they were going to get back to me later and nothing yet.
 
2:14 PM
they're playing hard to get
keep on trying
"later" in rental agency lingo means "yes please look for us HARDER HARDERRRRRR"
 
My tinnitus is almost unbearable, so I'm listening to really loud music, which is drowning out the ringing but is bad in general because I already have hearing loss.
 
@R.MartinhoFernandes Isn't your tinnitus amplified by stress?
 
@Rerito Right.
 
Ven
ih
 
2:19 PM
I seem to recall a previous convo where you explained that
 
I iz a nub coder
 
Ven

C++ Questions and Answers

Solve problems and approach solutions. Just ask and lurkers wi...
 
And there is nothing to sooth it?
 
hi nub coder
 
Ven
if you have C++ questions :).
 
2:19 PM
hi
 
@HassanAlthaf grats
 
@jaggedSpire ty
 
He just entered a world of suffering
 
No.
I have been coding for 4 years
just kidding
-_-
 
Ven
-_-
 
2:20 PM
have been doing web
web is bae
web is easy
 
Ven
- _ -
 
not painful
 
Ven
I recalibrated my smiley because I'm fat.
 
is hassan cicada
 
user1804599
no
 
user1804599
2:21 PM
runVertexDSL :: ∀ eff. Connection -> VertexDSL ~> Aff (uuid :: GENUUID, postgreSQL :: POSTGRESQL | eff)
runVertexDSL conn = foldFree go
    where
    go :: VertexDSLF ~> Aff (uuid :: GENUUID, postgreSQL :: POSTGRESQL | eff)
    go (GetVertex fileID vertexID next) = next <$> DB.readVertex conn vertexID
    go (CreateVertex fileID next) = next <$> DB.createVertex conn fileID
    go (CreateEdge fileID edge next) = next <$ DB.createEdge conn edge
 
user1804599
what's good code
baby don't hurt me
don't hurt me
no more
 
He would have chosen Hassan Cehef, was he Cicada
 
@Rerito Not that I know of, no.
Sleeping helps sometimes, but I think it's more like lack of sleep makes it worse.
 
OK, I have to tell you this.
I am codding some Selenium tests.
And one of the tests makes me input some longer text into a text area.
And the next step is to go back 150 characters, type $ and choose suggestion from intellisense like menu.
 
I can provide a meaningful reply
Selenium Gomez
yw
 
2:25 PM
So I thought hitting Keys.LEFT 150 times would do it.
 
Selenium Gomez?
Did Selena change her name?
 
her gender too apparently
 
I see.
To what?
 
user1804599
to potato
 
it's undefined behavior
 
2:27 PM
However! Since the text area is multi-line, I am losing one key press per line to get from start of the current line to end of the previous line! I was falling short by 2 characters compared to my expectation where the next placeholer $ should appear.
 
@R.MartinhoFernandes No, the text does not have multiple lines, only the text area that the browser renders has multiple lines. But as text editors work, when you are at the start of a line, hitting left arrow moves you to the end of previous line but not before the character but after.
 
Ah, right.
Wait, they do?
Ew.
 
Yeah, it took me 2 hours to realise this. :D
 
user1804599
2:33 PM
VS Code with editorconfig plugin ftw
 
Ven
@rightfold that <$ is making me very nervous.
 
user1804599
why lol
 
Ven
because the others are <$>. it feels unclean.
 
user1804599
Creating an edge has no return value you badlet.
 
user1804599
What else? const next <$> ...
 
2:48 PM
anybody here plays halite?
 
@rightfold Why is foldFree called foldFree? What's the Free aspect of it?
 
Ven
@rightfold it doesn't matter what it does. It just doesn't look next.
 
user1804599
@Griwes Free monad.
 
user1804599
It folds a sequence of actions into a single action.
 
it frees the memory while folding :P
 
2:55 PM
It comes under an FSF license.
 
@rightfold What makes a monad free?
Is it free as in "not costing anything" or "not bound to anything"?
 
Ven
@Griwes it's free because you get a monad for free.
 
user1804599
Being an application of Free to a type constructor.
 
user1804599
You define a type constructor, you get a monad without any extra work.
 
2:58 PM
@rightfold ...this is not very helpful.
 
Ven
@Griwes a free monad is a way to turn a functor to a monad.
 
Can you fabricate a simple example? :P
 
user1804599
data IOF a
  = PutStrLn String a
  | GetLine (String -> a)

type IO = Free IOF -- free monad
 
user1804599
@Ven you don't even need a functor if you don't use an inferior implementation
 
Ven
@rightfold that'd be Freer, right?
 
user1804599
2:59 PM
yes]
 
Ven
alright.
 
user1804599
can't wait for PS to get functor deriving btw
 
@Griwes It is a type isomophic to (return, bind).
 
@rightfold so... what's bind in this case?
 
Ven
@Griwes composing functions to be applied to the structure
 
user1804599
3:01 PM
bind builds up a data structure.
 
user1804599
foldFree tears it apart.
 
@Griwes Or (return, fmap). Something like that.
 
user1804599
You can combine two algebras using coproducts and then make a free monad off that: type AB = Free (Coproduct AF BF). Now an action is either (either = sum = coproduct) from A or B.
 
@rightfold I think I'm starting to understand, but just to make sure, can you show an example of calling it (and what are the actual values that result from it) in the IO case?
 
Ven
you're the one writing the "interpreter"
 
3:04 PM
@Rerito :noel:
 
@Ven I think I understand foldFree, not sure if I understand bind for it yet.
 
Ven
@CheukKinSing salut l'ami
@Griwes recommended read: haskellforall.com/2012/06/…
instance (Functor f) => Monad (Free f) where
    return = Pure
    (Free x) >>= f = Free (fmap (>>= f) x)
    (Pure r) >>= f = f r
Free is recursion [and recursion is Free].
 
user1804599
let's call the IO defined above RestrictedIO to avoid confusion
 
user1804599
runRestrictedIO :: RestrictedIO ~> IO
runRestrictedIO = foldFree go
  where
  go :: RestrictedIOF ~> IO
  go (PutStrLn text next) = next <$ putStrLn text
  go (GetLine next) = next <$> getLine

logRestrictedIO :: String -> RestrictedIO ~> Writer String
logRestrictedIO response = foldFree go
  where
  go :: RestrictedIOF ~> Writer String
  go (PutStrLn text next) = next <$ tell text
  go (GetLine next) = pure $ next response
 
user1804599
Two interpreters for the same program.
 
@rightfold Alright; so that'd allow me to for example compose GetLine and PutStrLn so that I immediately "print" the string I've got from input?
 
user1804599
Yes.
 
Can you show how to compose them?
 
user1804599
liftF GetLine >>= liftF . PutStrLn
 
user1804599
liftF :: f ~> Free f
 
3:16 PM
So I have solved it by checking selectionStart of the text area. It does not change in the odd situation and I can retry LEFT again and then it changes.
 
Okay. I'll need to digest it, but I think I'm getting it.
Thanks!
Basically it's a pure flow control structure, as in a monad that operates on actions and not data. Is this a mostly correct approximation?
 
You know that I could use somebody.
 
some1 lik uuuu\
 
user1804599
Lol, this political party literally calls their leader "little bald fatass" on their website.
 
Ven
@Griwes it's basically an abstraction for recursion.
 
3:24 PM
Okay.
So it's also an abstraction for iteration. :P
 
Ell
I still don't get how I can foldFree from an m a to a b
Suppose I wanted to just return a string of each constructor name one after the other
Well, I guess from a Free f a to a b
 
Your "a b" is confusing. :P
 
@Ven salut robert
 
Ven
b1 ?
 
@rightfold but is it factually correct
@Ven on fisse aller, et toi ?
 
Ven
3:29 PM
Je susse me comporter.
 
dégueulasse
 
Foutaises que tout ceci !
 
On va encore se faire rappeller à l'ordre à force de causer berrichon
 
Sure thing.
 
Fuck me! The cancer is in this country as well. Today's news: Our Constitutional Court has denied a request for birth (certificate?) number change to a man whose birth number is in the male form. He feels to be genderless and the male form of the birth number triggers him. However, the court has denied his demand/request for the change.
 
user1804599
3:36 PM
TRIGGERED
 
Ell
@Griwes sorry :P
Free f a -> b
 
@wilx birth number is in the male form?
Wtf does that mean?
 
maybe there is a m or a f in the number
 
user1804599
That the birth certificate authority is crawling with sexists.
 
wow programmers truly are vile lmao
'the cancer is in this country as well' smh
 
3:39 PM
@wilx You mean the ID number on this birth certificate is male? I'm thoroughly confused.
 
> A birth number is a ten digit number which can be divided by eleven without any remainder. The first two digits represent the year of birth; the second two digits express the month of birth - in the case of females 50 is added; and the third two digits represent the date of birth. The last four digits distinguish between people born on the same calendar day. -- The Ministry of the Interior of the Czech Republic
 
who cares
 
Ven
lit. no one
 
@wilx aka if there are more than 10k births of the same gender they are in trouble
 
Ven
3:42 PM
zzz
 
@ratchetfreak On the same day? Unlikely, this is a small country.
 
Ven
shoulda just md5'd the timestamp of birth+full name tbh
 
@Ven MD5? lol
 
@Ven that scheme is probably older than md5
 
@Ven Somehow their scheme sounds more unique than this.
MD5 doesn't add any entropy.
 
Ell
3:46 PM
@rightfold Ahhh...
 
They should just assign numbers to each of the existing registration offices, and for the certificate numbers use registration office number followed by a sequential monotonically increasing number followed by check digits.
 
Ell
I need to use a writer then :D
 
@R.MartinhoFernandes Not sure the check digits are really useful enough to bother with them, but whatever.
 
@JerryCoffin Yeah, I am not sure about their usefulness either, but they seem popular enough.
It doesn't affect the general idea, though.
 
@R.MartinhoFernandes I always found rather the opposite. Sweet as honey when they're trying to get you to sign up--and once you've signed, the gloves come off and you'd better toe the line, or else!
 
3:51 PM
You get uniqueness without the need to centralize the registration, which I think are the only things that might possibly be relevant for this.
 
@R.MartinhoFernandes True enough.
 
@wilx Yeah how very cancerous of that court. Hopefully Cheque Republic can get out of the middle ages in the near future.
 
@CheukKinSing If this is middle ages, I hope we stay in the middle ages until I die.
 
hey i have a question
 
@R.MartinhoFernandes Well, I can see one other thing: it probably acts as a key to quite a bit of "stuff", so making it relatively difficult to guess is probably a good thing.
 
3:53 PM
what's the best hashing system if i'm building a database of bigoted cheque republicans like wilx
 
@wilx Welcome to the "I refuse change" club, rest assured, you will eventually die.
 
@JerryCoffin In some countries instead of checksums they add nonces.
 
does the way trigger is being used here make s ense
I mean here as in THE WHOLE INTERNET EVER
 
@R.MartinhoFernandes Seems to me as if that's likely to accomplish more.
 
shouldn't it be "trigger" as in "trigger a PTSD crisis"
like a panic attack
and not "upset"
because people seem to use it to mean upset
or offend
 
Ven
3:55 PM
@CheukKinSing pourquoi tu perds ton temps, mdr.
 
So you can't just pick a random number and have it work. If you have as little as two nonce digits, it's already 99% of the number space that is invalid.
Checksums only prevent you from accidentally giving the wrong number to someone.
 
Which can be useful per se.
 
@R.MartinhoFernandes Well, they make it a little easier to detect if you've been given an incorrect number, anyway.
 
@Morwenn But nonces do that as well, in addition to preventing someone from guessing a valid number.
And if you really want, you can add checksums after a nonce.
 
Nonces?
 
3:58 PM
Actually, since each office has its own subspace, they can just make the whole thing a nonce and drop the sequence thing.
 
@AlexM. or even: "mildly annoy". I'm pretty sure it's a simple matter of inflation.
 
@Morwenn Random numbers, basically
 
@Morwenn once once, qui veut du ponce
 
Nonce may refer to: Cryptographic nonce, a number or bit string used only once, in security engineering Nonce (slang), a British and Australian slang term for a sex offender, usually a sexual abuser of children Nonce word, a word used to meet a need that is not expected to recur The Nonce, American rap duo Nonce orders, an architectural term == See also == Hapax legomenon Cryptography...
 
Ven
@CheukKinSing il est juste triste qu'on ne laisse pas les TG changer leur nom etc.
 
3:59 PM
@Morwenn Like simply assigning UUIDs to everyone.
 
@Ven Tout le monde devrait s'appeller Robert.
 
Ven
Rob ERT
 
@Morwenn "number used once". As properly used, it's for things like a random AES key, that's large enough that if it's selected properly, there's at least a very good chance that nobody will ever select that number again. Here, it's just "some random number".
 
> What do you call a frenchman wearing sandals?
Philippe Floppe
@LucDanton
 
Oh, thanks all :)
 
Xeo
4:02 PM
@Ven ?
 
Ven
messagesteal
 
@CheukKinSing Nice
 
Antibes
Argenton-sur-Creuse
 
Agde
 
@Rerito Agda
 
Ven
4:05 PM
Idrisse le grand srab
 
Ell
@CheukKinSing hahah
I like that
 
Frenchmen wearing sandals?
 
Ven
des crocs
 
Awesome for a security class midterm
 
@Ven :bleuargh:
 
4:09 PM
Ended up reading the history of the town of Argenton, good job.
Actually quite fascinating.
 
Ven
@sehe you mean awesome that a security class midterm has crypted in his own text?
because I sure can't read that.
 
I feel for you
 
way better than my handwriting
if anyone sees it they'll be scarred for life
 
I always wanted to ask - what would be a proper derogatory term for Frenchmen? Like krauts for germans
 
Ell
frogs
 
Ven
4:11 PM
you havn't seen mine either pal.
there's a good reason I picked a keyboard...
 
@Abyx abyx
 
well how about
@Ven you fix that
 
@CheukKinSing non
 
BUDDY
 
Ven
:D
had my share with @набиячлэвэли yesterday already
 
4:12 PM
abyx stop starring messages with possible sexual interpretation!!!
you perv!
 
ok
 
@Abyx "frog"?
 
I usually use "baguettes" to refer to frenchppl :D
:D
oui le baguette
 
@R.MartinhoFernandes maybe. les frogs
 
mmmmmmmmmm
 
4:14 PM
In Diplomacy I use "baguette-eaters".
 
you gotta give it to them, french ppl know how to make food
 
@R.MartinhoFernandes sounds kinky
 
baguette is great
 
... that gives you enough energy to last you 10 minutes
 
@Abyx the point, exactly.
In German it's Froschfresser (frog-eater)
 
Ven
4:15 PM
I had a baguette burger earlier today. Twas amazing.
 
btw, @CheukKinSing. Pain au chocolat ou chocolatine?
@AlexM. Try a truffade then
I'm sure you'ld like it
 
Ell
I use frogs or cowards to refer to french people
 
@Rerito pain au chocolat obviously
do I look like @Luc
 
Painette du Chocolateuffeque
is the correct form
trust me
the more complicated it is the more correct
 
4:17 PM
Mar 3 '15 at 17:23, by R. Martinho Fernandes
Pro-tip: do not open SE questions with "Hello, baguette-eaters."
 
@AlexM. Yes. He must stop. That's my prerogative.
 
> Cleaning Lady - Polish - There are many Polish cleaning ladies
 
@Rerito mmm oven potatoes with cheese
 
lol
 
@AlexM. Pan-fried actually but yeah this is great
The cheese used to make the dish is important as its texture once melt is the key to the recipe
 
4:20 PM
I like "Afro-Saxon".
 
@R.MartinhoFernandes Heh.
 
Ell
@R.MartinhoFernandes not a person, but I like "cheap eurofizz"
 
@Borgleader We should write a bot that automatically downvotes every question with that tag along with all the answers on it. Then have a ton of people run it.
 
Some of these are really lame, but there's a few pearls in there that are almost art.
 
And automatically register a close vote or delete vote if possible.
 
@R.MartinhoFernandes not sure if that's offensive towards blacks or towards the Irish...
 
I think it's intended for both.
 
:D
 
> Soutpiel | English | South Africa Afrikaans for 'salt dick' as English South Africans have one foot in SA, the other in UK, and dicks in ocean.
Only three slurs for gypsies?
 
@R.MartinhoFernandes lol
 
Ell
4:35 PM
gypsies are called "gippos"
 
Can we please keep this room safe and welcoming for everyone? Thank you.
 
@CheukKinSing no
 
Oh sure we can. But we won't because of the shit storm the trolls will put up
Also, but less importantly, because it doesn't actually achieve much
 
@CheukKinSing No.
 
4:51 PM
@Mysticial I like how you think
 
@rightfold Ah! foldFree's definition finally clicked into place after staring at it on and off for like an hour. :D
 
5:14 PM
How does this make sense?
Poor Frenchmen must be all dead by now, no?
 
to be fair londoners have the history to make them scared
of any serious pollution
 
And it's not like London is right by the Channel.
 
The Great Smog of 1952, sometimes called The Big Smoke, was a severe air-pollution event that affected the British capital of London in December 1952. A period of cold weather, combined with an anticyclone and windless conditions, collected airborne pollutants – mostly arising from the use of coal – to form a thick layer of smog over the city. It lasted from Friday, 5 December to Tuesday, 9 December 1952 and then dispersed quickly when the weather changed. It caused major disruption by reducing visibility and even penetrating indoor areas, far more severe than previous smog events experienced in...
> Government medical reports in the following weeks, however, estimated that up until 8 December, 4,000 people had died as a direct result of the smog and 100,000 more were made ill by the smog's effects on the human respiratory tract. More recent research suggests that the total number of fatalities was considerably greater, about 12,000.
 
@AlexM. I just don't understand how the pollution is coming from Europe and affecting just London in particular
 
12k deaths in such a short period of time is mindblowing
@R.MartinhoFernandes eh dunno I just plugged this interesting thing I read about
a few days ago
it's interesting and a TIL kind of thing
 
5:18 PM
@R.MartinhoFernandes I blame Brussels
 
It wasn't that bad when the Eyjafjallajökull erupted in 2010 and they stopped air traffic.
 
vulcanic ash lies higher in the atmosphere and isn't really that toxic to people
 
I'm also surprised that only London and Paris seem to be affected.
 
here's another thing that did serious killing in london
The Black Death was one of the most devastating pandemics in human history, resulting in the deaths of an estimated 75 to 200 million people and peaking in Europe in the years 1346–1353. Although there were several competing theories as to the etiology of the Black Death, analysis of DNA from victims in northern and southern Europe published in 2010 and 2011 indicates that the pathogen responsible was the Yersinia pestis bacterium, probably causing several forms of plague. The Black Death is thought to have originated in the arid plains of Central Asia, where it then travelled along the Silk Road...
interesting fact: the same bacteria exists today
the only reason the black death was a thing is because for a while it decided to transmit itself differently
 
I'd expect everything in between to be in alert states, not just the two cities
 
5:21 PM
AAAAAA IT'S A GIF
 
@AlexM. and then the people that were immune got the evolutionary edge for a while
 
kicks Alex for posting gifs
 
because the thing was infecting lungs
it was pretty much the classical horror style pandemic
 
@AlexM. interestingly irishtimes.com/life-and-style/health-family/… was a few days ago
> I suspect I wasn’t the only one taken aback at the six deaths in Melbourne due to a condition known as thunderstorm asthma. Hundreds more were hospitalised, about one-third of whom had no history of diagnosed asthma, when the severe thunderstorm hit Australia’s second-largest city on Monday, November 21st. The city’s ambulance service responded to more than 1,870 cases of acute breathing problems.
 
just sitting next to someone sick would make you sick
because the bacteria was in the exhaled air
 
5:24 PM
famous airborne germs
 
Anyway, I'm going with "Pollution in London is due to London".
7
 
probably because of the French expats there
 
Worse than immigrants
 
Retaliation for Brexit, clearly
 

« first day (2245 days earlier)      last day (2702 days later) »