Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-12 17:39:00 christo joins (~chris@81.96.113.213)
2020-11-12 17:39:59 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 272 seconds)
2020-11-12 17:40:37 × alp quits (~alp@2a01:e0a:58b:4920:ed32:ff85:b3a6:ae06) (Ping timeout: 272 seconds)
2020-11-12 17:40:39 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 17:41:06 × ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-11-12 17:44:03 Sheilong joins (uid293653@gateway/web/irccloud.com/x-kihpfdwzdbjfjvbb)
2020-11-12 17:44:45 × g-belmonte quits (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving)
2020-11-12 17:45:16 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-12 17:45:31 <maralorn> When cabal tries to find a valid build plan, does it try all possible flag constellation for all dependencies? Or does it only try the default flags of every dependency?
2020-11-12 17:45:39 hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-12 17:47:10 <int-e> maralorn: it tries toggling the automatic flags, but not the manual ones
2020-11-12 17:48:31 hackage phonetic-languages-examples 0.4.2.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.2.0 (OleksandrZhabenko)
2020-11-12 17:49:12 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 17:50:07 christo joins (~chris@81.96.113.213)
2020-11-12 17:50:13 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 17:52:42 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2020-11-12 17:53:35 christo joins (~chris@81.96.113.213)
2020-11-12 17:53:55 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 17:54:39 avdb joins (~avdb@ip-83-134-68-229.dsl.scarlet.be)
2020-11-12 18:00:01 × mrd quits (~mrd@185.163.110.116) ()
2020-11-12 18:02:16 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 272 seconds)
2020-11-12 18:02:57 neiluj joins (~jco@238.106.204.77.rev.sfr.net)
2020-11-12 18:09:15 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-11-12 18:10:37 christo joins (~chris@81.96.113.213)
2020-11-12 18:12:55 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-11-12 18:13:30 hackage uniqueness-periods-vector-general 0.5.3.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.5.3.0 (OleksandrZhabenko)
2020-11-12 18:14:27 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 18:14:53 thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de)
2020-11-12 18:16:22 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 18:17:37 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 18:19:39 christo joins (~chris@81.96.113.213)
2020-11-12 18:19:50 × borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-12 18:21:02 kierank1 joins (~kierank@184.75.221.35)
2020-11-12 18:21:07 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds)
2020-11-12 18:21:48 Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se)
2020-11-12 18:25:43 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-12 18:27:14 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-11-12 18:27:47 borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-12 18:27:49 × neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-12 18:28:31 neiluj joins (~jco@238.106.204.77.rev.sfr.net)
2020-11-12 18:29:23 chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de)
2020-11-12 18:31:30 hackage uniqueness-periods-vector-examples 0.14.5.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.14.5.0 (OleksandrZhabenko)
2020-11-12 18:33:19 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-11-12 18:33:19 electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-12 18:34:44 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-12 18:36:59 × chaosmasttter quits (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-11-12 18:37:01 hackage polysemy-methodology 0.1.6.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.6.0 (locallycompact)
2020-11-12 18:41:12 × neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 256 seconds)
2020-11-12 18:41:17 alp joins (~alp@2a01:e0a:58b:4920:881:8954:9deb:fcb5)
2020-11-12 18:41:41 × asnyx quits (~asnyx@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>)
2020-11-12 18:41:41 × brettgilio quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>)
2020-11-12 18:41:54 neiluj joins (~jco@238.106.204.77.rev.sfr.net)
2020-11-12 18:43:31 juri_ joins (~juri@178.63.35.222)
2020-11-12 18:43:33 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-11-12 18:46:03 jedai joins (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr)
2020-11-12 18:46:56 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 18:47:20 wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-12 18:47:26 × thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) ()
2020-11-12 18:47:57 asnyx joins (~asnyx@brettgilio.com)
2020-11-12 18:51:22 luke joins (~luke@bitnomial/staff/luke)
2020-11-12 18:51:50 × luke quits (~luke@bitnomial/staff/luke) (Client Quit)
2020-11-12 18:53:03 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 18:53:16 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-11-12 18:53:49 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-12 18:54:26 brettgilio joins (~brettgili@brettgilio.com)
2020-11-12 18:54:49 xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-12 18:57:25 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 18:59:26 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-12 19:00:09 ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-12 19:00:36 gproto23 joins (~gproto23@unaffiliated/gproto23)
2020-11-12 19:00:52 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-12 19:01:26 ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-12 19:02:22 × conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-12 19:03:18 <kritzefitz> In parsec (string "a" >> mzero) `mplus` string "ab" behaves differently than mzero `mplus` string "ab". Does that violate the laws for mzero or am I misinterpreting the laws for mzero?
2020-11-12 19:03:34 berberman_ joins (~berberman@unaffiliated/berberman)
2020-11-12 19:03:57 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-11-12 19:05:08 chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de)
2020-11-12 19:06:17 <glguy> kritzefitz: I think you're misunderstanding the laws
2020-11-12 19:06:30 <glguy> because MonadPlus doesn't have very many
2020-11-12 19:06:52 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-11-12 19:06:52 <kritzefitz> I'm specifically talking about v >> mzero = mzero.
2020-11-12 19:06:55 conal joins (~conal@64.71.133.70)
2020-11-12 19:06:56 coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-12 19:07:33 Amras joins (~Amras@unaffiliated/amras0000)
2020-11-12 19:07:52 <glguy> I think parsec doesn't satisfy the laws as written in Haddock, but also that people often don't agree on how MonadPlus should actually behave
2020-11-12 19:07:57 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 19:08:33 juuandyy joins (~juuandyy@90.166.144.65)
2020-11-12 19:08:46 <glguy> IO also fails the laws as implemented there
2020-11-12 19:08:58 <kritzefitz> Good point
2020-11-12 19:09:08 <electricityZZZZ> is anyone here also in #rust? can i get a #rust invite?
2020-11-12 19:09:22 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 19:09:23 <glguy> electricityZZZZ: You're looking for ##rust
2020-11-12 19:09:43 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2020-11-12 19:09:53 <electricityZZZZ> oh wow ok freenode should change their error message
2020-11-12 19:10:14 <glguy> #rust automatically forwards to ##rust except you weren't logged in so you weren't allowed in
2020-11-12 19:10:27 <glguy> (because ##rust requires login for whatever reason)
2020-11-12 19:11:26 <electricityZZZZ> ok. yeah #rust on irc.mozilla had problems with haxxorz or something so they are a little more paranoid
2020-11-12 19:12:06 stackdimes joins (~stackdime@70.39.102.181)
2020-11-12 19:12:53 o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-12 19:13:06 × kierank1 quits (~kierank@184.75.221.35) (Ping timeout: 265 seconds)

All times are in UTC.