Newest at the top
| 2024-11-17 01:27:16 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-11-17 01:20:36 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-11-17 01:20:19 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-11-17 01:20:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-17 01:19:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-17 01:17:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-11-17 01:06:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-17 01:02:19 +0100 | Spawns | Spawns_Carpeting |
| 2024-11-17 00:59:05 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Quit: WeeChat 4.4.3) |
| 2024-11-17 00:56:47 +0100 | Everything | (~Everythin@178-133-144-115.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-17 00:51:58 +0100 | Guest28 | (~Guest63@2800:a4:10c5:4200:c0d2:e4ff:567a:64d8) (Quit: Client closed) |
| 2024-11-17 00:46:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-11-17 00:46:50 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit |
| 2024-11-17 00:40:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3307-845b-b47a-8df0-484a-dd57.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-17 00:31:04 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-11-17 00:27:36 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-17 00:22:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-17 00:10:06 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-17 00:05:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-16 23:50:16 +0100 | <hellwolf> | gn. |
| 2024-11-16 23:50:07 +0100 | <hellwolf> | all good. glorious to the haskell. |
| 2024-11-16 23:49:55 +0100 | <hellwolf> | and it runs |
| 2024-11-16 23:48:53 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2024-11-16 23:48:12 +0100 | <hellwolf> | Not too bad |
| 2024-11-16 23:48:07 +0100 | <geekosaur> | s/by/for/ 😈 |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | sys 0m0.514s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | user 0m51.876s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | real 0m52.627s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | [2 of 2] Linking constraintslim |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | [1 of 2] Compiling Main ( constraintslim.hs, constraintslim.o ) |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | $ time ghc constraintslim.hs -freduction-depth=0 |
| 2024-11-16 23:47:59 +0100 | <hellwolf> | (alright, compiling, I am using "time" to record the time) |
| 2024-11-16 23:46:48 +0100 | <hellwolf> | GHC is made by non humans! |
| 2024-11-16 23:46:40 +0100 | <hellwolf> | oh, I didn't just give up yet, ghc again suggest another way to go darker path |
| 2024-11-16 23:44:37 +0100 | <geekosaur> | mm, I don't see a way to change that, sadly |
| 2024-11-16 23:44:18 +0100 | <hellwolf> | alright, I call it a day. That was some dark corner I just visited. |
| 2024-11-16 23:43:38 +0100 | <geekosaur> | lol |
| 2024-11-16 23:43:38 +0100 | <hellwolf> | https://play-haskell.tomsmeding.com/saved/5phxN7yg <-- good luck :) |
| 2024-11-16 23:43:21 +0100 | <hellwolf> | oh oh |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | When simplifying the following type: A200 Int |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | • Reduction stack overflow; size = 201 |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | Main.hs:3014:8: error: |
| 2024-11-16 23:40:12 +0100 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) (Quit: Client closed) |
| 2024-11-16 23:38:33 +0100 | <hellwolf> | it took GHCi few seconds to load this abomination, but it did it. |
| 2024-11-16 23:38:18 +0100 | sdrfan123 | (~sdrfan123@2607:fb91:db5:49ea:b971:f45f:2d53:96d1) (Quit: Client closed) |
| 2024-11-16 23:38:17 +0100 | <hellwolf> | g a = show1000 a |
| 2024-11-16 23:38:17 +0100 | <hellwolf> | g :: As a => a -> String |
| 2024-11-16 23:33:41 +0100 | <hellwolf> | not your garden variety of senior engineer |
| 2024-11-16 23:33:31 +0100 | <hellwolf> | oh, that's a nice CV title "Type-level programmer" |
| 2024-11-16 23:33:04 +0100 | <hellwolf> | I haven't applied to an actual type yet. let me keep coercing vim to generate code for me. |