Logs: liberachat/#haskell
| 2026-04-14 08:57:12 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-14 08:58:36 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2026-04-14 09:02:56 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 268 seconds) |
| 2026-04-14 09:08:16 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-14 09:10:22 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-04-14 09:14:04 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-14 09:18:10 | × | pfc quits (~pfc@user/pfc) (Ping timeout: 248 seconds) |
| 2026-04-14 09:23:32 | → | oskarw joins (~user@user/oskarw) |
| 2026-04-14 09:24:54 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-04-14 09:33:47 | → | Googulator32 joins (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-14 09:34:40 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-04-14 09:36:33 | → | tromp joins (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) |
| 2026-04-14 09:37:17 | × | Googulator55 quits (~Googulato@94-21-172-213.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-14 09:37:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-04-14 09:38:14 | → | sdrfan123 joins (~sdrfan123@2a01:cb15:148:1800:81dc:48b:66df:6cbd) |
| 2026-04-14 09:41:52 | × | sdrfan123 quits (~sdrfan123@2a01:cb15:148:1800:81dc:48b:66df:6cbd) (Client Quit) |
| 2026-04-14 09:43:18 | → | puke joins (~puke@user/puke) |
| 2026-04-14 09:45:14 | × | acidsys quits (~crameleon@openSUSE/member/crameleon) (Ping timeout: 252 seconds) |
| 2026-04-14 09:45:30 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-04-14 09:45:49 | → | acidsys joins (~crameleon@openSUSE/member/crameleon) |
| 2026-04-14 09:51:51 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-14 09:58:05 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-14 09:59:19 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e525da495f54e6c9df91.dip0.t-ipconnect.de) |
| 2026-04-14 10:02:17 | × | acidjnk_new quits (~acidjnk@p200300d6e700e507eac8604a20d7f4cd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-14 10:03:52 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 244 seconds) |
| 2026-04-14 10:06:34 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-04-14 10:28:11 | → | Square3 joins (~Square4@user/square) |
| 2026-04-14 10:28:52 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 10:30:50 | × | Googulator32 quits (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-14 10:31:04 | → | Googulator32 joins (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-14 10:31:30 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-04-14 10:31:59 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-14 10:33:05 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 245 seconds) |
| 2026-04-14 10:33:19 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-14 10:35:18 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-14 10:41:35 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-14 10:42:26 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) (Ping timeout: 252 seconds) |
| 2026-04-14 10:43:15 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-14 10:43:24 | → | fun-safe-math joins (~fun-safe-@71-34-105-125.ptld.qwest.net) |
| 2026-04-14 10:43:25 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 2026-04-14 10:43:44 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2026-04-14 10:45:26 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 10:49:54 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-14 10:49:54 | Googulator32 | is now known as Googulator |
| 2026-04-14 10:58:01 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 11:00:48 | → | _________ joins (~nobody@user/noodly) |
| 2026-04-14 11:01:55 | × | fun-safe-math quits (~fun-safe-@71-34-105-125.ptld.qwest.net) () |
| 2026-04-14 11:02:47 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 252 seconds) |
| 2026-04-14 11:03:58 | → | fun-safe-math joins (~fun-safe-@71-34-105-125.ptld.qwest.net) |
| 2026-04-14 11:04:40 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 11:05:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:763c:362b:b9c4:6a52) |
| 2026-04-14 11:09:07 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 268 seconds) |
| 2026-04-14 11:09:19 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-14 11:09:46 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-04-14 11:09:48 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-14 11:11:56 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-14 11:22:19 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-14 11:29:15 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:8b07:b321:e715:9a8a) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-14 11:29:32 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 2026-04-14 11:30:59 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-14 11:33:15 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-14 11:57:18 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-14 11:58:11 | <Milan_Vanca> | Hmm is output of +RTS -N4 -s in line that talks about sparks SPARKS: 49151 (7336 converted, 855 overflowed, 0 dud, 0 GC'd, 0 fizzled) |
| 2026-04-14 11:58:25 | <Milan_Vanca> | > 49151 == 7336 + 855 |
| 2026-04-14 11:58:27 | <lambdabot> | False |
| 2026-04-14 11:58:40 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-04-14 11:58:40 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-14 11:58:40 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-14 11:59:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-14 11:59:40 | <Milan_Vanca> | I mean it should sum right? Or is overflowed counted as more than converted? |
| 2026-04-14 12:00:28 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-14 12:00:51 | × | tromp quits (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-14 12:01:14 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-14 12:01:52 | <Milan_Vanca> | Maybe info in () shows last known state, and first number is total for whole program run. |
| 2026-04-14 12:02:57 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 12:07:52 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-14 12:12:20 | <ski> | > 49151 - (7336 + 855) |
| 2026-04-14 12:12:21 | ← | oskarw parts (~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-14 12:12:21 | <lambdabot> | 40960 |
| 2026-04-14 12:13:11 | <Milan_Vanca> | I have found this in ghc docs Any remaining sparks are discarded at the end of execution, so “converted” plus “pruned” does not necessarily add up to the total. |
| 2026-04-14 12:15:04 | <Milan_Vanca> | Program executed on all cores only first 5s from 25s total. So it looks like it oveflowed sparks or something. |
| 2026-04-14 12:25:39 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 255 seconds) |
| 2026-04-14 12:33:26 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-14 12:37:54 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 12:38:48 | → | tromp joins (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) |
| 2026-04-14 12:42:24 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-14 12:44:56 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-14 12:49:37 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-14 12:53:30 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 12:56:17 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-14 12:56:42 | × | AlexZenon quits (~alzenon@178.34.151.36) (Quit: ;-) |
| 2026-04-14 12:57:31 | × | AlexNoo quits (~AlexNoo@178.34.151.36) (Quit: Leaving) |
| 2026-04-14 12:58:14 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-14 13:06:47 | × | tromp quits (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-14 13:08:46 | → | AlexNoo joins (~AlexNoo@178.34.151.36) |
| 2026-04-14 13:08:58 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 2026-04-14 13:11:29 | <gentauro> | would it be possible to spawn 1m concurrent `https://hackage-content.haskell.org/package/async-2.2.6/docs/Control-Concurrent-Async.html` (green threads right?) as we can do in Rust/dotnet: https://hez2010.github.io/async-runtimes-benchmarks-2024/take2.html |
| 2026-04-14 13:11:53 | → | tromp joins (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) |
| 2026-04-14 13:13:52 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-14 13:14:19 | <mauke> | I don't remember what my record was |
All times are in UTC.