2025/01/25

Newest at the top

2025-01-25 05:19:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-01-25 05:18:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-25 05:15:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-25 05:13:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 05:05:09 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-25 05:04:02 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2025-01-25 05:03:53 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Server closed connection)
2025-01-25 05:02:42 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-01-25 05:02:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-25 05:00:56 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-25 05:00:31 +0100probie(cc0b34050a@user/probie) probie
2025-01-25 05:00:23 +0100probie(cc0b34050a@user/probie) (Server closed connection)
2025-01-25 04:57:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 04:56:18 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-25 04:55:30 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2025-01-25 04:55:23 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Server closed connection)
2025-01-25 04:46:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-25 04:44:17 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-01-25 04:43:43 +0100 <haskellbridge> <thirdofmay18081814goya> hm right
2025-01-25 04:43:41 +0100terrorjack45(~terrorjac@2a01:4f8:c17:a66e::) terrorjack
2025-01-25 04:42:59 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) ggb
2025-01-25 04:42:53 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection)
2025-01-25 04:42:00 +0100terrorjack45(~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat)
2025-01-25 04:41:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 04:40:40 +0100 <geekosaur> if we're talking about the same async, (a) it has to be in IO to start threads (b) it does keep "state" (thread status)
2025-01-25 04:30:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-25 04:30:57 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-25 04:27:48 +0100 <haskellbridge> <thirdofmay18081814goya> the real world does so we're in IO somewhere
2025-01-25 04:27:11 +0100 <haskellbridge> <thirdofmay18081814goya> ah will give that a read, ty (also state monad is not a good idea because we don't do update)
2025-01-25 04:26:51 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-25 04:26:46 +0100g00gler(uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-25 04:26:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 04:24:33 +0100 <lambdabot> https://www.safaribooksonline.com/library/view/parallel-and-concurrent/9781449335939/
2025-01-25 04:24:33 +0100 <geekosaur> @where parconc
2025-01-25 04:23:50 +0100 <haskellbridge> <thirdofmay18081814goya> i guess it can be interpreted in a state monad that accounts for whether a value has returned at each tick (tick being defined however it might be meaningful in a given context)
2025-01-25 04:22:58 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-25 04:20:54 +0100 <haskellbridge> <thirdofmay18081814goya> any good readings on async, maybe how it can be interpreted monadically?
2025-01-25 04:18:28 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-25 04:15:56 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-25 04:15:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-25 04:08:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 04:05:06 +0100xff0x(~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337)
2025-01-25 04:04:15 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds)
2025-01-25 03:59:55 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-25 03:58:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-25 03:52:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 03:52:02 +0100xff0x(~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 248 seconds)
2025-01-25 03:51:42 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-01-25 03:47:31 +0100penteract(~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 264 seconds)
2025-01-25 03:41:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)