Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 488 489 490 491 492 493 494 495 496 497 498 .. 5022
— 502,152 events total
2020-10-07 13:46:41 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-07 13:46:52 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-07 13:47:14 × cheater quits (~user@unaffiliated/cheater) (Quit: BitchX: double your pleasure, double your fun!)
2020-10-07 13:47:38 → jneira_ joins (~jneira@80.30.101.206)
2020-10-07 13:48:57 <tomjaguarpaw> Does anyone know a list of best practices for writing parsers with Parsec? I'm getting stuck with the non-backtracking property.
2020-10-07 13:49:08 → toorevitimirp joins (~tooreviti@117.182.180.245)
2020-10-07 13:50:00 <tomjaguarpaw> I'm not quite sure when I should be using "try"
2020-10-07 13:50:31 <srk> when you need to rollback or like when the tried parser can fail
2020-10-07 13:50:46 → cheater joins (~user@unaffiliated/cheater)
2020-10-07 13:51:08 → oisdk joins (~oisdk@2001:bb6:3329:d100:c982:e387:7052:58be)
2020-10-07 13:51:11 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-07 13:51:27 <srk> attoparsec always backtracks on failure
2020-10-07 13:52:35 × worc3131 quits (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) (Quit: No Ping reply in 180 seconds.)
2020-10-07 13:53:52 → worc3131 joins (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4)
2020-10-07 13:55:27 <sm[m]> tomjaguarpaw: one rule of thumb: when you are parsing alternatives that share a common prefix
2020-10-07 13:55:42 → arahael joins (~arahael@203.166.237.11)
2020-10-07 13:56:07 <sm[m]> maybe that's the only time it's needed, not sure
2020-10-07 13:56:13 × taurux quits (~taurux@net-130-25-101-92.cust.vodafonedsl.it) (Ping timeout: 244 seconds)
2020-10-07 13:56:32 <amf> is there a name for types that fill the role of versioning data? a sibling of session types if you will
2020-10-07 13:56:39 → cosimone joins (~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-07 13:57:00 → taurux joins (~taurux@net-130-25-101-135.cust.vodafonedsl.it)
2020-10-07 13:57:34 × aqd quits (~aqd@84.20.147.33) (Ping timeout: 272 seconds)
2020-10-07 13:58:07 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-10-07 13:59:31 → chloe_2_2 joins (75c9e5f4@117.201.229.244)
2020-10-07 14:02:05 → nyd joins (~nyd@unaffiliated/elysian)
2020-10-07 14:02:37 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-10-07 14:03:52 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-07 14:04:03 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-07 14:04:03 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-07 14:04:03 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-07 14:04:41 × Ariakenom quits (~Ariakenom@193.254.193.1) (Ping timeout: 260 seconds)
2020-10-07 14:05:42 × taurux quits (~taurux@net-130-25-101-135.cust.vodafonedsl.it) (Ping timeout: 244 seconds)
2020-10-07 14:07:03 → taurux joins (~taurux@net-93-144-165-151.cust.vodafonedsl.it)
2020-10-07 14:08:37 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-07 14:08:45 × arahael quits (~arahael@203.166.237.11) (Ping timeout: 240 seconds)
2020-10-07 14:09:07 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2020-10-07 14:09:09 → fendor joins (~fendor@178.165.128.97.wireless.dyn.drei.com)
2020-10-07 14:09:54 → tzh joins (~tzh@2601:448:c500:5300::143b)
2020-10-07 14:10:00 × coot quits (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-07 14:10:09 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-10-07 14:10:18 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-07 14:11:29 → fendor__ joins (~fendor@178.115.131.141.wireless.dyn.drei.com)
2020-10-07 14:11:35 → arahael joins (~arahael@203.194.43.207)
2020-10-07 14:12:08 × fendor_ quits (~fendor@91.141.2.76.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2020-10-07 14:12:24 → PerryThePlatypus joins (b644f401@182.68.244.1)
2020-10-07 14:13:15 → fendor_ joins (~fendor@046125249045.public.t-mobile.at)
2020-10-07 14:13:47 × fendor quits (~fendor@178.165.128.97.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-07 14:14:12 × cosimone quits (~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Quit: cosimone)
2020-10-07 14:14:57 × chaosmasttter quits (~chaosmast@p200300c4a70b400140e8baf6489c3871.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-07 14:16:50 × ralejs quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer)
2020-10-07 14:16:50 → ralejs_ joins (~ralejs@2620:10d:c093:400::5:2842)
2020-10-07 14:17:00 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-07 14:17:53 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-07 14:17:56 → ryjm joins (sid383513@gateway/web/irccloud.com/x-ddgnxwnpegroygna)
2020-10-07 14:18:24 → spew joins (uid195861@gateway/web/irccloud.com/x-ffyhszedcgmomanr)
2020-10-07 14:21:58 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-07 14:22:05 → voyons_osti joins (~dan@107.190.41.58)
2020-10-07 14:23:05 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-07 14:24:15 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-07 14:24:15 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-07 14:24:15 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-07 14:25:24 → aliabrar[m] joins (aliabrarma@gateway/shell/matrix.org/x-awvzjwkhfxuzreey)
2020-10-07 14:25:25 × taurux quits (~taurux@net-93-144-165-151.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-07 14:26:37 → taurux joins (~taurux@net-130-25-101-135.cust.vodafonedsl.it)
2020-10-07 14:27:09 <Geraldus> sm[m] should I `stack install` ghcide itself?
2020-10-07 14:27:28 × toorevitimirp quits (~tooreviti@117.182.180.245) (Ping timeout: 256 seconds)
2020-10-07 14:27:36 ← aliabrar[m] parts (aliabrarma@gateway/shell/matrix.org/x-awvzjwkhfxuzreey) ()
2020-10-07 14:27:41 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-07 14:27:59 × chloe_2_2 quits (75c9e5f4@117.201.229.244) (Ping timeout: 245 seconds)
2020-10-07 14:28:30 × polyrain quits (~polyrain@2001:8003:e501:6901:1d60:ec01:433a:e4a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 14:29:32 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-07 14:29:32 × ralejs_ quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer)
2020-10-07 14:29:37 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 264 seconds)
2020-10-07 14:29:43 → ralejs joins (~ralejs@2620:10d:c093:400::5:2842)
2020-10-07 14:30:00 → Ariakenom joins (~Ariakenom@193.254.193.1)
2020-10-07 14:32:01 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-07 14:32:23 × mirrorbird quits (~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873) (Quit: Leaving)
2020-10-07 14:33:02 fendor__ is now known as fendor
2020-10-07 14:34:08 → jneira_ joins (~jneira@209.red-81-39-173.dynamicip.rima-tde.net)
2020-10-07 14:35:48 → jfredett joins (~jfredett@185.163.110.116)
2020-10-07 14:37:17 → ystael joins (~ystael@209.6.50.55)
2020-10-07 14:38:33 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-07 14:42:24 × ralejs quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer)
2020-10-07 14:42:32 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-07 14:43:08 ← kbse[m] parts (kbsematrix@gateway/shell/matrix.org/x-zolbnfdgknvjizjy) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-10-07 14:44:00 × fendor_ quits (~fendor@046125249045.public.t-mobile.at) (Remote host closed the connection)
2020-10-07 14:46:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-07 14:46:52 → rekahsoft joins (~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com)
2020-10-07 14:48:07 → ralejs joins (~ralejs@2620:10d:c093:400::5:a494)
2020-10-07 14:49:25 ← macrover parts (~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-10-07 14:49:31 → ddellacosta joins (~dd@86.106.121.168)
2020-10-07 14:50:32 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-07 14:51:10 <sm[m]> Geraldus: no just install the Haskell extension, it installs the rest
2020-10-07 14:52:03 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-07 14:52:20 → ulidtko joins (~ulidtko@193.111.48.79)
2020-10-07 14:53:27 hackage Shpadoinkle 0.2.0.0 - A programming model for declarative, high performance user interface. https://hackage.haskell.org/package/Shpadoinkle-0.2.0.0 (fresheyeball)
2020-10-07 14:54:34 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-07 14:54:52 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-07 14:57:23 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-10-07 15:00:01 × jfredett quits (~jfredett@185.163.110.116) ()
←Prev  Next→
Page 1 .. 488 489 490 491 492 493 494 495 496 497 498 .. 5022

All times are in UTC.