2025/12/02

Newest at the top

2025-12-02 10:03:54 +0100fp1(~Thunderbi@2001:708:20:1406::1370) fp
2025-12-02 10:02:54 +0100 <lucabtz> Rembane yeah i made one with takeWhile and dropWhile
2025-12-02 09:55:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-02 09:52:20 +0100 <dminuoso> Especially when its people from different fields/languages/paradigms...
2025-12-02 09:51:56 +0100 <dminuoso> Heck, if you just go through pure math publications, you see so many conflicting notation styles or conflicting terminology choices... its best to not dwell on what people call things and just be able to adjust your reference frame in a discussion...
2025-12-02 09:50:47 +0100 <dminuoso> Human language is messy, imprecise and under constant change.
2025-12-02 09:50:43 +0100Googulator22(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-02 09:50:42 +0100Googulator31(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-02 09:50:10 +0100 <dminuoso> 21:18:59 tomsmeding │ it seems the theme of today is "words mean different things to different people"
2025-12-02 09:44:22 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-12-02 09:43:45 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-12-02 09:41:56 +0100 <Rembane> lucabtz: There's span and break and partition and take and drop and takeWhile and dropWhile
2025-12-02 09:41:19 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-02 09:41:06 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-02 09:39:34 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds)
2025-12-02 09:34:40 +0100 <lucabtz> there is no string splitting in base?
2025-12-02 09:26:38 +0100karenw(~karenw@user/karenw) (Ping timeout: 260 seconds)
2025-12-02 09:26:12 +0100YouDontKnowMe(~YouDontKn@2a06:3040:11:610::d101) (Client Quit)
2025-12-02 09:23:52 +0100YouDontKnowMe(~YouDontKn@2a06:3040:11:610::d101)
2025-12-02 09:20:42 +0100Googulator22(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-02 09:20:35 +0100Googulator32(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-02 09:00:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-02 08:57:12 +0100annamalai(~annamalai@157.32.222.111) annamalai
2025-12-02 08:56:40 +0100annamalai(~annamalai@157.32.222.111) (Remote host closed the connection)
2025-12-02 08:56:02 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-12-02 08:55:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-02 08:51:55 +0100hc(~hc@mail.hce.li) hc
2025-12-02 08:51:43 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-12-02 08:51:05 +0100hc(~hc@mail.hce.li) (Remote host closed the connection)
2025-12-02 08:50:49 +0100Googulator32(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-02 08:50:43 +0100Googulator29(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-02 08:45:47 +0100Pixi(~Pixi@user/pixi) Pixi
2025-12-02 08:44:28 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-12-02 08:44:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-02 08:42:55 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 240 seconds)
2025-12-02 08:41:34 +0100hc(~hc@mail.hce.li) hc
2025-12-02 08:41:19 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
2025-12-02 08:39:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-02 08:39:01 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-02 08:36:30 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-02 08:34:44 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds)
2025-12-02 08:32:50 +0100vgtw(~vgtw@user/vgtw) (Ping timeout: 245 seconds)
2025-12-02 08:31:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-02 08:31:30 +0100annamalai(~annamalai@157.32.222.111) annamalai
2025-12-02 08:29:42 +0100hc(~hc@mail.hce.li) (Remote host closed the connection)
2025-12-02 08:27:50 +0100annamalai(~annamalai@157.32.222.111) (Ping timeout: 245 seconds)
2025-12-02 08:27:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-02 08:23:40 +0100annamalai(~annamalai@157.32.222.111) annamalai
2025-12-02 08:23:09 +0100annamalai(~annamalai@157.32.222.111) (Remote host closed the connection)
2025-12-02 08:22:14 +0100annamalai(~annamalai@157.32.222.111) annamalai