| 2025-11-09 00:05:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:05:48 +0000 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:06:13 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:09:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 00:14:47 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.215) |
| 2025-11-09 00:16:26 +0000 | qqe | (~qqq@185.54.21.203) (Read error: Connection reset by peer) |
| 2025-11-09 00:16:32 +0000 | qqe_ | (~qqq@185.54.21.203) |
| 2025-11-09 00:17:07 +0000 | AlexZenon | (~alzenon@85.174.180.102) (Ping timeout: 264 seconds) |
| 2025-11-09 00:18:13 +0000 | AlexNoo | (~AlexNoo@85.174.180.102) (Ping timeout: 250 seconds) |
| 2025-11-09 00:18:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:21:26 +0000 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 00:23:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 00:24:43 +0000 | <EvanR> | ehm... a haskell compiler written in C? o_O |
| 2025-11-09 00:25:01 +0000 | <EvanR> | sounds like a match made in hell |
| 2025-11-09 00:29:37 +0000 | <monochrom> | No no, the other way, a C compiler written in Haskell. :) |
| 2025-11-09 00:31:48 +0000 | <geekosaur> | simplified (non-extension-using?) Haskell |
| 2025-11-09 00:32:49 +0000 | <EvanR> | the 2nd step |
| 2025-11-09 00:33:27 +0000 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 252 seconds) |
| 2025-11-09 00:34:26 +0000 | <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 00:34:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:36:02 +0000 | <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 00:36:13 +0000 | <tccq> | I want a ANSI C compiler written in haskell |
| 2025-11-09 00:36:43 +0000 | <tccq> | and by simple I mean not using every possible extension |
| 2025-11-09 00:36:54 +0000 | <tccq> | though many are supported by microhs so it's not a hard requirement |
| 2025-11-09 00:37:05 +0000 | <EvanR> | ok so microhaskell wasn't written in C, makes sense xD |
| 2025-11-09 00:37:21 +0000 | <tccq> | yup |
| 2025-11-09 00:38:18 +0000 | <EvanR> | https://github.com/dmytro-feshchenko/haskell-c-compiler |
| 2025-11-09 00:39:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 00:39:28 +0000 | <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 00:39:40 +0000 | <tccq> | at least in terms of compiling C |
| 2025-11-09 00:39:52 +0000 | <EvanR> | yes it contains nearly nothing nevermind |
| 2025-11-09 00:39:58 +0000 | <tccq> | I find that |
| 2025-11-09 00:40:01 +0000 | <tccq> | and some forks of it |
| 2025-11-09 00:40:03 +0000 | <tccq> | but nothing else |
| 2025-11-09 00:40:08 +0000 | <EvanR> | I'm sure there's one lying around somewhere |
| 2025-11-09 00:40:08 +0000 | <tccq> | perhaps it's on me then |
| 2025-11-09 00:40:22 +0000 | <tccq> | but yes I would be extremely surprised that there isn't anything |
| 2025-11-09 00:45:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 00:45:53 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 00:46:01 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:46:12 +0000 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:48:10 +0000 | ljdarj1 | ljdarj |
| 2025-11-09 00:50:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:50:34 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:50:36 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-09 00:54:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 00:55:43 +0000 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) |
| 2025-11-09 00:57:04 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 00:57:16 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 00:58:49 +0000 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) (K-Lined) |
| 2025-11-09 01:00:23 +0000 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 01:04:38 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-09 01:05:37 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:06:00 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:06:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:06:19 +0000 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 264 seconds) |
| 2025-11-09 01:06:55 +0000 | otto_s | (~user@p5de2f031.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-09 01:08:10 +0000 | otto_s | (~user@p4ff27028.dip0.t-ipconnect.de) |
| 2025-11-09 01:10:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 01:11:17 +0000 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 01:14:37 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-09 01:21:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:23:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-09 01:25:01 +0000 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-09 01:25:14 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Ping timeout: 256 seconds) |
| 2025-11-09 01:27:15 +0000 | DetourNe- | DetourNetworkUK |
| 2025-11-09 01:27:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 01:32:00 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-11-09 01:38:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 01:39:44 +0000 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) Inline |
| 2025-11-09 01:45:34 +0000 | <fgarcia> | writing something that does haskell to Llvmir could be fun. though i am weird and like lto |
| 2025-11-09 01:48:33 +0000 | <tccq> | perhaps I'm misremembering but that's basically what GRIN does right? |
| 2025-11-09 01:49:00 +0000 | <tccq> | lto is indeed cool though |
| 2025-11-09 01:49:14 +0000 | <tccq> | whole program optimization my beloved |
| 2025-11-09 01:50:31 +0000 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 01:51:20 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-11-09 01:53:43 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-09 01:55:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:59:32 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-09 02:00:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 02:05:40 +0000 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) Inline |
| 2025-11-09 02:09:10 +0000 | sam113102 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-11-09 02:09:20 +0000 | emergence0 | (emergence@vm0.max-p.me) emergence |
| 2025-11-09 02:09:42 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:2563:7fdc:9f17:50de) (Read error: Connection reset by peer) |
| 2025-11-09 02:10:23 +0000 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-11-09 02:10:23 +0000 | TimWolla_ | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-11-09 02:10:29 +0000 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-11-09 02:10:29 +0000 | orcus- | (~orcus@user/brprice) brprice |
| 2025-11-09 02:10:38 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-09 02:10:54 +0000 | jinsun- | (jinsun@here.and.ready-to.party) |
| 2025-11-09 02:11:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:11:12 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) synchromesh |
| 2025-11-09 02:11:43 +0000 | hololeap_ | (~quassel@user/hololeap) hololeap |
| 2025-11-09 02:12:15 +0000 | Wanderer_ | (~wanderer@user/wanderer) Wanderer |
| 2025-11-09 02:12:41 +0000 | sweater4 | (~sweater@206.81.18.26) sweater |
| 2025-11-09 02:12:42 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) |
| 2025-11-09 02:12:43 +0000 | jjhoo_ | (~jahakala@user/jjhoo) jjhoo |
| 2025-11-09 02:12:44 +0000 | StrayB1ts | (~straybits@d205-206-102-121.abhsia.telus.net) |
| 2025-11-09 02:13:03 +0000 | bairyn | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-11-09 02:13:09 +0000 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2025-11-09 02:13:24 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-09 02:13:30 +0000 | sshine_ | (~simon@dao.mechanicus.xyz) sshine |
| 2025-11-09 02:13:33 +0000 | tolt_ | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-11-09 02:14:06 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 02:14:41 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-11-09 02:15:42 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-09 02:16:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 02:16:23 +0000 | sm_ | (znc@plaintextaccounting/sm) sm |
| 2025-11-09 02:16:57 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 250 seconds) |
| 2025-11-09 02:17:23 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f6a2:6697:d899:5ef3) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | confusedalex | (~confuseda@user/confusedalex) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | jreicher | (~user@user/jreicher) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | straybits | (~straybits@user/straybits) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | olivial | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | ajrdck | (e0a4b72d53@user/ajrdck) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | emergence | (emergence@vm0.max-p.me) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | esph | (~weechat@user/esph) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2025-11-09 02:17:23 +0000 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | bw | (sid2730@user/betawaffle) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | sshine | (~simon@dao.mechanicus.xyz) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | sweater3 | (~sweater@206.81.18.26) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | endokqr | (~kqr@irc-1.xkqr.org) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | opqdonut1_ | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | jinsun | (jinsun@user/jinsun) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | orcus | (~orcus@user/brprice) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | sm | (~znc@plaintextaccounting/sm) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | Wanderer | (~wanderer@user/wanderer) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2025-11-09 02:17:24 +0000 | FragByte_ | FragByte |
| 2025-11-09 02:17:24 +0000 | Hobbyboy|BNC | Hobbyboy |
| 2025-11-09 02:17:24 +0000 | emergence0 | emergence |
| 2025-11-09 02:17:25 +0000 | DetourNe- | DetourNetworkUK |
| 2025-11-09 02:17:25 +0000 | TimWolla_ | TimWolla |
| 2025-11-09 02:17:25 +0000 | sam113102 | sam113101 |
| 2025-11-09 02:18:51 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-09 02:26:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:31:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 02:35:43 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 2025-11-09 02:42:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:46:21 +0000 | sm_ | sm |
| 2025-11-09 02:47:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 02:55:20 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2025-11-09 02:58:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:03:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 03:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-11-09 03:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-11-09 03:14:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:21:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 03:31:12 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-09 03:31:53 +0000 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-11-09 03:32:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:33:46 +0000 | td_ | (~td@i53870919.versanet.de) td_ |
| 2025-11-09 03:35:11 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-09 03:37:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 03:38:07 +0000 | anderson | (anderson@user/anderson) (Ping timeout: 264 seconds) |
| 2025-11-09 03:39:49 +0000 | anderson | (anderson@user/anderson) anderson |
| 2025-11-09 03:44:03 +0000 | trickard_ | trickard |
| 2025-11-09 03:48:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 03:53:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 04:03:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:05:13 +0000 | orenty7 | (~orenty7@37.63.18.88) |
| 2025-11-09 04:05:24 +0000 | orenty7 | (~orenty7@37.63.18.88) (Client Quit) |
| 2025-11-09 04:08:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 04:18:17 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-09 04:19:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 04:33:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-09 04:33:23 +0000 | annamalai | (~annamalai@157.33.220.201) (Remote host closed the connection) |
| 2025-11-09 04:33:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-09 04:33:43 +0000 | annamalai | (~annamalai@157.33.220.201) annamalai |
| 2025-11-09 04:35:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:41:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 04:48:01 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-11-09 04:51:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 04:56:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 04:57:02 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-09 05:03:12 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 2025-11-09 05:04:42 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-09 05:16:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:21:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 05:24:21 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-09 05:24:56 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-09 05:29:41 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-09 05:30:14 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 05:32:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:39:06 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 05:39:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 05:41:06 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 05:50:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 05:55:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 05:56:47 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2025-11-09 05:56:48 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2025-11-09 05:56:48 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-11-09 05:56:48 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-11-09 05:56:52 +0000 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-11-09 05:56:53 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) lally |
| 2025-11-09 05:57:03 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-09 06:02:12 +0000 | trickard_ | trickard |
| 2025-11-09 06:06:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:08:16 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-11-09 06:12:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 06:13:38 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 06:13:52 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 06:15:34 +0000 | tccq | (~tccq@user/tccq) (Remote host closed the connection) |
| 2025-11-09 06:24:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:29:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 06:35:41 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-09 06:36:45 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-09 06:40:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 06:44:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 06:50:11 +0000 | annamalai | (~annamalai@157.33.220.201) (Ping timeout: 244 seconds) |
| 2025-11-09 06:51:39 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 06:54:44 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 06:55:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:00:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 07:02:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:07:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 07:16:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 07:17:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Client Quit) |
| 2025-11-09 07:18:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:22:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 07:33:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:38:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 07:49:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 07:51:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 07:55:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 08:03:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:04:33 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 08:04:39 +0000 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 08:05:06 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-09 08:08:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 08:15:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 08:19:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:21:13 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-09 08:24:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 08:24:30 +0000 | trickard___ | trickard |
| 2025-11-09 08:34:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:39:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 08:44:38 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-09 08:46:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 08:46:40 +0000 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-09 08:50:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 08:51:13 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 08:51:27 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 08:55:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 08:56:38 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) (Remote host closed the connection) |
| 2025-11-09 08:57:03 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-09 09:00:15 +0000 | trickard_ | trickard |
| 2025-11-09 09:04:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:09:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 09:19:50 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 09:20:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:20:57 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 09:24:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 09:29:43 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 09:29:57 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 09:31:55 +0000 | <kaol> | Is there something like Void but that's * -> *? Sort of like Maybe that's guaranteed to always be Nothing. |
| 2025-11-09 09:32:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 09:33:00 +0000 | <humasect> | a -> () ? |
| 2025-11-09 09:33:15 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 09:35:48 +0000 | <tomsmeding> | a -> Void, rather |
| 2025-11-09 09:35:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:36:19 +0000 | <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 09:37:08 +0000 | <tomsmeding> | If yes then `Const ()`; if no then `Const Void` |
| 2025-11-09 09:37:18 +0000 | <tomsmeding> | (Data.Functor.Const in base) |
| 2025-11-09 09:37:20 +0000 | <dibblego> | I understand the question to mean: newtype X a; |
| 2025-11-09 09:37:33 +0000 | <tomsmeding> | a newtype must have one constructor |
| 2025-11-09 09:37:37 +0000 | <dibblego> | er, data |
| 2025-11-09 09:37:49 +0000 | <tomsmeding> | but then it's not like Void |
| 2025-11-09 09:38:03 +0000 | <tomsmeding> | it's more like (), and either `data X a` indeed, or `Const ()`, works |
| 2025-11-09 09:38:27 +0000 | <tomsmeding> | bah my brain this morning |
| 2025-11-09 09:38:48 +0000 | <tomsmeding> | one of these, exercise for the reader to figure out which |
| 2025-11-09 09:39:53 +0000 | <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 09:40:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 09:40:52 +0000 | <tomsmeding> | Const Void |
| 2025-11-09 09:42:22 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 09:43:24 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 09:46:15 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 09:46:28 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 09:47:17 +0000 | <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 09:47:40 +0000 | <tomsmeding> | oh I see |
| 2025-11-09 09:47:44 +0000 | <tomsmeding> | then Const () :) |
| 2025-11-09 09:47:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-09 09:49:10 +0000 | <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 09:51:13 +0000 | <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 09:51:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 09:54:01 +0000 | <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 09:55:04 +0000 | <tomsmeding> | fair |
| 2025-11-09 09:56:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 09:56:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 10:04:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 10:05:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:05:19 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 10:07:31 +0000 | <Leary> | kaol: `Data.Proxy` |
| 2025-11-09 10:09:53 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-09 10:10:01 +0000 | <kaol> | Why didn't I think of that. Thanks. |
| 2025-11-09 10:10:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 10:10:51 +0000 | <kaol> | It's a nice new angle to think of what it does. |
| 2025-11-09 10:14:25 +0000 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-09 10:16:44 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:21:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:24:14 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-09 10:27:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 10:30:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 10:31:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 10:33:43 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-09 10:37:45 +0000 | trickard_ | trickard |
| 2025-11-09 10:39:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 10:43:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 10:44:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 10:44:11 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-09 10:46:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 10:52:04 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 10:52:26 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 10:52:48 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:58:07 +0000 | trickard_ | trickard |
| 2025-11-09 11:00:28 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-09 11:06:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:10:00 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-09 11:11:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 11:22:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:26:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 11:37:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:42:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 11:42:54 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-09 11:43:21 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-09 11:47:16 +0000 | Zemy_ | (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) |
| 2025-11-09 11:47:16 +0000 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-09 11:47:48 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-09 11:49:06 +0000 | Zemy_ | (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) (Read error: Connection reset by peer) |
| 2025-11-09 11:53:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 11:57:19 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-11-09 11:58:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 12:07:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:11:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 12:20:22 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-09 12:23:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:25:33 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-09 12:26:31 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 12:26:45 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 12:27:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 12:28:02 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 12:31:00 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 12:33:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:34:18 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 12:34:31 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-09 12:36:44 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:39:21 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 12:39:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 12:45:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 12:50:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 13:03:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:03:37 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-11-09 13:05:48 +0000 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-09 13:05:49 +0000 | califax_ | califax |
| 2025-11-09 13:07:48 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 13:07:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 13:08:01 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 13:08:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:13:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 13:14:55 +0000 | AlexNoo_ | AlexNoo |
| 2025-11-09 13:16:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:17:38 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:20:22 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:21:50 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:24:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:24:31 +0000 | annamalai | (~annamalai@157.33.211.168) annamalai |
| 2025-11-09 13:30:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 13:30:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 13:30:55 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:35:26 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:37:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 13:38:05 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:42:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:43:11 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:46:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 13:48:20 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Quit: Leaving) |
| 2025-11-09 13:51:18 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 13:53:28 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:53:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 13:54:29 +0000 | <__monty__> | `lsb x = x .&. negate x` is such a cheat. |
| 2025-11-09 13:54:30 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:55:14 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 13:59:35 +0000 | <fgarcia> | > 10 .&. negate 10 |
| 2025-11-09 13:59:37 +0000 | <lambdabot> | 2 |
| 2025-11-09 14:00:05 +0000 | tomsmeding | . o O ( negate x = complement x + 1 ) |
| 2025-11-09 14:00:24 +0000 | <tomsmeding> | it's a famous bithack |
| 2025-11-09 14:00:36 +0000 | <fgarcia> | > 24 .&. negate 24 |
| 2025-11-09 14:00:38 +0000 | <lambdabot> | 8 |
| 2025-11-09 14:01:36 +0000 | <fgarcia> | i like math tricks! :) |
| 2025-11-09 14:01:44 +0000 | <tomsmeding> | > [x .&. negate x | x <- [1..20]] |
| 2025-11-09 14:01:46 +0000 | <lambdabot> | [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4] |
| 2025-11-09 14:02:43 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-11-09 14:03:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:04:08 +0000 | <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 14:04:28 +0000 | <__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 14:04:58 +0000 | <tomsmeding> | interesting |
| 2025-11-09 14:06:01 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:08:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 14:09:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:13:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 14:19:26 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-11-09 14:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:25:01 +0000 | tt12310978324354 | tt1231 |
| 2025-11-09 14:25:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-09 14:27:43 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:29:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 14:34:03 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-09 14:35:32 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-09 14:36:55 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) synchromesh |
| 2025-11-09 14:40:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:41:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-09 14:44:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:46:10 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-09 14:47:16 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-09 14:47:45 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 14:50:31 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 14:52:49 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-09 14:54:36 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-09 14:56:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:58:06 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 15:00:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:04:06 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-85-123.dedicated.static.sonic.net) segfaultfizzbuzz |
| 2025-11-09 15:04:40 +0000 | <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 15:05:25 +0000 | qqe_ | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-09 15:10:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:14:25 +0000 | trickard_ | trickard |
| 2025-11-09 15:16:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:28:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:33:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 15:44:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:49:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 15:57:48 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-09 15:59:23 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-09 16:00:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:05:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 16:07:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:08:06 +0000 | <kaol> | segfaultfizzbuzz: https://github.com/dmjio/miso?tab=readme-ov-file#examples has more Haskell+WASM examples, with Miso framework. |
| 2025-11-09 16:15:08 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-09 16:15:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 16:17:57 +0000 | <haskellbridge> | <sm> nice eh! wish they'd fix the ball :) |
| 2025-11-09 16:18:23 +0000 | <haskellbridge> | <sm> could be a new era for haskell games |
| 2025-11-09 16:25:11 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-09 16:27:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 16:27:28 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-09 16:27:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-09 16:28:00 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-09 16:28:48 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-09 16:31:34 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-09 16:31:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 16:41:48 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2025-11-09 16:41:48 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-11-09 16:41:48 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2025-11-09 16:41:49 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-11-09 16:41:49 +0000 | ajrdck | (e0a4b72d53@user/ajrdck) ajrdck |
| 2025-11-09 16:41:50 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2025-11-09 16:41:50 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-11-09 16:41:53 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2025-11-09 16:41:55 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-11-09 16:41:56 +0000 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-11-09 16:41:56 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-09 16:41:59 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-09 16:42:27 +0000 | integral | (sid296274@user/integral) integral |
| 2025-11-09 16:42:28 +0000 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-11-09 16:56:28 +0000 | endokqr | (~kqr@irc-1.xkqr.org) |
| 2025-11-09 16:56:38 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2025-11-09 16:56:47 +0000 | esph | (~weechat@user/esph) esph |
| 2025-11-09 16:56:51 +0000 | davean | (~davean@davean.sciesnet.net) davean |
| 2025-11-09 16:58:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 17:03:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 17:05:21 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Remote host closed the connection) |
| 2025-11-09 17:05:41 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-11-09 17:12:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 17:12:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 17:17:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 17:18:29 +0000 | Square3 | (~Square@user/square) Square |
| 2025-11-09 17:19:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-09 17:22:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 17:28:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 17:32:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 17:37:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 17:38:53 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 17:41:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-09 17:43:46 +0000 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 17:43:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 17:46:52 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-09 17:48:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 17:48:32 +0000 | srazkvt | (~sarah@user/srazkvt) (Client Quit) |
| 2025-11-09 17:48:43 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-09 17:56:08 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-09 17:59:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 18:01:52 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-09 18:03:00 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 18:05:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 18:07:36 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-11-09 18:12:11 +0000 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 2025-11-09 18:13:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 18:16:13 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-09 18:16:30 +0000 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-11-09 18:17:50 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-09 18:18:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 18:19:13 +0000 | Unicorn_Princes | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 264 seconds) |
| 2025-11-09 18:20:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-11-09 18:28:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 18:31:08 +0000 | DrachenMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-09 18:31:56 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-11-09 18:34:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 18:39:33 +0000 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2025-11-09 18:44:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 18:49:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 18:53:00 +0000 | Inline | (~inlinE@dynamic-176-006-058-078.176.6.pool.telefonica.de) Inline |
| 2025-11-09 19:00:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 19:03:48 +0000 | jjhoo_ | jjhoo |
| 2025-11-09 19:04:13 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 19:05:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-09 19:14:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 19:15:45 +0000 | Starving_Drummer | (~berke@user/Starving-Drummer:76786) Starving_Drummer |
| 2025-11-09 19:18:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 19:26:08 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-09 19:30:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 19:34:37 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-09 19:35:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 19:35:43 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-09 19:45:08 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-09 19:45:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 19:48:58 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 246 seconds) |
| 2025-11-09 19:49:45 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-09 19:50:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 20:01:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 20:06:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 20:07:02 +0000 | spew | (~spew@user/spew) spew |
| 2025-11-09 20:08:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-09 20:09:11 +0000 | Wanderer_ | Wanderer |
| 2025-11-09 20:09:42 +0000 | <segfaultfizzbuzz> | is there anything special which was done (like the newer low latency GC) to the compilation for the linked wasm game? |
| 2025-11-09 20:12:25 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 20:12:40 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 20:14:13 +0000 | <segfaultfizzbuzz> | i don't see any special build flags in the build script or anything in the cabal file |
| 2025-11-09 20:14:29 +0000 | <int-e> | I think it just doesn't allocate much so GC is really fast |
| 2025-11-09 20:15:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 20:20:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 20:21:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 20:26:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-09 20:30:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 20:35:02 +0000 | <haskellbridge> | <sm> in fairness this is a Very Small Game |
| 2025-11-09 20:35:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 20:35:43 +0000 | <EvanR> | the more live data in the heap, the more gc work there is |
| 2025-11-09 20:36:00 +0000 | <EvanR> | unless you can figure out some shenanigan with compact region |
| 2025-11-09 20:36:53 +0000 | <haskellbridge> | <sm> but https://allureofthestars.com/play/ is plenty fast (but that's ghcjs I guess) |
| 2025-11-09 20:41:20 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-09 20:41:39 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 20:43:06 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-09 20:45:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-09 20:46:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 20:53:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 20:56:52 +0000 | <int-e> | EvanR: if all else fails you can allocate everything on the JS side instead ;-) |
| 2025-11-09 20:58:17 +0000 | <int-e> | (and do all work with little imports like https://github.com/Tritlo/wasm-game/blob/main/src/Lib.hs#L328-L329 ) |
| 2025-11-09 21:00:49 +0000 | <int-e> | (The smiley is because you're trading GC time and marshalling overhead.) |
| 2025-11-09 21:04:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 21:08:32 +0000 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-09 21:09:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 21:10:57 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 21:12:04 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 21:16:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 21:19:42 +0000 | <EvanR> | yeah FFI overhead |
| 2025-11-09 21:20:19 +0000 | emperori | (~emperori@223.187.124.40) |
| 2025-11-09 21:20:54 +0000 | emperori | (~emperori@223.187.124.40) (Remote host closed the connection) |
| 2025-11-09 21:21:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 21:24:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-09 21:27:03 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 21:27:37 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-09 21:27:40 +0000 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 21:28:06 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 21:32:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 21:34:01 +0000 | <Square3> | Has there been any progress on getting the required changes to LLVM for ghc-wasm backend? |
| 2025-11-09 21:35:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 21:36:10 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 2025-11-09 21:36:36 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 21:37:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 21:41:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 21:42:30 +0000 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 21:42:44 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 21:42:59 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-09 21:46:23 +0000 | tccq | (~tccq@user/tccq) tccq |
| 2025-11-09 21:47:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 21:47:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 21:52:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 21:52:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-09 22:01:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 22:03:51 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-09 22:05:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 22:09:48 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-09 22:16:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 22:18:44 +0000 | bggd | (~bgg@2a01:e0a:819:1510:f6c5:7174:b2a7:ffcc) (Remote host closed the connection) |
| 2025-11-09 22:21:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 22:32:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 22:37:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 22:37:14 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-09 22:38:41 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-09 22:38:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-09 22:47:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 22:52:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 23:03:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 23:08:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 23:09:26 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-09 23:10:06 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-09 23:11:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 23:17:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 23:19:07 +0000 | hololeap_ | hololeap |
| 2025-11-09 23:21:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-11-09 23:22:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 23:22:30 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 23:33:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 23:39:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 23:40:52 +0000 | trickard_ | trickard |
| 2025-11-09 23:51:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 23:55:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 23:56:56 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-09 23:58:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |