Newest at the top
| 2025-05-12 22:46:36 +0200 | <EvanR> | everybody knows that if you make an algebraic data type to represent the actions and string them together with lambdas in just the right way you're doing the free monad. Now what is this called |
| 2025-05-12 22:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:43:45 +0200 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-05-12 22:42:24 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Read error: Connection reset by peer) |
| 2025-05-12 22:42:05 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-12 22:41:18 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-12 22:40:31 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-05-12 22:38:39 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 22:38:23 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Remote host closed the connection) |
| 2025-05-12 22:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 22:31:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-12 22:29:36 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-12 22:29:19 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-12 22:28:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:24:41 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-05-12 22:24:19 +0200 | rvalue- | rvalue |
| 2025-05-12 22:19:45 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2025-05-12 22:19:32 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-12 22:19:06 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 22:18:52 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Remote host closed the connection) |
| 2025-05-12 22:17:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-12 22:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 22:16:28 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-12 22:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:11:35 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 260 seconds) |
| 2025-05-12 22:06:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-12 22:01:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 21:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 21:55:27 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) |
| 2025-05-12 21:53:51 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-12 21:52:31 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 2025-05-12 21:48:06 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-12 21:46:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-12 21:43:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-12 21:41:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 21:39:45 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-12 21:39:32 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-12 21:37:19 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-12 21:36:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-12 21:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-12 21:28:56 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 21:28:39 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Remote host closed the connection) |
| 2025-05-12 21:25:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 21:21:42 +0200 | <[exa]> | yeah that one qualifies easily |
| 2025-05-12 21:19:59 +0200 | <EvanR> | yeeeeah that's still mad science |
| 2025-05-12 21:19:13 +0200 | <[exa]> | let's see |
| 2025-05-12 21:19:09 +0200 | <[exa]> | not sure if gloss will be immune |
| 2025-05-12 21:19:00 +0200 | <[exa]> | as in, there's an imgui memory editor project that you can dynamically load into any running opengl program with some gdb help, add a little bit of a call at the right place, and it will just render |
| 2025-05-12 21:18:40 +0200 | ljdarj1 | ljdarj |
| 2025-05-12 21:18:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |