Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 .. 5022
— 502,152 events total
2021-04-12 04:20:27 × oleks quits (~oleks@188.166.34.97) (*.net *.split)
2021-04-12 04:20:27 × dilinger_ quits (~dilinger@spindle.queued.net) (*.net *.split)
2021-04-12 04:20:27 electrostat_ is now known as electrostat
2021-04-12 04:20:40 <ski> (the OO way of using existentials consists of opening up a package of a state, and methods. doing some operation on the state, using methods. in case we get a new state back, we repackage it up again with the methods. the ADT way, starts by opening the existential at the beginning, and then passing around the raw states directly, not repackaging. this allows such "binary operations", like merging)
2021-04-12 04:21:03 × outerpassage_ quits (outerpassa@2600:3c01::f03c:92ff:fed1:4643) (Quit: quitting)
2021-04-12 04:21:17 → outerpassage joins (~outerpass@li1196-30.members.linode.com)
2021-04-12 04:21:25 → Papa joins (~papa@unaffiliated/papa)
2021-04-12 04:22:14 → gambpang joins (~gambpang@unaffiliated/gambpang)
2021-04-12 04:22:22 → DevTurks[m] joins (turkdevops@gateway/shell/matrix.org/x-ijvxwxyebgqvrzsn)
2021-04-12 04:22:33 <ski> (however, my naming `QueueOps a' above, and that i labelled the `q' part of the triple as "empty" rather than as "current queue state", suggested that i was thinking of it in the ADT way. however, the transformation from `exists' to `nu' above that i showed really makes sense for the OO usage of existentials, not the ADT, so i guess i ought to have renamed `QueueOps' to `Queue' ..)
2021-04-12 04:23:09 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-04-12 04:23:25 → anderson joins (~ande@159.65.95.130)
2021-04-12 04:26:22 → earthy_ joins (~arthurvl@deban2.xs4all.space)
2021-04-12 04:27:49 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-04-12 04:28:05 × blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-12 04:28:30 → blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2021-04-12 04:30:11 × swater quits (bouhier200@perso.iiens.net) (Ping timeout: 240 seconds)
2021-04-12 04:30:12 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-12 04:30:38 → Tario joins (~Tario@201.192.165.173)
2021-04-12 04:31:45 × snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-04-12 04:32:12 → snowflake joins (~snowflake@gateway/tor-sasl/snowflake)
2021-04-12 04:34:36 → PatrickRobotham_ joins (sid18270@gateway/web/irccloud.com/x-dsytamzyvqvdenoe)
2021-04-12 04:34:38 → norsxa joins (uid494793@gateway/web/irccloud.com/x-qcpmzqxcuhseltht)
2021-04-12 04:34:42 → scav joins (sid309693@gateway/web/irccloud.com/x-zpwaikoxdaqjtkjd)
2021-04-12 04:34:43 → angerman joins (sid209936@gateway/web/irccloud.com/x-vwzrxwwqpznmvfzd)
2021-04-12 04:34:44 → cawfee joins (chiya@2406:3003:2077:2341::babe)
2021-04-12 04:34:54 → urdh joins (~urdh@unaffiliated/urdh)
2021-04-12 04:34:56 → sclv joins (sid39734@haskell/developer/sclv)
2021-04-12 04:35:18 → amatecha____ joins (sid10006@gateway/web/irccloud.com/x-gvwvasnyguqtijeo)
2021-04-12 04:35:26 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-12 04:37:10 → Poyo[m] joins (stikynotha@gateway/shell/matrix.org/x-uiqhsetlapuwwlht)
2021-04-12 04:37:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-12 04:38:30 → pnotequalnp[m] joins (pnotequaln@gateway/shell/matrix.org/x-ilonrmhzsbjadrsm)
2021-04-12 04:38:34 → amerocu[m] joins (amerocumat@gateway/shell/matrix.org/x-qzhlcptahjtnfoav)
2021-04-12 04:39:13 → anon1891[m] joins (anon1891ma@gateway/shell/matrix.org/x-luqmyjielnldrpsd)
2021-04-12 04:39:13 → VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-uozhdqikwobvzrfg)
2021-04-12 04:40:45 → mly joins (mlydisenco@gateway/shell/matrix.org/x-hffzasvjgrikcwzr)
2021-04-12 04:41:13 → jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-letamvhzjtbwxmeu)
2021-04-12 04:41:25 → beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-lsjnjwfsaaqmayss)
2021-04-12 04:41:34 → kadoban joins (kadobanemp@gateway/shell/matrix.org/x-zvjltlxvjsvasrie)
2021-04-12 04:41:41 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-12 04:41:46 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-04-12 04:42:06 → heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-bjzlaxrwotuujapr)
2021-04-12 04:45:53 × Newbievarine quits (1829ec3e@24.41.236.62) (Quit: Connection closed)
2021-04-12 04:46:06 → SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-sxxrzckrtiulpjwg)
2021-04-12 04:46:57 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
2021-04-12 04:48:29 × gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection)
2021-04-12 04:48:54 → gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
2021-04-12 04:52:43 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
2021-04-12 04:53:08 × myShoggoth quits (~myShoggot@75.164.73.93) (Remote host closed the connection)
2021-04-12 04:53:36 → myShoggoth joins (~myShoggot@75.164.73.93)
2021-04-12 04:55:05 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds)
2021-04-12 04:57:45 × vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-04-12 05:00:10 → Klumben joins (Nsaiswatch@gateway/shell/panicbnc/x-igfvivsmqpanwyqa)
2021-04-12 05:03:48 → v01d4lph4 joins (~v01d4lph4@223.177.186.2)
2021-04-12 05:06:59 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-12 05:10:14 × kiweun quits (~kiweun@2607:fea8:2a62:9600:4e:3fe1:fdb1:102) (Remote host closed the connection)
2021-04-12 05:15:17 → howdoi joins (uid224@gateway/web/irccloud.com/x-xnusfecbnfnfbkmf)
2021-04-12 05:18:58 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-12 05:21:51 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
2021-04-12 05:23:33 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-04-12 05:26:17 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
2021-04-12 05:37:15 → anandprabhu joins (uid495588@gateway/web/irccloud.com/x-eezubqkxedpeqasj)
2021-04-12 05:43:18 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds)
2021-04-12 05:44:39 × berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-04-12 05:45:33 → berberman joins (~berberman@unaffiliated/berberman)
2021-04-12 05:55:09 × GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-12 05:55:28 → GZJ0X_ joins (~gzj@unaffiliated/gzj)
2021-04-12 05:59:11 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-04-12 06:01:33 × snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-04-12 06:01:55 × kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Remote host closed the connection)
2021-04-12 06:02:05 × Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-xsxkgiwziqlucamx) (Ping timeout: 258 seconds)
2021-04-12 06:02:13 × xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-ejzqrdqgatevcaqk) (Ping timeout: 246 seconds)
2021-04-12 06:02:41 → Moyst_ joins (~moyst@212-149-213-144.bb.dnainternet.fi)
2021-04-12 06:02:51 × Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 258 seconds)
2021-04-12 06:05:10 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-04-12 06:10:03 → Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-04-12 06:10:12 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer)
2021-04-12 06:10:31 → kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2021-04-12 06:11:05 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-04-12 06:11:22 → snowflake joins (~snowflake@gateway/tor-sasl/snowflake)
2021-04-12 06:11:49 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-04-12 06:12:03 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) (Ping timeout: 260 seconds)
2021-04-12 06:12:03 × hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) (Ping timeout: 260 seconds)
2021-04-12 06:13:25 × Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds)
2021-04-12 06:18:22 → kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-04-12 06:19:23 → Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-04-12 06:21:27 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-04-12 06:22:13 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-12 06:24:13 → hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:803f:da32:c6d7:e902)
2021-04-12 06:24:23 → rnat2 joins (uid73555@gateway/web/irccloud.com/x-xyybgrwhpsswrqnb)
2021-04-12 06:24:24 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:803f:da32:c6d7:e902)
2021-04-12 06:25:04 × snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-04-12 06:25:31 → snowflake joins (~snowflake@gateway/tor-sasl/snowflake)
2021-04-12 06:26:53 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-04-12 06:28:14 → jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net)
2021-04-12 06:32:54 → srk joins (~sorki@unaffiliated/srk)
2021-04-12 06:33:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-12 06:34:08 × GZJ0X_ quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-04-12 06:34:28 → GZJ0X_ joins (~gzj@unaffiliated/gzj)
←Prev  Next→
Page 1 .. 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 .. 5022

All times are in UTC.