Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 269 270 271 272 273 274 275 276 277 278 279 .. 5022
— 502,152 events total
2020-09-28 13:02:41 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-28 13:03:28 × st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit)
2020-09-28 13:03:42 → st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-28 13:03:53 → raichoo joins (~raichoo@213.240.178.58)
2020-09-28 13:04:27 × st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit)
2020-09-28 13:05:05 × Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-09-28 13:05:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-28 13:06:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:06:58 → st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-28 13:07:47 × Clough quits (~Cain@203.220.28.77) (Read error: Connection reset by peer)
2020-09-28 13:10:14 → FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 13:10:58 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc)
2020-09-28 13:11:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 13:13:13 → Voyager3 joins (45bff138@69.191.241.56)
2020-09-28 13:13:29 × Voyager3 quits (45bff138@69.191.241.56) (Remote host closed the connection)
2020-09-28 13:16:26 × FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection)
2020-09-28 13:16:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:18:45 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 240 seconds)
2020-09-28 13:19:02 → FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 13:20:04 × FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection)
2020-09-28 13:20:27 → FreeBirdLjj joins (~freebirdl@101.87.171.62)
2020-09-28 13:21:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 13:21:58 → jespada joins (~jespada@90.254.241.6)
2020-09-28 13:22:28 × v_m_v quits (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection)
2020-09-28 13:22:54 → cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com)
2020-09-28 13:23:07 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-09-28 13:25:14 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 13:25:44 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 13:26:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:27:01 → solonarv joins (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr)
2020-09-28 13:28:42 × coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 13:29:27 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 13:29:35 → cpressey1 joins (~cpressey@79-72-202-115.dynamic.dsl.as9105.com)
2020-09-28 13:31:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 13:32:20 × cpressey quits (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Ping timeout: 272 seconds)
2020-09-28 13:32:24 cpressey1 is now known as cpressey
2020-09-28 13:32:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 13:33:57 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-28 13:34:21 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 13:34:47 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-28 13:34:52 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-28 13:35:00 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 13:35:27 → ahri joins (~ahri@178.209.40.84)
2020-09-28 13:35:55 → dhil joins (~dhil@11.29.39.217.dyn.plus.net)
2020-09-28 13:35:57 × Sanchayan quits (~Sanchayan@136.185.169.201) (Quit: leaving)
2020-09-28 13:37:51 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-28 13:38:22 <amf> is there a limit on the number of constructors a sum type can have?
2020-09-28 13:39:31 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-28 13:40:06 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb)
2020-09-28 13:40:20 <dminuoso> amf: Do a quick attempt with TH to find out? ;)
2020-09-28 13:40:33 <dminuoso> The language itself poses no restriction here.
2020-09-28 13:41:07 <dminuoso> There likely is some implementation limitation, maybe something along the lines of 2^32-1 constructors?
2020-09-28 13:41:11 <dminuoso> On GHC anyway
2020-09-28 13:42:16 <amf> yeah i could try TH, but was hoping for it documented somewhere, ghc isn't complaining, but im only at 255
2020-09-28 13:42:29 <dminuoso> amf: Fun fact: https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Tuple.html#%28%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%29
2020-09-28 13:42:33 <dminuoso> (See the comment below)
2020-09-28 13:42:43 <dminuoso> I tried to nail this down a while ago, the issue was never found.
2020-09-28 13:43:57 <int-e> Oh, commas.
2020-09-28 13:45:11 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-28 13:45:25 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-28 13:50:30 <amf> now i'm wondering what kind of ascii art one could make with data declarations
2020-09-28 13:50:31 <dminuoso> amf: So the GHC doesnt complain with at least 100,000 constructors.
2020-09-28 13:51:09 <dminuoso> Keep in mind that, performance wise, GHC really doesn't fare well with many constructors. :p
2020-09-28 13:51:27 hackage replace-attoparsec 1.4.2.0 - Find, replace, and split string patterns with Attoparsec parsers (instead of regex) https://hackage.haskell.org/package/replace-attoparsec-1.4.2.0 (JamesBrock)
2020-09-28 13:52:03 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-09-28 13:52:30 <amf> far more than i thought, that should cover my needs. i cant imagine the ieft adding a lot more to the icmpv6 types/codes
2020-09-28 13:53:40 → rekahsoft joins (~rekahsoft@fitz10681.telemetry.esentire.com)
2020-09-28 13:55:46 × drbean quits (~drbean@TC210-63-209-90.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-09-28 13:55:56 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 13:57:25 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2020-09-28 13:58:47 × alp quits (~alp@2a01:e0a:58b:4920:8d98:8295:f2f0:8a3d) (Ping timeout: 246 seconds)
2020-09-28 14:00:37 → ystael joins (~ystael@209.6.50.55)
2020-09-28 14:01:54 ← scottschecter parts (~scottsche@thewolf.schecterandco.com) ("The Lounge - https://thelounge.chat")
2020-09-28 14:02:51 × ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving)
2020-09-28 14:03:08 → ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-09-28 14:03:36 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 14:04:36 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061)
2020-09-28 14:05:49 → ski joins (~ski@m-1163-19.studat.chalmers.se)
2020-09-28 14:06:20 × jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds)
2020-09-28 14:06:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 14:06:32 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-09-28 14:07:40 → coot joins (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl)
2020-09-28 14:07:49 → Saukk joins (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3)
2020-09-28 14:07:58 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-09-28 14:09:01 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Client Quit)
2020-09-28 14:09:58 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-09-28 14:10:58 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 14:11:18 <dminuoso> amf: I tried with 1G constructors, but there appears to be something exponential in terms of memory usage..
2020-09-28 14:11:25 <dminuoso> Sorry, *1million
2020-09-28 14:11:58 <dminuoso> Or rather, that started swapping GHC memory.
2020-09-28 14:12:07 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-09-28 14:12:14 <dminuoso> At that point, I aborted after 15 minutes. :p
2020-09-28 14:13:39 × coot quits (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 14:13:40 <tomsmeding> to be honest I'm not surprised that ghc gets all flustered when you give it a 1M-constructor sum type
2020-09-28 14:15:09 → coot joins (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl)
2020-09-28 14:15:12 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-ssqdypdoaselcqyh)
2020-09-28 14:15:25 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-28 14:16:08 → clever joins (~clever@NixOS/user/clever)
2020-09-28 14:16:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 14:16:47 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
←Prev  Next→
Page 1 .. 269 270 271 272 273 274 275 276 277 278 279 .. 5022

All times are in UTC.