Newest at the top
| 2025-07-14 20:30:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-14 20:30:09 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2025-07-14 20:29:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-14 20:26:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-14 20:26:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-14 20:21:26 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
| 2025-07-14 20:20:44 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
| 2025-07-14 20:11:51 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
| 2025-07-14 20:11:14 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
| 2025-07-14 20:06:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-14 19:51:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-14 19:42:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 2025-07-14 19:41:23 +0200 | Luvveous | (~Username@195.136.74.47) |
| 2025-07-14 19:38:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2025-07-14 19:34:43 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-07-14 19:33:39 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-14 19:33:25 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-14 19:29:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-14 19:29:18 +0200 | yin | (~zero@user/zero) (Ping timeout: 252 seconds) |
| 2025-07-14 19:23:00 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-14 19:19:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-14 19:18:45 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-14 19:16:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-14 19:14:56 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
| 2025-07-14 19:14:53 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-14 19:14:14 +0200 | perr_ | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
| 2025-07-14 19:14:11 +0200 | G0dsl0nelyman | (~user@106.215.177.125) |
| 2025-07-14 19:12:21 +0200 | sprotte24 | (~sprotte24@p200300d16f1a300074d99646e8b83ce0.dip0.t-ipconnect.de) |
| 2025-07-14 19:10:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-14 19:08:28 +0200 | G0dsl0nelyman | (~user@2401:4900:8fca:6e2d:216e:3317:53f0:a1c0) (Ping timeout: 276 seconds) |
| 2025-07-14 19:02:50 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) (Client Quit) |
| 2025-07-14 19:01:20 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) Jerryeee |
| 2025-07-14 19:00:04 +0200 | perro | (~aaron@2600:100c:b211:ed4b:edc0:bd27:9bff:d562) (Ping timeout: 260 seconds) |
| 2025-07-14 18:59:30 +0200 | perr_ | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
| 2025-07-14 18:59:26 +0200 | trickard_ | trickard |
| 2025-07-14 18:58:59 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-14 18:56:10 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-14 18:52:43 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-14 18:52:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-14 18:49:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-14 18:47:29 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-07-14 18:46:23 +0200 | perro | (~aaron@2600:100c:b211:ed4b:edc0:bd27:9bff:d562) |
| 2025-07-14 18:46:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-14 18:46:01 +0200 | acidjnk | (~acidjnk@p200300d6e70b6602dc09300ac5aeb77e.dip0.t-ipconnect.de) acidjnk |
| 2025-07-14 18:45:55 +0200 | <gaze__> | like -- I'm using the DSL to generate imperative code, but I also want to write imperative code in the DSL, and I was wondering how much I can avoid writing the function table out like defun "functionName" do blahblahblah in some gihugeous function |
| 2025-07-14 18:44:50 +0200 | <gaze__> | function type unification I mean |
| 2025-07-14 18:44:42 +0200 | <gaze__> | Anyone have an example of a DSL with only first-order named functions that lifts type unification to the host language? |
| 2025-07-14 18:42:58 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 248 seconds) |
| 2025-07-14 18:42:19 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-07-14 18:41:42 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) (Quit: Jerryeee) |