Logs: liberachat/#haskell
| 2021-05-29 04:21:02 | <arahael> | Welcome :) |
| 2021-05-29 04:21:52 | × | fizbin quits (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection) |
| 2021-05-29 04:22:38 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2021-05-29 04:23:19 | <fosskers> | Thanks! |
| 2021-05-29 04:23:28 | → | moet joins (~moet@172.58.38.167) |
| 2021-05-29 04:26:54 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-29 04:29:02 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 248 seconds) |
| 2021-05-29 04:29:18 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-29 04:29:35 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-29 04:29:38 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-05-29 04:32:57 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-29 04:33:00 | → | ddellacosta joins (~ddellacos@86.106.121.22) |
| 2021-05-29 04:35:29 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-05-29 04:36:11 | × | hololeap quits (~hololeap@71-218-232-238.hlrn.qwest.net) (Quit: Bye) |
| 2021-05-29 04:36:29 | → | hololeap joins (~hololeap@71-218-232-238.hlrn.qwest.net) |
| 2021-05-29 04:37:08 | × | hololeap quits (~hololeap@71-218-232-238.hlrn.qwest.net) (Client Quit) |
| 2021-05-29 04:37:17 | × | ddellacosta quits (~ddellacos@86.106.121.22) (Ping timeout: 252 seconds) |
| 2021-05-29 04:37:23 | → | hololeap joins (~hololeap@71-218-232-238.hlrn.qwest.net) |
| 2021-05-29 04:37:39 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-29 04:38:21 | × | hololeap quits (~hololeap@71-218-232-238.hlrn.qwest.net) (Client Quit) |
| 2021-05-29 04:38:36 | → | hololeap joins (~hololeap@71-218-232-238.hlrn.qwest.net) |
| 2021-05-29 04:39:12 | × | hololeap quits (~hololeap@71-218-232-238.hlrn.qwest.net) (Changing host) |
| 2021-05-29 04:39:12 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-05-29 04:40:44 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Remote host closed the connection) |
| 2021-05-29 04:40:45 | → | weber joins (~weber@114-24-103-71.dynamic-ip.hinet.net) |
| 2021-05-29 04:45:01 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-29 04:45:54 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-29 04:45:54 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-05-29 04:45:58 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-29 04:46:12 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-29 04:46:23 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-05-29 04:49:17 | → | ddellacosta joins (~ddellacos@89.46.62.27) |
| 2021-05-29 04:49:56 | × | bhrgunatha quits (~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-05-29 04:50:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-29 04:50:25 | → | fizbin joins (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) |
| 2021-05-29 04:50:25 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-29 04:51:48 | → | voldial joins (~user@user/voldial) |
| 2021-05-29 04:51:59 | × | fizbin quits (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection) |
| 2021-05-29 04:52:23 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-29 04:53:19 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-29 04:53:27 | ← | weber parts (~weber@114-24-103-71.dynamic-ip.hinet.net) () |
| 2021-05-29 04:53:45 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-05-29 04:53:58 | <voldial> | is demo2.hs running 5+ processes in the example? http://hackage.haskell.org/package/concurrent-output how does the terminal writing process know how to reflow in the regions each process is allocated? or is it just one-process-per row? I tried but haskell is like greek AND lisp |
| 2021-05-29 04:54:16 | × | ddellacosta quits (~ddellacos@89.46.62.27) (Ping timeout: 264 seconds) |
| 2021-05-29 04:54:38 | × | leeb quits (~leeb@KD111239155167.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-05-29 04:56:59 | → | leeb joins (~leeb@KD111239155167.au-net.ne.jp) |
| 2021-05-29 04:57:42 | <c_wraith> | voldial: "withConsoleRegion ConsoleLine" seems like a key part of that |
| 2021-05-29 04:58:09 | <c_wraith> | voldial: That suggests that each thread (not process) is reserving a line in the console |
| 2021-05-29 04:59:51 | <c_wraith> | voldial: interestingly, I see nothing there that suggests the lines will come out the same order each time. It's likely that changes from run to run. |
| 2021-05-29 05:00:11 | → | npl01 joins (~textual@27.34.16.171) |
| 2021-05-29 05:00:11 | <voldial> | c_wraith: indeed. now that I read the project that depends on this... it seems that "sub regions" are just ranges on that single line (if I understand the demo) http://joeyh.name/blog/entry/a_tiling_region_manager_for_the_console/ |
| 2021-05-29 05:01:00 | <voldial> | either way. I like it. |
| 2021-05-29 05:01:05 | <c_wraith> | I'm sure it has the ability to create regions that aren't single lines, too |
| 2021-05-29 05:01:08 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
| 2021-05-29 05:01:20 | → | fizbin joins (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) |
| 2021-05-29 05:01:23 | × | fizbin quits (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection) |
| 2021-05-29 05:01:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-29 05:01:59 | <voldial> | c_wraith: well, there's where I am confused, sure, multiple complete lines, that's easy, but... real arb areas? how would the writing process deal with wrapping? |
| 2021-05-29 05:03:02 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-29 05:03:29 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-05-29 05:03:33 | <voldial> | iterate through the rest of the available char locations, checking if that process owns it? |
| 2021-05-29 05:04:28 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-29 05:04:50 | <c_wraith> | Ok, this is a bit hard to follow, as it appears the API has been updated since that animation was generated. |
| 2021-05-29 05:05:28 | × | alx741 quits (~alx741@181.196.68.165) (Quit: alx741) |
| 2021-05-29 05:05:31 | <c_wraith> | But I see concurrent-output depends on ansi-terminal, which allows access to control codes |
| 2021-05-29 05:05:47 | voldial | follows... |
| 2021-05-29 05:06:04 | <c_wraith> | As long as each thread has exclusive access to the screen when doing output, it can use ANSI control codes to manipulate the cursor position |
| 2021-05-29 05:06:16 | <c_wraith> | So it just needs a shared lock to make sure things don't stomp on each other |
| 2021-05-29 05:06:28 | <c_wraith> | Which I'm sure it has |
| 2021-05-29 05:06:55 | <voldial> | c_wraith: each thread being one of the concurrent chared terminal writers? |
| 2021-05-29 05:07:03 | <voldial> | chared->shared |
| 2021-05-29 05:07:13 | → | ddellacosta joins (~ddellacos@89.46.62.27) |
| 2021-05-29 05:07:16 | <c_wraith> | yes |
| 2021-05-29 05:07:53 | <voldial> | but those dont know the geometry they are writing to... therefore cant emit the correct control codes to move the cursor to a space they control.... |
| 2021-05-29 05:08:11 | <voldial> | how the main process know where to move the cursor? |
| 2021-05-29 05:08:17 | <c_wraith> | They certainly could know the screen geometry |
| 2021-05-29 05:08:25 | <voldial> | mh. |
| 2021-05-29 05:08:38 | <c_wraith> | there's that top-level call to displayConsoleRegions there |
| 2021-05-29 05:08:44 | <voldial> | but... they could step on eachother... |
| 2021-05-29 05:09:05 | <c_wraith> | https://hackage.haskell.org/package/concurrent-output-1.10.12/docs/System-Console-Regions.html#v:displayConsoleRegions |
| 2021-05-29 05:09:08 | Mark_ | is now known as Mark__ |
| 2021-05-29 05:09:42 | <c_wraith> | looks to me like that establishes global locks and manages layout stuff. I don't like that design particularly, but it can be done |
| 2021-05-29 05:10:47 | voldial | chews.... |
| 2021-05-29 05:12:10 | × | ddellacosta quits (~ddellacos@89.46.62.27) (Ping timeout: 264 seconds) |
| 2021-05-29 05:12:33 | × | amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer) |
| 2021-05-29 05:12:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-29 05:13:47 | → | amk joins (~amk@176.61.106.150) |
| 2021-05-29 05:14:53 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-29 05:15:58 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf) (Ping timeout: 248 seconds) |
| 2021-05-29 05:16:32 | × | rk04 quits (~rk04@user/rajk) (Client Quit) |
| 2021-05-29 05:17:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-29 05:18:22 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-05-29 05:18:39 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-05-29 05:20:27 | × | Toast52_ quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 2021-05-29 05:24:15 | → | ddellacosta joins (~ddellacos@89.46.62.60) |
| 2021-05-29 05:28:46 | × | ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 248 seconds) |
| 2021-05-29 05:31:44 | × | shiraeeshi quits (~shiraeesh@109.166.58.65) (Ping timeout: 252 seconds) |
| 2021-05-29 05:32:50 | → | smatting joins (~stefan@p57adc506.dip0.t-ipconnect.de) |
| 2021-05-29 05:36:17 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-29 05:37:08 | → | qbt joins (~edun@user/edun) |
All times are in UTC.