Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 .. 5022
— 502,152 events total
2020-11-09 18:53:48 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-09 18:54:35 × kuribas quits (~user@ptr-25vy0i8zs545blh2070.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-09 18:56:05 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-09 18:56:14 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 18:56:27 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-09 18:58:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 18:58:33 × mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-11-09 18:58:45 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 18:59:02 × ridcully quits (~ridcully@p57b5259e.dip0.t-ipconnect.de) (Quit: cleanup)
2020-11-09 18:59:57 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-09 19:00:04 → ridcully joins (~ridcully@p57b5259e.dip0.t-ipconnect.de)
2020-11-09 19:00:09 <merijn> hmm, vector has no foldMap?
2020-11-09 19:01:44 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-09 19:02:13 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-09 19:02:13 <tomsmeding> bqv: be happy you're using haskell
2020-11-09 19:02:26 × alp quits (~alp@2a01:e0a:58b:4920:45f9:8edd:2bfa:dd05) (Ping timeout: 264 seconds)
2020-11-09 19:02:37 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-09 19:02:53 <bqv> i am, i just worry that i use haskell as an excuse to refactor more than write actual code
2020-11-09 19:03:00 → jakob_ joins (~textual@p200300f49f16220061868217aabcc5ae.dip0.t-ipconnect.de)
2020-11-09 19:03:30 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-11-09 19:03:32 → conal joins (~conal@64.71.133.70)
2020-11-09 19:03:43 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-09 19:03:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 19:04:10 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2020-11-09 19:04:36 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-09 19:06:52 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Ping timeout: 246 seconds)
2020-11-09 19:07:02 texasmyn_ is now known as texasmynsted
2020-11-09 19:07:07 → mmohammadi9812 joins (~mmohammad@5.238.183.63)
2020-11-09 19:07:24 fendor_ is now known as fendor
2020-11-09 19:07:32 <fendor> maerwald, my gf is a fan of ghcup, great work!
2020-11-09 19:07:36 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 19:08:00 hackage cachix 0.5.1 - Command line client for Nix binary cache hosting https://cachix.org https://hackage.haskell.org/package/cachix-0.5.1 (domenkozar)
2020-11-09 19:08:21 → britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-09 19:08:39 monochrom <3 maerwald and ghcup too
2020-11-09 19:12:10 × mmohammadi9812 quits (~mmohammad@5.238.183.63) (Quit: Quit)
2020-11-09 19:12:33 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-09 19:14:59 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-09 19:17:10 × raichoo quits (~raichoo@dslb-188-100-006-110.188.100.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-11-09 19:18:32 → mmohammadi9812 joins (~mmohammad@5.238.183.63)
2020-11-09 19:19:33 → DTZUZU joins (~DTZUZU@205.ip-149-56-132.net)
2020-11-09 19:20:02 → alp joins (~alp@2a01:e0a:58b:4920:681b:9986:ad49:88f7)
2020-11-09 19:24:06 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-09 19:24:13 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 258 seconds)
2020-11-09 19:24:20 → mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-11-09 19:25:08 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-09 19:26:05 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds)
2020-11-09 19:26:18 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-09 19:26:48 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-09 19:28:02 → knupfer joins (~Thunderbi@200116b82c4b6a00d47a4dfffea33367.dip.versatel-1u1.de)
2020-11-09 19:28:48 × knupfer quits (~Thunderbi@200116b82c4b6a00d47a4dfffea33367.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-09 19:28:56 → knupfer joins (~Thunderbi@200116b82c4b6a00dc5455e3637c129b.dip.versatel-1u1.de)
2020-11-09 19:29:12 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-09 19:29:41 × mu quits (~mu@unaffiliated/mu) (Quit: mu)
2020-11-09 19:29:59 → adm_ joins (~adm@43.229.88.236)
2020-11-09 19:31:35 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-09 19:34:25 × adm_ quits (~adm@43.229.88.236) (Ping timeout: 264 seconds)
2020-11-09 19:35:03 → bennofs1 joins (~benno@dslb-188-106-224-177.188.106.pools.vodafone-ip.de)
2020-11-09 19:35:58 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-09 19:39:14 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-11-09 19:40:36 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-09 19:41:08 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 19:46:48 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds)
2020-11-09 19:47:26 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-09 19:50:55 → kaysee joins (5d29234b@93-41-35-75.ip79.fastwebnet.it)
2020-11-09 19:52:13 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-11-09 19:53:50 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-09 19:55:08 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-09 19:55:11 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 19:55:20 → Lycurgus joins (~niemand@98.4.97.118)
2020-11-09 19:57:13 × daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-11-09 19:57:27 × kaysee quits (5d29234b@93-41-35-75.ip79.fastwebnet.it) (Remote host closed the connection)
2020-11-09 19:59:32 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-09 20:00:21 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-09 20:00:31 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-09 20:00:45 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 240 seconds)
2020-11-09 20:01:43 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-09 20:01:53 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-09 20:04:23 → rprije joins (~rprije@124.148.131.132)
2020-11-09 20:05:17 × twopoint718 quits (~cjw@fsf/member/twopoint718) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-09 20:06:22 → johnw__ joins (~textual@2600:1700:cf00:db0:5550:6a3c:f0cd:2841)
2020-11-09 20:08:32 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-09 20:09:04 × knupfer quits (~Thunderbi@200116b82c4b6a00dc5455e3637c129b.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-11-09 20:10:25 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds)
2020-11-09 20:12:16 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-09 20:13:05 <koz_> :t comparing
2020-11-09 20:13:06 <lambdabot> Ord a => (b -> a) -> b -> b -> Ordering
2020-11-09 20:13:16 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-09 20:13:40 <koz_> merijn: Why? Vector (at least the basic one) shoudl be Foldable? Or is there missing context here?
2020-11-09 20:14:41 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-09 20:15:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 20:17:55 × mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 246 seconds)
2020-11-09 20:18:26 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-09 20:20:18 <merijn> Storable vector doesn't have a Foldable instance
2020-11-09 20:20:23 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 20:21:05 <monochrom> Right, but mono-traversable can help.
2020-11-09 20:21:21 <merijn> monochrom: There's no reason it can't be Foldable, though
2020-11-09 20:21:33 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-09 20:21:44 <koz_> merijn: Ah, yeah.
2020-11-09 20:21:48 <merijn> oh, wait, no
2020-11-09 20:21:56 <koz_> Unfortunately it can't be.
←Prev  Next→
Page 1 .. 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 .. 5022

All times are in UTC.