Newest at the top
2024-09-19 15:02:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-19 14:52:37 +0200 | euleritian | (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) |
2024-09-19 14:51:49 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-09-19 14:51:39 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-19 14:42:01 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-19 14:37:25 +0200 | causal | (~eric@50.35.88.207) |
2024-09-19 14:36:36 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2024-09-19 14:36:02 +0200 | <L29Ah> | gotta create a good libraries foundation |
2024-09-19 14:31:36 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 272 seconds) |
2024-09-19 14:27:17 +0200 | user363627 | (~user@user/user363627) |
2024-09-19 14:25:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
2024-09-19 14:23:55 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
2024-09-19 14:22:46 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
2024-09-19 14:22:24 +0200 | litharge | -bo *!*@46.56.199.104 litharge |
2024-09-19 14:22:23 +0200 | ChanServ | +o litharge |
2024-09-19 14:17:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
2024-09-19 14:16:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2024-09-19 14:15:05 +0200 | misterfish | (~misterfis@178.229.231.194) |
2024-09-19 14:13:15 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
2024-09-19 14:06:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 14:06:47 +0200 | Digitteknohippie | Digit |
2024-09-19 14:06:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-19 14:00:34 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-09-19 14:00:16 +0200 | Digitteknohippie | (~user@user/digit) |
2024-09-19 13:59:05 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 265 seconds) |
2024-09-19 13:55:30 +0200 | <dminuoso> | In practice, a rich library ecosystem beats a good language. |
2024-09-19 13:54:56 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-19 13:54:51 +0200 | <dminuoso> | It's just a sad reality that when you want to solve problem XYZ, it's often not worth the perceived benefit of some additional safety over the convenience of not having to write 90% of the code required for the solution. |
2024-09-19 13:54:05 +0200 | <dminuoso> | The biggest price of dependent types is the lack of a rich ecosystem of libraries and tools for the same languages. |
2024-09-19 13:53:25 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) (Ping timeout: 248 seconds) |
2024-09-19 13:49:06 +0200 | mari-estel | (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
2024-09-19 13:45:33 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
2024-09-19 13:43:49 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
2024-09-19 13:41:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-09-19 13:41:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-09-19 13:22:00 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-09-19 13:21:39 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-09-19 13:20:59 +0200 | Blasius | (~Blasius@2.219.56.221) |
2024-09-19 13:20:54 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
2024-09-19 13:19:06 +0200 | ash3en | (~Thunderbi@149.222.143.226) |
2024-09-19 13:17:54 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
2024-09-19 13:16:43 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2024-09-19 13:13:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) |
2024-09-19 13:12:24 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 13:12:19 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-09-19 13:11:10 +0200 | polyphem | (~rod@pd9fbfabc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-09-19 13:10:45 +0200 | Squared | (~Square@user/square) (Ping timeout: 265 seconds) |
2024-09-19 13:07:42 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
2024-09-19 13:07:22 +0200 | Square2 | (~Square4@user/square) |
2024-09-19 13:06:02 +0200 | youthlic1 | youthlic |