Newest at the top
| 2026-02-25 17:49:22 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 17:49:10 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2026-02-25 17:48:54 +0100 | <lambdabot> | Can't happen |
| 2026-02-25 17:48:54 +0100 | <ski> | @ghc |
| 2026-02-25 17:43:02 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-25 17:33:36 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 255 seconds) |
| 2026-02-25 17:31:28 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-25 17:30:11 +0100 | <EvanR> | feel free to pile on other examples |
| 2026-02-25 17:29:44 +0100 | <EvanR> | if chromoblob goes to the oracle and comes back with a ghc which chooses the optimal implementation for String at each point in the program, and optimal conversion points. Then I want it to also work on cartesian vs polar complex numbers please |
| 2026-02-25 17:26:19 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 17:25:15 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2026-02-25 17:24:59 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Server closed connection) |
| 2026-02-25 17:16:37 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-25 17:16:17 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-02-25 17:13:24 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-25 17:13:16 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-25 17:12:58 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-25 17:11:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-25 17:07:28 +0100 | Psychotic1__ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Remote host closed the connection) |
| 2026-02-25 17:05:39 +0100 | Psychotic1_ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Ping timeout: 246 seconds) |
| 2026-02-25 17:04:15 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Ping timeout: 246 seconds) |
| 2026-02-25 17:01:49 +0100 | Psychotic1__ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 17:01:37 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-25 17:01:08 +0100 | Psychotic1_ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 16:59:46 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 16:59:20 +0100 | Psychotic1 | (~Psychotic@65.sub-174-245-22.myvzw.com) (Ping timeout: 245 seconds) |
| 2026-02-25 16:57:49 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-25 16:56:43 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 264 seconds) |
| 2026-02-25 16:52:54 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-25 16:52:39 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 255 seconds) |
| 2026-02-25 16:49:05 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 16:48:30 +0100 | Psychotic1 | (~Psychotic@65.sub-174-245-22.myvzw.com) |
| 2026-02-25 16:48:09 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-25 16:43:32 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) (Quit: fp) |
| 2026-02-25 16:36:09 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2026-02-25 16:35:31 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-25 16:34:57 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Quit: Leaving) |
| 2026-02-25 16:33:12 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) |
| 2026-02-25 16:32:59 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) (Server closed connection) |
| 2026-02-25 16:29:00 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-25 16:25:48 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-25 16:25:39 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-25 16:23:50 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-02-25 16:23:39 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-25 16:22:21 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) fp |
| 2026-02-25 16:20:43 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 264 seconds) |
| 2026-02-25 16:19:21 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 255 seconds) |
| 2026-02-25 16:17:17 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-25 16:16:59 +0100 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-25 16:14:56 +0100 | uli-fem | (~uli-fem@118.210.1.123) |