2025/11/07

Newest at the top

2025-11-07 17:52:23 +0100 <haskellbridge> <loonycyborg> if it's in some rarely used codepath then good luck
2025-11-07 17:52:13 +0100 <haskellbridge> <loonycyborg> So if you break something with refactoring then you won't notice it until it's actually executed
2025-11-07 17:51:52 +0100 <kuribas`> Some of the stuff is crazy, like changing modules at runtime.
2025-11-07 17:51:37 +0100 <haskellbridge> <loonycyborg> It's a lot easier to write total nonsense in python that won't break anything until it's actually executed
2025-11-07 17:51:04 +0100 <haskellbridge> <loonycyborg> Main fragility of python comes not from dynamic typing but from dynamic execution I think
2025-11-07 17:50:42 +0100Googulator16(~Googulato@team.broadbit.hu)
2025-11-07 17:49:34 +0100 <kuribas`> since haskell has overhead for GC and immutability, but is compiled vs interpreted python.
2025-11-07 17:48:53 +0100 <kuribas`> I wonder if equivalent haskell code would be faster than python.
2025-11-07 17:46:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-07 17:45:20 +0100 <kuribas`> So easy to get code that throws exceptions all over the place.
2025-11-07 17:45:09 +0100 <kuribas`> Of course these things haskell encourages, and python doesn't.
2025-11-07 17:44:14 +0100 <kuribas`> Or finding the most elegant way to express this single loop, which means nothing on the scale of the project.
2025-11-07 17:44:07 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-11-07 17:43:51 +0100 <kuribas`> Makes me question if spending lots of time to get just that bit more type safety is worth it...
2025-11-07 17:43:27 +0100 <kuribas`> I find robustness comes from good practices mostly, like avoiding side-effects is possible, using dataclasses, not doing stringly typed programming, good exception hygience (which is tricky in python), modularity, avoiding dynamic tricks, etc..
2025-11-07 17:41:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-07 17:41:37 +0100 <kuribas`> Funny, but I don't find that most of the bugs in my python are due to type errors. I put a type on every function thought (even if it is Any).
2025-11-07 17:38:59 +0100Googulator78(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-11-07 17:35:43 +0100Googulator53(~Googulato@team.broadbit.hu)
2025-11-07 17:35:20 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-07 17:30:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-07 17:28:15 +0100Lord_of_Life_Lord_of_Life
2025-11-07 17:27:19 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-11-07 17:27:03 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-11-07 17:26:54 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-07 17:26:44 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Read error: Connection reset by peer)
2025-11-07 17:26:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-07 17:23:17 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-07 17:19:10 +0100tromp(~textual@2001:1c00:3487:1b00:5425:82ad:9644:72ca)
2025-11-07 17:19:03 +0100Googulator49(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-11-07 17:15:44 +0100Googulator78(~Googulato@team.broadbit.hu)
2025-11-07 17:15:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-07 17:14:25 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Read error: Connection reset by peer)
2025-11-07 17:09:38 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:9f50:13f1:779b:4aa6) youngfrog
2025-11-07 17:09:18 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:3dd:a915:d31f:6e01) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-11-07 17:09:05 +0100Googulator94(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-11-07 17:08:36 +0100Inline(~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline
2025-11-07 17:08:17 +0100Inline(~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection)
2025-11-07 17:07:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-07 17:05:56 +0100Googulator49(~Googulato@team.broadbit.hu)
2025-11-07 17:04:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-07 17:04:16 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-11-07 16:59:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-07 16:58:14 +0100 <dutchie> am I supposed to use vector-algorithms to sort Data.Vector.Vectors?
2025-11-07 16:56:58 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-07 16:52:34 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-07 16:48:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-07 16:47:02 +0100annamalai(~annamalai@157.33.208.56) annamalai
2025-11-07 16:46:41 +0100annamalai(~annamalai@157.33.208.56) (Read error: Connection reset by peer)
2025-11-07 16:44:48 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)