Newest at the top
2025-04-01 12:04:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-04-01 12:02:59 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-01 12:02:49 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-04-01 12:00:51 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 276 seconds) |
2025-04-01 11:57:42 +0200 | jathan | (~jathan@69.61.93.38) (Ping timeout: 252 seconds) |
2025-04-01 11:35:19 +0200 | internatetional | (~nate@2400:9800:170:c23:1:0:419:21ae) internatetional |
2025-04-01 11:27:04 +0200 | ash3en | (~Thunderbi@149.222.150.125) (Ping timeout: 260 seconds) |
2025-04-01 11:24:24 +0200 | <hellwolf> | :) Make april fool the day of radical innovation |
2025-04-01 11:22:33 +0200 | ash3en | (~Thunderbi@149.222.150.125) ash3en |
2025-04-01 11:18:58 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:a9d5:fde7:3316:82e2) dhil |
2025-04-01 11:07:49 +0200 | internatetional | (~nate@2400:9800:f2:615e:1832:218b:fe6e:8b1a) (Ping timeout: 260 seconds) |
2025-04-01 10:56:50 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
2025-04-01 10:54:13 +0200 | califax | (~califax@user/califx) califx |
2025-04-01 10:54:00 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-01 10:53:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
2025-04-01 10:52:25 +0200 | ash3en | (~Thunderbi@149.222.150.125) (Ping timeout: 252 seconds) |
2025-04-01 10:47:52 +0200 | ash3en | (~Thunderbi@149.222.150.125) ash3en |
2025-04-01 10:46:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-04-01 10:43:55 +0200 | <tomsmeding> | hellwolf: I feel like https://github.com/compiling-to-categories/concat unironically tries to do that, apart from the Rust |
2025-04-01 10:39:47 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
2025-04-01 10:39:43 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-04-01 10:39:29 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
2025-04-01 10:33:44 +0200 | ash3en | (~Thunderbi@149.222.150.125) (Ping timeout: 252 seconds) |
2025-04-01 10:28:09 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-04-01 10:28:09 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
2025-04-01 10:28:09 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
2025-04-01 10:27:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-04-01 10:23:03 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-01 10:19:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-04-01 10:18:08 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-01 10:16:33 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
2025-04-01 10:16:19 +0200 | ash3en | (~Thunderbi@149.222.150.125) ash3en |
2025-04-01 10:15:35 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-04-01 10:15:35 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
2025-04-01 10:15:35 +0200 | unter-oe | (~unter-oe@176.192.243.31) unter-oe |
2025-04-01 10:06:24 +0200 | ash3en | (~Thunderbi@149.222.150.125) (Ping timeout: 272 seconds) |
2025-04-01 10:04:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-04-01 09:59:28 +0200 | <hellwolf> | The best part is, it is the April fool's day. |
2025-04-01 09:59:28 +0200 | <hellwolf> | I just made a categorical rewrite of base, called catbase, where you can write program such as "main :: forall k. k Void (IO ())" which produces a IO effect in the category k. This allows you to write a runtime completely in rust and optimizes the f out of the generated giant morphism, including using AVX/NEON instructions for all tight loops. |
2025-04-01 09:59:07 +0200 | aforemny | (~aforemny@2001:9e8:6cf8:6c00:d3fe:9b53:2e36:ee7b) aforemny |
2025-04-01 09:58:39 +0200 | Square | (~Square4@user/square) Square |
2025-04-01 09:55:36 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2025-04-01 09:55:19 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-01 09:49:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-01 09:46:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-04-01 09:45:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) acidjnk |
2025-04-01 09:44:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-01 09:41:44 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-01 09:39:54 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-04-01 09:38:09 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |