Newest at the top
| 2025-01-12 23:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 23:02:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 22:59:36 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:59:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:59:00 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:58:51 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:58:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:58:08 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:52:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 22:47:34 +0100 | merijn | (~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 +0100 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-12 22:43:59 +0100 | dsrt^ | (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 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-12 22:37:12 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-01-12 22:36:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 22:35:04 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-01-12 22:31:53 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 22:17:05 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2025-01-12 22:16:32 +0100 | merijn | (~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 +0100 | tromp | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 22:06:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 22:00:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-12 22:00:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 21:59:33 +0100 | Square | (~Square@user/square) Square |
| 2025-01-12 21:58:29 +0100 | tnt2 | tnt1 |
| 2025-01-12 21:58:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-12 21:57:45 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |