Logs: liberachat/#haskell
| 2021-06-08 11:49:10 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-08 11:49:34 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-08 11:49:53 | × | mattil_ quits (~mattil@airio.portalify.com) (Quit: Leaving...) |
| 2021-06-08 11:50:34 | → | mattil joins (~mattil@airio.portalify.com) |
| 2021-06-08 11:50:48 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2021-06-08 11:51:08 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 2021-06-08 11:52:08 | → | nshepperd28 joins (~nshepperd@li364-218.members.linode.com) |
| 2021-06-08 11:52:37 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Read error: Connection reset by peer) |
| 2021-06-08 11:52:38 | nshepperd28 | is now known as nshepperd2 |
| 2021-06-08 11:54:16 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Max SendQ exceeded) |
| 2021-06-08 11:55:09 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 2021-06-08 11:56:54 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-08 11:57:22 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-08 12:00:02 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 250 seconds) |
| 2021-06-08 12:00:59 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-08 12:01:42 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-08 12:03:25 | → | pera joins (~pera@204.red-79-159-199.dynamicip.rima-tde.net) |
| 2021-06-08 12:03:49 | pera | is now known as Guest5704 |
| 2021-06-08 12:05:43 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:90fc:3f0d:1f5e:369a) |
| 2021-06-08 12:08:35 | <sshine> | oh man, my homepage used to work fine without javascript. what happened to my priorities. |
| 2021-06-08 12:08:42 | × | fabfianda quits (~fabfianda@mob-5-90-240-86.net.vodafone.it) (Ping timeout: 250 seconds) |
| 2021-06-08 12:08:59 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) |
| 2021-06-08 12:12:34 | × | Guest5704 quits (~pera@204.red-79-159-199.dynamicip.rima-tde.net) (Quit: leaving) |
| 2021-06-08 12:12:59 | <maerwald> | extra-path-prog/extra-include-dirs/extra-lib-dirs in cabal.config invalidates the entire store??? |
| 2021-06-08 12:14:16 | → | Guest8456 joins (~Guest84@2600:1700:6074:e10:42:e803:ddf2:95e0) |
| 2021-06-08 12:18:23 | ← | Guest8456 parts (~Guest84@2600:1700:6074:e10:42:e803:ddf2:95e0) () |
| 2021-06-08 12:18:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 12:19:32 | <merijn> | Sounds likely |
| 2021-06-08 12:20:37 | maerwald | sobs |
| 2021-06-08 12:20:59 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-08 12:21:38 | → | mastarija joins (~mastarija@31.217.27.129) |
| 2021-06-08 12:22:30 | <mastarija> | What is the current status of cross compilation? In particular, ARM / Android. |
| 2021-06-08 12:22:42 | <trueboxguy> | the Haskell foundation page is https://haskell.foundation for those interested |
| 2021-06-08 12:22:47 | <mastarija> | I've found some oldish posts form zw3rk, but nothing recent |
| 2021-06-08 12:23:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 272 seconds) |
| 2021-06-08 12:24:36 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-08 12:24:48 | <sshine> | mastarija, was it older or newer than this? https://www.haskell.org/ghc/blog/20200515-ghc-on-arm.html |
| 2021-06-08 12:25:09 | <mastarija> | Older, I think 2019 |
| 2021-06-08 12:25:20 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-08 12:25:35 | <maerwald> | mastarija: that's basically Moritz, who's the primary guy working on ARM support |
| 2021-06-08 12:26:23 | <maerwald> | mastarija: there's also a Arming Cardano telegram group where people try to (cross-)compile cardano for ARM |
| 2021-06-08 12:26:44 | <mastarija> | I've been wanting to write a game for android, I know keera studios had some working examples, but they are closed source. |
| 2021-06-08 12:27:22 | <jonathanx> | I'm considering moving from stack to nix + cabal in order to get binary caches & mixins (for alternate preludes). Anything I need to know about using stack vs cabal with nix? Most info I can find is 3-5 years old. |
| 2021-06-08 12:28:14 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-08 12:28:29 | <jonathanx> | I've read that I'll need to set up --file-watch manually, and that the errors might be less than helpful, but other than that? Is there a best practice for what tooling to use with nix? |
| 2021-06-08 12:28:58 | × | hueso quits (~root@152.170.216.40) (Quit: No Ping reply in 180 seconds.) |
| 2021-06-08 12:30:18 | × | wonko quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-06-08 12:30:19 | → | hueso joins (~root@152.170.216.40) |
| 2021-06-08 12:30:48 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-08 12:31:04 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.1) |
| 2021-06-08 12:31:45 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-08 12:32:03 | <angerman> | mastarija: cross compilation is still a bit of an issue outside of nix. It’s pretty annoying. But possible. |
| 2021-06-08 12:32:20 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-08 12:32:36 | <angerman> | mastarija: instructions on my blog should still apply. The codegen should be substantially improved since then though. |
| 2021-06-08 12:32:38 | <mastarija> | angerman, I've been hearing that nix helps with cross compilation, but I don't really understand how? |
| 2021-06-08 12:33:05 | <mastarija> | angerman, can I get a link? :D |
| 2021-06-08 12:33:05 | <maerwald> | You just need a distro that can give you a native arm toolchain, that's all |
| 2021-06-08 12:33:07 | <angerman> | mastarija: nix abstracts away all the cross toolchain setup and management. |
| 2021-06-08 12:33:17 | <maerwald> | you can do the same with, say, exherbo, if you wanted |
| 2021-06-08 12:33:40 | <angerman> | maerwald: yes. Cabal-install is just so god awful 3-) |
| 2021-06-08 12:33:41 | <mastarija> | angerman, so it just sets up a toolchain the right way? |
| 2021-06-08 12:34:00 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-06-08 12:34:23 | <angerman> | mastarija: yes and takes care of building and supplying Setup.hs (think low level cabal install) with the appropriate flags. |
| 2021-06-08 12:35:01 | <angerman> | maerwald: don’t get me wrong I don’t want nix. But the way forward is to make ghc Multi target and then add logic to cabal-install |
| 2021-06-08 12:35:35 | <maerwald> | let's see where cabal-install is headed |
| 2021-06-08 12:35:38 | <angerman> | We could start teaching cabal-install about build and target GHCs as separate executables now? But omg it’s all so awful. |
| 2021-06-08 12:35:52 | <mastarija> | I started playing with nixos, but from what I understand, someone still has to set up all the toolchain stuff. By saying "nix takes car" we are really saying "it makes it easyer for me to set things up and keep them that way"? |
| 2021-06-08 12:36:09 | <angerman> | The most pressing issue right now is to make cross compilers plugin aware. |
| 2021-06-08 12:37:08 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-08 12:38:15 | <maerwald> | "I started playing with nixos"... yeah, that's what most ppl do and then give up at some point :p |
| 2021-06-08 12:38:36 | <mastarija> | maerwald, I started "for the second time" ;) |
| 2021-06-08 12:39:06 | <maerwald> | those who don't give up will become prophets |
| 2021-06-08 12:39:18 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-08 12:39:23 | <mastarija> | I kind of want to finish my "crossplatform" screenshot library. Right now it's finished for Windows, but I want to add X11 and Wayland support |
| 2021-06-08 12:39:35 | <mastarija> | So a good reason to get back into linux and NixOS |
| 2021-06-08 12:39:38 | <mastarija> | :D |
| 2021-06-08 12:40:01 | <maerwald> | so I can do screenshots from haskell code? |
| 2021-06-08 12:40:06 | <mastarija> | Yes |
| 2021-06-08 12:40:09 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-08 12:40:15 | <mastarija> | Without downloading a whole hackage in the process |
| 2021-06-08 12:40:15 | <maerwald> | without the user knowing? |
| 2021-06-08 12:40:21 | <maerwald> | and then upload them to my server? |
| 2021-06-08 12:40:23 | <maerwald> | Nice |
| 2021-06-08 12:40:33 | <mastarija> | That part's up to you :D |
| 2021-06-08 12:41:02 | <maerwald> | haskell spyware :p |
| 2021-06-08 12:41:25 | <mastarija> | Yes. It started as an idea for monitoring tool |
| 2021-06-08 12:41:52 | <mastarija> | I have a few pain in the ass clients, that unfortunatelly pay too well, and they want to watch me code :D |
| 2021-06-08 12:42:33 | <maerwald> | creeps... |
| 2021-06-08 12:43:10 | <mastarija> | Fuck it, I'm an e-whore, gimme that cahs :D |
| 2021-06-08 12:44:03 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-08 12:44:27 | × | mastarija quits (~mastarija@31.217.27.129) (Quit: Leaving) |
| 2021-06-08 12:48:53 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-08 12:52:13 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-08 12:52:37 | → | rahguzar joins (~rahguzar@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-08 12:56:54 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-08 13:01:14 | → | alx741 joins (~alx741@181.196.69.96) |
| 2021-06-08 13:01:31 | × | mattil quits (~mattil@airio.portalify.com) (Ping timeout: 264 seconds) |
| 2021-06-08 13:01:35 | <kuribas> | how do I turn some warning in an error? |
| 2021-06-08 13:02:39 | × | pe200012_ quits (~pe200012@119.145.72.136) (Remote host closed the connection) |
| 2021-06-08 13:03:00 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
All times are in UTC.