Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 289 290 291 292 293 294 295 296 297 298 299 .. 5022
— 502,152 events total
2020-09-29 10:49:23 × Ariakenom_ quits (~Ariakenom@h-178-174-193-185.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2020-09-29 10:49:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-29 10:53:30 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-29 10:54:33 × mmohammadi9812 quits (~mmohammad@188.210.120.20) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-29 10:55:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-29 10:56:06 → ggole joins (~ggole@2001:8003:8119:7200:682e:863c:d343:3274)
2020-09-29 11:01:48 × pepzi quits (~robert@h-4-217-30.A328.priv.bahnhof.se) (Remote host closed the connection)
2020-09-29 11:02:28 → graf_blutwurst joins (~user@178.197.224.35)
2020-09-29 11:03:23 × graf_blutwurst quits (~user@178.197.224.35) (Remote host closed the connection)
2020-09-29 11:04:58 → graf_blutwurst joins (~user@178.197.224.35)
2020-09-29 11:05:55 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:07:01 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-29 11:07:28 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 260 seconds)
2020-09-29 11:10:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-29 11:12:01 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-29 11:12:12 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-29 11:13:06 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-29 11:16:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:17:00 → LKoen joins (~LKoen@81.255.219.130)
2020-09-29 11:20:46 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-29 11:21:09 × graf_blutwurst quits (~user@178.197.224.35) (Remote host closed the connection)
2020-09-29 11:26:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:27:51 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-09-29 11:30:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-29 11:31:03 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-29 11:33:27 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-29 11:36:08 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-29 11:36:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:40:12 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-29 11:40:21 → acidjnk_new joins (~acidjnk@p200300d0c72378745c7b1a0a573f1493.dip0.t-ipconnect.de)
2020-09-29 11:41:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-29 11:41:10 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-29 11:43:20 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-29 11:44:59 <arahael> Do the videos on the haskell.org website have any captions or transcripts?
2020-09-29 11:45:38 → Wuzzy joins (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de)
2020-09-29 11:46:22 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:49:42 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-09-29 11:50:57 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-29 11:56:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 11:56:41 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6509:5e93:9c09:e475)
2020-09-29 11:56:42 → borne joins (~fritjof@200116b864231000537d5cc8226f9d9f.dip.versatel-1u1.de)
2020-09-29 12:00:01 × resolve quits (~resolve@84.39.116.180) ()
2020-09-29 12:01:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-29 12:03:28 hackage cabal-cache 1.0.2.1 - CI Assistant for Haskell projects https://hackage.haskell.org/package/cabal-cache-1.0.2.1 (haskellworks)
2020-09-29 12:03:59 × cpressey quits (~cpressey@79-72-202-166.dynamic.dsl.as9105.com) (Quit: Lunch)
2020-09-29 12:04:40 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-29 12:05:16 → urodna joins (~urodna@unaffiliated/urodna)
2020-09-29 12:06:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 12:07:08 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-29 12:07:28 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 12:11:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-29 12:13:27 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-29 12:13:47 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-29 12:15:31 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 12:16:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 12:17:22 × koz_ quits (~koz@121.99.240.58) (Remote host closed the connection)
2020-09-29 12:18:13 → koz joins (~koz@121.99.240.58)
2020-09-29 12:20:07 → raichoo joins (~raichoo@213.240.178.58)
2020-09-29 12:21:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-29 12:22:38 → drbean joins (~drbean@TC210-63-209-47.static.apol.com.tw)
2020-09-29 12:26:27 hackage th-compat 0.1 - Backward- (and forward-)compatible Quote and Code types https://hackage.haskell.org/package/th-compat-0.1 (ryanglscott)
2020-09-29 12:27:02 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 12:27:36 × mpereira quits (~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9) (Remote host closed the connection)
2020-09-29 12:28:58 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-29 12:29:44 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-29 12:31:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-29 12:31:10 <maralorn> "justMakeTheDamnThingTypecheck :: foral a b. a -> b" ?
2020-09-29 12:31:32 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6509:5e93:9c09:e475) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-29 12:31:59 <dminuoso> Let's see if it exists
2020-09-29 12:32:00 → st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-29 12:32:02 <dminuoso> % :t justMakeTheDamnThingTypecheck
2020-09-29 12:32:03 <yahb> dminuoso: a -> b
2020-09-29 12:32:09 <dminuoso> Oh, who'd have guessed.
2020-09-29 12:32:19 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 256 seconds)
2020-09-29 12:33:00 <maralorn> Wait what?^^
2020-09-29 12:33:13 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-29 12:33:18 <merijn> I'll take "What is unsafeCoerce?" for 500, Alex.
2020-09-29 12:33:22 <maralorn> You have been secretely querying yahb, haven't you?
2020-09-29 12:33:22 <merijn> :t unsafeCoerce
2020-09-29 12:33:24 <lambdabot> error: Variable not in scope: unsafeCoerce
2020-09-29 12:33:29 <merijn> % :t unsafeCoerce
2020-09-29 12:33:30 <yahb> merijn: a -> b
2020-09-29 12:33:47 <dminuoso> maralorn: I'd never do that for effect.
2020-09-29 12:33:48 <merijn> maralorn: Enjoy your one way ticket to segfault city ;)
2020-09-29 12:33:58 <dminuoso> ;)
2020-09-29 12:34:23 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-29 12:34:30 <maralorn> ^^
2020-09-29 12:34:38 <dminuoso> merijn: Oh I have a valid and safe use case of unsafeCoerce.
2020-09-29 12:34:42 <maralorn> "I'd never do that for effect." -> unsafePerformIO
2020-09-29 12:35:43 <dminuoso> So I have a particular take on a hererogenous, type safe, map.. which is implemented as `Map Integer Any` under the hood..
2020-09-29 12:36:03 × alp quits (~alp@2a01:e0a:58b:4920:1865:138c:f898:eb2d) (Ping timeout: 272 seconds)
2020-09-29 12:36:16 <dminuoso> So upon accessing, I unsafeCoerce things into the right thing, but I prove the correctness of it all in the type system.
2020-09-29 12:36:29 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6509:5e93:9c09:e475)
2020-09-29 12:36:51 <dminuoso> maralorn: unsafePerformIO is boring. I prefer accursedUnutterablePerformIO.
2020-09-29 12:37:05 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 12:37:05 <dminuoso> Eliding internal mutable buffers saves memory.
2020-09-29 12:37:13 <dminuoso> It's very efficient.
2020-09-29 12:38:09 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-29 12:41:09 × Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-29 12:41:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 289 290 291 292 293 294 295 296 297 298 299 .. 5022

All times are in UTC.