2025/01/12

Newest at the top

2025-01-12 22:52:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 22:47:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:46:46 +0100 <tomsmeding> that quote is not about python :p
2025-01-12 22:46:21 +0100 <haskellbridge> <magic_rb> "haskell programmers dont care about performance" <- me while shitting on python for being slow and writing haskell
2025-01-12 22:45:50 +0100 <tomsmeding> but never mind that
2025-01-12 22:45:38 +0100 <tomsmeding> it was probably pretty slow despite the MagicHash stuff because the typeclass polymorphic code couldn't be specialised mostly
2025-01-12 22:45:29 +0100 <haskellbridge> <magic_rb> im doing a event sourcing thing, but i need to be able to pass around existential messages that also must be ToJSON :)
2025-01-12 22:44:59 +0100 <tomsmeding> that was fun
2025-01-12 22:44:54 +0100 <tomsmeding> I once wrote code that used higher-rank polymorphism to poke bytes in a MutableByteArray#
2025-01-12 22:44:02 +0100dnerchm^(dnerchm@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-12 22:43:59 +0100dsrt^(dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-12 22:43:40 +0100 <haskellbridge> <magic_rb> this is fun
2025-01-12 22:43:36 +0100 <haskellbridge> <magic_rb> this really feels like beating GHC over the head lmao
2025-01-12 22:40:18 +0100 <haskellbridge> <magic_rb> after i get the initial version working :) want to write the dirty code myself first
2025-01-12 22:40:00 +0100 <haskellbridge> <magic_rb> ill look into that
2025-01-12 22:39:47 +0100 <monochrom> Yes that's safe. But then you would use Data.Dynamic which does exactly that for you so you don't have to write the dirty code yourself!
2025-01-12 22:39:17 +0100 <haskellbridge> <magic_rb> im working with existential types btw
2025-01-12 22:39:01 +0100 <haskellbridge> <magic_rb> is "unsafeCoerce" safe if behind a let binding that is only forced if safe? I have to first check type equality with "typeOf == typeOf", then "unsafeCoerce", which is safe since i know its the same
2025-01-12 22:37:56 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-12 22:37:12 +0100kmein(~weechat@user/kmein) kmein
2025-01-12 22:36:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 22:35:04 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-01-12 22:31:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:28:17 +0100 <c_wraith> (HashPSQ is actually fast)
2025-01-12 22:28:02 +0100 <c_wraith> So that performance issue with psqueues' OrdPSQ that I ran into during the aoc? I decided to report it, and so I've looked into it a bit further... For that use case, OrdPSQ is slower than a sorted list.
2025-01-12 22:21:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 22:17:05 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2025-01-12 22:16:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:14:54 +0100 <tomsmeding> the joy of -XPolyKinds
2025-01-12 22:13:33 +0100 <haskellbridge> <magic_rb> oh, because its forall k, so saying "forall (ddata :: Type). (Typeable ddata)" does it
2025-01-12 22:10:40 +0100 <haskellbridge> <magic_rb> "could not deduce Typeable k arising from the superclasses of an instance declaration"
2025-01-12 22:10:06 +0100 <haskellbridge> <magic_rb> but the same without the "Ord ddata" doesnt?
2025-01-12 22:10:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 22:09:57 +0100 <haskellbridge> <magic_rb> why does "instance (Ord ddata, Typeable ddata) => Command (Command'CreateBuild ddata) BuildID where" typecheck
2025-01-12 22:07:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 22:06:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 22:00:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-12 22:00:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 21:59:33 +0100Square(~Square@user/square) Square
2025-01-12 21:58:29 +0100tnt2tnt1
2025-01-12 21:58:29 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-01-12 21:57:45 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:57:43 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:57:24 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 21:57:10 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:57:09 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:56:37 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:56:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:49:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 21:44:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn