Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-08 15:33:49 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-11-08 15:33:53 <__monty__> avdb: I'm at 21:00 and he still hasn't said anything about commuting?
2020-11-08 15:35:11 <__monty__> avdb: At 24:20 he even explicitly says commutation isn't a necessary condition.
2020-11-08 15:35:21 thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-08 15:39:50 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-11-08 15:40:14 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-08 15:40:20 britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0)
2020-11-08 15:40:24 geekosaur joins (ac3a8b88@172.58.139.136)
2020-11-08 15:41:25 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-08 15:43:03 <avdb> __monty__: I made up commuting as an example, ge only said that if you combine f with g like f(g(x)) and g(f(x)) that it's the same thing
2020-11-08 15:43:14 renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-08 15:43:30 × Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-11-08 15:50:37 × fendor quits (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 256 seconds)
2020-11-08 15:52:03 dabura joins (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de)
2020-11-08 15:52:26 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 258 seconds)
2020-11-08 15:53:05 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-08 15:55:20 CareBearemcho joins (~CareBeare@185.204.1.185)
2020-11-08 15:55:24 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-08 15:55:37 cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-08 15:56:25 × dabura quits (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
2020-11-08 15:56:58 × britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep)
2020-11-08 15:57:27 britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0)
2020-11-08 15:57:46 <merijn> tochicool: If you have a more concrete example it might be possible, but it depends on what *exactly* you're trying to do
2020-11-08 15:58:39 dabura joins (~pablo@45.86.201.19)
2020-11-08 15:59:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-08 16:00:04 × alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-euntbxjpvrijrxmx) (Quit: Idle for 30+ days)
2020-11-08 16:00:08 Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2020-11-08 16:01:06 × alp quits (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) (Ping timeout: 268 seconds)
2020-11-08 16:02:06 EoF joins (~EoF@ip5b419221.dynamic.kabel-deutschland.de)
2020-11-08 16:02:38 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-08 16:02:54 × EoF quits (~EoF@ip5b419221.dynamic.kabel-deutschland.de) (Client Quit)
2020-11-08 16:03:40 × Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 272 seconds)
2020-11-08 16:06:39 juuandyy joins (~juuandyy@90.166.144.65)
2020-11-08 16:07:28 × Wamanuz2 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 256 seconds)
2020-11-08 16:07:37 Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2020-11-08 16:08:14 jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-08 16:09:40 _noblegas joins (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss)
2020-11-08 16:11:06 <__monty__> avdb: Hmm, I think you should rewatch. He said they're different afaict.
2020-11-08 16:12:40 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds)
2020-11-08 16:15:20 knupfer joins (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de)
2020-11-08 16:15:20 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-08 16:16:46 jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-08 16:16:59 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-08 16:17:06 invaser joins (~Thunderbi@31.148.23.125)
2020-11-08 16:18:39 × britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep)
2020-11-08 16:21:49 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-11-08 16:21:56 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-08 16:23:05 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 240 seconds)
2020-11-08 16:23:21 ggole joins (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2)
2020-11-08 16:24:31 hackage type-of-html 1.6.1.2 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.2 (knupfer)
2020-11-08 16:25:13 × dabura quits (~pablo@45.86.201.19) (Quit: Lost terminal)
2020-11-08 16:30:07 nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3)
2020-11-08 16:37:54 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-08 16:38:16 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-08 16:39:14 × geekosaur quits (ac3a8b88@172.58.139.136) (Remote host closed the connection)
2020-11-08 16:39:35 thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-08 16:44:11 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-08 16:47:38 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds)
2020-11-08 16:49:47 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds)
2020-11-08 16:49:47 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-08 16:50:34 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-08 16:51:04 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit)
2020-11-08 16:51:12 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-08 16:51:29 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit)
2020-11-08 16:51:58 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-08 16:52:19 Tario joins (~Tario@201.192.165.173)
2020-11-08 16:55:04 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds)
2020-11-08 16:55:30 Amras joins (~Amras@unaffiliated/amras0000)
2020-11-08 16:57:51 Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-08 16:59:02 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-08 16:59:12 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-08 17:01:12 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-08 17:02:01 <nut> is there a tool to find functions with the largest number of lines of code within package?
2020-11-08 17:02:19 Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
2020-11-08 17:03:09 invaser joins (~Thunderbi@31.148.23.125)
2020-11-08 17:04:07 fendor joins (~fendor@77.119.131.87.wireless.dyn.drei.com)
2020-11-08 17:05:49 × Achylles__ quits (~Achylles@200-100-230-202.dial-up.telesp.net.br) (Quit: Leaving)
2020-11-08 17:07:07 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-11-08 17:07:20 dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-08 17:10:45 <merijn> Doubt it
2020-11-08 17:10:59 × dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Read error: Connection reset by peer)
2020-11-08 17:11:00 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer)
2020-11-08 17:11:02 <merijn> Also, how is the lines of code of a function defined? Like, do where blocks count?
2020-11-08 17:11:14 DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-11-08 17:11:15 dcoutts joins (~duncan@33.14.75.194.dyn.plus.net)
2020-11-08 17:11:15 × dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Changing host)
2020-11-08 17:11:15 dcoutts joins (~duncan@unaffiliated/dcoutts)
2020-11-08 17:11:35 Sheilong joins (uid293653@gateway/web/irccloud.com/x-nprfqeunfdioejyi)
2020-11-08 17:11:55 Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-08 17:14:25 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Read error: Connection reset by peer)
2020-11-08 17:14:37 mmohammadi9812 joins (~mmohammad@5.238.175.25)
2020-11-08 17:14:38 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-11-08 17:16:38 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-11-08 17:16:55 xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-11-08 17:20:14 <Franciman> hi maerwald are you here?
2020-11-08 17:20:21 ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-08 17:20:30 hackage aeson-iproute 0.2.1 - Aeson instances for iproute types https://hackage.haskell.org/package/aeson-iproute-0.2.1 (sickmind)
2020-11-08 17:22:01 hackage persistent-iproute 0.2.5 - Persistent instances for types in iproute https://hackage.haskell.org/package/persistent-iproute-0.2.5 (sickmind)
2020-11-08 17:22:03 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 265 seconds)
2020-11-08 17:22:37 bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)

All times are in UTC.