| 2026-03-31 00:03:11 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-03-31 00:04:13 +0200 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-31 00:06:44 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 00:07:21 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 268 seconds) |
| 2026-03-31 00:11:21 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 00:11:29 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 00:11:48 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-03-31 00:13:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-31 00:16:09 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-31 00:17:09 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-03-31 00:19:27 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-31 00:20:41 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-31 00:22:07 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 00:25:22 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-31 00:26:26 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 00:35:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-31 00:37:31 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 00:42:09 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-31 00:46:51 +0200 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-31 00:52:55 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 00:53:31 +0200 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-03-31 00:53:45 +0200 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2026-03-31 00:59:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-31 01:00:19 +0200 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 276 seconds) |
| 2026-03-31 01:02:28 +0200 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-31 01:08:53 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-31 01:10:57 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 01:15:30 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 01:21:17 +0200 | <mesaoptimizer> | https://blog.haskell.org/a-couple-million-lines-of-haskell/ |
| 2026-03-31 01:23:28 +0200 | sadnehs | (~sadnehs@47.55.246.242) |
| 2026-03-31 01:25:27 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 01:25:55 +0200 | tusko_ | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-31 01:26:11 +0200 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-31 01:26:20 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 01:28:50 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-31 01:30:58 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-31 01:30:59 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-31 01:31:45 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2026-03-31 01:32:30 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-03-31 01:32:51 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 01:33:41 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 268 seconds) |
| 2026-03-31 01:35:06 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-31 01:37:31 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-31 01:40:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-31 01:41:56 +0200 | squid64 | (~user@fsf/member/squid64) squid64 |
| 2026-03-31 01:42:20 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 01:42:49 +0200 | sadnehs | (~sadnehs@47.55.246.242) (Quit: sadnehs) |
| 2026-03-31 01:43:46 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2026-03-31 01:46:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-31 01:46:58 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 01:49:30 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2026-03-31 01:52:52 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-31 01:54:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-31 01:54:13 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-31 01:56:21 +0200 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-03-31 01:57:44 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 01:58:20 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2026-03-31 01:59:26 +0200 | <EvanR> | *interesting* |
| 2026-03-31 02:01:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a36:c702:1af0:462f) (Ping timeout: 256 seconds) |
| 2026-03-31 02:02:15 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-31 02:04:35 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-03-31 02:05:35 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 02:06:34 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-31 02:07:35 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 02:07:44 +0200 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-03-31 02:08:50 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2026-03-31 02:12:49 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 02:13:43 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-31 02:14:21 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-03-31 02:17:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-31 02:20:26 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-31 02:27:51 +0200 | czan | (~czan@user/mange) czan |
| 2026-03-31 02:28:16 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 02:30:13 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-31 02:31:39 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 268 seconds) |
| 2026-03-31 02:32:21 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-03-31 02:33:20 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-31 02:35:23 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-03-31 02:46:13 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 02:50:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-31 02:59:31 +0200 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-31 02:59:57 +0200 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-31 03:01:37 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 03:04:09 +0200 | s3 | (~s3@user/bn) (Ping timeout: 246 seconds) |
| 2026-03-31 03:05:45 +0200 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2026-03-31 03:06:09 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-31 03:07:23 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 03:08:28 +0200 | s3 | (~s3@user/bn) bn |
| 2026-03-31 03:13:19 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-03-31 03:13:58 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-03-31 03:14:02 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e700e586078dbe43a322082b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-03-31 03:15:07 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-31 03:17:00 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 03:18:00 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 03:18:48 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-31 03:19:48 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 03:21:22 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 03:31:34 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-31 03:32:23 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 03:36:50 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 03:38:22 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 03:43:03 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-31 03:46:03 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 03:46:24 +0200 | AlexZenon | (~alzenon@178.34.160.113) (Ping timeout: 244 seconds) |
| 2026-03-31 03:47:47 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 03:47:53 +0200 | AlexNoo | (~AlexNoo@178.34.160.113) (Ping timeout: 265 seconds) |
| 2026-03-31 03:51:41 +0200 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-03-31 03:52:43 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-03-31 03:59:04 +0200 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-31 04:03:09 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 04:09:54 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-03-31 04:12:38 +0200 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection) |
| 2026-03-31 04:17:30 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-03-31 04:19:30 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-03-31 04:21:12 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 04:25:54 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-03-31 04:28:00 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2026-03-31 04:30:38 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-31 04:33:14 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2026-03-31 04:41:39 +0200 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-31 04:49:50 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 04:53:27 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-31 04:54:10 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 04:54:43 +0200 | migue | (~migue@user/migue) migue |
| 2026-03-31 05:02:25 +0200 | migue | (~migue@user/migue) (Quit: leaving) |
| 2026-03-31 05:05:13 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 05:09:44 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-31 05:17:34 +0200 | jmcantrell_ | jmcantrell |
| 2026-03-31 05:20:37 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 05:22:57 +0200 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-31 05:25:12 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-03-31 05:27:09 +0200 | ashwinmathi123 | (~ashwinmat@2600:1700:6070:b140:8808:da7e:742d:9151) |
| 2026-03-31 05:35:58 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 05:40:19 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-31 05:44:09 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-31 05:45:10 +0200 | xff0x | (~xff0x@175.177.157.211) |
| 2026-03-31 05:49:03 +0200 | michalz | (~michalz@185.246.207.217) |
| 2026-03-31 05:51:20 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 05:51:27 +0200 | ashwinmathi123 | (~ashwinmat@2600:1700:6070:b140:8808:da7e:742d:9151) (Quit: Client closed) |
| 2026-03-31 05:54:05 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-31 05:54:18 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-31 05:58:10 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 06:08:46 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-31 06:09:29 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 06:13:07 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2026-03-31 06:14:23 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-31 06:14:27 +0200 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-31 06:20:05 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-31 06:20:37 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 06:22:50 +0200 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 256 seconds) |
| 2026-03-31 06:24:47 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 06:25:31 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-31 06:27:01 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-31 06:29:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-31 06:30:02 +0200 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-03-31 06:30:02 +0200 | ChanServ | +v haskellbridge |
| 2026-03-31 06:32:08 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2026-03-31 06:34:29 +0200 | <aka_dude> | > https://blog.haskell.org/a-couple-million-lines-of-haskell/ |
| 2026-03-31 06:34:29 +0200 | <aka_dude> | So much llm speak here :/ |
| 2026-03-31 06:34:30 +0200 | <lambdabot> | <hint>:1:49: error: parse error on input `of' |
| 2026-03-31 06:35:43 +0200 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-31 06:37:07 +0200 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-31 06:38:22 +0200 | img | (~img@user/img) img |
| 2026-03-31 06:38:27 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 244 seconds) |
| 2026-03-31 06:38:48 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2026-03-31 06:39:16 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2026-03-31 06:40:12 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 06:40:30 +0200 | Googulator | (~Googulato@2a01-036d-0106-0364-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-31 06:40:45 +0200 | Googulator | (~Googulato@2a01-036d-0106-0364-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-03-31 06:44:34 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 06:46:10 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-31 06:50:52 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 06:53:42 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 06:55:35 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2026-03-31 06:55:39 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-31 06:58:58 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-31 07:01:06 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-31 07:03:55 +0200 | squid64 | (~user@fsf/member/squid64) (Ping timeout: 264 seconds) |
| 2026-03-31 07:06:14 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-31 07:06:15 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 07:06:46 +0200 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-31 07:10:42 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 07:11:43 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2026-03-31 07:13:28 +0200 | xff0x | (~xff0x@175.177.157.211) (Ping timeout: 268 seconds) |
| 2026-03-31 07:18:54 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-03-31 07:21:46 +0200 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-31 07:23:08 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2026-03-31 07:24:57 +0200 | jle` | (~jle`@2603:8001:3b00:11:d495:d891:c5c9:df77) (Quit: WeeChat 4.8.1) |
| 2026-03-31 07:25:56 +0200 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-03-31 07:26:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-31 07:31:30 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 07:37:04 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 07:39:19 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-03-31 07:40:48 +0200 | bggd_ | (~bgg@2a01:e0a:fd5:f510:4fba:5e7e:e926:e452) |
| 2026-03-31 07:41:06 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-31 07:41:14 +0200 | jle` | (~jle`@2603:8001:3b00:11:9cb6:4e6f:b3cf:15cf) jle` |
| 2026-03-31 07:44:07 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-31 07:45:19 +0200 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-31 07:51:54 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 07:56:34 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 08:07:17 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 08:09:54 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2026-03-31 08:12:34 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-31 08:17:29 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2026-03-31 08:22:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-31 08:22:39 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 08:23:28 +0200 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-31 08:24:49 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-31 08:24:55 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-03-31 08:25:47 +0200 | divlamir_ | divlamir |
| 2026-03-31 08:26:58 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2026-03-31 08:27:21 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 08:29:19 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-03-31 08:29:35 +0200 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-31 08:30:01 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-03-31 08:35:20 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-31 08:35:40 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-31 08:38:03 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 08:42:34 +0200 | puke | (~puke@user/puke) puke |
| 2026-03-31 08:42:48 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-31 08:48:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-31 08:50:58 +0200 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-03-31 08:53:00 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 08:54:49 +0200 | foul_owl | (~kerry@94.156.149.92) (Read error: Connection reset by peer) |
| 2026-03-31 08:57:22 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-31 09:00:00 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-31 09:03:42 +0200 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-31 09:07:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-31 09:08:17 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-31 09:08:34 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Changing host) |
| 2026-03-31 09:08:34 +0200 | Angelz | (Angelz@user/angelz) angelz |
| 2026-03-31 09:09:18 +0200 | <gentauro> | CTRL + F -> "data Transact a -- opaque; cannot be run directly" how does this work with `record :: Transaction -> Transact ()`? Can you even instantiate an `opaque` type? Or do you just use `undefined`? |
| 2026-03-31 09:10:20 +0200 | <gentauro> | oh, I see to get it. Nevermind :) |
| 2026-03-31 09:11:55 +0200 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-03-31 09:12:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2026-03-31 09:13:15 +0200 | qqq | (~qqq@185.54.20.216) |
| 2026-03-31 09:14:50 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-31 09:15:57 +0200 | <gentauro> | nah, I don't get it xD |
| 2026-03-31 09:27:37 +0200 | <mauke> | Transact is like IO |
| 2026-03-31 09:27:41 +0200 | <mauke> | you can't look "inside" |
| 2026-03-31 09:30:22 +0200 | danza | (~danza@user/danza) danza |
| 2026-03-31 09:32:41 +0200 | <Leary> | gentauro: 'Opaque' just means the constructors are hidden. `record` and `emit` (provided in their place) are written with access to those constructors. |
| 2026-03-31 09:33:25 +0200 | <gentauro> | mauke: -> https://wiki.haskell.org/IO_inside#The_GHC_implementation |
| 2026-03-31 09:33:33 +0200 | <Leary> | The actual data declaration might look like, e.g. `data Transact a = Pure a | Record Transaction (Transact a) | Emit Event (Transact a)`. |
| 2026-03-31 09:33:44 +0200 | <gentauro> | `IO` still has something on the right side … |
| 2026-03-31 09:33:53 +0200 | <mauke> | well, duh |
| 2026-03-31 09:34:19 +0200 | <mauke> | the point is, it's an abstract type as far as users of the library are concerned |
| 2026-03-31 09:34:19 +0200 | <gentauro> | while their `opaque` type doesn't. So you will never be able to instantiate it |
| 2026-03-31 09:34:38 +0200 | qqq | (~qqq@185.54.20.216) (Ping timeout: 252 seconds) |
| 2026-03-31 09:34:38 +0200 | <gentauro> | Leary: thx |
| 2026-03-31 09:37:13 +0200 | <mauke> | gentauro: related: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/separate_compilation.html#index-19:~:text=it%20… |
| 2026-03-31 09:37:53 +0200 | <mauke> | as in "this is an interface specification, not actual .hs source code" |
| 2026-03-31 09:42:56 +0200 | <gentauro> | mauke: now that I didn't know :o |
| 2026-03-31 09:46:15 +0200 | xff0x | (~xff0x@175.177.157.211) |
| 2026-03-31 09:47:38 +0200 | qqq | (~qqq@185.54.20.216) |
| 2026-03-31 09:47:53 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-31 09:49:31 +0200 | puke | (~puke@user/puke) (Ping timeout: 264 seconds) |
| 2026-03-31 09:51:10 +0200 | <gentauro> | mauke: do you know if Haskell has the .ml/.mli like OCaml? Where you can separate definition from implementation? I kind of like that separation tbh |
| 2026-03-31 09:51:41 +0200 | tomsmeding_ | tomsmeding |
| 2026-03-31 09:51:56 +0200 | xff0x | (~xff0x@175.177.157.211) (Ping timeout: 256 seconds) |
| 2026-03-31 09:54:43 +0200 | <tomsmeding> | gentauro: no, there's no .mli; but for curiosity, there are two kinds of files that both kind of look like an .mli: backpack signatures (https://cabal.readthedocs.io/en/stable/how-to-use-backpack.html) and hs-boot files (https://downloads.haskell.org/ghc/latest/docs/users_guide/separate_compilation.html#mutually-recur…) |
| 2026-03-31 09:55:31 +0200 | <tomsmeding> | backpack signatures are rare because use of backpack in general is rare; hs-boot files are rare because generally people try to avoid module cycles |
| 2026-03-31 09:55:34 +0200 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-31 09:57:31 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-31 09:57:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |