Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 905 906 907 908 909 910 911 912 913 914 915 .. 5022
— 502,152 events total
2020-10-28 01:40:08 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-28 01:40:40 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-28 01:42:35 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving)
2020-10-28 01:42:38 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-10-28 01:44:15 → RecursiveG joins (~recursive@li810-210.members.linode.com)
2020-10-28 01:45:29 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-28 01:45:53 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-28 01:47:12 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2020-10-28 01:47:44 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-28 01:51:26 × polyrain_ quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 01:51:41 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-28 01:52:04 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2020-10-28 01:56:04 × firstlove quits (~firstlove@58.246.122.242) (Remote host closed the connection)
2020-10-28 01:58:17 → polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c)
2020-10-28 01:58:49 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-28 01:59:43 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-28 02:01:47 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-28 02:01:48 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-28 02:01:48 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-28 02:01:48 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-28 02:02:19 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 02:04:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-28 02:06:05 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 02:07:03 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f)
2020-10-28 02:08:43 × jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 260 seconds)
2020-10-28 02:09:55 → obihann joins (~jhann@156.34.160.69)
2020-10-28 02:10:39 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-28 02:10:58 × st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 246 seconds)
2020-10-28 02:11:10 → vacm joins (~vacwm@70.23.92.191)
2020-10-28 02:11:30 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-28 02:12:22 × oisdk quits (~oisdk@2001:bb6:3329:d100:4d5c:1d2c:a660:df1) (Quit: oisdk)
2020-10-28 02:12:22 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 02:14:44 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 240 seconds)
2020-10-28 02:15:36 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-10-28 02:18:54 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 265 seconds)
2020-10-28 02:18:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-28 02:19:58 hackage agda-unused 0.1.0 - Check for unused code in an Agda project. https://hackage.haskell.org/package/agda-unused-0.1.0 (msuperdock)
2020-10-28 02:23:24 × Bill--Door quits (550112fd@253.18.1.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection)
2020-10-28 02:24:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-28 02:24:29 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-28 02:26:21 → darjeeling_ joins (~darjeelin@112.16.171.8)
2020-10-28 02:26:56 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-28 02:26:56 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-28 02:26:56 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-28 02:27:45 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-28 02:30:28 hackage barbies-th 0.1.7 - Create strippable HKD via TH https://hackage.haskell.org/package/barbies-th-0.1.7 (FumiakiKinoshita)
2020-10-28 02:31:25 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2020-10-28 02:31:45 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 02:34:24 × darjeeling_ quits (~darjeelin@112.16.171.8) (Ping timeout: 240 seconds)
2020-10-28 02:37:58 → mbomba joins (~mbomba@142.114.9.241)
2020-10-28 02:40:38 → toorevitimirp joins (~tooreviti@117.182.180.36)
2020-10-28 02:42:41 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-28 02:42:42 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-10-28 02:43:19 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-28 02:45:01 → jlamothe joins (~jlamothe@198.251.55.207)
2020-10-28 02:46:37 × acidjnk_new quits (~acidjnk@p200300d0c7237845ecd50ba376a38a54.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-28 02:51:24 × jakob_ quits (~textual@p57b0eae0.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-10-28 02:52:41 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-28 02:53:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-28 02:57:12 → sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-10-28 02:58:53 × ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Remote host closed the connection)
2020-10-28 02:59:27 × xff0x quits (~fox@2001:1a81:5219:2300:29ba:4988:f159:6286) (Ping timeout: 260 seconds)
2020-10-28 03:00:01 × igustin quits (~igustin@185.204.1.185) ()
2020-10-28 03:00:28 → ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-10-28 03:01:17 → xff0x joins (~fox@2001:1a81:5251:7800:1dbd:1ac6:2640:4fc2)
2020-10-28 03:04:04 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-28 03:07:37 × mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-28 03:09:24 → mbomba joins (~mbomba@142.114.9.241)
2020-10-28 03:10:42 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-28 03:12:51 <Kolkrabe> What are "strippable HKDs"? (I presume it has nothing to do with the currency of Hong Kong)
2020-10-28 03:13:03 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-28 03:13:18 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (tepper.freenode.net (Nickname regained by services)))
2020-10-28 03:13:18 <Axman6> higher kinded data
2020-10-28 03:13:23 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-28 03:14:17 <Axman6> I can't renenber what strippable means in this context, though it may be that when your functor is Identity there's no wrapping of the fields in identity (but maybe that was another package which did that)
2020-10-28 03:16:59 <Kolkrabe> Is it like wrapping fields of a datatype into another datatype?
2020-10-28 03:17:42 → polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c)
2020-10-28 03:17:56 × Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Quit: WeeChat 2.3)
2020-10-28 03:18:19 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2020-10-28 03:18:31 <Kolkrabe> I'm looking at the example at http://hackage.haskell.org/package/barbies-1.1.3.0/docs/Data-Barbie-Bare.html
2020-10-28 03:19:21 <Axman6> basically - instead of defining your types like Data Foo = Foo { foo :: Int, bar :: Bool } you use data Foo f = Foo {foo :: f Int, bar :: f Bool}. Then a lot of nice things fall out of doing that - Foo Identity is basically the original type, Foo (Const String) lets you associate a string with every field, Foo (Either String) might be the result of parsing a Foo where you can collect errors for each field, and if all fields were Rights you pa
2020-10-28 03:19:21 <Axman6> rsed it successfully
2020-10-28 03:20:53 × akad quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 256 seconds)
2020-10-28 03:20:58 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-28 03:21:27 × solonarv quits (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-28 03:21:28 <Axman6> one really nice thing you can do is the transformation from Vector (Foo Identity) to Foo Vector - a.k.a the vector of structs to struct of vectors transformation
2020-10-28 03:22:12 × eruditass quits (uid248673@gateway/web/irccloud.com/x-upuflkjgqfommgrg) (Ping timeout: 260 seconds)
2020-10-28 03:22:12 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-vgpjckyigmgjdwtk) (Ping timeout: 260 seconds)
2020-10-28 03:22:12 × rdivyanshu quits (sid322626@gateway/web/irccloud.com/x-otfoczynxqkuwcfm) (Ping timeout: 260 seconds)
2020-10-28 03:22:17 → plutoniix joins (~q@175.176.222.7)
2020-10-28 03:22:25 × alanz quits (sid110616@gateway/web/irccloud.com/x-hhuchzrtvkxyanvu) (Ping timeout: 240 seconds)
2020-10-28 03:22:28 × Cir0X quits (sid221743@gateway/web/irccloud.com/x-sfiedvvxkgjnutkr) (Read error: Connection reset by peer)
2020-10-28 03:22:29 × AndreasK quits (sid320732@gateway/web/irccloud.com/x-rxqfxdsbssdfwfxd) (Read error: Connection reset by peer)
2020-10-28 03:22:29 × bradparker quits (sid262931@gateway/web/irccloud.com/x-kzdpaybrmmwnrdgh) (Read error: Connection reset by peer)
2020-10-28 03:22:29 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-hdepxcnffbqdlwvu) (Read error: Connection reset by peer)
2020-10-28 03:22:30 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-cvawhvfjdshsscgr) (Read error: Connection reset by peer)
2020-10-28 03:22:30 × cvlad- quits (sid203065@gateway/web/irccloud.com/x-efqqsgkcshqvhkds) (Read error: Connection reset by peer)
2020-10-28 03:22:30 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-prbnvikrvoskgqwb) (Read error: Connection reset by peer)
2020-10-28 03:22:32 × jared-w quits (uid405292@gateway/web/irccloud.com/x-hoqehiufvhduodif) (Ping timeout: 260 seconds)
2020-10-28 03:22:32 × cemerick quits (sid54985@gateway/web/irccloud.com/x-gqtgtcmcxeexxtnf) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 905 906 907 908 909 910 911 912 913 914 915 .. 5022

All times are in UTC.