Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 215 216 217 218 219 220 221 222 223 224 225 .. 17971
— 1,797,017 events total
2021-06-01 03:28:14 aighearach_ is now known as Aighearach
2021-06-01 03:28:48 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-06-01 03:28:48 × o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 268 seconds)
2021-06-01 03:32:50 × kiweun quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection)
2021-06-01 03:35:05 → sheepduck joins (~sheepduck@2607:fea8:2a60:b700::8a94)
2021-06-01 03:35:36 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 03:36:17 × mustafa quits (~mustafa@rockylinux/releng/mstg) (Ping timeout: 264 seconds)
2021-06-01 03:36:54 × nerdypepper quits (znc@152.67.162.71) (Changing host)
2021-06-01 03:36:54 → nerdypepper joins (znc@user/nerdypepper)
2021-06-01 03:37:02 × shiraeeshi quits (~shiraeesh@109.166.59.30) (Ping timeout: 265 seconds)
2021-06-01 03:39:03 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-06-01 03:40:07 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds)
2021-06-01 03:40:37 → evolve75` joins (~user@c-76-20-160-130.hsd1.mi.comcast.net)
2021-06-01 03:40:42 × monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER)
2021-06-01 03:40:59 → monochrom joins (trebla@216.138.220.146)
2021-06-01 03:44:16 → shiraeeshi joins (~shiraeesh@109.166.59.30)
2021-06-01 03:45:28 × smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-06-01 03:53:29 × argento quits (~argent0@168.227.96.53) (Remote host closed the connection)
2021-06-01 03:54:19 → leeb joins (~leeb@KD111239155018.au-net.ne.jp)
2021-06-01 03:54:28 × alx741 quits (~alx741@186.178.108.160) (Quit: alx741)
2021-06-01 03:54:55 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-06-01 04:00:22 × pe200012 quits (~pe200012@120.236.162.14) (Read error: Connection reset by peer)
2021-06-01 04:00:48 → pe200012 joins (~pe200012@119.131.208.84)
2021-06-01 04:02:31 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-01 04:03:08 → mustafa joins (~mustafa@rockylinux/releng/mstg)
2021-06-01 04:04:51 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 04:05:10 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-01 04:05:25 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 04:05:31 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-01 04:05:47 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 04:05:55 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-01 04:06:10 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 04:06:17 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-01 04:06:32 → lavaman joins (~lavaman@98.38.249.169)
2021-06-01 04:06:39 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-01 04:08:16 × renzhi quits (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 268 seconds)
2021-06-01 04:10:29 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
2021-06-01 04:10:30 × mustafa quits (~mustafa@rockylinux/releng/mstg) (Ping timeout: 264 seconds)
2021-06-01 04:10:48 → cheater joins (~Username@user/cheater)
2021-06-01 04:12:35 × evolve75` quits (~user@c-76-20-160-130.hsd1.mi.comcast.net) (Ping timeout: 268 seconds)
2021-06-01 04:18:18 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-01 04:18:18 × ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-06-01 04:18:37 → ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-06-01 04:22:10 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-01 04:29:54 → lbseale_ joins (~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-06-01 04:33:17 × lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-06-01 04:35:22 → wonko joins (~wjc@62.115.229.50)
2021-06-01 04:38:22 <tonyday> sm: yes, you just have a few differences; compile not ghci, an ability to record a "performance" in the comments (eg "O(N^2): 12"), and an ability to trigger an error/warning if there is a regression.
2021-06-01 04:38:27 → dhu1337 joins (~dhu1337@user/dhu1337)
2021-06-01 04:38:34 × ram535 quits (~Guest86@189.197.116.11) (Quit: Client closed)
2021-06-01 04:39:43 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 268 seconds)
2021-06-01 04:40:27 <tonyday> I think cabal-extras can help with all of that
2021-06-01 04:43:43 <tonyday> And we would be able to check for regressions in CI and all that
2021-06-01 04:45:10 → mustafa joins (~mustafa@rockylinux/releng/mstg)
2021-06-01 04:46:55 → v01d4lph4 joins (~v01d4lph4@122.160.65.250)
2021-06-01 04:46:55 × v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host)
2021-06-01 04:46:55 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-01 04:48:09 × dhu1337 quits (~dhu1337@user/dhu1337) (Quit: dhu1337)
2021-06-01 04:48:41 o is now known as niko
2021-06-01 04:49:52 × mustafa quits (~mustafa@rockylinux/releng/mstg) (Ping timeout: 244 seconds)
2021-06-01 04:49:55 → lbseale__ joins (~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-06-01 04:53:24 × lbseale_ quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds)
2021-06-01 04:54:01 → o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com)
2021-06-01 04:56:11 × gambpang quits (~ian@207.181.230.156) (Remote host closed the connection)
2021-06-01 04:56:39 × hylisper quits (~yaaic@111.119.208.67) (Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org)
2021-06-01 04:57:20 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-06-01 04:58:29 × o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds)
2021-06-01 05:02:16 × img quits (~img@2405:6580:b1c0:2500:43d1:94bf:adb9:8dcf) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-01 05:04:07 lep is now known as test
2021-06-01 05:04:07 test is now known as lep
2021-06-01 05:04:49 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-01 05:10:53 → img joins (~img@2405:6580:b1c0:2500:1e68:3732:5209:e4c0)
2021-06-01 05:13:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-01 05:17:00 → hololeap joins (hololeap@user/hololeap)
2021-06-01 05:17:16 <hololeap> hi, I'm looking for some help with this: http://sprunge.us/rOOfCr
2021-06-01 05:17:57 <hololeap> I set up a GADT rose tree that carries a couple types for each node in a type-level rose tree
2021-06-01 05:18:41 <hololeap> at some point I want to forget this extra type-level info and convert it to a regular Tree, but I'm not sure how to do this
2021-06-01 05:19:26 <dy> I think that's a forgetful functor... but I can't remember :^)
2021-06-01 05:19:38 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-01 05:21:08 <hololeap> I thought I would need to do something like: fromFoo :: (forall t. FooItem t -> x) -> (forall ts. Foo ts) -> x
2021-06-01 05:22:38 × Athas quits (athas@2a01:7c8:aaac:1cf:885f:6d75:b55f:82a8) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-01 05:22:54 → Athas joins (athas@2a01:7c8:aaac:1cf:7de4:bc5c:7241:d6d9)
2021-06-01 05:24:55 → vicfred_ joins (~vicfred@static-198-54-131-72.cust.tzulo.com)
2021-06-01 05:25:30 × falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-06-01 05:27:53 × schuelermine quits (~schuelerm@user/schuelermine) (Ping timeout: 264 seconds)
2021-06-01 05:27:53 → chisui joins (~chisui@200116b866065d0037bb6f0935c2f6da.dip.versatel-1u1.de)
2021-06-01 05:28:22 × vicfred quits (~vicfred@user/vicfred) (Ping timeout: 264 seconds)
2021-06-01 05:30:11 <hololeap> I did just find a typo, but it seems like no matter what I do here I end up with errors like this: Could not deduce: ts2 ~ ts from the context: ts1 ~ 'Node '(r, a) ts
2021-06-01 05:30:18 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-06-01 05:30:50 × vicfred_ quits (~vicfred@static-198-54-131-72.cust.tzulo.com) (Quit: Leaving)
2021-06-01 05:34:15 → pe200012_ joins (~pe200012@120.236.162.14)
2021-06-01 05:34:30 × pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 264 seconds)
2021-06-01 05:34:36 × shiraeeshi quits (~shiraeesh@109.166.59.30) (Ping timeout: 268 seconds)
2021-06-01 05:35:17 × chisui quits (~chisui@200116b866065d0037bb6f0935c2f6da.dip.versatel-1u1.de) (Quit: Client closed)
2021-06-01 05:36:22 × xff0x_ quits (~xff0x@2001:1a81:52ca:4f00:908c:1e58:afd0:4053) (Ping timeout: 244 seconds)
2021-06-01 05:36:55 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-06-01 05:37:18 → xff0x_ joins (~xff0x@2001:1a81:52ca:4f00:5ed9:a747:2841:c1b7)
2021-06-01 05:39:27 → mustafa joins (~mustafa@rockylinux/releng/mstg)
2021-06-01 05:40:48 → michalz joins (~user@185.246.204.45)
2021-06-01 05:41:51 → chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5)
←Prev  Next→
Page 1 .. 215 216 217 218 219 220 221 222 223 224 225 .. 17971

All times are in UTC.