Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 670 671 672 673 674 675 676 677 678 679 680 .. 18015
— 1,801,407 events total
2021-06-27 11:00:05 Meh is now known as Guest3668
2021-06-27 11:00:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-27 11:00:24 × Guest3668 quits (~Meh@202.14.120.46) (Client Quit)
2021-06-27 11:07:27 × hendursa1 quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-06-27 11:09:21 <int-e> zzz: Well, the safety is ensured by the compiler. It's a matter of perspective. (One of my favorite definitions from security is "a trusted system is a system that can break security")
2021-06-27 11:10:09 → hendursa1 joins (~weechat@user/hendursaga)
2021-06-27 11:12:44 × Topsi quits (~Tobias@dyndsl-037-138-064-045.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-06-27 11:13:14 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-27 11:14:06 × mastarija quits (~mastarija@31.217.22.187) (Ping timeout: 272 seconds)
2021-06-27 11:14:11 <qrpnxz> what does it mean that there's a tilde before a tuple in parameter lists? e.g. swap ~(x, y) = (y, x)
2021-06-27 11:17:02 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-27 11:18:35 → img joins (~img@user/img)
2021-06-27 11:18:56 <Rembane> qrpnxz: It's a lazy pattern match, with all it entails. :)
2021-06-27 11:19:18 <qrpnxz> hmm, ok. i guess that term is easier to google
2021-06-27 11:19:32 × jneira_ quits (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2021-06-27 11:19:40 <Rembane> qrpnxz: There's a Haskell wiki page about it: https://wiki.haskell.org/Lazy_pattern_match
2021-06-27 11:20:46 <qrpnxz> mm, nice
2021-06-27 11:23:01 × matsurago quits (~matsurago@nttkyo1534237.tkyo.nt.ngn.ppp.infoweb.ne.jp) (Quit: Leaving)
2021-06-27 11:28:36 → dunkeln joins (~dunkeln@188.71.193.140)
2021-06-27 11:33:23 → mastarija joins (~mastarija@31.217.22.187)
2021-06-27 11:34:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-27 11:46:23 → derelict joins (~derelict@user/derelict)
2021-06-27 11:48:35 × Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Remote host closed the connection)
2021-06-27 11:48:50 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-06-27 11:53:08 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Ping timeout: 272 seconds)
2021-06-27 11:55:52 → tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-27 12:03:34 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a)
2021-06-27 12:06:03 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds)
2021-06-27 12:08:35 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a) (Ping timeout: 272 seconds)
2021-06-27 12:11:01 <zzz> qrpnxz: "irrefutable patterns"
2021-06-27 12:13:33 × Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 268 seconds)
2021-06-27 12:17:31 × Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2021-06-27 12:18:27 → sedeki joins (~textual@user/sedeki)
2021-06-27 12:19:50 × cross quits (~cross@spitfire.i.gajendra.net) (Quit: leaving)
2021-06-27 12:20:28 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-06-27 12:22:22 × sedeki quits (~textual@user/sedeki) (Client Quit)
2021-06-27 12:23:25 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds)
2021-06-27 12:23:32 → cross joins (~cross@spitfire.i.gajendra.net)
2021-06-27 12:25:23 × mastarija quits (~mastarija@31.217.22.187) (Quit: Leaving)
2021-06-27 12:25:53 → mastarija joins (~mastarija@31.217.22.187)
2021-06-27 12:25:58 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
2021-06-27 12:27:21 × mastarija quits (~mastarija@31.217.22.187) (Client Quit)
2021-06-27 12:28:55 → Morrow joins (~MorrowM_@147.161.9.139)
2021-06-27 12:31:04 × Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-06-27 12:34:56 × dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds)
2021-06-27 12:35:12 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-27 12:35:13 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-27 12:36:08 × cross quits (~cross@spitfire.i.gajendra.net) (Quit: leaving)
2021-06-27 12:37:15 → cross joins (~cross@spitfire.i.gajendra.net)
2021-06-27 12:37:39 → dunkeln joins (~dunkeln@188.71.193.140)
2021-06-27 12:38:38 × cross quits (~cross@spitfire.i.gajendra.net) (Client Quit)
2021-06-27 12:38:57 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-27 12:39:38 → cross joins (~cross@spitfire.i.gajendra.net)
2021-06-27 12:40:14 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-27 12:54:29 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5)
2021-06-27 12:54:49 × acidjnk quits (~acidjnk@p200300d0c72b9515dd29d5fa98a40466.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-06-27 12:56:57 → mastarija joins (~mastarija@31.217.22.187)
2021-06-27 12:57:14 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-06-27 13:01:07 → Nahra joins (~user@static.161.95.99.88.clients.your-server.de)
2021-06-27 13:01:32 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:413d:a4c8:b301:6764) (Ping timeout: 272 seconds)
2021-06-27 13:01:59 → Guest33 joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net)
2021-06-27 13:07:19 → hexfive joins (~eric@50.35.83.177)
2021-06-27 13:12:28 × hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0)
2021-06-27 13:15:15 → neo joins (~neo3@cpe-292712.ip.primehome.com)
2021-06-27 13:17:20 × Morrow quits (~MorrowM_@147.161.9.139) (Ping timeout: 268 seconds)
2021-06-27 13:19:09 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-27 13:19:33 × laguneucl quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 244 seconds)
2021-06-27 13:30:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-27 13:30:57 → machinedgod joins (~machinedg@24.105.81.50)
2021-06-27 13:32:54 × PotatoGim_ quits (sid99505@id-99505.tooting.irccloud.com) ()
2021-06-27 13:33:21 → Deide joins (~Deide@user/deide)
2021-06-27 13:33:29 → PotatoGim joins (sid99505@id-99505.tooting.irccloud.com)
2021-06-27 13:34:35 × neo quits (~neo3@cpe-292712.ip.primehome.com) (Quit: Leaving)
2021-06-27 13:36:07 → neo joins (~neo3@cpe-292712.ip.primehome.com)
2021-06-27 13:44:31 × chronon quits (~chronon@user/chronon) (Quit: leaving)
2021-06-27 13:44:55 → chronon joins (~chronon@user/chronon)
2021-06-27 13:47:15 → acidjnk joins (~acidjnk@p200300d0c72b95464c5b890fdc644af0.dip0.t-ipconnect.de)
2021-06-27 13:48:11 → awth13` joins (~user@185.209.196.143)
2021-06-27 13:48:25 × awth13` quits (~user@185.209.196.143) (Remote host closed the connection)
2021-06-27 13:48:35 × awth13 quits (~user@user/awth13) (Read error: Connection reset by peer)
2021-06-27 13:48:47 → awth13` joins (~user@185.209.196.143)
2021-06-27 13:49:29 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-06-27 13:49:57 awth13` is now known as awth13
2021-06-27 13:50:02 × awth13 quits (~user@185.209.196.143) (Client Quit)
2021-06-27 13:50:23 → awth13 joins (~user@user/awth13)
2021-06-27 13:50:29 → stevenxl joins (~stevenlei@174.128.182.100)
2021-06-27 13:51:36 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-27 13:57:26 → ph88^ joins (~ph88@2a02:8109:9e00:7e5c:6024:1b36:f949:e91)
2021-06-27 14:03:51 → notzmv joins (~zmv@user/notzmv)
2021-06-27 14:04:56 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a)
2021-06-27 14:05:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-27 14:09:09 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a) (Ping timeout: 250 seconds)
2021-06-27 14:09:29 × dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 268 seconds)
2021-06-27 14:09:44 → dunkeln joins (~dunkeln@188.71.193.140)
2021-06-27 14:14:59 × fendor quits (~fendor@178.115.128.40.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-06-27 14:15:21 → norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-06-27 14:17:13 kaol_ is now known as kaol
2021-06-27 14:24:41 → teaSlurper joins (~chris@81.96.113.213)
2021-06-27 14:26:39 → chris_ joins (~chris@81.96.113.213)
2021-06-27 14:26:39 × teaSlurper quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 670 671 672 673 674 675 676 677 678 679 680 .. 18015

All times are in UTC.