| 2023-10-26 00:00:46 +0200 | <Inst_> | welp, looks like lucid doesn't provide parsing |
| 2023-10-26 00:00:49 +0200 | sansk_ | (~sansk@072-238-128-073.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-26 00:00:51 +0200 | <Inst_> | and html-parse is dead for 9.6, afaik |
| 2023-10-26 00:01:45 +0200 | <c_wraith> | that doesn't look like a dependency set that would break on higher GHC versions |
| 2023-10-26 00:01:51 +0200 | sansk | (~sansk@user/sansk) (Ping timeout: 260 seconds) |
| 2023-10-26 00:02:06 +0200 | <c_wraith> | It just looks like the base constraint is unnecessarily tight |
| 2023-10-26 00:02:40 +0200 | <Inst_> | attempting build with --allow-newer |
| 2023-10-26 00:03:19 +0200 | <EvanR> | implicit params is great, except for the implicit part |
| 2023-10-26 00:03:22 +0200 | <Inst_> | tagsoup also installs |
| 2023-10-26 00:03:28 +0200 | <probie> | Inst_: If you want varargs, you can always use a list. You lose currying though, and there's a potential performance hit |
| 2023-10-26 00:03:28 +0200 | sansk | (~sansk@user/sansk) |
| 2023-10-26 00:03:42 +0200 | <Inst_> | i know there's old libraries that do it via varargs |
| 2023-10-26 00:03:43 +0200 | <EvanR> | great idea number 17 which is easier to pull off by just passing a parameter |
| 2023-10-26 00:04:45 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2023-10-26 00:06:23 +0200 | <c_wraith> | yeah... html-parse tries to use older versions of libraries that aren't compatible with the newest ghc. But compiling it with --allow-newer will build with only a warning about the import of Data.Monoid being redundant |
| 2023-10-26 00:06:46 +0200 | <c_wraith> | It could use an update fixing some bounds, but the code is fine. |
| 2023-10-26 00:08:29 +0200 | Jackneill_ | (~Jackneill@20014C4E1E03DB0044BF7609ADF864E0.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-10-26 00:13:33 +0200 | <Inst_> | no reason to bug ben gamari about it |
| 2023-10-26 00:13:56 +0200 | <Inst_> | > import Network.HTTP.Conduit |
| 2023-10-26 00:13:58 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 2023-10-26 00:14:09 +0200 | <Inst_> | @import Network.HTTP.Conduit |
| 2023-10-26 00:14:09 +0200 | <lambdabot> | Unknown command, try @list |
| 2023-10-26 00:14:34 +0200 | <Inst_> | % import Network.HTTP.Conduit |
| 2023-10-26 00:14:35 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Network.HTTP.Conduit’ ; It is not a module in the current program, or in any known package. |
| 2023-10-26 00:14:43 +0200 | <Inst_> | % :set -package http-conduit |
| 2023-10-26 00:14:43 +0200 | <yahb2> | cannot satisfy -package http-conduit ; (use -v for more information) |
| 2023-10-26 00:14:49 +0200 | <Inst_> | smart move :) |
| 2023-10-26 00:21:04 +0200 | <Inst_> | I'm probably a reprobate for using global env |
| 2023-10-26 00:21:16 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-10-26 00:21:23 +0200 | <Inst_> | but still love being able to call any package i want on ghci via ghci -package foo |
| 2023-10-26 00:27:37 +0200 | <nyc> | Is there something better than a Data.Set from containers for moderate-sized fixed-width/size data structures e.g. 256-bit multiple precision integers? I've got a vague idea that things should exist for this. |
| 2023-10-26 00:29:19 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-26 00:42:31 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-26 00:42:37 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-26 00:42:42 +0200 | <sansk> | What's the difference between Data.Map and Data.HashMap? |
| 2023-10-26 00:43:21 +0200 | <Inst_> | map is a treemap, hashmap is a hashmap |
| 2023-10-26 00:44:34 +0200 | <sansk> | So hashmap is more performant? |
| 2023-10-26 00:45:39 +0200 | <Inst_> | depends on usecase, no? |
| 2023-10-26 00:46:28 +0200 | <sansk> | For mainly insertion and lookup, which is better then? |
| 2023-10-26 00:46:40 +0200 | <EvanR> | Word256 is a thing in some crypto packages |
| 2023-10-26 00:47:08 +0200 | <EvanR> | I don't know what a 256-bit multiple precision integer is |
| 2023-10-26 00:47:40 +0200 | <EvanR> | sansk, HashMap requires keys to be Hashable, Map requires keys to be Ord |
| 2023-10-26 00:48:04 +0200 | <EvanR> | if hashing is cheaper than comparing, maybe HashMap is better |
| 2023-10-26 00:48:33 +0200 | <EvanR> | if the key is Int, then IntMap is probably better |
| 2023-10-26 00:48:36 +0200 | <sansk> | To be honest, I am not quite sure what hashing means exactly EvanR |
| 2023-10-26 00:48:54 +0200 | <sansk> | I've only ever dealt with Map |
| 2023-10-26 00:48:57 +0200 | <EvanR> | a hash function maps your key to a number |
| 2023-10-26 00:49:32 +0200 | <EvanR> | a good hash function maps different keys to different numbers with high probability |
| 2023-10-26 00:49:35 +0200 | <sansk> | so it's an abstraction over an array? |
| 2023-10-26 00:49:48 +0200 | <EvanR> | HashMap and Map have the same API |
| 2023-10-26 00:50:14 +0200 | <EvanR> | you can think of an array as a map from 0..N to values |
| 2023-10-26 00:50:28 +0200 | <EvanR> | but in Map the keys don't need to be continguous |
| 2023-10-26 00:50:35 +0200 | <EvanR> | contiguous |
| 2023-10-26 00:51:41 +0200 | <sansk> | What do you mean by contiguous? |
| 2023-10-26 00:52:05 +0200 | <EvanR> | no holes between the min and max key |
| 2023-10-26 00:52:38 +0200 | <EvanR> | you could have (0,'a') (1,'b') (7,'c') in your map and that's it, unlike an array |
| 2023-10-26 00:53:09 +0200 | <sansk> | would a hashmap hash it as 0, 1, 2? |
| 2023-10-26 00:53:14 +0200 | <EvanR> | no |
| 2023-10-26 00:53:37 +0200 | <EvanR> | since Int is an instance of Hashable you can just use Int keys if you want |
| 2023-10-26 00:53:42 +0200 | <EvanR> | it works |
| 2023-10-26 00:54:09 +0200 | <sansk> | so basically HashMap just converts your map to IntMap? |
| 2023-10-26 00:54:30 +0200 | <EvanR> | I don't think so, no, but you can think of it like that if you want |
| 2023-10-26 00:54:42 +0200 | <EvanR> | it uses hash array-mapped tries |
| 2023-10-26 00:55:56 +0200 | <sansk> | what are the practical performance differences though between hashmap and map? ie what usecase would you use each for? |
| 2023-10-26 00:56:25 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-10-26 00:56:50 +0200 | <EvanR> | I've never used a HashMap for anything. aeson used to? use it for the string-like keys of json objects |
| 2023-10-26 00:57:33 +0200 | <EvanR> | you can find benchmarks of the various container structures around if you search, but they are benchmarks so have many grains of salt to eat while looking at |
| 2023-10-26 00:58:06 +0200 | <EvanR> | because of the Ord container on Map you can treat the contents as being ordered by key which is nice. Not so with HashMap |
| 2023-10-26 00:58:10 +0200 | <EvanR> | Ord constraint* |
| 2023-10-26 00:58:45 +0200 | <sansk> | well im using a Map to store variables in an interpreter i am writing |
| 2023-10-26 00:59:10 +0200 | <EvanR> | what type of key |
| 2023-10-26 00:59:15 +0200 | <sansk> | Text |
| 2023-10-26 00:59:51 +0200 | <EvanR> | Map is a good default container, if you wanted more performance you might want to not use Text as variable keys |
| 2023-10-26 01:00:20 +0200 | <EvanR> | just because I know it's possible to use Int keys for that |
| 2023-10-26 01:01:34 +0200 | <sansk> | i guess performance doesn't matter too much, i will probably continue using Map since its convenient |
| 2023-10-26 01:01:44 +0200 | <EvanR> | it's pretty great |
| 2023-10-26 01:04:11 +0200 | <sansk> | yeah, and very intuitive |
| 2023-10-26 01:06:12 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:06:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-26 01:07:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 258 seconds) |
| 2023-10-26 01:09:26 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-26 01:11:05 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-26 01:12:05 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2023-10-26 01:13:04 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 255 seconds) |
| 2023-10-26 01:16:32 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:17:21 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:17:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-10-26 01:17:55 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:18:05 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-10-26 01:18:42 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:19:59 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:20:34 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:23:22 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:24:13 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:26:24 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:27:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 01:27:12 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:27:16 +0200 | sansk | filipe |
| 2023-10-26 01:27:45 +0200 | filipe | Guest4104 |
| 2023-10-26 01:28:06 +0200 | Guest4104 | sansk |
| 2023-10-26 01:31:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-10-26 01:31:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-26 01:32:07 +0200 | connrs | (~connrs@user/connrs) |
| 2023-10-26 01:32:07 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:32:43 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:34:39 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-10-26 01:35:42 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-26 01:35:58 +0200 | ft | (~ft@p4fc2a529.dip0.t-ipconnect.de) |
| 2023-10-26 01:46:21 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2023-10-26 01:49:08 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:49:22 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:50:15 +0200 | <yin> | is there a reason to prefer shared mutable state explicitly with MVar etc to passing state around in true functional style? |
| 2023-10-26 01:50:25 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:51:00 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:51:15 +0200 | <jackdk> | You might want multiple concurrent threads sharing the state |
| 2023-10-26 01:52:41 +0200 | <geekosaur> | or shared with callbacks, which can't receive the current value (only the value when the callback was registered) in pure functional style, and certainly can't update it |
| 2023-10-26 01:53:23 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:54:13 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:54:24 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 01:55:12 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 01:57:04 +0200 | sansk | (~sansk@user/sansk) (Quit: WeeChat 4.0.4) |
| 2023-10-26 02:00:35 +0200 | <Axman6> | I love coming across cool packages you've hever heard of, replace-attoparsec looks amazing, I love (and am also terrified by) this example: streamEditT (char '{' *> manyTill anyChar (char '}')) (fmap T.pack . getEnv) "- {HOME} -" ==> "- /home/jbrock -" |
| 2023-10-26 02:01:31 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Quit: Lost terminal) |
| 2023-10-26 02:03:41 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-10-26 02:05:42 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-10-26 02:08:08 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-10-26 02:15:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Ping timeout: 258 seconds) |
| 2023-10-26 02:16:14 +0200 | <yin> | is MVar really needed in the websockets sample server example? https://github.com/jaspervdj/websockets/blob/master/example/server.lhs |
| 2023-10-26 02:16:19 +0200 | Inst_ | (~Inst@120.244.192.250) (Ping timeout: 245 seconds) |
| 2023-10-26 02:17:39 +0200 | <yin> | my understanding is that withPingThread is concurrent but I'm not sure (only today i started looking into concurrent haskell) |
| 2023-10-26 02:20:08 +0200 | <EvanR> | you really need multiple threads to handle simultaneous client dialogs |
| 2023-10-26 02:20:29 +0200 | <EvanR> | you can do any concurrent set of tasks with 1 thread by interleaving manually but it's a pain in the ass |
| 2023-10-26 02:21:03 +0200 | <EvanR> | splitting it into dedicated threads spawned on client connect simplifies it a lot |
| 2023-10-26 02:22:02 +0200 | <EvanR> | if the threads need to coordinate at all you need something like MVar, or TVar, or sometimes just an IORef will work |
| 2023-10-26 02:24:50 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-26 02:28:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-10-26 02:36:32 +0200 | <jackdk> | Axman6 often raves about the `atomicModifyIORef'` trick in place of using `MVar` |
| 2023-10-26 02:46:03 +0200 | <geekosaur> | if that's all you need, sure |
| 2023-10-26 02:47:04 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-10-26 02:49:05 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-10-26 02:50:17 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 02:50:32 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 03:00:15 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-10-26 03:02:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2023-10-26 03:02:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-26 03:03:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-10-26 03:05:07 +0200 | otto_s | (~user@p5b044b0d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-26 03:06:39 +0200 | otto_s | (~user@p5b044b15.dip0.t-ipconnect.de) |
| 2023-10-26 03:09:28 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-10-26 03:11:15 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-10-26 03:12:48 +0200 | puke | (~puke@user/puke) |
| 2023-10-26 03:13:31 +0200 | chomwitt | (~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-10-26 03:17:48 +0200 | <c_wraith> | they have really different operational semantics under write load. it's important to have both options available depending on your use cases |
| 2023-10-26 03:22:41 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 03:25:12 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-10-26 03:42:40 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-26 03:50:43 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-10-26 04:02:03 +0200 | <[Leary]> | nyc: In principle, Data.IntSet should be generalised to sets of arbitrary bit strings (there may be a package for this; data-inttrie looks promising), but in practice you can perhaps get away with `IntMap (IntMap (IntMap IntSet))`. If you want to represent dense regions compactly, a finger tree of dense intervals (membership bit arrays with offsets) is extremely efficient. |
| 2023-10-26 04:03:10 +0200 | otto_s | (~user@p5b044b15.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-26 04:04:20 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-26 04:04:46 +0200 | otto_s | (~user@p4ff2729b.dip0.t-ipconnect.de) |
| 2023-10-26 04:05:56 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-10-26 04:05:56 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-10-26 04:05:56 +0200 | jinsun_ | jinsun |
| 2023-10-26 04:06:25 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-10-26 04:06:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-26 04:06:44 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-26 04:06:44 +0200 | finn_elija | FinnElija |
| 2023-10-26 04:18:15 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Ping timeout: 240 seconds) |
| 2023-10-26 04:25:04 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-26 04:25:14 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
| 2023-10-26 04:27:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2023-10-26 04:29:13 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2023-10-26 04:34:51 +0200 | Ascension | (~Ascension@176.254.244.83) (Ping timeout: 260 seconds) |
| 2023-10-26 04:37:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-26 04:43:40 +0200 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-26 04:44:02 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-10-26 04:45:06 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-10-26 04:45:32 +0200 | td_ | (~td@i53870935.versanet.de) |
| 2023-10-26 04:59:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-26 05:01:50 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-26 05:04:34 +0200 | <Axman6> | My preference for the single atomically modified IORef thing came form a paper looking at implementing concurrent data structures in Haskell using all the usual tricks you'd see in imperative languages, and the highest performing implementation IIRC across the board was just using an immutable structure in an IORef, because the contention on that ref is much cheaper to deal with than pretty much any opther scheme that usually needs multiple atomic variables |
| 2023-10-26 05:06:17 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2023-10-26 05:08:59 +0200 | <lockywolf> | Is there a way to not make cabal hardcode paths when building/installing? |
| 2023-10-26 05:10:41 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-26 05:10:43 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-10-26 05:10:58 +0200 | aforemny | (~aforemny@2001:9e8:6cce:d400:a4f1:e7f8:9aed:6739) |
| 2023-10-26 05:12:07 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce8:9900:f5fb:12e8:3754:e64f) (Ping timeout: 252 seconds) |
| 2023-10-26 05:14:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-26 05:25:47 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 05:27:45 +0200 | pixelmonk | (~pixelmonk@173.46.79.26) |
| 2023-10-26 05:27:53 +0200 | pixelmonk | (~pixelmonk@173.46.79.26) (Client Quit) |
| 2023-10-26 05:27:55 +0200 | srk| | (~sorki@user/srk) |
| 2023-10-26 05:27:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 05:28:53 +0200 | srk | (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 2023-10-26 05:30:20 +0200 | srk_ | (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 2023-10-26 05:31:13 +0200 | srk| | srk |
| 2023-10-26 05:32:01 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-10-26 05:33:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-26 05:33:55 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-26 05:34:38 +0200 | <monochrom> | lockywolf: No. But there is a way to set environment variables at run time to change them. |
| 2023-10-26 05:38:44 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 05:40:47 +0200 | <lockywolf> | hackage server |
| 2023-10-26 05:41:17 +0200 | <lockywolf> | issues |
| 2023-10-26 05:41:26 +0200 | srk | (~sorki@user/srk) (Ping timeout: 272 seconds) |
| 2023-10-26 05:41:38 +0200 | srk_ | srk |
| 2023-10-26 05:55:49 +0200 | <lockywolf> | sorry, wrong window |
| 2023-10-26 06:00:52 +0200 | <lockywolf> | If I may ask someone to cosider this issue, it would be great: https://github.com/haskell/hackage-server/issues/1261 |
| 2023-10-26 06:03:45 +0200 | <Axman6> | Finally found the paper for the concurrent data structures/IORef stuff above: http://simonmar.github.io/bib/papers/concurrent-data.pdf |
| 2023-10-26 06:04:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-26 06:04:34 +0200 | <Axman6> | lockywolf: this probably isn't the best place to get the attention of the hackage developers, #hackage or #haskell-infrastructure might be better places |
| 2023-10-26 06:08:05 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-26 06:09:27 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 06:09:28 +0200 | Lycurgus | (~georg@user/Lycurgus) (Client Quit) |
| 2023-10-26 06:09:56 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-26 06:10:46 +0200 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2023-10-26 06:10:46 +0200 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2023-10-26 06:10:46 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 06:11:49 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-10-26 06:12:28 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2023-10-26 06:13:03 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-26 06:13:55 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) (Client Quit) |
| 2023-10-26 06:14:10 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-26 06:18:11 +0200 | pixelmonk | (~pixelmonk@173.46.79.26) |
| 2023-10-26 06:19:44 +0200 | michalz | (~michalz@185.246.207.218) |
| 2023-10-26 06:21:57 +0200 | liamzy__ | (~Inst@120.244.192.250) |
| 2023-10-26 06:24:43 +0200 | Inst_ | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-10-26 06:25:45 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 06:26:49 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-26 06:27:13 +0200 | srk| | (~sorki@user/srk) |
| 2023-10-26 06:28:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-26 06:28:58 +0200 | srk | (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 2023-10-26 06:30:31 +0200 | srk| | srk |
| 2023-10-26 06:30:54 +0200 | pixelmonk | (~pixelmonk@173.46.79.26) (Quit: WeeChat 4.1.0) |
| 2023-10-26 06:31:28 +0200 | srk_ | (~sorki@user/srk) (Ping timeout: 272 seconds) |
| 2023-10-26 06:39:44 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 06:41:42 +0200 | srk | (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 2023-10-26 06:42:34 +0200 | srk_ | srk |
| 2023-10-26 06:45:10 +0200 | <c_wraith> | Axman6: I've had highly concurrent services fall over on the thundering herd caused by atomic CAS retries on a single hyper-overloaded IORef. admittedly, pushing everything through one IOref was a bad design, but the quick fix of changing it to an MVar worked to keep the service from collapsing in those conditions. |
| 2023-10-26 06:46:19 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Ping timeout: 245 seconds) |
| 2023-10-26 06:49:34 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-10-26 06:50:10 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-26 06:50:29 +0200 | <Axman6> | Yeah there are definitely situations where it makes sense - I feel that if your updates to ther IORef are relatively expensive, you might be able to spread out that contention (particularly when using atomicModifyIORef') |
| 2023-10-26 06:50:51 +0200 | random-jellyfish | (~tiber@2a02:2f04:11e:c600:3081:413f:53c6:da60) |
| 2023-10-26 06:50:52 +0200 | random-jellyfish | (~tiber@2a02:2f04:11e:c600:3081:413f:53c6:da60) (Changing host) |
| 2023-10-26 06:50:52 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) |
| 2023-10-26 06:52:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-10-26 06:53:18 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal) |
| 2023-10-26 06:53:38 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-10-26 06:54:20 +0200 | <lockywolf> | I think this patch should be more or less what is needed: https://github.com/haskell/hackage-server/issues/1261#issuecomment-1780412728 |
| 2023-10-26 06:56:04 +0200 | rgw | (~R@2605:a601:a0df:5600:e03b:6bd1:41db:b9ff) (Read error: Connection reset by peer) |
| 2023-10-26 06:56:27 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) |
| 2023-10-26 06:59:16 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-10-26 07:07:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-26 07:08:16 +0200 | yoyofreeman | (~yoyofreem@176.97.76.178) (Read error: Connection reset by peer) |
| 2023-10-26 07:08:45 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 07:09:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 07:09:28 +0200 | yoyofreeman | (~yoyofreem@176.97.76.178) |
| 2023-10-26 07:09:33 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-26 07:09:45 +0200 | billchenchina | (~billchenc@113.57.152.160) |
| 2023-10-26 07:11:27 +0200 | billchenchina- | (~billchenc@113.57.152.160) |
| 2023-10-26 07:14:25 +0200 | billchenchina | (~billchenc@113.57.152.160) (Ping timeout: 255 seconds) |
| 2023-10-26 07:17:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-26 07:18:08 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-26 07:20:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-26 07:20:22 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) |
| 2023-10-26 07:23:38 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-10-26 07:24:01 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-10-26 07:25:07 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-10-26 07:25:18 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-10-26 07:25:27 +0200 | cheater_ | cheater |
| 2023-10-26 07:25:28 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-10-26 07:25:53 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-26 07:26:13 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-10-26 07:26:13 +0200 | cheater_ | cheater |
| 2023-10-26 07:27:28 +0200 | billchenchina- | (~billchenc@113.57.152.160) (Ping timeout: 255 seconds) |
| 2023-10-26 07:29:08 +0200 | Ascension | (~Ascension@176.254.244.83) |
| 2023-10-26 07:38:26 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-26 07:48:10 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Ping timeout: 255 seconds) |
| 2023-10-26 07:49:46 +0200 | yoyofreeman | (~yoyofreem@176.97.76.178) (Read error: Connection reset by peer) |
| 2023-10-26 07:50:18 +0200 | <liamzy__> | tomsmeding: what happened to your mergesort? |
| 2023-10-26 07:59:20 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-26 08:04:54 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) (Remote host closed the connection) |
| 2023-10-26 08:11:44 +0200 | Jackneill | (~Jackneill@20014C4E1E03D800C98411028F718695.dsl.pool.telekom.hu) |
| 2023-10-26 08:11:56 +0200 | rosco_ | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-26 08:15:50 +0200 | rosco | (~rosco@yp-150-69.tm.net.my) (Ping timeout: 255 seconds) |
| 2023-10-26 08:20:54 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-26 08:23:38 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-26 08:23:59 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 08:24:52 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 08:25:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 08:27:58 +0200 | srk | (~sorki@user/srk) (Ping timeout: 258 seconds) |
| 2023-10-26 08:28:00 +0200 | srk| | (~sorki@user/srk) |
| 2023-10-26 08:29:00 +0200 | srk_ | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2023-10-26 08:30:54 +0200 | srk| | srk |
| 2023-10-26 08:31:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-10-26 08:32:47 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) |
| 2023-10-26 08:37:03 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 08:40:12 +0200 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2023-10-26 08:40:13 +0200 | srk_ | srk |
| 2023-10-26 08:44:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 08:46:46 +0200 | jtza8 | (~user@165.255.63.194) |
| 2023-10-26 08:47:19 +0200 | chomwitt | (~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) |
| 2023-10-26 08:50:20 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-26 09:02:05 +0200 | Vajb | (~Vajb@2001:999:785:c11e:a1b8:59fa:dee7:e490) (Ping timeout: 240 seconds) |
| 2023-10-26 09:02:59 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-26 09:03:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:23f2:3a68:9e37:e105) |
| 2023-10-26 09:04:39 +0200 | Jackneill | (~Jackneill@20014C4E1E03D800C98411028F718695.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-10-26 09:05:12 +0200 | euleritian | (~euleritia@dynamic-046-114-224-087.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 09:05:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 09:06:09 +0200 | liamzy__ | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-10-26 09:06:15 +0200 | fendor | (~fendor@2a02:8388:1640:be00:dc89:8d8:5d44:854b) |
| 2023-10-26 09:12:56 +0200 | billchenchina | (~billchenc@113.57.152.160) |
| 2023-10-26 09:14:38 +0200 | billchenchina- | (~billchenc@113.57.152.160) |
| 2023-10-26 09:17:24 +0200 | billchenchina | (~billchenc@113.57.152.160) (Ping timeout: 240 seconds) |
| 2023-10-26 09:20:42 +0200 | ubert | (~Thunderbi@178.115.66.131.wireless.dyn.drei.com) |
| 2023-10-26 09:23:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-10-26 09:24:36 +0200 | billchenchina- | (~billchenc@113.57.152.160) (Ping timeout: 240 seconds) |
| 2023-10-26 09:24:38 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-26 09:29:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 09:30:09 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-26 09:32:53 +0200 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2023-10-26 09:32:53 +0200 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2023-10-26 09:32:53 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 09:34:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-10-26 09:34:37 +0200 | kiriakos | (~kiriakos@p57b651b6.dip0.t-ipconnect.de) |
| 2023-10-26 09:41:08 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-10-26 09:45:51 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) (Remote host closed the connection) |
| 2023-10-26 09:47:33 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-10-26 09:47:33 +0200 | jinsun | Guest3908 |
| 2023-10-26 09:47:33 +0200 | Guest3908 | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2023-10-26 09:47:33 +0200 | jinsun_ | jinsun |
| 2023-10-26 09:55:23 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 255 seconds) |
| 2023-10-26 09:57:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-26 10:00:23 +0200 | jtza8 | (~user@165.255.63.194) (Changing host) |
| 2023-10-26 10:00:23 +0200 | jtza8 | (~user@user/jtza8) |
| 2023-10-26 10:01:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 10:02:42 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-26 10:04:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 10:06:32 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 10:09:02 +0200 | vglfr | (~vglfr@88.155.140.136) (Remote host closed the connection) |
| 2023-10-26 10:09:38 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 10:17:19 +0200 | vglfr | (~vglfr@88.155.140.136) (Remote host closed the connection) |
| 2023-10-26 10:17:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-26 10:17:55 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 10:19:07 +0200 | vglfr | (~vglfr@88.155.140.136) (Remote host closed the connection) |
| 2023-10-26 10:19:28 +0200 | chele | (~chele@user/chele) |
| 2023-10-26 10:19:42 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 10:22:10 +0200 | vglfr | (~vglfr@88.155.140.136) (Remote host closed the connection) |
| 2023-10-26 10:22:56 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 10:23:08 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 10:25:40 +0200 | Lycurgus | (~georg@user/Lycurgus) (Client Quit) |
| 2023-10-26 10:30:52 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-26 10:49:35 +0200 | fendor | (~fendor@2a02:8388:1640:be00:dc89:8d8:5d44:854b) (Remote host closed the connection) |
| 2023-10-26 10:49:55 +0200 | fendor | (~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c) |
| 2023-10-26 10:55:23 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 10:56:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-26 10:56:47 +0200 | srk| | (~sorki@user/srk) |
| 2023-10-26 10:59:00 +0200 | srk | (~sorki@user/srk) (Ping timeout: 258 seconds) |
| 2023-10-26 11:00:04 +0200 | srk| | srk |
| 2023-10-26 11:00:32 +0200 | srk_ | (~sorki@user/srk) (Ping timeout: 258 seconds) |
| 2023-10-26 11:03:42 +0200 | danse-nr3 | (~francesco@151.47.64.199) |
| 2023-10-26 11:05:03 +0200 | CiaoSen | (~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) |
| 2023-10-26 11:10:16 +0200 | srk_ | (~sorki@user/srk) |
| 2023-10-26 11:12:55 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-26 11:13:14 +0200 | srk | (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 2023-10-26 11:13:14 +0200 | srk_ | srk |
| 2023-10-26 11:17:22 +0200 | Jackneill | (~Jackneill@20014C4E1E03D800B8A91DB512DFB3F0.dsl.pool.telekom.hu) |
| 2023-10-26 11:24:48 +0200 | mmhat | (~mmh@p200300f1c719070fee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-26 11:25:01 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-10-26 11:25:34 +0200 | mmhat | (~mmh@p200300f1c719070fee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-26 11:31:16 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-26 11:34:58 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-26 11:39:22 +0200 | billchenchina | (~billchenc@113.57.152.160) |
| 2023-10-26 11:44:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Ping timeout: 246 seconds) |
| 2023-10-26 11:47:39 +0200 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2023-10-26 11:48:14 +0200 | xigua | (~xigua@user/xigua) |
| 2023-10-26 11:50:29 +0200 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-10-26 11:53:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 264 seconds) |
| 2023-10-26 11:53:12 +0200 | billchenchina- | (~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) |
| 2023-10-26 11:54:48 +0200 | ubert | (~Thunderbi@178.115.66.131.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-10-26 11:55:32 +0200 | billchenchina | (~billchenc@113.57.152.160) (Ping timeout: 255 seconds) |
| 2023-10-26 11:58:43 +0200 | billchenchina- | (~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) (Remote host closed the connection) |
| 2023-10-26 11:59:11 +0200 | billchenchina- | (~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) |
| 2023-10-26 12:00:08 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-26 12:05:24 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-10-26 12:05:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-10-26 12:06:09 +0200 | euleritian | (~euleritia@dynamic-046-114-201-209.46.114.pool.telefonica.de) |
| 2023-10-26 12:12:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-26 12:14:12 +0200 | califax | (~califax@user/califx) |
| 2023-10-26 12:16:00 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 272 seconds) |
| 2023-10-26 12:16:07 +0200 | <danse-nr3> | runtime system crashes always shock me a bit |
| 2023-10-26 12:17:31 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-10-26 12:21:32 +0200 | CiaoSen | (~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 2023-10-26 12:23:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-10-26 12:26:14 +0200 | rosco_ | (~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal) |
| 2023-10-26 12:27:56 +0200 | ft | (~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-26 12:32:50 +0200 | vglfr | (~vglfr@88.155.140.136) (Read error: Connection reset by peer) |
| 2023-10-26 12:32:59 +0200 | sm_ | (~sm@plaintextaccounting/sm) (Quit: sm_) |
| 2023-10-26 12:33:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-26 12:33:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-26 12:35:25 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-26 12:35:43 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-26 12:42:34 +0200 | billchenchina- | (~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) (Remote host closed the connection) |
| 2023-10-26 12:51:33 +0200 | euleritian | (~euleritia@dynamic-046-114-201-209.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 12:51:34 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-26 12:51:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 12:56:36 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:01:25 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:02:26 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-10-26 13:02:51 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-26 13:05:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-26 13:06:28 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:07:42 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-26 13:08:45 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:11:03 +0200 | danse-nr3 | (~francesco@151.47.64.199) (Ping timeout: 240 seconds) |
| 2023-10-26 13:11:08 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) (Ping timeout: 248 seconds) |
| 2023-10-26 13:12:14 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) |
| 2023-10-26 13:12:39 +0200 | CiaoSen | (~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) |
| 2023-10-26 13:12:45 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:14:52 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:15:33 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Quit: leaving) |
| 2023-10-26 13:15:48 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-26 13:17:27 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:19:52 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:20:45 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:21:20 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-26 13:23:03 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:24:28 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 13:25:29 +0200 | <srk> | I've managed to produce one today using unsafeCoerce. I wonder it this is a valid use for it https://paste.rs/3jD0W.hs and if it is possible to rewrite it using just coerce. (it seems to work currently, unsafeCoerce seems fine for a testsuite only instance but still) |
| 2023-10-26 13:26:44 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 13:26:50 +0200 | <srk> | (forall is redundant, leftover from previous attempts) |
| 2023-10-26 13:30:14 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-26 13:30:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 13:35:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-26 13:41:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 13:42:42 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-26 13:45:26 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Quit: See you later! :)) |
| 2023-10-26 13:48:28 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) (Ping timeout: 272 seconds) |
| 2023-10-26 13:51:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Ping timeout: 258 seconds) |
| 2023-10-26 13:57:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-26 13:58:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 14:00:05 +0200 | simendsjo | (~user@84.209.170.3) |
| 2023-10-26 14:01:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-26 14:03:14 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-10-26 14:03:59 +0200 | coco | (~user@p5dd9a20e.dip0.t-ipconnect.de) |
| 2023-10-26 14:04:03 +0200 | <coco> | hi |
| 2023-10-26 14:04:34 +0200 | <coco> | I'm passing --no-install-ghc to stack, but it still downloads ghc. What am I doing wrong? |
| 2023-10-26 14:06:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-10-26 14:18:24 +0200 | danse-nr3 | (~francesco@151.47.64.198) |
| 2023-10-26 14:23:21 +0200 | <danse-nr3> | srk, which type of crash was that? Segmentation fault? |
| 2023-10-26 14:24:55 +0200 | coco | (~user@p5dd9a20e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-10-26 14:25:16 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-10-26 14:25:35 +0200 | vpan | Guest2756 |
| 2023-10-26 14:25:53 +0200 | Guest2756 | vpan |
| 2023-10-26 14:28:27 +0200 | danse-nr3 | (~francesco@151.47.64.198) (Read error: Connection reset by peer) |
| 2023-10-26 14:28:42 +0200 | danse-nr3 | (~francesco@151.44.128.52) |
| 2023-10-26 14:30:06 +0200 | <srk> | danse-nr3: yes, but that's kind-of expected when you mis-use unsafe* stuff |
| 2023-10-26 14:31:17 +0200 | random-jellyfish | (~tiber@2a02:2f04:11e:c600:3458:8bb4:861c:95b2) |
| 2023-10-26 14:31:17 +0200 | random-jellyfish | (~tiber@2a02:2f04:11e:c600:3458:8bb4:861c:95b2) (Changing host) |
| 2023-10-26 14:31:17 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) |
| 2023-10-26 14:46:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-10-26 14:55:42 +0200 | danse-nr3_ | (~francesco@151.43.173.25) |
| 2023-10-26 14:58:26 +0200 | danse-nr3 | (~francesco@151.44.128.52) (Ping timeout: 260 seconds) |
| 2023-10-26 14:59:03 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-26 15:00:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-26 15:02:14 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-26 15:02:15 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-26 15:02:15 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-26 15:02:44 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-10-26 15:03:18 +0200 | danse-nr3_ | (~francesco@151.43.173.25) (Remote host closed the connection) |
| 2023-10-26 15:03:41 +0200 | danse-nr3_ | (~francesco@151.43.173.25) |
| 2023-10-26 15:13:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-26 15:17:24 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371) |
| 2023-10-26 15:17:41 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-10-26 15:21:18 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2023-10-26 15:30:46 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2023-10-26 15:32:24 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-10-26 15:34:26 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-10-26 15:40:30 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-26 15:48:25 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 258 seconds) |
| 2023-10-26 15:54:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-26 15:57:50 +0200 | CO2 | (CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.0) |
| 2023-10-26 15:58:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 15:59:43 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2023-10-26 16:07:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-10-26 16:08:18 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) |
| 2023-10-26 16:08:58 +0200 | _xor | (~xor@72.49.199.93) (Read error: Connection reset by peer) |
| 2023-10-26 16:09:17 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 16:09:52 +0200 | _xor | (~xor@72.49.199.93) |
| 2023-10-26 16:12:08 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 16:13:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-10-26 16:14:44 +0200 | jtza8 | (~user@user/jtza8) (Ping timeout: 255 seconds) |
| 2023-10-26 16:16:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 16:19:02 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 16:19:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 16:26:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-26 16:27:33 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-10-26 16:28:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-26 16:28:36 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) |
| 2023-10-26 16:29:52 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-26 16:31:13 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-26 16:31:26 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-10-26 16:31:30 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 16:31:41 +0200 | billchenchina | (~billchenc@2408:824e:d25:b11:d040:81bb:144:724d) |
| 2023-10-26 16:31:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 16:32:21 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2023-10-26 16:33:54 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-10-26 16:34:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-26 16:34:40 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
| 2023-10-26 16:35:01 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-10-26 16:38:24 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-26 16:38:31 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) (Read error: Connection reset by peer) |
| 2023-10-26 16:38:40 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-10-26 16:41:22 +0200 | CiaoSen | (~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 2023-10-26 16:41:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-26 16:42:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 16:45:14 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-26 16:48:43 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2023-10-26 16:49:04 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-26 16:50:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-26 16:55:27 +0200 | rgw | (~R@2605:a601:a0df:5600:589:1f53:7d7d:df53) |
| 2023-10-26 17:00:42 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-10-26 17:00:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-10-26 17:01:20 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) |
| 2023-10-26 17:03:10 +0200 | billchenchina | (~billchenc@2408:824e:d25:b11:d040:81bb:144:724d) (Ping timeout: 258 seconds) |
| 2023-10-26 17:03:21 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-10-26 17:03:47 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
| 2023-10-26 17:06:10 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-26 17:11:10 +0200 | CO2 | (CO2@gateway/vpn/protonvpn/co2) |
| 2023-10-26 17:12:14 +0200 | ski | (~ski@88.131.7.247) |
| 2023-10-26 17:14:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 17:14:55 +0200 | danse-nr3_ | (~francesco@151.43.173.25) (Remote host closed the connection) |
| 2023-10-26 17:15:20 +0200 | danse-nr3_ | (~francesco@151.43.173.25) |
| 2023-10-26 17:15:31 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-10-26 17:15:59 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Read error: Connection reset by peer) |
| 2023-10-26 17:17:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Remote host closed the connection) |
| 2023-10-26 17:17:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 17:17:35 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-10-26 17:19:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:23f2:3a68:9e37:e105) (Quit: WeeChat 2.8) |
| 2023-10-26 17:19:24 +0200 | euleritian | (~euleritia@dynamic-046-114-206-102.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-26 17:19:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 17:30:37 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Ping timeout: 255 seconds) |
| 2023-10-26 17:32:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 17:33:13 +0200 | tiber_ | (~tiber@213.233.108.178) |
| 2023-10-26 17:33:19 +0200 | random-jellyfish | (~tiber@user/random-jellyfish) (Ping timeout: 264 seconds) |
| 2023-10-26 17:35:07 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2023-10-26 17:37:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-26 17:38:08 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-26 17:38:08 +0200 | ChanServ | +v haskellbridge |
| 2023-10-26 17:38:09 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-10-26 17:38:33 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-26 17:38:33 +0200 | ChanServ | +v haskellbridge |
| 2023-10-26 17:39:24 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-26 17:45:19 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 255 seconds) |
| 2023-10-26 17:48:04 +0200 | califax | (~califax@user/califx) (Ping timeout: 256 seconds) |
| 2023-10-26 17:50:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-26 17:52:25 +0200 | califax | (~califax@user/califx) |
| 2023-10-26 17:53:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-26 17:54:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 18:00:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-26 18:01:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 18:02:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-26 18:02:40 +0200 | tiber__ | (~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) |
| 2023-10-26 18:03:35 +0200 | tiber_ | (~tiber@213.233.108.178) (Ping timeout: 240 seconds) |
| 2023-10-26 18:05:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 256 seconds) |
| 2023-10-26 18:06:15 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-26 18:07:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-26 18:08:02 +0200 | fendor | (~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c) (Ping timeout: 255 seconds) |
| 2023-10-26 18:09:08 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-10-26 18:09:39 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-10-26 18:10:01 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) |
| 2023-10-26 18:10:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-10-26 18:16:07 +0200 | <danse-nr3_> | what is the term of part of a module path as in Term1.Term2.Module? |
| 2023-10-26 18:16:51 +0200 | <c_wraith> | as far as Haskell-the-language is concerned, it's all just the module name. |
| 2023-10-26 18:17:06 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-10-26 18:17:15 +0200 | <danse-nr3_> | yeah did not find anything more specific in haskell.org/onlinereport/modules.html. Cheers |
| 2023-10-26 18:17:15 +0200 | <c_wraith> | module names may contain dots. those dots do not imply any sort of hierarchy or relationship, internally |
| 2023-10-26 18:18:00 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-10-26 18:19:09 +0200 | <EvanR> | I don't understand the context-free grammar for that |
| 2023-10-26 18:19:18 +0200 | <EvanR> | modid |
| 2023-10-26 18:19:36 +0200 | <EvanR> | it's defined as a conid, but those don't have periods? |
| 2023-10-26 18:20:29 +0200 | <c_wraith> | err. I'm seeing "modid → {conid .} conid" |
| 2023-10-26 18:21:06 +0200 | <EvanR> | ok I was looking at haskell 98 |
| 2023-10-26 18:21:19 +0200 | <c_wraith> | ah, yes. Haskell98 did not allow . in module names |
| 2023-10-26 18:21:35 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-10-26 18:21:48 +0200 | <c_wraith> | Though that was added very shortly thereafter |
| 2023-10-26 18:21:48 +0200 | <EvanR> | a simpler time! |
| 2023-10-26 18:22:14 +0200 | <danse-nr3_> | my fault had that link in my history ... |
| 2023-10-26 18:22:56 +0200 | <c_wraith> | "Because they are allowed to be mutually recursive, modules allow a program to be partitioned freely without regard to dependencies" |
| 2023-10-26 18:23:15 +0200 | <c_wraith> | Oh, if only that were practically true in GHC.... |
| 2023-10-26 18:24:05 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-10-26 18:26:03 +0200 | <EvanR> | GHC is imperfect, my code runs on platonic haskell |
| 2023-10-26 18:26:14 +0200 | <EvanR> | in the platonic realm |
| 2023-10-26 18:26:41 +0200 | fendor | (~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c) |
| 2023-10-26 18:34:36 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-26 18:37:41 +0200 | <carbolymer> | a nix related question, how can I add tools to my devshell here: https://gitlab.com/carbolymer/haskell-sandbox/-/blob/master/flake.nix?ref_type=heads#L45 ? |
| 2023-10-26 18:37:58 +0200 | danse-nr3_ | (~francesco@151.43.173.25) (Ping timeout: 255 seconds) |
| 2023-10-26 18:42:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-26 18:42:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-26 18:43:47 +0200 | <srk> | carbolymer: mkShell |
| 2023-10-26 18:44:46 +0200 | <tomsmeding> | @tell liamzy__ https://github.com/haskell/play-haskell/issues/25 |
| 2023-10-26 18:44:47 +0200 | <lambdabot> | Consider it noted. |
| 2023-10-26 18:45:03 +0200 | <tomsmeding> | not that I think they'll take that nick again, but perhaps |
| 2023-10-26 18:47:26 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-10-26 18:52:10 +0200 | <carbolymer> | srk: doesn't seem to be exactly what I need - it tries to recompile packages: https://bpa.st/ABIA |
| 2023-10-26 18:54:33 +0200 | <[Leary]> | carbolymer: Try `devShells.default = pkgs.haskellPackages.shellFor { packages = hp: [ hp.haskellSandbox ]; nativeBuildInputs = [ tool1 tool2 ... ]; };` |
| 2023-10-26 18:54:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-26 18:57:07 +0200 | <carbolymer> | [Leary]: seems to be it, thanks! |
| 2023-10-26 19:02:25 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-26 19:04:58 +0200 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-10-26 19:06:35 +0200 | vglfr | (~vglfr@88.155.140.136) (Read error: Connection reset by peer) |
| 2023-10-26 19:06:46 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-10-26 19:07:59 +0200 | AlexZenon | (~alzenon@178.34.162.116) (Ping timeout: 255 seconds) |
| 2023-10-26 19:12:10 +0200 | <srk> | carbolymer: I think it would work using inputsFrom = [ pkgs.haskellPackages.haskellSandbox.env.buildInputs ]; but [Leary]s solution is better for sure |
| 2023-10-26 19:17:07 +0200 | tiber__ | (~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) (Ping timeout: 264 seconds) |
| 2023-10-26 19:18:57 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2023-10-26 19:20:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-26 19:21:13 +0200 | <carbolymer> | srk: what's the advantage of shellFor? |
| 2023-10-26 19:28:30 +0200 | <dostoyevsky2> | Beginner question: When you look at code like <<ParseSuccess r' s'' n' m' → ParseSuccess r' s'' (n + n') (furthest m (offset n . m'))>> -- how do you know what's a string? (This is from geordi's source code, #c++ eval bot) |
| 2023-10-26 19:28:57 +0200 | AlexZenon | (~alzenon@178.34.162.116) |
| 2023-10-26 19:29:33 +0200 | <EvanR> | is that actual haskell |
| 2023-10-26 19:29:54 +0200 | <geekosaur> | with UnicodeSyntax |
| 2023-10-26 19:30:28 +0200 | <EvanR> | is it type level or term level |
| 2023-10-26 19:30:36 +0200 | <EvanR> | I can't read it |
| 2023-10-26 19:30:57 +0200 | <carbolymer> | is there a type level dot? |
| 2023-10-26 19:30:57 +0200 | <EvanR> | I am skeptical of this being a beginner question |
| 2023-10-26 19:31:10 +0200 | <dostoyevsky2> | EvanR: https://github.com/Eelis/geordi/tree/master <- github says it's Haskell 78.6% |
| 2023-10-26 19:31:32 +0200 | <ghoulguy> | That looks like a case branch |
| 2023-10-26 19:32:00 +0200 | <EvanR> | oh, is << and >> quotation marks in your language |
| 2023-10-26 19:32:13 +0200 | <geekosaur> | yeh |
| 2023-10-26 19:32:22 +0200 | <geekosaur> | «» |
| 2023-10-26 19:33:22 +0200 | <dostoyevsky2> | EvanR: Normally I'd quote LaTeX-style `' but that's confusing if the code itself contains ' |
| 2023-10-26 19:33:23 +0200 | <EvanR> | dostoyevsky2, it's very helpful to look around for type signatures to help you identify what is what type |
| 2023-10-26 19:34:17 +0200 | <EvanR> | hopefully they put type signatures |
| 2023-10-26 19:34:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Remote host closed the connection) |
| 2023-10-26 19:34:52 +0200 | <dostoyevsky2> | > if before' == before then mzero else return $ before' ++ (if c == ']' then "" else " [with") |
| 2023-10-26 19:34:53 +0200 | <lambdabot> | error: Variable not in scope: before'error: Variable not in scope: beforeerr... |
| 2023-10-26 19:35:19 +0200 | <dostoyevsky2> | I can guess that before' is probably a derived variable and ']' is a char... but not sure what the actual syntax rules are here |
| 2023-10-26 19:35:44 +0200 | <EvanR> | before' and before are variables, ']' is a Char literal |
| 2023-10-26 19:36:20 +0200 | <EvanR> | that they are being compared for equality doesn't narrow down the types much |
| 2023-10-26 19:36:52 +0200 | <EvanR> | > [3.14 == 7.3, 'a' == 'a', False == True] |
| 2023-10-26 19:36:53 +0200 | <lambdabot> | [False,True,False] |
| 2023-10-26 19:37:02 +0200 | <mauke> | before' is being concatenated with a String, which helps |
| 2023-10-26 19:37:10 +0200 | <dostoyevsky2> | https://github.com/Eelis/geordi/blob/master/src/ErrorFilters.hs <- it mentions String a lot (since it's cleaning up gcc error messages) so I guess they are Strings |
| 2023-10-26 19:37:13 +0200 | <geekosaur> | but the rest does; absent OverloadedTypes it looks like before' and therefore before are String |
| 2023-10-26 19:37:42 +0200 | <mauke> | also, it's using ++ to do so, which nails down the type to [a] in any case |
| 2023-10-26 19:37:57 +0200 | <geekosaur> | true |
| 2023-10-26 19:39:13 +0200 | <mauke> | dostoyevsky2: in your original question, nothing is a string |
| 2023-10-26 19:39:13 +0200 | <EvanR> | dostoyevsky2, 94 is where before is introduced, and comes from manyTill, which produces a list, anyChar is a parser which produces a Char, so you have [Char]. Which String is a synonym of |
| 2023-10-26 19:39:21 +0200 | <mauke> | it's pretty generic code |
| 2023-10-26 19:48:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 19:51:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-10-26 19:51:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-26 19:57:53 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:a299:50e0:47de:b82a) |
| 2023-10-26 19:58:48 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 2023-10-26 20:01:59 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2023-10-26 20:02:01 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-10-26 20:02:07 +0200 | <Inst> | what does ghc --info do? |
| 2023-10-26 20:02:17 +0200 | <Inst> | https://downloads.haskell.org/ghc/latest/docs/users_guide/using.html#ghc-flag---info |
| 2023-10-26 20:02:48 +0200 | <geekosaur> | dumps the settings with which ghc was built |
| 2023-10-26 20:03:40 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-26 20:05:04 +0200 | <geekosaur> | https://paste.tomsmeding.com/k0bDPZjI |
| 2023-10-26 20:06:53 +0200 | <srk> | carbolymer: just a shorthand, you could even ditch shellFor or mkShell for mkDerivation like this https://github.com/HaskellEmbedded/ivory-tower-nix/blob/master/makeshell.nix |
| 2023-10-26 20:10:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 20:20:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Remote host closed the connection) |
| 2023-10-26 20:21:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 20:23:28 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) (Ping timeout: 252 seconds) |
| 2023-10-26 20:26:14 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) |
| 2023-10-26 20:30:50 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 20:32:39 +0200 | CO2 | (CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.0) |
| 2023-10-26 20:34:12 +0200 | CO2 | (CO2@gateway/vpn/protonvpn/co2) |
| 2023-10-26 20:35:38 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-26 20:46:02 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-26 20:46:30 +0200 | stuu22 | (~stuuu@2a01:c23:94c4:1800:3884:9c63:e0:2f3) |
| 2023-10-26 20:46:46 +0200 | stuu22 | (~stuuu@2a01:c23:94c4:1800:3884:9c63:e0:2f3) (Client Quit) |
| 2023-10-26 20:48:55 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-10-26 20:49:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2023-10-26 20:52:42 +0200 | ash3en | (~ash3en@2a01:c23:94c4:1800:3884:9c63:e0:2f3) |
| 2023-10-26 20:54:15 +0200 | <ash3en> | hi, me again: anyone got ld.lld errors when trying to compile for windows? error started to show up when i added aeson to my code. something about undefined symbol. on mac it helped to update to ghc 9.6.2, but no luck on windows with that.. |
| 2023-10-26 20:57:36 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-26 20:59:40 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-26 21:07:33 +0200 | tiber__ | (~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) |
| 2023-10-26 21:08:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Remote host closed the connection) |
| 2023-10-26 21:09:55 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-26 21:16:36 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-26 21:20:11 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-26 21:20:29 +0200 | ash3en | (~ash3en@2a01:c23:94c4:1800:3884:9c63:e0:2f3) (Ping timeout: 245 seconds) |
| 2023-10-26 21:20:56 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-26 21:28:22 +0200 | chomwitt | (~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) |
| 2023-10-26 21:28:22 +0200 | vglfr | (~vglfr@88.155.140.136) (Read error: Connection reset by peer) |
| 2023-10-26 21:34:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-26 21:34:36 +0200 | chomwitt | (~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds) |
| 2023-10-26 21:35:16 +0200 | ash3en | (~ash3en@2a01:c23:94c4:1800:3884:9c63:e0:2f3) |
| 2023-10-26 21:38:09 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-10-26 21:38:47 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 2023-10-26 21:38:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-26 21:41:05 +0200 | ash3en | (~ash3en@2a01:c23:94c4:1800:3884:9c63:e0:2f3) (Ping timeout: 258 seconds) |
| 2023-10-26 21:42:01 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-26 21:43:28 +0200 | tiber__ | (~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) (Ping timeout: 272 seconds) |
| 2023-10-26 21:43:51 +0200 | megaTherion | (~therion@unix.io) (Ping timeout: 240 seconds) |
| 2023-10-26 21:44:07 +0200 | megaTherion | (~therion@unix.io) |
| 2023-10-26 21:44:14 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-10-26 21:44:17 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-26 21:45:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) |
| 2023-10-26 21:45:56 +0200 | Square | (~Square@user/square) |
| 2023-10-26 21:50:19 +0200 | <Inst> | performance wise, what does having a phantom type do with regard to performance? |
| 2023-10-26 21:50:58 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Ping timeout: 260 seconds) |
| 2023-10-26 21:51:32 +0200 | <EvanR> | nothing, types don't exist at runtime |
| 2023-10-26 21:51:47 +0200 | <monochrom> | Bayesianly I could claim that 90% of phantom types don't add any cost because 90% of phantom types I've seen don't add any cost. |
| 2023-10-26 21:52:30 +0200 | <monochrom> | But honestly you should just look at how a specific phantom type is actually defined, then it is obvious because you already know how "data" works and how "newtype" works. |
| 2023-10-26 21:52:55 +0200 | <Inst> | i'm assuming phantom type parameters affect optimization |
| 2023-10-26 21:52:56 +0200 | <monochrom> | Proxy is the other 10%. |
| 2023-10-26 21:53:40 +0200 | <EvanR> | if proxy is costing something, it's not because of phantom types |
| 2023-10-26 21:53:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-26 21:53:58 +0200 | <EvanR> | but because of type class and ad hoc polymorphism |
| 2023-10-26 21:54:11 +0200 | <EvanR> | which is something at runtime |
| 2023-10-26 21:54:16 +0200 | <monochrom> | Well, Proxy is the other 9%, :~: is the remaining 1%. Or something. |
| 2023-10-26 21:55:05 +0200 | <EvanR> | Inst, care to elaborate |
| 2023-10-26 21:55:45 +0200 | <Inst> | 斯塔特# 佛日instanceis泼了一抹热平衡ic, 日光和他？ |
| 2023-10-26 21:55:51 +0200 | <Inst> | State for instance is polymorphic, right? |
| 2023-10-26 21:55:58 +0200 | eggplant_ | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-26 21:56:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7473:6047:87f6:c0b2) (Ping timeout: 240 seconds) |
| 2023-10-26 21:57:17 +0200 | <Inst> | State#, I mean |
| 2023-10-26 21:57:26 +0200 | <Inst> | but it's all weird polymorphism tricks afaik |
| 2023-10-26 21:58:21 +0200 | <EvanR> | newtypes don't exist at runtime, phantom type params or not |
| 2023-10-26 21:58:56 +0200 | <Inst> | https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Exts.html#t:State-35- |
| 2023-10-26 21:59:20 +0200 | <c_wraith> | monochrom: I'm not sure I buy that the arguments to :~: are actually phantom, because the constructor *does* use them. |
| 2023-10-26 21:59:28 +0200 | <monochrom> | Pretty sure this kind of qualitative reasoning gets you nowhere. |
| 2023-10-26 21:59:34 +0200 | <Inst> | look at https://github.com/haskell/cabal/blame/master/Cabal/src/Distribution/GetOpt.hs |
| 2023-10-26 22:00:00 +0200 | <EvanR> | what am I looking at |
| 2023-10-26 22:00:01 +0200 | <Inst> | ArgOrder a, it had its polymorphic error type factored out |
| 2023-10-26 22:00:20 +0200 | eggplant_ | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2023-10-26 22:00:23 +0200 | <Inst> | so i'm surprised when that got factored out, no one thought to change it to ArgOrder instead of ArgOrder a, with a phantom |
| 2023-10-26 22:00:38 +0200 | <Inst> | compare: |
| 2023-10-26 22:00:39 +0200 | <Inst> | https://hackage.haskell.org/package/base-4.19.0.0/docs/src/System.Console.GetOpt.html#getOpt |
| 2023-10-26 22:01:03 +0200 | <monochrom> | c_wraith: Fortunately under Bayesianism I have factored in an estimate of how many people consider it a phantom type in my total probability >:) |
| 2023-10-26 22:01:47 +0200 | <EvanR> | removing the phantom from ArgOrder a only affects the type checking and that's it |
| 2023-10-26 22:02:00 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) |
| 2023-10-26 22:02:33 +0200 | <EvanR> | and then you can write more programs by mixing ArgOrders differently, affecting performance, I guess |
| 2023-10-26 22:08:11 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-26 22:15:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 256 seconds) |
| 2023-10-26 22:15:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-26 22:17:27 +0200 | sansk | (~sansk@user/sansk) |
| 2023-10-26 22:17:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-26 22:18:29 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-26 22:19:58 +0200 | fendor | (~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c) (Remote host closed the connection) |
| 2023-10-26 22:22:34 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-10-26 22:24:53 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 246 seconds) |
| 2023-10-26 22:28:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-26 22:29:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-26 22:33:47 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-26 22:35:51 +0200 | Inst_ | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-10-26 22:36:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-26 22:36:19 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-10-26 22:41:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-26 22:48:52 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-10-26 22:49:02 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-26 22:52:29 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-10-26 22:57:28 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) (Ping timeout: 260 seconds) |
| 2023-10-26 23:00:26 +0200 | Guest|62 | (~Guest|62@158.181.77.54) |
| 2023-10-26 23:06:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-26 23:06:44 +0200 | Jackneill | (~Jackneill@20014C4E1E03D800B8A91DB512DFB3F0.dsl.pool.telekom.hu) (Ping timeout: 245 seconds) |
| 2023-10-26 23:10:46 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-26 23:11:55 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-10-26 23:14:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-26 23:22:11 +0200 | zero | (~z@user/zero) |
| 2023-10-26 23:25:21 +0200 | yin | (~z@user/zero) (Ping timeout: 258 seconds) |
| 2023-10-26 23:25:40 +0200 | pixelmonk | (~pixelmonk@50.205.76.66) |
| 2023-10-26 23:26:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-26 23:33:46 +0200 | vglfr | (~vglfr@88.155.140.136) |
| 2023-10-26 23:34:11 +0200 | sansk | (~sansk@user/sansk) (Quit: WeeChat 4.0.4) |
| 2023-10-26 23:35:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-26 23:36:34 +0200 | <shapr> | @quote tromp |
| 2023-10-26 23:36:34 +0200 | <lambdabot> | tromp says: the number of legal 17x17 Go positions is 9895749638558742166 modulo 18446744073709551577 :) |
| 2023-10-26 23:37:25 +0200 | <tromp> | @quote shapr |
| 2023-10-26 23:37:25 +0200 | <lambdabot> | shapr says: I can has lambda now? |
| 2023-10-26 23:37:29 +0200 | <shapr> | haha |
| 2023-10-26 23:37:34 +0200 | <shapr> | howdy tromp, how's life? |
| 2023-10-26 23:37:51 +0200 | <tromp> | jolly good, but missing the summer weather |
| 2023-10-26 23:37:55 +0200 | <shapr> | yeah, same here |
| 2023-10-26 23:38:19 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-10-26 23:43:00 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-26 23:50:51 +0200 | liamzy__ | (~Inst@120.244.192.250) |
| 2023-10-26 23:51:17 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2023-10-26 23:53:17 +0200 | CiaoSen | (~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) |
| 2023-10-26 23:53:43 +0200 | Inst_ | (~Inst@120.244.192.250) (Ping timeout: 264 seconds) |
| 2023-10-26 23:53:50 +0200 | Guest|62 | (~Guest|62@158.181.77.54) (Quit: Connection closed) |
| 2023-10-26 23:56:56 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-26 23:58:47 +0200 | vglfr | (~vglfr@88.155.140.136) (Read error: Connection reset by peer) |
| 2023-10-26 23:59:58 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |