Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 123 124 125 126 127 128 129 130 131 132 133 .. 5022
— 502,152 events total
2020-09-21 21:26:27 <Bill--Door> It does work (not deadlock that is) now, but I have some issues w/ logging.
2020-09-21 21:26:37 → darjeeling_ joins (~darjeelin@122.245.219.58)
2020-09-21 21:26:48 <glguy> 1) why not? 2) helps to see the actual problem description 3) reminds me of something else
2020-09-21 21:26:50 <Bill--Door> I'd like to implement some simulations of multi-party protocols we looked at in uni
2020-09-21 21:28:06 <Bill--Door> In such a case my approach with `TChan` isn't completely flawed, or is it?
2020-09-21 21:28:47 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-21 21:29:03 × isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Ping timeout: 260 seconds)
2020-09-21 21:30:38 <Bill--Door> btw. what does this remind you of?
2020-09-21 21:30:41 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-21 21:31:01 <glguy> Some problems from Advent of Code 2019
2020-09-21 21:31:50 <glguy> making bunch of TChans for different threads to communicate like this is fine. If you have only a single reader TQueue is a little more efficient than TChan, but it doesn't really matter for a toy
2020-09-21 21:32:50 <Bill--Door> Didn't know about advent of code, looks pretty cool. I used to do some Project Euler, but I don't think I ever used Haskell there
2020-09-21 21:33:17 <glguy> aoc is more programming focused than pe
2020-09-21 21:34:55 <Bill--Door> Yeah, PE is solely maths. Plus maybe some clever algorithms but still it got too hard at some point, maybe I should go back one day
2020-09-21 21:36:24 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-21 21:38:27 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-21 21:39:02 → ystael joins (~ystael@209.6.50.55)
2020-09-21 21:41:01 × hiroaki quits (~hiroaki@2a02:908:4b14:d500:8d4c:a111:9cac:718b) (Ping timeout: 272 seconds)
2020-09-21 21:44:44 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-21 21:45:37 <glguy> Bill--Door: For example: https://adventofcode.com/2019/day/23
2020-09-21 21:46:50 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 272 seconds)
2020-09-21 21:47:05 × Ariakenom quits (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Quit: Leaving)
2020-09-21 21:52:20 → Kampala joins (~Kampala@84.39.117.57)
2020-09-21 21:55:25 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer)
2020-09-21 21:56:02 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-21 21:56:46 → polyrain joins (~polyrain@2001:8003:e501:6901:c488:3d8b:4de5:8b83)
2020-09-21 21:58:45 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-21 21:58:51 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-21 21:59:11 × fendor quits (~fendor@77.119.128.64.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-21 22:00:49 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-09-21 22:03:04 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-21 22:04:13 × chaosmasttter quits (~chaosmast@p200300c4a702130181d7af909c24ca2e.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-21 22:09:50 <Bill--Door> That's a cool puzzle, and indeed more CS-y than a lot of PE ones
2020-09-21 22:09:55 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood)
2020-09-21 22:11:20 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-21 22:11:31 × eric_ quits (~eric@2804:431:c7d4:a280:a420:f119:9a1a:c48) (Remote host closed the connection)
2020-09-21 22:12:49 × LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection)
2020-09-21 22:13:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-21 22:15:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-21 22:18:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-21 22:20:24 × plutoniix quits (~q@node-unh.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2020-09-21 22:29:59 → LKoen joins (~LKoen@81.255.219.130)
2020-09-21 22:30:31 → mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e)
2020-09-21 22:30:41 × LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection)
2020-09-21 22:31:12 × tzh quits (~tzh@2601:448:c500:5300::df41) (Ping timeout: 260 seconds)
2020-09-21 22:32:55 → tzh joins (~tzh@2601:448:c500:5300::df41)
2020-09-21 22:33:24 → reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-21 22:35:29 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Ping timeout: 272 seconds)
2020-09-21 22:35:42 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-21 22:35:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-21 22:37:37 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-09-21 22:37:52 × tzh quits (~tzh@2601:448:c500:5300::df41) (Ping timeout: 260 seconds)
2020-09-21 22:40:17 × zacts quits (~zacts@dragora/developer/zacts) (Client Quit)
2020-09-21 22:40:34 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-21 22:41:48 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-21 22:44:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-21 22:48:36 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-21 22:50:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-21 22:56:33 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-09-21 23:04:43 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 260 seconds)
2020-09-21 23:05:00 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Read error: Connection reset by peer)
2020-09-21 23:05:24 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-21 23:08:04 × darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 265 seconds)
2020-09-21 23:08:50 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-21 23:09:25 ← kayvan``` parts (~user@52-119-115-243.PUBLIC.monkeybrains.net) ("ERC (IRC client for Emacs 27.1)")
2020-09-21 23:09:26 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-21 23:09:50 → tzh joins (~tzh@2601:448:c500:5300::82b3)
2020-09-21 23:11:22 <remexre> is it possible to depend on pandoc as a library at the moment? I'm getting https://github.com/haskell-infra/hackage-trustees/issues/280, I think, but this is fixed, if I understand the comments
2020-09-21 23:15:47 × gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-21 23:17:38 × pacak quits (~pacak@bb116-14-220-91.singnet.com.sg) (Remote host closed the connection)
2020-09-21 23:18:00 → pacak joins (~pacak@bb116-14-220-91.singnet.com.sg)
2020-09-21 23:19:13 → thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de)
2020-09-21 23:21:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-21 23:22:58 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-21 23:23:02 <dolio> The hackage page for text-conversions has bounds on base16-bytestring now, yes.
2020-09-21 23:26:00 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-21 23:26:52 × thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-21 23:27:00 <yushyin> Good
2020-09-21 23:27:24 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 256 seconds)
2020-09-21 23:28:30 × Bill--Door quits (550112fd@253.18.1.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection)
2020-09-21 23:28:47 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-21 23:28:59 → s00pcan joins (~chris@107.181.165.217)
2020-09-21 23:32:40 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-21 23:32:54 <remexre> oh wait, I probably need to `cabal update`, I'm guessing
2020-09-21 23:32:57 <dolio> You can assist the solver with command line flags in situations like that before it's fixed, too. --constraint='...' or something like that.
2020-09-21 23:33:07 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-21 23:33:12 <dolio> Yeah, you need to update the cached information.
2020-09-21 23:34:11 × alx741 quits (~alx741@186.178.110.130) (Ping timeout: 240 seconds)
2020-09-21 23:34:41 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f82a:5e5e:a65a:42ad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-21 23:35:00 → flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113)
2020-09-21 23:35:25 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-21 23:35:43 <remexre> ok looks like that worked (well, got past text-conversions at least; not finished building)
2020-09-21 23:40:26 → darjeeling_ joins (~darjeelin@122.245.219.58)
2020-09-21 23:40:47 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-21 23:41:08 × dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-21 23:41:33 → dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-21 23:43:08 → kupi joins (uid212005@gateway/web/irccloud.com/x-xvisocankedeksfn)
2020-09-21 23:45:21 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-09-21 23:45:29 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-09-21 23:46:09 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 123 124 125 126 127 128 129 130 131 132 133 .. 5022

All times are in UTC.