Newest at the top
2024-09-15 18:32:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 18:30:43 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-15 18:30:20 +0200 | troojg | (~troojg@user/troojg) |
2024-09-15 18:27:18 +0200 | telser | (~quassel@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-09-15 18:23:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: ah very cool! thanks a lot for the CSP reference |
2024-09-15 18:22:44 +0200 | <monochrom> | In theory, I prefer Communicating Sequential Processes or generally any messaging system. In practice, I recognize that we are stuck with shared memory and some weak consistency guarantee. |
2024-09-15 18:22:23 +0200 | <geekosaur> | I thoink "formalize" doesn't mean "do", it means "model"? |
2024-09-15 18:22:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) () |
2024-09-15 18:21:24 +0200 | <JuanDaugherty> | STM is big |
2024-09-15 18:21:10 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-09-15 18:20:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: how would you formalize parallelism or concurrency? |
2024-09-15 18:20:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 18:19:32 +0200 | <JuanDaugherty> | physical is physical tho |
2024-09-15 18:18:57 +0200 | <JuanDaugherty> | ie. no single pkg, approach |
2024-09-15 18:18:06 +0200 | <JuanDaugherty> | by which he means no consensus, if that's what usual means |
2024-09-15 18:17:20 +0200 | <monochrom> | I think there is none because they are orthogonal. |
2024-09-15 18:16:45 +0200 | kmein | (~weechat@user/kmein) |
2024-09-15 18:15:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 18:15:15 +0200 | gmg | (~user@user/gehmehgeh) |
2024-09-15 18:14:51 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-09-15 18:09:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-09-15 18:07:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> what is the usual model of parallelism and concurrency when we model computations with monads? |
2024-09-15 18:01:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-15 17:59:42 +0200 | Inst_ | (~Inst@user/Inst) |
2024-09-15 17:57:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 17:46:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 17:41:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 17:39:54 +0200 | rosco | (~rosco@175.136.158.234) |
2024-09-15 17:34:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-15 17:27:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 17:23:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 17:18:10 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-15 17:11:36 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
2024-09-15 17:11:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-15 17:09:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-15 17:08:37 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2024-09-15 17:07:54 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
2024-09-15 17:06:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 17:05:07 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-09-15 16:56:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-15 16:56:29 +0200 | euleritian | (~euleritia@dynamic-176-006-143-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-15 16:54:32 +0200 | euleritian | (~euleritia@dynamic-176-006-143-017.176.6.pool.telefonica.de) |
2024-09-15 16:54:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-15 16:53:42 +0200 | spew | (~spew@201.141.99.170) |
2024-09-15 16:53:27 +0200 | emaczen` | (~user@75-98-148-133.cpe.safelink.net) (Ping timeout: 276 seconds) |
2024-09-15 16:53:24 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
2024-09-15 16:53:18 +0200 | emaczen | (~user@user/emaczen) (Ping timeout: 272 seconds) |
2024-09-15 16:52:36 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-15 16:52:14 +0200 | euleritian | (~euleritia@dynamic-176-002-004-162.176.2.pool.telefonica.de) (Ping timeout: 265 seconds) |
2024-09-15 16:49:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |