Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 842 843 844 845 846 847 848 849 850 851 852 .. 5022
— 502,152 events total
2020-10-24 20:36:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 20:39:50 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-24 20:40:22 → sfvm joins (~sfvm@37.228.215.148)
2020-10-24 20:43:52 → howdoi joins (uid224@gateway/web/irccloud.com/x-szummihjpdtceelx)
2020-10-24 20:43:56 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 20:44:14 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 20:45:02 ← Gerula parts (~Gerula@unaffiliated/gerula) ("Leaving")
2020-10-24 20:45:07 × jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 20:49:28 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds)
2020-10-24 20:50:34 × infty quits (~ubuntu@ec2-3-126-179-254.eu-central-1.compute.amazonaws.com) (Quit: leaving)
2020-10-24 20:51:23 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 20:53:37 × Franciman quits (~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 21:00:01 × ozbot quits (~ozbot@154.13.1.56) ()
2020-10-24 21:06:08 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 21:07:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 21:07:57 hackage morley 1.8.0 - Developer tools for the Michelson Language https://hackage.haskell.org/package/morley-1.8.0 (gromak)
2020-10-24 21:10:25 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 21:12:00 mursu_ is now known as mursu
2020-10-24 21:13:50 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-24 21:15:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-24 21:16:36 × trumpsec quits (uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv) ()
2020-10-24 21:17:09 → trumpsec joins (uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts)
2020-10-24 21:22:08 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-24 21:22:30 trumpsec is now known as psych
2020-10-24 21:22:31 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 21:22:31 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 21:22:31 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-24 21:23:40 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-24 21:23:40 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 21:24:34 ← psych parts (uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts) ()
2020-10-24 21:25:48 × knupfer quits (~Thunderbi@i59F7FF06.versanet.de) (Quit: knupfer)
2020-10-24 21:25:48 → knupfer1 joins (~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de)
2020-10-24 21:25:58 × knupfer1 quits (~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de) (Client Quit)
2020-10-24 21:26:09 → knupfer joins (~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de)
2020-10-24 21:27:16 × knupfer quits (~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de) (Client Quit)
2020-10-24 21:27:30 → knupfer joins (~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de)
2020-10-24 21:29:07 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-24 21:29:19 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-24 21:29:49 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 21:30:10 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 21:32:02 × knupfer quits (~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-24 21:34:57 hackage xlsx 0.8.2 - Simple and incomplete Excel file parser/writer https://hackage.haskell.org/package/xlsx-0.8.2 (KirillZaborsky)
2020-10-24 21:35:39 → bartemius joins (~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-24 21:36:33 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 21:38:12 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 21:40:13 × bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Ping timeout: 260 seconds)
2020-10-24 21:41:03 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-24 21:41:24 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 21:43:22 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-10-24 21:44:15 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 21:45:49 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-24 21:47:08 <frdg> adding a function to a `composition pipeline?` will decrease or preserve the size of the compositions image. Is this true and if so is this property named?
2020-10-24 21:48:26 <c_wraith> where did that question come from? Seems like an odd thing to ask.
2020-10-24 21:49:38 <monsterchrom> This sounds like a continuation of a misguided line of thought from several days ago.
2020-10-24 21:50:26 <frdg> I came up with it while learning about monotonicity of entailment
2020-10-24 21:50:37 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-24 21:51:19 <c_wraith> It's also clearly not true with arbitrary functions
2020-10-24 21:51:44 <frdg> oh
2020-10-24 21:52:18 <monsterchrom> It is true and boring. It is merely part of the definition of "function" in the first place.
2020-10-24 21:52:26 <c_wraith> (floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)
2020-10-24 21:53:21 <frdg> terrible timing I must eat dinner.
2020-10-24 21:54:16 × chaosmasttter quits (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-24 21:54:19 → alp joins (~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec)
2020-10-24 21:55:38 → [42]1 joins (~42]@195.206.169.184)
2020-10-24 21:55:45 × taurux quits (~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-24 21:55:48 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-10-24 21:56:28 → taurux joins (~taurux@net-188-152-78-90.cust.vodafonedsl.it)
2020-10-24 22:00:27 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-24 22:00:37 × acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 22:00:57 × mimi_vx quits (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds)
2020-10-24 22:01:31 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 22:01:53 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 22:05:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 22:09:13 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
2020-10-24 22:12:40 × tirej quits (~tirej@unaffiliated/tirej) (Quit: Lost terminal)
2020-10-24 22:12:44 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 22:13:10 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 22:13:22 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-24 22:15:34 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-24 22:17:07 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Ping timeout: 246 seconds)
2020-10-24 22:18:01 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-24 22:19:10 → jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de)
2020-10-24 22:19:44 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-24 22:20:31 → irc_user joins (uid423822@gateway/web/irccloud.com/x-yozgrvcgtawskeqy)
2020-10-24 22:20:45 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 22:21:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 22:23:23 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 22:23:24 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
2020-10-24 22:29:17 → mbomba joins (~mbomba@142.114.9.241)
2020-10-24 22:31:56 → thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 22:33:10 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2020-10-24 22:34:18 × darjeeling_ quits (~darjeelin@122.245.123.118) (Ping timeout: 256 seconds)
2020-10-24 22:34:52 → mimi_vx joins (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-24 22:36:47 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 22:37:22 → darjeeling_ joins (~darjeelin@122.245.123.118)
2020-10-24 22:41:57 hackage cabal-fmt 0.1.5 - Format .cabal files https://hackage.haskell.org/package/cabal-fmt-0.1.5 (phadej)
2020-10-24 22:44:25 × Wuzzy quits (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-24 22:45:58 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 22:46:07 nuka is now known as niko
2020-10-24 22:46:23 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
←Prev  Next→
Page 1 .. 842 843 844 845 846 847 848 849 850 851 852 .. 5022

All times are in UTC.