Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 .. 5022
— 502,152 events total
2020-11-22 22:11:59 <dminuoso> I spent some of it on this very fancy flipdot display out of a tram in Berlin.
2020-11-22 22:12:10 → cosimone_ joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-22 22:12:17 <koz_> monochrom: That bikeshed colour _sure_ needs pinning down!
2020-11-22 22:12:23 <Uniaika> fuck it
2020-11-22 22:12:29 <Uniaika> I'm gonna bribe the haskell folks in charge
2020-11-22 22:12:37 <Uniaika> they're all researchers anyway so they're paid peanuts
2020-11-22 22:12:42 <monochrom> And to rub salt into the face of the insult, Pidgin actually achieved that. So they moved the goalpost to "but I mean for my IRC client, not Pidgin, who uses Pidgin?"
2020-11-22 22:12:43 <Uniaika> a good 2 grands should suffice
2020-11-22 22:12:44 <dminuoso> oh yeah, bribes can be a good way to spend money
2020-11-22 22:12:49 <Uniaika> plus the promise of a tenure
2020-11-22 22:12:52 <koz_> Uniaika: GLHF. I think the folks who are in charge of Text are full-time Haskell devs.
2020-11-22 22:12:54 <Uniaika> that will get 'em in my pocket
2020-11-22 22:12:59 <dminuoso> monochrom: Im not sure I'd *want* to use LaTeX for anything.
2020-11-22 22:13:10 <Uniaika> koz_: I'm gonna suggest that we have non-blockchain positions open
2020-11-22 22:13:11 <Uniaika> ;-D
2020-11-22 22:13:13 <dminuoso> But given its domain, there aren't many alternatives...
2020-11-22 22:13:21 <monochrom> Well yeah, I hung out in math channels back then.
2020-11-22 22:13:27 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-22 22:13:31 <dminuoso> oh heh
2020-11-22 22:13:33 <dminuoso> I see
2020-11-22 22:13:44 → pavonia joins (~user@unaffiliated/siracusa)
2020-11-22 22:13:44 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 240 seconds)
2020-11-22 22:13:45 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-22 22:13:59 <monochrom> There, people obnoxiously wrote "A \cap B" like it was more readable than "A union B".
2020-11-22 22:14:13 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-11-22 22:14:36 <Uniaika> uh, I thought it was "cup"?
2020-11-22 22:14:43 <monochrom> err, \cup, yeah
2020-11-22 22:14:48 <koz_> Yeah. \cap is intersection.
2020-11-22 22:14:51 <Uniaika> ah great I'm not mad
2020-11-22 22:14:54 <Uniaika> *crazy
2020-11-22 22:15:00 <dminuoso> Guess that actually proved monochrom's point.
2020-11-22 22:15:01 → rprije joins (~rprije@124.148.131.132)
2020-11-22 22:15:03 <Uniaika> well, I'm a bit crazy, but not that kind
2020-11-22 22:15:05 <merijn> I can write \cup and have it actually work :p ∪
2020-11-22 22:15:06 <monochrom> :)
2020-11-22 22:15:26 <Uniaika> ∪ <- if I enter "cup" in Kitty's unicode selector, I get the union character
2020-11-22 22:15:28 × cosimone_ quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-22 22:15:29 <merijn> Hijacked the CJK input to turn LaTeX into unicode :)
2020-11-22 22:15:30 <Uniaika> this is pretty neat
2020-11-22 22:15:35 <hekkaidekapus> merijn: Is that UTF8 or UTF16? :p
2020-11-22 22:15:37 <Uniaika> merijn: you bloody monster
2020-11-22 22:15:44 <dminuoso> So perhaps what we really need, is a suitable IRC client on iOS, so you can just draw these fancy symbols with your Apple Pencil.
2020-11-22 22:15:48 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-22 22:15:54 <dminuoso> Right in the middle of your input buffer
2020-11-22 22:16:13 <dminuoso> That seems far more reasonable than LaTeX in IRC.
2020-11-22 22:16:17 <Uniaika> ludicrous
2020-11-22 22:16:21 <Uniaika> preposterous
2020-11-22 22:16:42 <maerwald> hmm, we need latex support on tomsmeding paste
2020-11-22 22:17:03 <merijn> hekkaidekapus: Mu
2020-11-22 22:17:44 <Uniaika> merijn: :D
2020-11-22 22:19:31 <hekkaidekapus> Uniaika: On a serious note, do you think text should be handled differently than numbers?
2020-11-22 22:19:33 ski regularly writes things like ⌜A ∪ B⌝ in ##math
2020-11-22 22:19:46 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit)
2020-11-22 22:19:48 <Uniaika> ski: nice
2020-11-22 22:20:01 <Uniaika> hekkaidekapus: I have no enlightened opinion
2020-11-22 22:20:05 <Uniaika> I mean
2020-11-22 22:20:08 <hekkaidekapus> ski: You also do that here. :d
2020-11-22 22:20:11 <Uniaika> I have a preference for grapheme clusters
2020-11-22 22:20:22 <Uniaika> which I got to use in Elixir natively
2020-11-22 22:20:27 <ski> hekkaidekapus : sometimes yes
2020-11-22 22:21:27 → christo joins (~chris@81.96.113.213)
2020-11-22 22:21:46 <hekkaidekapus> Uniaika: Because we have a plethora of integer types, a handful of floating & complex numbers ones.
2020-11-22 22:21:53 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-22 22:22:15 <Uniaika> hekkaidekapus: darling, in the end, everything is 1 and s0 😎
2020-11-22 22:22:19 <Uniaika> *0s
2020-11-22 22:22:21 <hekkaidekapus> And no one would think about a ‘canonical, undisputable’ number type.
2020-11-22 22:22:59 <hekkaidekapus> text (the package) is not even in the report.
2020-11-22 22:23:02 → ironmarx joins (~ironmarx@185.163.110.116)
2020-11-22 22:23:05 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-22 22:23:29 → rtpchan joins (~rtpchan@c-98-198-235-37.hsd1.tx.comcast.net)
2020-11-22 22:23:52 <Uniaika> the report is worthless
2020-11-22 22:23:57 <Uniaika> there, I said it
2020-11-22 22:23:57 <hekkaidekapus> heh
2020-11-22 22:24:39 <hekkaidekapus> That’s monochrom’s bet: it is so worthless that it will never be updated again.
2020-11-22 22:24:43 × fendor quits (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 246 seconds)
2020-11-22 22:25:00 <monochrom> That is not my reason.
2020-11-22 22:25:12 <hekkaidekapus> (kidding)
2020-11-22 22:25:41 <monochrom> Err, on second thought, my reason still implies it's worthless. So, just the tiny difference of "I can explain why it's worthless" but it's true.
2020-11-22 22:25:46 × christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds)
2020-11-22 22:26:07 → alp joins (~alp@2a01:e0a:58b:4920:2d01:9668:71aa:c2be)
2020-11-22 22:26:08 × jedai42 quits (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) (Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/)
2020-11-22 22:26:56 <monochrom> Reason it's worthless: It handwaves both type checking ("oh it's just familiar HM plus type classes") and dynamic semantics ("oh it's just familiar non-strict lambda calculus")
2020-11-22 22:27:41 <monochrom> Now, suppose you want to update it to, say, merely FlexibleContext.
2020-11-22 22:27:53 <merijn> monochrom: Also, while there are things people want to add, nobody wants to do the actual work of standardising them to specify how it should work :p
2020-11-22 22:28:28 <monochrom> You can't, because you have to explain the rules of FlexibleContext, and that requires the Haskell Report to have rules for even vanilla 2010 classes.
2020-11-22 22:28:53 <monochrom> Well the Haskell Report contains no such rule, so you can't even add your extra rules.
2020-11-22 22:29:27 <hekkaidekapus> Who was talking about clergy vs engineers last time? :P
2020-11-22 22:30:56 <hekkaidekapus> If we go the rigourous report way, we end up with ML.
2020-11-22 22:31:06 × m4lvin quits (~m4lvin@w4eg.de) (Quit: m4lvin)
2020-11-22 22:31:12 × acidjnk_new quits (~acidjnk@p200300d0c719ff94358934eb0dfd70c0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-22 22:31:30 → m4lvin joins (~m4lvin@w4eg.de)
2020-11-22 22:31:55 <Uniaika> I never understood FlexibleContext
2020-11-22 22:32:09 <Uniaika> I don't understand most of the stuff that's required for MTL and stuff!
2020-11-22 22:32:11 <Uniaika> fuck!
2020-11-22 22:32:16 <sondr3> question about parsing, say you want to parse a path but it should not contain double slashes, do you make this illegal while parsing or do an error check after having read the whole path?
2020-11-22 22:32:21 <Uniaika> I don't even understand my own purpose on this damned earth
2020-11-22 22:33:04 <dminuoso> monochrom: The Haskell Report is surprisingly silent about some of the semantics of typeclasses.
2020-11-22 22:33:31 hackage elm2nix 0.2.1 - Turn your Elm project into buildable Nix project https://hackage.haskell.org/package/elm2nix-0.2.1 (domenkozar)
2020-11-22 22:33:53 <Uniaika> sondr3: do an error check after having parsed it all, so you can point on all the occurences of double-slashes, and not the first one that triggers a parsing failure
2020-11-22 22:34:16 <hekkaidekapus> dminuoso: I see you are back at it again. :d
←Prev  Next→
Page 1 .. 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 .. 5022

All times are in UTC.