Logs: liberachat/#haskell
| 2025-12-08 01:37:53 | → | omidmash9 joins (~omidmash@user/omidmash) |
| 2025-12-08 01:38:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 01:39:52 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-08 01:39:52 | omidmash9 | is now known as omidmash |
| 2025-12-08 01:40:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-08 01:41:48 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-08 01:43:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 01:49:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-08 01:52:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-08 01:54:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 01:56:02 | → | thalber joins (~thalber@user/kerosenewife) |
| 2025-12-08 02:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:04:54 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 260 seconds) |
| 2025-12-08 02:06:01 | → | Googulator18 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 02:06:17 | × | Googulator9 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 02:10:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 02:16:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 02:17:04 | → | trickard___ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 02:18:13 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 02:18:30 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-08 02:18:54 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-08 02:20:17 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-08 02:20:17 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-08 02:27:09 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2025-12-08 02:28:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 02:29:59 | × | weary-traveler quits (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-12-08 02:30:27 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-08 02:30:38 | <haskellbridge> | <Zemyla> Is there an ST-like monad that's a MonadPlus, where assignments done in one alternative branch don't propagate to others? |
| 2025-12-08 02:32:16 | <geekosaur> | I would expect that to be difficult without having each be its own separate ST |
| 2025-12-08 02:32:40 | <Leary> | Zemyla: That's an interesting idea. `STM` already has such semantics, so you could write it as a layer on top. |
| 2025-12-08 02:32:55 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-12-08 02:33:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:34:11 | <haskellbridge> | <Zemyla> The other Alternative is to make it be like StateT (IntMap Any) [] and have a bunch of unsafeCoerces under the hood. |
| 2025-12-08 02:35:36 | → | Googulator66 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 02:36:11 | × | Googulator18 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 02:38:30 | × | trickard___ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 02:38:44 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 02:39:22 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-12-08 02:40:17 | → | forell joins (~forell@user/forell) |
| 2025-12-08 02:44:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 02:46:09 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 02:48:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 02:57:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-08 02:59:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 03:04:03 | <c_wraith> | There's a secret downside to that approach.. you don't get garbage collection. |
| 2025-12-08 03:04:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 03:05:38 | × | Googulator66 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 03:05:42 | → | Googulator23 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 03:15:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 03:20:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 03:31:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 03:36:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 03:38:08 | → | iqubic joins (~sophia@2601:602:9203:1660:767a:e6b6:2f4b:e37e) |
| 2025-12-08 03:38:40 | → | annamalai joins (~annamalai@2409:4042:d37:b495::9e0a:ba05) |
| 2025-12-08 03:47:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 03:48:48 | ← | thalber parts (~thalber@user/kerosenewife) (WeeChat 4.7.1) |
| 2025-12-08 03:53:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 03:56:22 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-12-08 03:58:10 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-12-08 04:05:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 04:06:45 | → | dmead joins (~halloy975@2601:41:c300:ae80:354a:bc86:483c:6ece) |
| 2025-12-08 04:06:54 | <dmead> | ?yow |
| 2025-12-08 04:06:55 | <lambdabot> | Now that I have my "APPLE", I comprehend COST ACCOUNTING!! |
| 2025-12-08 04:07:02 | <dmead> | i missed you, lambdabot |
| 2025-12-08 04:10:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 04:21:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 04:24:28 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 04:24:53 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-08 04:26:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 04:30:00 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-08 04:30:23 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-12-08 04:37:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 04:41:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 04:42:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 04:44:05 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-08 04:44:25 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-12-08 04:47:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 04:58:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 05:03:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 05:11:07 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 05:11:22 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 05:14:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-08 05:15:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 05:16:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 05:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 05:20:18 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-08 05:21:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-08 05:22:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-12-08 05:23:23 | → | deptype joins (~deptype@2406:b400:3a:9d2f:9b7c:331e:bc52:4fc0) |
| 2025-12-08 05:28:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-08 05:28:56 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-08 05:29:28 | × | Googulator23 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 05:29:40 | → | Googulator23 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 05:30:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 05:35:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 05:36:16 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 05:36:29 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 05:40:43 | × | Googulator23 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 05:40:46 | → | Googulator49 joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 05:41:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
All times are in UTC.