Logs: liberachat/#haskell
| 2021-06-21 12:21:13 | <merijn> | maerwald[m]: Fortunately, hackage is open source! So now you have yet another yak! :D |
| 2021-06-21 12:21:16 | <maerwald[m]> | You can have 'username/pkg' and still have an unqualified 'pkg' |
| 2021-06-21 12:21:24 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-21 12:21:53 | → | dajoer joins (~david@softbank126065252160.bbtec.net) |
| 2021-06-21 12:21:56 | <maerwald[m]> | Unqualified pkg's would go through trustees, potentially or so |
| 2021-06-21 12:22:18 | × | Morrow quits (~Morrow@37.142.145.18) (Ping timeout: 250 seconds) |
| 2021-06-21 12:22:27 | × | dajoer quits (~david@softbank126065252160.bbtec.net) (Changing host) |
| 2021-06-21 12:22:27 | → | dajoer joins (~david@user/gvx) |
| 2021-06-21 12:22:38 | <merijn> | maerwald[m]: There was an idea to make a "PVP opt-in" layer on top of "raw hackage", but not sure if that's going anywhere now that hvr is busy |
| 2021-06-21 12:22:52 | <maerwald[m]> | Right, let me write a proposal first... but no, I value my mental health more |
| 2021-06-21 12:23:05 | → | Morrow joins (~Morrow@31.154.96.164) |
| 2021-06-21 12:24:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-21 12:28:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-06-21 12:29:07 | → | fendor_ joins (~fendor@77.119.129.45.wireless.dyn.drei.com) |
| 2021-06-21 12:32:13 | <Hecate> | maerwald[m] I will forcefully kidnap you and put you in a train for a thermal station if you take on another project :< |
| 2021-06-21 12:32:30 | <maerwald[m]> | xD |
| 2021-06-21 12:33:07 | <maerwald[m]> | I have 8 healthy fingers left |
| 2021-06-21 12:33:29 | <maerwald[m]> | Should get me through at least 2 more projects |
| 2021-06-21 12:34:02 | <int-e> | but fingers are not a renewable resource? |
| 2021-06-21 12:34:05 | int-e | is scared |
| 2021-06-21 12:34:46 | <maerwald[m]> | Oh, I thought they regrow after a couple of years |
| 2021-06-21 12:35:04 | <int-e> | they. don't. |
| 2021-06-21 12:35:14 | <maerwald[m]> | Shouldn't have cut them off I guess... hrmm |
| 2021-06-21 12:36:30 | <hrnz> | o.o |
| 2021-06-21 12:36:33 | psydroid | is now known as psydroid[m] |
| 2021-06-21 12:37:46 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Read error: Connection reset by peer) |
| 2021-06-21 12:38:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-21 12:38:05 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-21 12:39:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-06-21 12:39:22 | → | cheater joins (~Username@user/cheater) |
| 2021-06-21 12:41:14 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-21 12:42:27 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-21 12:43:26 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-21 12:44:41 | <maerwald[m]> | https://github.com/biegunka/terminal-size/pulls |
| 2021-06-21 12:44:43 | <maerwald[m]> | Looks abandoned |
| 2021-06-21 12:45:13 | <merijn> | lemme check what I'm using |
| 2021-06-21 12:45:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-06-21 12:46:08 | <maerwald[m]> | This is a transitive dep though |
| 2021-06-21 12:46:19 | <merijn> | Ah, I use terminal-size |
| 2021-06-21 12:46:41 | <maerwald[m]> | It has a pretty humongous bug on darwin |
| 2021-06-21 12:47:01 | <merijn> | It does? |
| 2021-06-21 12:47:06 | <merijn> | I haven't noticed anything so far? |
| 2021-06-21 12:47:24 | <maerwald[m]> | `ccall` is impossible to get right on darwin |
| 2021-06-21 12:47:35 | <maerwald[m]> | https://github.com/biegunka/terminal-size/pull/16 |
| 2021-06-21 12:47:48 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-06-21 12:48:49 | <maerwald[m]> | It causes segfaults, occuring in random places, randomly changing |
| 2021-06-21 12:49:16 | <maerwald[m]> | Who knows how many more of those hidden bugs darwin users face |
| 2021-06-21 12:49:33 | <merijn> | Which macs is it segfaulting on? |
| 2021-06-21 12:50:00 | <merijn> | I've been using it since 2016 and I haven't had any segfaults (that weren't my own fault) so far |
| 2021-06-21 12:50:15 | <maerwald[m]> | The verdict was you have to compare the generated code to be sure, but even then it's a moving target. An OSX update might break your FFI code |
| 2021-06-21 12:50:28 | <maerwald[m]> | Aarch64 darwin |
| 2021-06-21 12:51:30 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-06-21 12:51:55 | → | cheater joins (~Username@user/cheater) |
| 2021-06-21 12:52:28 | <stevenxl> | Does anyone here do any Haskell tutoring - paid, not free. Essentially, I have a Haskell program that is giving me a type error, and I want to walk through how we got to that type error. I'm thinking this won't take more than 1 hr, but maybe 2. Again, happy to pay for someone's time to understand what is going on at a deeper level. |
| 2021-06-21 12:54:46 | <merijn> | stevenxl: The Haskell reddit and haskell-cafe mailing list will probably give you comments for free ;) |
| 2021-06-21 12:55:59 | <maerwald[m]> | Also, should indicate whether this is type level errors or normal haskell |
| 2021-06-21 12:56:06 | × | Morrow quits (~Morrow@31.154.96.164) (Ping timeout: 250 seconds) |
| 2021-06-21 12:56:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-21 12:56:58 | <maerwald[m]> | 1-2 hours sounds like this might be a 1500 lines type error after diving too deep into type families |
| 2021-06-21 12:57:32 | × | brandonh quits (~brandonh@151.68.5.207) (Quit: brandonh) |
| 2021-06-21 12:58:25 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-21 12:58:58 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-06-21 12:59:13 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-21 13:00:59 | → | alx741 joins (~alx741@181.196.68.152) |
| 2021-06-21 13:01:06 | → | maroloccio joins (~marolocci@189.15.9.54) |
| 2021-06-21 13:01:22 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-21 13:02:10 | psydroid[m] | is now known as psydroid |
| 2021-06-21 13:02:25 | × | fendor_ quits (~fendor@77.119.129.45.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-06-21 13:02:36 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-21 13:02:43 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-21 13:02:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-21 13:05:21 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-21 13:06:02 | → | finsternis joins (~X@23.226.237.192) |
| 2021-06-21 13:08:03 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-06-21 13:08:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-21 13:09:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-21 13:09:23 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-21 13:11:14 | <stevenxl> | maerwald[m]: It is very plain-vanilla Haskell. The top-level value is of type `Spec` from HSpec, and there are like 2 or 3 non-library functions, mostly dealing with a Reader for DB actions. |
| 2021-06-21 13:11:47 | <stevenxl> | merijn: Thanks. I'll give that a shot, but still interested in a more hands-on approach. |
| 2021-06-21 13:11:49 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-06-21 13:11:52 | <merijn> | oh |
| 2021-06-21 13:12:07 | <merijn> | HSpec has super cryptic type errors due to its over-reliance on typeclasses |
| 2021-06-21 13:12:08 | <dminuoso> | stevenxl: If you're willing to send me a box of candy, we can do it tonight! |
| 2021-06-21 13:12:11 | <stevenxl> | I guess there is a type-family involved in terms of `HSpec`. I think `Arg` is an associated type family. |
| 2021-06-21 13:12:14 | <dminuoso> | That's all I ask. :p |
| 2021-06-21 13:12:16 | <merijn> | Which is one of the reasons I dislike hspec |
| 2021-06-21 13:13:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-21 13:13:15 | <stevenxl> | dminuoso: I'm down! M |
| 2021-06-21 13:13:26 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 250 seconds) |
| 2021-06-21 13:13:39 | <dminuoso> | Perfect, I'll be around 10pm CEST |
| 2021-06-21 13:13:57 | <stevenxl> | :+1 |
| 2021-06-21 13:15:03 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-21 13:15:05 | <merijn> | dminuoso: I'm gonna make you debug my shite and sent you salmiak licorice as "reward" :p |
| 2021-06-21 13:15:59 | <Boomerang> | Salmiak licorice is great! Not sure why the quotes are necessary ^^ |
| 2021-06-21 13:16:06 | <dminuoso> | Yes, indeed! |
| 2021-06-21 13:16:59 | <maerwald[m]> | Promotion of drugs :p |
| 2021-06-21 13:17:34 | <merijn> | Boomerang: I agree, most of the world does not |
| 2021-06-21 13:18:04 | <merijn> | There's this invisible border running through the middle of Europe above which licorice is considered amazing and below which it's considered human torture ;) |
| 2021-06-21 13:18:08 | <dminuoso> | stevenxl: Oh I just realized, Ill probably be around 8pm already for an hour. If that works with you, we can start a bit earlier. |
| 2021-06-21 13:18:45 | <dminuoso> | merijn: Personally I think mixing licorice with salmiak is an offense. |
All times are in UTC.