Newest at the top
2024-09-19 10:53:02 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-19 10:48:57 +0200 | <kuribas> | I know for many the overhead of static (dependent) types swamps the benefits, but I don't feel it. |
2024-09-19 10:46:51 +0200 | <kuribas> | Man, I miss having dependent types with python pandas, where I could have the compiler tell me when a field is missing from a dataframe. |
2024-09-19 10:44:55 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-09-19 10:39:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-19 10:33:05 +0200 | misterfish | (~misterfis@87.215.131.102) |
2024-09-19 10:31:19 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) |
2024-09-19 10:29:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-19 10:25:22 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) (Quit: ash3en) |
2024-09-19 10:24:01 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
2024-09-19 10:23:35 +0200 | CiaoSen | (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) |
2024-09-19 10:18:04 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.3.3) |
2024-09-19 10:15:53 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
2024-09-19 10:14:21 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) (Read error: Connection reset by peer) |
2024-09-19 10:12:27 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 246 seconds) |
2024-09-19 10:02:31 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
2024-09-19 10:02:17 +0200 | astroanax1 | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
2024-09-19 10:02:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-19 10:00:04 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-19 09:59:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-19 09:52:19 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-09-19 09:47:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-09-19 09:46:00 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-09-19 09:43:15 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-19 09:37:23 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) |
2024-09-19 09:21:50 +0200 | Digitteknohippie | Digit |
2024-09-19 09:21:28 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-09-19 09:08:22 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
2024-09-19 09:06:10 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
2024-09-19 09:03:47 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) |
2024-09-19 09:00:39 +0200 | caconym8 | (~caconym@user/caconym) |
2024-09-19 09:00:03 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
2024-09-19 08:59:08 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
2024-09-19 08:58:44 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-09-19 08:58:34 +0200 | Digitteknohippie | (~user@user/digit) |
2024-09-19 08:57:58 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) |
2024-09-19 08:53:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-19 08:41:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-09-19 08:40:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-09-19 08:39:42 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
2024-09-19 08:36:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-09-19 08:31:59 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-09-19 08:24:32 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
2024-09-19 08:23:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-19 08:11:38 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
2024-09-19 07:59:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-19 07:56:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-09-19 07:55:32 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
2024-09-19 07:55:09 +0200 | lol_ | jcarpenter2 |
2024-09-19 07:55:08 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |