| 2025-11-09 00:03:38 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-11-09 00:04:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:05:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-09 00:07:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-09 00:07:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 00:11:04 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-09 00:11:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 00:11:59 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:12:00 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:18:47 +0100 | kuribas` | (~user@2a02-1810-2825-6000-6290-a31b-6756-58e1.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2025-11-09 00:22:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 00:32:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 00:33:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 00:33:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:38:07 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-09 00:38:19 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2025-11-09 00:38:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 00:38:29 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 00:41:17 +0100 | tccq | (~tccq@user/tccq) tccq |
| 2025-11-09 00:41:44 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-09 00:42:11 +0100 | <tccq> | Anyone know of a C compiler in simple haskell? I see some educational resources but nothing that looks super usable / better than doing it from scratch myself |
| 2025-11-09 00:43:05 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-11-09 00:43:59 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-11-09 00:44:06 +0100 | <glguy> | I'm not aware of anyone talking about one |
| 2025-11-09 00:45:25 +0100 | <tccq> | I'll grant it's a tad backwards |
| 2025-11-09 00:46:12 +0100 | <tccq> | but my thought it to have a 2 step bootstrap loop of haskell->C (unknown) and C->haskell (Microhaskell) |
| 2025-11-09 00:46:26 +0100 | <tccq> | much nicer than writing a 1 step in either |
| 2025-11-09 00:49:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:49:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-09 00:52:49 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-11-09 00:52:52 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 00:53:06 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 00:54:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 00:55:44 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:55:44 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:58:17 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-11-09 01:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:05:48 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:06:13 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:09:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 01:14:47 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.215) |
| 2025-11-09 01:16:26 +0100 | qqe | (~qqq@185.54.21.203) (Read error: Connection reset by peer) |
| 2025-11-09 01:16:32 +0100 | qqe_ | (~qqq@185.54.21.203) |
| 2025-11-09 01:17:07 +0100 | AlexZenon | (~alzenon@85.174.180.102) (Ping timeout: 264 seconds) |
| 2025-11-09 01:18:13 +0100 | AlexNoo | (~AlexNoo@85.174.180.102) (Ping timeout: 250 seconds) |
| 2025-11-09 01:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:21:26 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 01:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 01:24:43 +0100 | <EvanR> | ehm... a haskell compiler written in C? o_O |
| 2025-11-09 01:25:01 +0100 | <EvanR> | sounds like a match made in hell |
| 2025-11-09 01:29:37 +0100 | <monochrom> | No no, the other way, a C compiler written in Haskell. :) |
| 2025-11-09 01:31:48 +0100 | <geekosaur> | simplified (non-extension-using?) Haskell |
| 2025-11-09 01:32:49 +0100 | <EvanR> | the 2nd step |
| 2025-11-09 01:33:27 +0100 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 252 seconds) |
| 2025-11-09 01:34:26 +0100 | <EvanR> | the haskell written in C just doesn't seem to be doing anyone any favors, esp if you don't have a C compiler |
| 2025-11-09 01:34:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:36:02 +0100 | <tccq> | microhs compiles to ANSI C. This exists and seems to work fine as far as I can tell. It's written in haskell mostly |
| 2025-11-09 01:36:13 +0100 | <tccq> | I want a ANSI C compiler written in haskell |
| 2025-11-09 01:36:43 +0100 | <tccq> | and by simple I mean not using every possible extension |
| 2025-11-09 01:36:54 +0100 | <tccq> | though many are supported by microhs so it's not a hard requirement |
| 2025-11-09 01:37:05 +0100 | <EvanR> | ok so microhaskell wasn't written in C, makes sense xD |
| 2025-11-09 01:37:21 +0100 | <tccq> | yup |
| 2025-11-09 01:38:18 +0100 | <EvanR> | https://github.com/dmytro-feshchenko/haskell-c-compiler |
| 2025-11-09 01:39:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 01:39:28 +0100 | <tccq> | that's the "educational resource" I referenced. You'll not that the repo contains literally nothing useful as far as I can tell |
| 2025-11-09 01:39:40 +0100 | <tccq> | at least in terms of compiling C |
| 2025-11-09 01:39:52 +0100 | <EvanR> | yes it contains nearly nothing nevermind |
| 2025-11-09 01:39:58 +0100 | <tccq> | I find that |
| 2025-11-09 01:40:01 +0100 | <tccq> | and some forks of it |
| 2025-11-09 01:40:03 +0100 | <tccq> | but nothing else |
| 2025-11-09 01:40:08 +0100 | <EvanR> | I'm sure there's one lying around somewhere |
| 2025-11-09 01:40:08 +0100 | <tccq> | perhaps it's on me then |
| 2025-11-09 01:40:22 +0100 | <tccq> | but yes I would be extremely surprised that there isn't anything |
| 2025-11-09 01:45:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 01:45:53 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 01:46:01 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:46:12 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:48:10 +0100 | ljdarj1 | ljdarj |
| 2025-11-09 01:50:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:50:34 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:50:36 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-09 01:54:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 01:55:43 +0100 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) |
| 2025-11-09 01:57:04 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 01:57:16 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 01:58:49 +0100 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) (K-Lined) |
| 2025-11-09 02:00:23 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 02:04:38 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-09 02:05:37 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 02:06:00 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 02:06:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:06:19 +0100 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 264 seconds) |
| 2025-11-09 02:06:55 +0100 | otto_s | (~user@p5de2f031.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-09 02:08:10 +0100 | otto_s | (~user@p4ff27028.dip0.t-ipconnect.de) |
| 2025-11-09 02:10:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 02:11:17 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 02:14:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-09 02:21:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:23:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-09 02:25:01 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-09 02:25:14 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Ping timeout: 256 seconds) |
| 2025-11-09 02:27:15 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-09 02:27:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 02:32:00 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-11-09 02:38:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 02:39:44 +0100 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) Inline |
| 2025-11-09 02:45:34 +0100 | <fgarcia> | writing something that does haskell to Llvmir could be fun. though i am weird and like lto |
| 2025-11-09 02:48:33 +0100 | <tccq> | perhaps I'm misremembering but that's basically what GRIN does right? |
| 2025-11-09 02:49:00 +0100 | <tccq> | lto is indeed cool though |
| 2025-11-09 02:49:14 +0100 | <tccq> | whole program optimization my beloved |
| 2025-11-09 02:50:31 +0100 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 02:51:20 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-11-09 02:53:43 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-09 02:55:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:59:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-09 03:00:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 03:05:40 +0100 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) Inline |
| 2025-11-09 03:09:10 +0100 | sam113102 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-11-09 03:09:20 +0100 | emergence0 | (emergence@vm0.max-p.me) emergence |
| 2025-11-09 03:09:42 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:2563:7fdc:9f17:50de) (Read error: Connection reset by peer) |
| 2025-11-09 03:10:23 +0100 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-11-09 03:10:23 +0100 | TimWolla_ | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-11-09 03:10:29 +0100 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-11-09 03:10:29 +0100 | orcus- | (~orcus@user/brprice) brprice |
| 2025-11-09 03:10:38 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-09 03:10:54 +0100 | jinsun- | (jinsun@here.and.ready-to.party) |
| 2025-11-09 03:11:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:11:12 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) synchromesh |
| 2025-11-09 03:11:43 +0100 | hololeap_ | (~quassel@user/hololeap) hololeap |
| 2025-11-09 03:12:15 +0100 | Wanderer_ | (~wanderer@user/wanderer) Wanderer |
| 2025-11-09 03:12:41 +0100 | sweater4 | (~sweater@206.81.18.26) sweater |
| 2025-11-09 03:12:42 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) |
| 2025-11-09 03:12:43 +0100 | jjhoo_ | (~jahakala@user/jjhoo) jjhoo |
| 2025-11-09 03:12:44 +0100 | StrayB1ts | (~straybits@d205-206-102-121.abhsia.telus.net) |
| 2025-11-09 03:13:03 +0100 | bairyn | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-11-09 03:13:09 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2025-11-09 03:13:24 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-09 03:13:30 +0100 | sshine_ | (~simon@dao.mechanicus.xyz) sshine |
| 2025-11-09 03:13:33 +0100 | tolt_ | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-11-09 03:14:06 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 03:14:41 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-11-09 03:15:42 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-09 03:16:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 03:16:23 +0100 | sm_ | (znc@plaintextaccounting/sm) sm |
| 2025-11-09 03:16:57 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 250 seconds) |
| 2025-11-09 03:17:23 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f6a2:6697:d899:5ef3) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | confusedalex | (~confuseda@user/confusedalex) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | jreicher | (~user@user/jreicher) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | straybits | (~straybits@user/straybits) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | olivial | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | ajrdck | (e0a4b72d53@user/ajrdck) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | smiesner | (b0cf5acf8c@user/smiesner) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | emergence | (emergence@vm0.max-p.me) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | esph | (~weechat@user/esph) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2025-11-09 03:17:23 +0100 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | bw | (sid2730@user/betawaffle) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | sshine | (~simon@dao.mechanicus.xyz) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | sweater3 | (~sweater@206.81.18.26) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | endokqr | (~kqr@irc-1.xkqr.org) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | opqdonut1_ | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | integral | (sid296274@user/integral) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | jinsun | (jinsun@user/jinsun) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | orcus | (~orcus@user/brprice) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | sm | (~znc@plaintextaccounting/sm) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | Wanderer | (~wanderer@user/wanderer) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2025-11-09 03:17:24 +0100 | FragByte_ | FragByte |
| 2025-11-09 03:17:24 +0100 | Hobbyboy|BNC | Hobbyboy |
| 2025-11-09 03:17:24 +0100 | emergence0 | emergence |
| 2025-11-09 03:17:25 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-09 03:17:25 +0100 | TimWolla_ | TimWolla |
| 2025-11-09 03:17:25 +0100 | sam113102 | sam113101 |
| 2025-11-09 03:18:51 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-09 03:26:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:31:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 03:35:43 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 2025-11-09 03:42:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:46:21 +0100 | sm_ | sm |
| 2025-11-09 03:47:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 03:55:20 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2025-11-09 03:58:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:03:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-11-09 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-11-09 04:14:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:21:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 04:31:12 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-09 04:31:53 +0100 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-11-09 04:32:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:33:46 +0100 | td_ | (~td@i53870919.versanet.de) td_ |
| 2025-11-09 04:35:11 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-09 04:37:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 04:38:07 +0100 | anderson | (anderson@user/anderson) (Ping timeout: 264 seconds) |
| 2025-11-09 04:39:49 +0100 | anderson | (anderson@user/anderson) anderson |
| 2025-11-09 04:44:03 +0100 | trickard_ | trickard |
| 2025-11-09 04:48:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:53:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 05:03:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:05:13 +0100 | orenty7 | (~orenty7@37.63.18.88) |
| 2025-11-09 05:05:24 +0100 | orenty7 | (~orenty7@37.63.18.88) (Client Quit) |
| 2025-11-09 05:08:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 05:18:17 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-09 05:19:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 05:33:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-09 05:33:23 +0100 | annamalai | (~annamalai@157.33.220.201) (Remote host closed the connection) |
| 2025-11-09 05:33:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-09 05:33:43 +0100 | annamalai | (~annamalai@157.33.220.201) annamalai |
| 2025-11-09 05:35:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:41:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 05:48:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-11-09 05:51:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 05:57:02 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-09 06:03:12 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 2025-11-09 06:04:42 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-09 06:16:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:21:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 06:24:21 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-09 06:24:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-09 06:29:41 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-09 06:30:14 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 06:32:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:39:06 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 06:39:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 06:41:06 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 06:50:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:55:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 06:56:47 +0100 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2025-11-09 06:56:48 +0100 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2025-11-09 06:56:48 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-11-09 06:56:48 +0100 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-11-09 06:56:52 +0100 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-11-09 06:56:53 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) lally |
| 2025-11-09 06:57:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-09 07:02:12 +0100 | trickard_ | trickard |
| 2025-11-09 07:06:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:08:16 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-11-09 07:12:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 07:13:38 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 07:13:52 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 07:15:34 +0100 | tccq | (~tccq@user/tccq) (Remote host closed the connection) |
| 2025-11-09 07:24:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:29:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 07:35:41 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-09 07:36:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-09 07:40:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:44:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 07:50:11 +0100 | annamalai | (~annamalai@157.33.220.201) (Ping timeout: 244 seconds) |
| 2025-11-09 07:51:39 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 07:54:44 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 07:55:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 08:02:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:07:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 08:16:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 08:17:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Client Quit) |
| 2025-11-09 08:18:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:22:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 08:33:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 08:49:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:51:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 08:55:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 09:03:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:04:33 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 09:04:39 +0100 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 09:05:06 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-09 09:08:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 09:15:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 09:19:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:21:13 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-09 09:24:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 09:24:30 +0100 | trickard___ | trickard |
| 2025-11-09 09:34:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:39:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 09:44:38 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-09 09:46:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 09:46:40 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-09 09:50:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:51:13 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 09:51:27 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 09:55:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 09:56:38 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) (Remote host closed the connection) |
| 2025-11-09 09:57:03 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-09 10:00:15 +0100 | trickard_ | trickard |
| 2025-11-09 10:04:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:09:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 10:19:50 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 10:20:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:20:57 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 10:24:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 10:29:43 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 10:29:57 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:31:55 +0100 | <kaol> | Is there something like Void but that's * -> *? Sort of like Maybe that's guaranteed to always be Nothing. |
| 2025-11-09 10:32:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 10:33:00 +0100 | <humasect> | a -> () ? |
| 2025-11-09 10:33:15 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 10:35:48 +0100 | <tomsmeding> | a -> Void, rather |
| 2025-11-09 10:35:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:36:19 +0100 | <tomsmeding> | kaol: should there be a value of this type or not? "Maybe that is always Nothing" has 1 value (Nothing); VOid has 0 values |
| 2025-11-09 10:37:08 +0100 | <tomsmeding> | If yes then `Const ()`; if no then `Const Void` |
| 2025-11-09 10:37:18 +0100 | <tomsmeding> | (Data.Functor.Const in base) |
| 2025-11-09 10:37:20 +0100 | <dibblego> | I understand the question to mean: newtype X a; |
| 2025-11-09 10:37:33 +0100 | <tomsmeding> | a newtype must have one constructor |
| 2025-11-09 10:37:37 +0100 | <dibblego> | er, data |
| 2025-11-09 10:37:49 +0100 | <tomsmeding> | but then it's not like Void |
| 2025-11-09 10:38:03 +0100 | <tomsmeding> | it's more like (), and either `data X a` indeed, or `Const ()`, works |
| 2025-11-09 10:38:27 +0100 | <tomsmeding> | bah my brain this morning |
| 2025-11-09 10:38:48 +0100 | <tomsmeding> | one of these, exercise for the reader to figure out which |
| 2025-11-09 10:39:53 +0100 | <kaol> | I was thinking that if I have some data Foo a = { foo :: a Int } then I can have Foo Identity to have something that always has a foo and Foo Maybe that would optionally have a foo. I wondered whether there is some Foo X that would give me a data that'd have no foo. |
| 2025-11-09 10:40:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 10:40:52 +0100 | <tomsmeding> | Const Void |
| 2025-11-09 10:42:22 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 10:43:24 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 10:46:15 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 10:46:28 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:47:17 +0100 | <kaol> | I'm not sure if I can have any values having that type. I'd still like to have a record containing the other fields. |
| 2025-11-09 10:47:40 +0100 | <tomsmeding> | oh I see |
| 2025-11-09 10:47:44 +0100 | <tomsmeding> | then Const () :) |
| 2025-11-09 10:47:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-09 10:49:10 +0100 | <kaol> | Neat. I'm not sure if I need it after all but I started still thinking that surely there's a Type -> Type for this case too. |
| 2025-11-09 10:51:13 +0100 | <tomsmeding> | kaol: as dibblego mentioned, you don't need predefined types for this, and in fact it might be more intuitive to write your own; the "no values at all" is `data None a` (isomorphic to Const Void), and the "exactly one value" is `data One a = One` (isomorphic to Const ()) |
| 2025-11-09 10:51:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:54:01 +0100 | <kaol> | I may need the construct across multiple modules and then I'd be better off using the same data One a = One via an import and if I import then I could get it from a library as well. |
| 2025-11-09 10:55:04 +0100 | <tomsmeding> | fair |
| 2025-11-09 10:56:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 10:56:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 11:04:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 11:05:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:05:19 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 11:07:31 +0100 | <Leary> | kaol: `Data.Proxy` |
| 2025-11-09 11:09:53 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-09 11:10:01 +0100 | <kaol> | Why didn't I think of that. Thanks. |
| 2025-11-09 11:10:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 11:10:51 +0100 | <kaol> | It's a nice new angle to think of what it does. |
| 2025-11-09 11:14:25 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-09 11:16:44 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 11:21:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:24:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-09 11:27:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 11:30:15 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 11:31:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 11:33:43 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-09 11:37:45 +0100 | trickard_ | trickard |
| 2025-11-09 11:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:43:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 11:44:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 11:44:11 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-09 11:46:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 11:52:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 11:52:26 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 11:52:48 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 11:58:07 +0100 | trickard_ | trickard |
| 2025-11-09 12:00:28 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-09 12:06:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:10:00 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-09 12:11:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 12:22:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:26:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 12:37:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 12:42:54 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-09 12:43:21 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-09 12:47:16 +0100 | Zemy_ | (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) |
| 2025-11-09 12:47:16 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-09 12:47:48 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-09 12:49:06 +0100 | Zemy_ | (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) (Read error: Connection reset by peer) |
| 2025-11-09 12:53:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:57:19 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-11-09 12:58:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 13:07:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:11:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 13:20:22 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-09 13:23:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:25:33 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-09 13:26:31 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 13:26:45 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 13:27:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 13:28:02 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:28:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 13:31:00 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:33:12 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:34:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:34:31 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-09 13:36:44 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:39:21 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:39:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:45:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 13:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 14:03:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:03:37 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-11-09 14:05:48 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-09 14:05:49 +0100 | califax_ | califax |
| 2025-11-09 14:07:48 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 14:07:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 14:08:01 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 14:08:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 14:14:55 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-09 14:16:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:17:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:20:22 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:21:50 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:24:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:24:31 +0100 | annamalai | (~annamalai@157.33.211.168) annamalai |
| 2025-11-09 14:30:15 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 14:30:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:30:55 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:35:26 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:37:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 14:38:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:42:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:43:11 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:46:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:48:20 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Quit: Leaving) |
| 2025-11-09 14:51:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:53:28 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:53:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 14:54:29 +0100 | <__monty__> | `lsb x = x .&. negate x` is such a cheat. |
| 2025-11-09 14:54:30 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:55:14 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 14:59:35 +0100 | <fgarcia> | > 10 .&. negate 10 |
| 2025-11-09 14:59:37 +0100 | <lambdabot> | 2 |
| 2025-11-09 15:00:05 +0100 | tomsmeding | . o O ( negate x = complement x + 1 ) |
| 2025-11-09 15:00:24 +0100 | <tomsmeding> | it's a famous bithack |
| 2025-11-09 15:00:36 +0100 | <fgarcia> | > 24 .&. negate 24 |
| 2025-11-09 15:00:38 +0100 | <lambdabot> | 8 |
| 2025-11-09 15:01:36 +0100 | <fgarcia> | i like math tricks! :) |
| 2025-11-09 15:01:44 +0100 | <tomsmeding> | > [x .&. negate x | x <- [1..20]] |
| 2025-11-09 15:01:46 +0100 | <lambdabot> | [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4] |
| 2025-11-09 15:02:43 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-11-09 15:03:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:04:08 +0100 | <tomsmeding> | if x is not zero, it ends with some zeros (0 or more), a one, and then some zeros (0 or more); say 01000. ~01000 = 10111; -01000 = 10111 + 1 = 11000 |
| 2025-11-09 15:04:28 +0100 | <__monty__> | I saw it applied in the context of Clash's BitVector, so it was absolutely not obvious that negate would be two's complement. |
| 2025-11-09 15:04:58 +0100 | <tomsmeding> | interesting |
| 2025-11-09 15:06:01 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 15:08:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:09:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:13:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 15:19:26 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-11-09 15:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:25:01 +0100 | tt12310978324354 | tt1231 |
| 2025-11-09 15:25:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-09 15:27:43 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 15:29:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 15:34:03 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-09 15:35:32 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-09 15:36:55 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) synchromesh |
| 2025-11-09 15:40:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:41:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-09 15:44:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 15:46:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-09 15:47:16 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-09 15:47:45 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 15:50:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 15:52:49 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-09 15:54:36 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-09 15:56:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:58:06 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 16:00:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 16:04:06 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-85-123.dedicated.static.sonic.net) segfaultfizzbuzz |
| 2025-11-09 16:04:40 +0100 | <segfaultfizzbuzz> | https://github.mpg.is/wasm-game/ -- wow,... i was expecting it to be jittery and have big GC pauses and stuff,... it runs so smooth on my machine,... incredible |
| 2025-11-09 16:05:25 +0100 | qqe_ | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-09 16:10:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:14:25 +0100 | trickard_ | trickard |
| 2025-11-09 16:16:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 16:28:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:33:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 16:44:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:49:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |