Logs: freenode/#haskell
| 2021-03-02 11:42:26 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2021-03-02 11:42:26 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-03-02 11:42:26 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-03-02 11:42:39 | <boxscape> | there's also a summary of available resources here https://github.com/bitemyapp/learnhaskell |
| 2021-03-02 11:43:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-02 11:43:40 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 11:44:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 11:44:35 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 11:46:53 | → | cgadski_ joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 11:46:53 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 11:47:39 | → | gay joins (~gay@178.217.208.8) |
| 2021-03-02 11:47:40 | <bobiusbillius> | awesome, thank you, great to see some homework assignments. so far i've been using 'learnyouahaskell', and watching lectures from John Hughes, Scott Wlaschin, and anyone else i can find. |
| 2021-03-02 11:47:45 | cgadski_ | is now known as cgadski |
| 2021-03-02 11:48:40 | → | soft-warm joins (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 2021-03-02 11:48:48 | <boxscape> | bobiusbillius yeah lack of excercises is one of the biggest problems of learnyouahaskell |
| 2021-03-02 11:49:10 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-02 11:49:58 | <merijn> | Anyone else getting PM spam? |
| 2021-03-02 11:50:18 | × | d1rges quits (~d1rges@2001-b011-8011-1df2-db95-6d0e-13aa-cdee.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-03-02 11:50:27 | <boxscape> | who do you even report that something like that to? |
| 2021-03-02 11:50:31 | <boxscape> | (but no, I'm not) |
| 2021-03-02 11:52:08 | <merijn> | boxscape: Freenode staff. I was doing my lunch walk and had like 10 different people PM me the same copy/paste message about reporting me for harassment, so I figured maybe it was "script kiddie"-o clock again on freenode |
| 2021-03-02 11:52:16 | <boxscape> | hm, okay |
| 2021-03-02 11:53:19 | <merijn> | Normally they'd PM spam everyone in a channel or something like that |
| 2021-03-02 11:53:25 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 11:53:51 | <boxscape> | seems you're a lucky winner today |
| 2021-03-02 11:53:55 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 11:54:37 | <Franciman> | merijn, on #freenode they suggest to set mode +r |
| 2021-03-02 11:54:50 | <Franciman> | to get PMs only from registered users |
| 2021-03-02 11:55:00 | <Franciman> | sorry +R |
| 2021-03-02 11:55:09 | <jess> | we're working on it |
| 2021-03-02 11:55:13 | <merijn> | It's not normally an issue, was just curious if it was just me :) |
| 2021-03-02 11:55:34 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 11:55:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-02 11:55:46 | <Franciman> | the fun thing is that as soon as I said that |
| 2021-03-02 11:55:48 | <Franciman> | I got a PM too |
| 2021-03-02 11:55:53 | <merijn> | :p |
| 2021-03-02 11:55:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-02 11:56:00 | <merijn> | Jinxed yourself! |
| 2021-03-02 11:56:03 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 11:58:17 | → | boxscape46 joins (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) |
| 2021-03-02 11:58:46 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 11:59:33 | × | boxscape46 quits (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Client Quit) |
| 2021-03-02 11:59:50 | → | python476 joins (~user@mfl93-13-83-155-250-136.fbx.proxad.net) |
| 2021-03-02 12:00:35 | → | boxscape19 joins (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) |
| 2021-03-02 12:00:35 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-02 12:01:23 | → | vjoki joins (vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-03-02 12:01:56 | × | bobiusbillius quits (6d998222@host109-153-130-34.range109-153.btcentralplus.com) (Quit: Connection closed) |
| 2021-03-02 12:02:19 | × | boxscape quits (86ab2c71@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.44.113) (Ping timeout: 260 seconds) |
| 2021-03-02 12:03:08 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 12:03:47 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-02 12:04:00 | <jess> | let me know if you see more spam |
| 2021-03-02 12:04:19 | <ggVGc> | Sometimes I wonder if I should rent an expensive VPS just to build my haskel |
| 2021-03-02 12:04:21 | <ggVGc> | l |
| 2021-03-02 12:04:44 | × | gay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-02 12:04:58 | → | bobiusbillius joins (6d998222@host109-153-130-34.range109-153.btcentralplus.com) |
| 2021-03-02 12:05:23 | <ggVGc> | Or just bite the bullet and have a desktop again |
| 2021-03-02 12:05:48 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-hhsehrobfpkiaywm) |
| 2021-03-02 12:08:55 | <merijn> | I mean, you wouldn't even need an *expensive* one, just one that's not "the absolute cheapest" |
| 2021-03-02 12:10:00 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-03-02 12:10:04 | → | guest743254 joins (~gay@178.217.208.8) |
| 2021-03-02 12:17:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-02 12:17:10 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-03-02 12:18:55 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-02 12:21:39 | → | mayleesia joins (4e37a6aa@dynamic-078-055-166-170.78.55.pool.telefonica.de) |
| 2021-03-02 12:23:16 | <mniip> | ggVGc, just buy a massive laptop |
| 2021-03-02 12:23:21 | × | mayleesia quits (4e37a6aa@dynamic-078-055-166-170.78.55.pool.telefonica.de) (Client Quit) |
| 2021-03-02 12:25:14 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2021-03-02 12:25:57 | boxscape19 | is now known as boxscape |
| 2021-03-02 12:25:59 | × | plutoniix quits (~q@184.82.220.117) (Quit: Leaving) |
| 2021-03-02 12:26:48 | → | edwtjo joins (~edwtjo@h-7-145.A213.priv.bahnhof.se) |
| 2021-03-02 12:26:48 | × | edwtjo quits (~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host) |
| 2021-03-02 12:26:48 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2021-03-02 12:27:04 | polux200137 | is now known as polux2001 |
| 2021-03-02 12:29:36 | <Axman6> | or like a Threadripper |
| 2021-03-02 12:29:50 | <ggVGc> | I think you mean a macbook m1 |
| 2021-03-02 12:29:57 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 2021-03-02 12:30:03 | <Axman6> | eh, not yet, but in a year or two definitely |
| 2021-03-02 12:30:27 | <Axman6> | they are currently very impressive, but they will be insane in the next few years |
| 2021-03-02 12:32:29 | <bobiusbillius> | unless you know you need a fast cpu, you probably don't |
| 2021-03-02 12:33:47 | <bobiusbillius> | e.g. i got a sub $100 thinkcentre from ebay, added an ssd, and it's fine for my daily use |
| 2021-03-02 12:34:14 | <Axman6> | well we're talking about compiling (I assume Haskell), so all the resources you can get will help |
| 2021-03-02 12:34:35 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 12:35:36 | <bobiusbillius> | i missed the original post; it obviously depends on what is being compiled. |
| 2021-03-02 12:37:05 | × | saitamaplus quits (uid272474@gateway/web/irccloud.com/x-bcbjlbciivamqkbi) (Quit: Connection closed for inactivity) |
| 2021-03-02 12:38:31 | <ggVGc> | I'd argue it doesn't. Every 500ms shaved off a compilation cycle significantly affects how I am able to work on a project. Granted, if it's alread yunder 500ms, then it doesn't matter |
| 2021-03-02 12:38:42 | <ggVGc> | but I'd argue very few haskell projects compile under 500ms |
| 2021-03-02 12:39:12 | <ggVGc> | if it's so high that 500ms makes no difference, then it's already a terrible time |
| 2021-03-02 12:39:28 | <merijn> | ggVGc: ghcide has been neer instant for me even on big projects |
| 2021-03-02 12:39:59 | <ggVGc> | but, you can't build and run your project using ghcide, right? |
| 2021-03-02 12:40:07 | <ggVGc> | I'm not talking about LSP help |
| 2021-03-02 12:40:25 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-02 12:40:33 | <merijn> | Like, incremental rebuilds are easily moving towards 30s - 1.5 minute (depending on where in the graph), but ghcide is still near instant |
| 2021-03-02 12:40:40 | <ggVGc> | anyway, my project sucks extra hard since it's a DSL, that generates C++ that I then have to compile... |
| 2021-03-02 12:40:43 | <boxscape> | you might be able to run your project in ghci, though it depends on the kind of project it is |
| 2021-03-02 12:40:44 | <ggVGc> | so it's 3 compilations |
| 2021-03-02 12:40:51 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 12:41:05 | <merijn> | ggVGc: No, but the feedback from typechecking is much more important while I code than the time to run it when I finish refactoring |
| 2021-03-02 12:41:05 | <ggVGc> | merijn: yeah, that's fair, but I also need the project to run fast |
| 2021-03-02 12:41:08 | <ggVGc> | so I can't use ghci |
| 2021-03-02 12:41:20 | <merijn> | ggVGc: ghcide doesn't use ghci |
All times are in UTC.