Newest at the top
2024-04-26 22:58:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-26 22:57:46 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-26 22:55:33 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-04-26 22:53:37 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-04-26 22:49:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-26 22:48:56 +0200 | Guest49 | (~Guest49@24.144.1.228) (Client Quit) |
2024-04-26 22:48:15 +0200 | <monochrom> | Oh! That's a good idea. Running hugs on your watch first. |
2024-04-26 22:47:46 +0200 | <int-e> | monochrom: need hugs? |
2024-04-26 22:47:41 +0200 | <monochrom> | Back then when MLton performed whole-program optimizations and required 128MB, it was a big deal, it was like "only your school server can handle it". |
2024-04-26 22:47:25 +0200 | Guest49 | (~Guest49@24.144.1.228) |
2024-04-26 22:46:26 +0200 | <tomsmeding> | (this is supposed to be funny) |
2024-04-26 22:46:06 +0200 | <tomsmeding> | although, if running `ghc --version` counts, that uses just a little less than 100 MB of memory |
2024-04-26 22:45:24 +0200 | <tomsmeding> | lol |
2024-04-26 22:45:17 +0200 | <monochrom> | I know, we just need 16-bit GHC. >:) |
2024-04-26 22:44:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-26 22:44:51 +0200 | <tomsmeding> | monochrom: if you make ghc use less memory |
2024-04-26 22:44:36 +0200 | euleritian | (~euleritia@176.2.140.113) (Read error: Connection reset by peer) |
2024-04-26 22:41:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-26 22:35:40 +0200 | <monochrom> | VR headset OK too. :) |
2024-04-26 22:35:22 +0200 | <monochrom> | Don't get jelly, get even! Run ghc on your watch. >:) |
2024-04-26 22:31:04 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
2024-04-26 22:30:47 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
2024-04-26 22:27:43 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-04-26 22:27:22 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
2024-04-26 22:21:54 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-04-26 22:20:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-26 22:19:12 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-04-26 22:18:37 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds) |
2024-04-26 22:14:05 +0200 | ft | (~ft@p4fc2a1f9.dip0.t-ipconnect.de) |
2024-04-26 22:12:53 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-04-26 22:11:07 +0200 | Square | (~Square@user/square) |
2024-04-26 22:11:02 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Remote host closed the connection) |
2024-04-26 22:10:07 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-04-26 22:09:30 +0200 | yin | (~yin@user/zero) |
2024-04-26 22:09:08 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
2024-04-26 22:05:56 +0200 | AlexNoo | (~AlexNoo@178.34.161.189) |
2024-04-26 22:05:02 +0200 | <EvanR> | I'm jelly |
2024-04-26 22:04:41 +0200 | AlexNoo | (~AlexNoo@178.34.161.189) (Read error: Connection reset by peer) |
2024-04-26 22:03:29 +0200 | <yin> | EvanR: i run ghc on my phone :) |
2024-04-26 22:01:26 +0200 | yin | (~yin@user/zero) |
2024-04-26 21:56:56 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-26 21:49:04 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2024-04-26 21:39:35 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-04-26 21:35:52 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-04-26 21:32:54 +0200 | Square | (~Square@user/square) |
2024-04-26 21:31:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-04-26 21:30:49 +0200 | mei | (~mei@user/mei) |
2024-04-26 21:24:24 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-26 21:21:48 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-26 21:16:50 +0200 | micro | (~micro@user/micro) |