Logs: liberachat/#haskell
| 2025-11-08 18:15:54 | → | Zemy joins (~Zemy@mobile-107-80-206-46.mycingular.net) |
| 2025-11-08 18:15:54 | × | Zemy_ quits (~Zemy@2600:100c:b0ac:a6ef:9402:1aff:fe12:94e2) (Read error: Connection reset by peer) |
| 2025-11-08 18:16:34 | → | Zemy_ joins (~Zemy@2600:100c:b0ac:a6ef:b47f:5aff:fea0:a996) |
| 2025-11-08 18:17:11 | → | l47474Guest2 joins (~l47474Gue@2a01:5241:d00:ce00::fa:200) |
| 2025-11-08 18:17:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 18:19:59 | × | Zemy quits (~Zemy@mobile-107-80-206-46.mycingular.net) (Ping timeout: 244 seconds) |
| 2025-11-08 18:23:17 | × | l47474Guest2 quits (~l47474Gue@2a01:5241:d00:ce00::fa:200) (Quit: Client closed) |
| 2025-11-08 18:27:13 | × | Square3 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-08 18:27:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-08 18:28:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 18:30:43 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-08 18:33:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-08 18:34:36 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-08 18:37:32 | <SrPx> | but it wouldn't work with haskell pointers right |
| 2025-11-08 18:44:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 18:48:25 | <int-e> | What is a "Haskell pointer"? (There's nothing in the language that prevents you from having an array type with optional entries with absence represented by 0 words; it's a matter of runtime support) |
| 2025-11-08 18:50:36 | × | Googulator43 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 18:50:39 | → | Googulator72 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 18:51:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 18:53:33 | <int-e> | I think it's less that Haskell can't have it and more that if you worry about performance at this level, you're *probably* not using Haskell for your project anyway because garbage collection is another big costly thing that'll cause you trouble. |
| 2025-11-08 18:57:42 | → | Zemy joins (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-08 19:00:34 | × | Zemy_ quits (~Zemy@2600:100c:b0ac:a6ef:b47f:5aff:fea0:a996) (Ping timeout: 260 seconds) |
| 2025-11-08 19:00:42 | → | Googulator86 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 19:00:44 | × | Googulator72 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 19:02:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 19:07:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 19:13:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 19:18:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-08 19:28:02 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-08 19:29:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 19:33:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-08 19:40:24 | → | Zemy_ joins (~Zemy@2600:100c:b0ac:a6ef:bc08:1bff:feb9:1664) |
| 2025-11-08 19:40:24 | × | Zemy quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-08 19:40:53 | → | Zemy joins (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-08 19:42:34 | × | Vq quits (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2025-11-08 19:43:23 | → | Core9455 joins (~Zemy@2600:100c:b0ac:a6ef:c0d:a7ff:fe1d:3979) |
| 2025-11-08 19:43:50 | × | Zemy_ quits (~Zemy@2600:100c:b0ac:a6ef:bc08:1bff:feb9:1664) (Read error: Connection reset by peer) |
| 2025-11-08 19:44:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 19:45:19 | × | Zemy quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-11-08 19:49:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 19:50:25 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 2025-11-08 19:51:57 | <EvanR> | O(0) uninitialization |
| 2025-11-08 19:55:09 | <EvanR> | does anyone know what specific algorithm the Show instance for Float and Double use, I know there's been a few in the past few decades |
| 2025-11-08 19:55:36 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2025-11-08 19:59:29 | × | Core9455 quits (~Zemy@2600:100c:b0ac:a6ef:c0d:a7ff:fe1d:3979) (Ping timeout: 260 seconds) |
| 2025-11-08 20:00:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 20:05:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 20:05:33 | <int-e> | EvanR: Looks like this at the core: https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/ghc-internal/src/GHC/Internal/Float.hs?ref_type=heads#L1100-1206 |
| 2025-11-08 20:07:24 | <EvanR> | amazing |
| 2025-11-08 20:08:13 | <int-e> | (almost all integer arithmetic, so no dragon/grisu influence) |
| 2025-11-08 20:09:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-08 20:10:45 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 20:10:54 | × | Googulator86 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 20:11:15 | <EvanR> | interesting remark about long double |
| 2025-11-08 20:11:24 | <EvanR> | which we still don't have right |
| 2025-11-08 20:12:37 | → | tromp joins (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-11-08 20:14:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 20:19:41 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-08 20:19:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-08 20:28:14 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-08 20:30:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 20:30:32 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 20:30:32 | × | Googulator59 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 20:35:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 20:40:44 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-08 20:45:37 | → | Googulator82 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 20:45:44 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 20:46:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 20:50:40 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 20:50:40 | × | Googulator82 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 20:51:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 20:58:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-08 20:59:23 | → | Vq joins (~vq@90-224-37-169-no600.tbcn.telia.com) |
| 2025-11-08 21:02:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 21:05:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-08 21:07:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 21:07:39 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-08 21:08:22 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-08 21:15:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 21:24:26 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 244 seconds) |
| 2025-11-08 21:26:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 21:34:47 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-08 21:37:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 21:42:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 21:45:36 | → | Googulator74 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:45:37 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:47:02 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-08 21:50:38 | × | Googulator74 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:50:42 | → | Googulator2 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:52:55 | → | finsternis joins (~X@23.226.237.192) |
| 2025-11-08 21:53:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 21:58:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 22:00:01 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-08 22:00:01 | × | synchromesh quits (~john@2406:5a00:2412:2c00:2563:7fdc:9f17:50de) (Read error: Connection reset by peer) |
| 2025-11-08 22:00:14 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-08 22:01:29 | → | synchromesh joins (~john@2406:5a00:2412:2c00:2563:7fdc:9f17:50de) |
| 2025-11-08 22:06:35 | × | Vq quits (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 245 seconds) |
| 2025-11-08 22:08:10 | → | Vq joins (~vq@90-224-37-169-no600.tbcn.telia.com) |
| 2025-11-08 22:08:58 | → | ystael joins (~ystael@user/ystael) |
| 2025-11-08 22:09:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.