Logs: liberachat/#haskell
| 2021-07-20 23:43:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-20 23:46:47 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-20 23:47:56 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-20 23:48:05 | <delYsid> | schuelermine: btw, I repurposed samtay's tetris to create a version playable on braille displays. "ssh betris@blind.guru" for a demo :-) |
| 2021-07-20 23:48:37 | <schuelermine> | Cool, I don’ |
| 2021-07-20 23:48:43 | <schuelermine> | t have a braille TTY, unfor |
| 2021-07-20 23:48:45 | <schuelermine> | tunately |
| 2021-07-20 23:49:35 | <delYsid> | It uses unicode braille, so with the right font, the principle should work even if you are just using a "normal" monitor :-) |
| 2021-07-20 23:50:19 | <delYsid> | anyway, samtay/tetris is a pretty neat piece of code |
| 2021-07-20 23:50:27 | → | dajoer joins (~david@user/gvx) |
| 2021-07-20 23:53:45 | <schuelermine> | delYsid: can you share the fingerprint of your SSH instance? |
| 2021-07-20 23:53:49 | <schuelermine> | I want to verify |
| 2021-07-20 23:54:11 | <delYsid> | brick is the first tui library I happen to like. ncurses killed my productivity when I moved from directly writing to 0xB8000 to Linux many many years ago. brick is the first library that makes me want write TUIs again. |
| 2021-07-20 23:56:17 | <schuelermine> | delYsid: huh |
| 2021-07-20 23:56:22 | <schuelermine> | I can’t seem to input anything |
| 2021-07-20 23:56:42 | <schuelermine> | do you have a GH repo? |
| 2021-07-20 23:57:06 | <delYsid> | schuelermine: 256 SHA256:B1A9OjQV6pqqko2ANAyiJ1YrNqjmeHi8xUuAQxGe+yQ blind.guru (ED25519) |
| 2021-07-20 23:57:33 | <delYsid> | schuelermine: https://github.com/mlang/betris |
| 2021-07-20 23:58:11 | <delYsid> | The same is flipped 90-degrees, also the controls. So you "drop" with cursor left, and move the tetrimino with cursor up/down. Press return to rotate |
| 2021-07-20 23:58:21 | <delYsid> | s/same/game/ |
| 2021-07-20 23:58:54 | <delYsid> | Took me 20 years to realize that tetris is actually easily portable to braille |
| 2021-07-20 23:59:31 | <monochrom> | Heh "directly write to 0xB8000". Real programmers. :) |
| 2021-07-20 23:59:54 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-07-21 00:00:03 | <delYsid> | yeah, those were the days. |
| 2021-07-21 00:00:19 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@69.4.234.80) |
| 2021-07-21 00:00:23 | monochrom | used to dabble a bit with peek, poke in basic and adding a bit of asm. |
| 2021-07-21 00:01:12 | geekosaur | remembers those days too |
| 2021-07-21 00:01:13 | <schuelermine> | hmm, I’m getting SHA256:lLbnuXcnp9ghlxu91KksYuFl3df74ItLmef30s2fktc. |
| 2021-07-21 00:01:46 | <schuelermine> | delYsid: Oh, I was using HJKL controls |
| 2021-07-21 00:02:16 | <delYsid> | yeah, SHA256:lLbnuXcnp9ghlxu91KksYuFl3df74ItLmef30s2fktc |
| 2021-07-21 00:02:26 | <schuelermine> | ok |
| 2021-07-21 00:02:38 | → | Haskell9Liker6 joins (~Haskell9L@rrcs-69-75-173-34.west.biz.rr.com) |
| 2021-07-21 00:02:55 | <delYsid> | this is the first time ever someone asked me to verify a server key. And I am doing hpc admin work as a day job since 20 years. Its so sad. |
| 2021-07-21 00:03:14 | <schuelermine> | also, I’m starting to regret using Kitty as my terminal, I always need to write TERM=xterm-256color before any ssh… |
| 2021-07-21 00:03:23 | <Haskell9Liker6> | hi, is there a good place to go to get an idea of progress towards release of ghc 9.2.1? |
| 2021-07-21 00:04:03 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/milestones/365 supposedly |
| 2021-07-21 00:04:09 | <schuelermine> | Haskell9Liker6: I don’t think it’s release-ready yet |
| 2021-07-21 00:04:11 | <delYsid> | schuelermine: alias ssh='TERM=xterm-256color ssh' |
| 2021-07-21 00:04:20 | <schuelermine> | delYsid: maybe |
| 2021-07-21 00:04:23 | <schuelermine> | although |
| 2021-07-21 00:04:29 | <geekosaur> | they're still tracking down problems on aarch64-darwin |
| 2021-07-21 00:04:33 | <schuelermine> | maybe I should actually utilize fish abbreviations finally |
| 2021-07-21 00:04:58 | <schuelermine> | ’cause I have the terminfo file copied onto a dev server I use regularly |
| 2021-07-21 00:05:01 | <schuelermine> | so I don’t need it there |
| 2021-07-21 00:05:42 | <delYsid> | I never got why fish is the new hot thing. I am kind of stuck with bash. |
| 2021-07-21 00:05:52 | <geekosaur> | zsh! |
| 2021-07-21 00:05:56 | <schuelermine> | is it the hot new thing? idk |
| 2021-07-21 00:05:59 | <schuelermine> | I like it personally |
| 2021-07-21 00:06:10 | <schuelermine> | geekosaur: zsh sounds kinda good too |
| 2021-07-21 00:06:19 | <delYsid> | yeah, I even used zsh for many years, but somehow went back to bash because I am simply using too many machines on a daily basis. |
| 2021-07-21 00:07:05 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-21 00:07:26 | <geekosaur> | I have a somewhat evil config that makes what I need available on many shells |
| 2021-07-21 00:07:55 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-21 00:08:01 | <monochrom> | onoes polygot .profile |
| 2021-07-21 00:08:03 | <geekosaur> | which dates back to when commercial unixes were a thing, so I don't use much in the way of fancy expansions and the like |
| 2021-07-21 00:08:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-21 00:09:00 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-21 00:09:14 | <delYsid> | I customize my local machine, but I try to run with the defaults on everything remote. |
| 2021-07-21 00:10:14 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-21 00:11:04 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-07-21 00:11:28 | <schuelermine> | oh that reminds |
| 2021-07-21 00:11:31 | <schuelermine> | me |
| 2021-07-21 00:11:46 | <schuelermine> | Does anybody know when WinIO will be made the default IO manager for NT? |
| 2021-07-21 00:11:55 | <Cajun> | so when i go to compile this, GHC "panics" and says its a bug, though im not sure if my code is even valid logically https://paste.tomsmeding.com/NGnr4zD8 |
| 2021-07-21 00:12:01 | <schuelermine> | I remember being really frustrated with GHC back when I used Windows |
| 2021-07-21 00:13:09 | <schuelermine> | goodbye! |
| 2021-07-21 00:13:15 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.2) |
| 2021-07-21 00:13:52 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-07-21 00:15:04 | × | Haskell9Liker6 quits (~Haskell9L@rrcs-69-75-173-34.west.biz.rr.com) (Quit: Client closed) |
| 2021-07-21 00:15:39 | <pavonia> | Is "type Label :: Type -> Symbol" legal code? |
| 2021-07-21 00:15:49 | <Cajun> | yes, its a type family thing |
| 2021-07-21 00:16:10 | <Cajun> | kind signature i think is the term, im new to it |
| 2021-07-21 00:16:28 | <pavonia> | I've never seen this |
| 2021-07-21 00:16:43 | <Cajun> | itll blow your mind, check out TypeFamilies if you havent |
| 2021-07-21 00:17:22 | <pavonia> | I know about type families, just not this part of the syntax |
| 2021-07-21 00:20:51 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-21 00:21:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-21 00:23:17 | <pavonia> | So (a :: Num a => a) is any type that has a kind which is an instance of Num, do I get that right? |
| 2021-07-21 00:24:16 | → | aegon joins (~mike@174.127.249.180) |
| 2021-07-21 00:24:20 | <Cajun> | im still having difficulties with kinds, but yes that sounds fairly accurate |
| 2021-07-21 00:24:56 | <h98> | are you really supposed to be able to do that? |
| 2021-07-21 00:25:06 | <pavonia> | I think what you want is just (Num a => a) |
| 2021-07-21 00:25:34 | <h98> | ^ that gives "illegal qualified type" for me |
| 2021-07-21 00:26:01 | <aegon> | I'm trying to interface with the Gogol library but its doing some things that are over my head. Specifically theres a data definition in there called Env, I want to store an instance of that in a MonadReader but I cant get the type system to tell me what to call it. here's where the data is defined |
| 2021-07-21 00:26:06 | <aegon> | https://github.com/brendanhay/gogol/blob/797a2672b4652a1764d61a313939a2050ff0ed7f/gogol/src/Network/Google/Env.hs#L33 |
| 2021-07-21 00:26:58 | <Cajun> | pavonia: that also gives me "illegal qualified type" |
| 2021-07-21 00:27:09 | <h98> | i'd be very surprised you could do anything like that honestly |
| 2021-07-21 00:27:17 | <aegon> | The closest I've come is IO Network.Google.Env.Env '["https://www.googleapis.com/auth/devstorage.read_write"]' but when i trie to make that the type ghc seems upset |
| 2021-07-21 00:27:18 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-21 00:27:20 | → | Guest4 joins (~Guest4@50.47.115.102) |
| 2021-07-21 00:27:25 | <h98> | type families are supposed to be easy to resolve right? |
| 2021-07-21 00:27:56 | <h98> | putting constraints in there doesn't feel like it should work, though idk |
| 2021-07-21 00:28:19 | <Cajun> | there must be a way to match on multiple types like that. like instead of writing `instance Label Double/Int/Integer/etc. = ...` there must be some sorta shortcut right? |
| 2021-07-21 00:29:23 | <Cajun> | yeah it doesnt feel like it should work but i have no idea. that seems like it would be asking for a value instead of a type, which wouldnt make sense |
| 2021-07-21 00:31:15 | <dsal> | If you want to know a bit more about kinds and kind signatures and like watching videos: https://youtu.be/JleVecHAad4 |
| 2021-07-21 00:31:41 | <Cajun> | ill check it out, thanks! |
| 2021-07-21 00:32:20 | <aegon> | here's a paste of the error https://dpaste.com/5LSAK2QBZ |
| 2021-07-21 00:33:18 | <h98> | i think if what you were trying to do were allowed, you could concoct a chicken-and-egg situation with a type family and a class where your code would depend on the order in which ghc compiles it |
| 2021-07-21 00:33:45 | <dsal> | aegon: I suspect you just want `newEnv` |
| 2021-07-21 00:34:19 | <dsal> | Just realized I've basically not used gogol. I've used amazonka quite a bit, though. |
All times are in UTC.