Newest at the top
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) |
2025-04-01 09:35:17 +0200 | internatetional | (~nate@2400:9800:f2:615e:1832:218b:fe6e:8b1a) internatetional |
2025-04-01 09:25:52 +0200 | internatetional | (~nate@2400:9800:f3:3e9a:1832:1a71:b57a:106c) (Ping timeout: 272 seconds) |
2025-04-01 09:22:30 +0200 | rit | (~rit@2409:40e0:101e:42e7:7902:df58:e4a3:373b) (Ping timeout: 240 seconds) |
2025-04-01 09:22:18 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-01 09:19:20 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
2025-04-01 09:18:01 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-01 09:16:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2025-04-01 09:16:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-01 09:16:17 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
2025-04-01 09:08:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-01 09:06:09 +0200 | acarrico | (~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) |
2025-04-01 09:03:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-01 09:01:31 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-01 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-01 08:56:52 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-01 08:54:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
2025-04-01 08:54:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-01 08:49:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-01 08:48:11 +0200 | chele | (~chele@user/chele) chele |
2025-04-01 08:47:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-04-01 08:42:00 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 252 seconds) |
2025-04-01 08:38:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |