Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 .. 5022
— 502,152 events total
2020-11-16 21:55:29 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-16 21:55:36 × DTZUZU quits (~DTZUZU@207.81.171.116) (Remote host closed the connection)
2020-11-16 21:55:52 → DTZUZU joins (~DTZUZU@207.81.171.116)
2020-11-16 21:56:08 → ebf0 joins (~ebf0@184.75.221.35)
2020-11-16 21:56:44 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-16 21:59:44 → borne joins (~fritjof@200116b864b5430099e934deb93b1409.dip.versatel-1u1.de)
2020-11-16 22:00:32 × jaspervdj quits (~jaspervdj@213.55.241.138) (Quit: leaving)
2020-11-16 22:00:33 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-16 22:03:46 → nagisa joins (~Android@198-84-255-4.cpe.teksavvy.com)
2020-11-16 22:03:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-16 22:06:24 → Feuermagier_ joins (~Feuermagi@213.178.26.41)
2020-11-16 22:07:15 × Lord_of_Life quits (~Lord@46.217.220.81) (Excess Flood)
2020-11-16 22:07:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-16 22:07:54 × Feuermagier quits (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer)
2020-11-16 22:08:37 → wildtrees joins (wildtrees@gateway/vpn/protonvpn/wildtrees)
2020-11-16 22:10:08 → Lord_of_Life joins (~Lord@46.217.220.81)
2020-11-16 22:10:08 × Lord_of_Life quits (~Lord@46.217.220.81) (Changing host)
2020-11-16 22:10:08 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-11-16 22:10:55 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-16 22:12:28 <monochrom> wz1000: Thanks for the synthetic topology link, I also get interested.
2020-11-16 22:14:32 → rprije joins (~rprije@124.148.131.132)
2020-11-16 22:14:40 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-16 22:16:15 <wz1000> monochrom: to model everything with the full expressive power you also need unamb, which is implemented using unsafePerformIO: https://hackage.haskell.org/package/unamb-0.2.7/docs/Data-Unamb.html
2020-11-16 22:17:04 <ski> @hackage lvish
2020-11-16 22:17:04 <lambdabot> https://hackage.haskell.org/package/lvish
2020-11-16 22:17:20 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-16 22:17:52 <ski> (Escardó's work's interesting, yes)
2020-11-16 22:21:23 × LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-16 22:21:41 → LKoen joins (~LKoen@9.253.88.92.rev.sfr.net)
2020-11-16 22:24:45 ski . o O ( "Abstract Stone Duality" by Paul Taylor at <https://www.paultaylor.eu/~pt/ASD/> )
2020-11-16 22:27:37 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 256 seconds)
2020-11-16 22:30:13 × alp quits (~alp@2a01:e0a:58b:4920:d8db:f457:3fb6:53df) (Ping timeout: 272 seconds)
2020-11-16 22:30:58 × Yumasi quits (~guillaume@static-176-175-104-214.ftth.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-11-16 22:31:29 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-16 22:36:28 × brettgilio quits (~brettgili@brettgilio.com) (Remote host closed the connection)
2020-11-16 22:36:32 × joeytwiddle quits (~joeytwidd@162.243.115.31) (Quit: ZNC - http://znc.in)
2020-11-16 22:36:45 × Cathy quits (~Cathy@unaffiliated/cathy) (Ping timeout: 240 seconds)
2020-11-16 22:36:47 × sulu quits (~sulu@unaffiliated/sulu) (Quit: No Ping reply in 180 seconds.)
2020-11-16 22:36:52 × nagisa quits (~Android@198-84-255-4.cpe.teksavvy.com) (Quit: -a- IRC for Android 2.1.58)
2020-11-16 22:37:15 → joeytwiddle joins (~joeytwidd@162.243.115.31)
2020-11-16 22:37:45 × luigy quits (~luigy@104.236.106.229) (Ping timeout: 240 seconds)
2020-11-16 22:38:03 → sulu joins (~sulu@unaffiliated/sulu)
2020-11-16 22:38:19 → luigy joins (~luigy@104.236.106.229)
2020-11-16 22:38:25 × peutri quits (~peutri@ns317027.ip-94-23-46.eu) (Ping timeout: 240 seconds)
2020-11-16 22:38:33 → peutri joins (~peutri@ns317027.ip-94-23-46.eu)
2020-11-16 22:38:38 → Cathy joins (~Cathy@unaffiliated/cathy)
2020-11-16 22:38:52 → brettgilio joins (~brettgili@brettgilio.com)
2020-11-16 22:44:12 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-16 22:46:23 → inkbottle joins (~inkbottle@aaubervilliers-654-1-89-20.w86-212.abo.wanadoo.fr)
2020-11-16 22:47:22 × zebrag quits (~inkbottle@aaubervilliers-654-1-73-14.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-11-16 22:47:58 → ystael joins (~ystael@209.6.50.55)
2020-11-16 22:48:31 inkbottle is now known as zebrag
2020-11-16 22:51:43 → TxBiGuy joins (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net)
2020-11-16 22:51:49 × TxBiGuy quits (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection)
2020-11-16 22:54:17 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-16 22:56:07 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-16 22:56:33 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-16 22:56:59 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-16 22:57:01 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-11-16 22:57:01 × star_cloud quits (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-16 22:57:19 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-11-16 22:57:31 × conal quits (~conal@66.115.176.210) (Quit: Computer has gone to sleep.)
2020-11-16 22:58:17 × [exa] quits (exa@srv3.blesmrt.net) (Changing host)
2020-11-16 22:58:17 → [exa] joins (exa@unaffiliated/exa/x-5381537)
2020-11-16 22:58:25 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-16 22:59:25 <sshine> hm. apparently the 'data-fix' package doesn't have a 'para'.
2020-11-16 23:00:14 × zoran119 quits (~zoran119@124-169-22-52.dyn.iinet.net.au) (Read error: Connection reset by peer)
2020-11-16 23:00:29 × LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-16 23:00:52 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-16 23:00:52 <sshine> before the package gave its combinators funny new names, it only had 'cata', 'ana' and 'hylo'.
2020-11-16 23:01:16 → TxBiGuy joins (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net)
2020-11-16 23:01:56 <sshine> I'm wondering if I should just ditch 'data-fix' and go back to a regular, recursive ADT, or try 'recursion-schemes'.
2020-11-16 23:02:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-16 23:02:49 × TxBiGuy quits (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net) (Client Quit)
2020-11-16 23:02:52 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-16 23:03:16 → TxBiGuy joins (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net)
2020-11-16 23:03:28 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-16 23:03:30 <sshine> another peculiar thing is that if I only want to match one level deep, and not recursively, it seems that I need to do 'Fix.foldFix $ \case { Foo{} -> ...; Bar{} -> ... }' and I suppose that since I'm not referring to the recursive parameters of Foo and Bar, they are lazily discarded?
2020-11-16 23:04:10 × TxBiGuy quits (~coffee2th@172-125-238-23.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection)
2020-11-16 23:04:47 → conal joins (~conal@66.115.176.210)
2020-11-16 23:05:03 × ebf0 quits (~ebf0@184.75.221.35) (Ping timeout: 272 seconds)
2020-11-16 23:05:56 × fendor quits (~fendor@178.115.131.226.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-16 23:09:37 → pavonia_ joins (~user@unaffiliated/siracusa)
2020-11-16 23:09:49 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-16 23:10:38 × kritzefitz_ quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-16 23:11:10 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 246 seconds)
2020-11-16 23:11:37 × pavonia quits (~user@unaffiliated/siracusa) (Ping timeout: 264 seconds)
2020-11-16 23:11:38 pavonia_ is now known as pavonia
2020-11-16 23:15:50 → pavonia_ joins (~user@unaffiliated/siracusa)
2020-11-16 23:17:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-16 23:18:02 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-16 23:18:23 → christo joins (~chris@81.96.113.213)
2020-11-16 23:18:34 × pavonia quits (~user@unaffiliated/siracusa) (Ping timeout: 260 seconds)
2020-11-16 23:18:45 pavonia_ is now known as pavonia
2020-11-16 23:19:37 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds)
2020-11-16 23:22:56 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad)
2020-11-16 23:23:31 hackage nix-tree 0.1.2.0 - Interactively browse a Nix store paths dependencies https://hackage.haskell.org/package/nix-tree-0.1.2.0 (utdemir)
2020-11-16 23:24:23 <dolio> Was there some recent blog post somewhere hyping up recursion schemes or something?
2020-11-16 23:24:39 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-16 23:26:05 <dolio> Recursion schemes are the things people working on dependent type theory try very hard to avoid having to use. :þ
←Prev  Next→
Page 1 .. 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 .. 5022

All times are in UTC.