Logs: freenode/#haskell
| 2021-03-08 09:49:58 | → | linux_party joins (~linux_par@adsl-62.176.58.193.tellas.gr) |
| 2021-03-08 09:50:01 | <linux_party> | iLinux OS rocks! https://ilinuxos.com/screenshots.html |
| 2021-03-08 09:50:10 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-08 09:50:53 | <Gurkenglas> | I have a dream, that every update of a thing automatically comes with an updater for anything that uses it |
| 2021-03-08 09:51:19 | <merijn> | Gurkenglas: And it can be convenient, binary has generic support, so you can do "deriving (Generic); instance Binary Foo" to get (de)serialisation. It's completely not robust and ultra-hacky, but nice for quick one-off scripts |
| 2021-03-08 09:51:39 | <merijn> | Gurkenglas: Custom parsers + version numbers at the start of all your data ;) |
| 2021-03-08 09:51:41 | <merijn> | Also |
| 2021-03-08 09:51:45 | <merijn> | @hackage safe-copy |
| 2021-03-08 09:51:45 | <lambdabot> | https://hackage.haskell.org/package/safe-copy |
| 2021-03-08 09:51:53 | <merijn> | wait |
| 2021-03-08 09:51:55 | <merijn> | Wrong name? |
| 2021-03-08 09:52:11 | <merijn> | @hackage safecopy |
| 2021-03-08 09:52:11 | <lambdabot> | https://hackage.haskell.org/package/safecopy |
| 2021-03-08 09:52:52 | <merijn> | Although I'd probably handle that stuff myself with explicit Get/Put from binary and version numbers |
| 2021-03-08 09:54:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 09:59:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-08 10:00:52 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-08 10:01:26 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-08 10:07:47 | × | barnowl quits (~barnowl@gateway/tor-sasl/barnowl) (Ping timeout: 268 seconds) |
| 2021-03-08 10:09:12 | → | barnowl joins (~barnowl@gateway/tor-sasl/barnowl) |
| 2021-03-08 10:09:16 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-08 10:10:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 10:10:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 10:14:08 | <fendor> | can I tell ghcup to not use /tmp for downloading ghc artefacts? Seems like -c doesn't do anything |
| 2021-03-08 10:14:28 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:c450:557:accb:6137) |
| 2021-03-08 10:14:51 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 10:15:09 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 2021-03-08 10:16:27 | → | cookielady joins (5f5ebd5c@a95-94-189-92.cpe.netcabo.pt) |
| 2021-03-08 10:17:16 | <cookielady> | heya all what programs do you guys use? I am strating out and found the CTF . anyone uses it? |
| 2021-03-08 10:19:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-08 10:19:56 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-08 10:20:14 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-08 10:21:09 | → | polyrain_ joins (~polyrain@2001:8003:e4d8:4101:7d30:68ba:9c0e:487e) |
| 2021-03-08 10:23:14 | × | Bergle_2 quits (~Bergle_4@101.165.90.119) (Remote host closed the connection) |
| 2021-03-08 10:23:28 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:c450:557:accb:6137) (Ping timeout: 260 seconds) |
| 2021-03-08 10:23:33 | → | dunj3 joins (~dunj3@2001:16b8:305c:2000:1ee1:f93:679:daad) |
| 2021-03-08 10:24:39 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 2021-03-08 10:25:13 | × | dsrt^ quits (nehsou@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-08 10:26:33 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-08 10:27:06 | <tomsmeding> | fendor: you may have success by setting the TMPDIR environment variable to a path you like |
| 2021-03-08 10:27:23 | <tomsmeding> | cookielady: what do you mean by CTF? |
| 2021-03-08 10:28:17 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 10:28:49 | <fendor> | tomsmeding, yep, that did it |
| 2021-03-08 10:29:03 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-08 10:29:08 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Read error: Connection reset by peer) |
| 2021-03-08 10:29:12 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-08 10:29:15 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-08 10:29:37 | <tomsmeding> | fendor: that's a sort-of convention that many CLI programs use, by virtue of using mktemp(1) |
| 2021-03-08 10:29:52 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-08 10:30:18 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:71e8:2810:9bc6:b1cc) |
| 2021-03-08 10:30:18 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:71e8:2810:9bc6:b1cc) (Client Quit) |
| 2021-03-08 10:30:30 | <fendor> | tomsmeding, indeed, but the documentation fpr the -c option confused me: "-c,--cache Cache downloads in ~/.ghcup/cache (default: disabled)" |
| 2021-03-08 10:30:41 | <fendor> | So I would have figured it should work, too |
| 2021-03-08 10:30:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-08 10:30:58 | <fendor> | Ah I see |
| 2021-03-08 10:31:00 | <fendor> | it does work |
| 2021-03-08 10:31:10 | <fendor> | but the building still happens in TMPDIR |
| 2021-03-08 10:31:13 | → | Bergle_1 joins (~Bergle_4@101.165.90.119) |
| 2021-03-08 10:31:17 | <tomsmeding> | fendor: ah, that's probably cache _after_ download completed, for successive invocations of ghcup; it perhaps still extracts in TMPDIR |
| 2021-03-08 10:31:19 | <tomsmeding> | yes that |
| 2021-03-08 10:34:58 | <kuribas> | Gurkenglas: no proper serializer should depend on the nesting order of the Generics tree. |
| 2021-03-08 10:36:19 | <cookielady> | well how do you say i shiuld start with? CTF is the capture the flag . |
| 2021-03-08 10:36:26 | <cookielady> | should* |
| 2021-03-08 10:38:31 | → | mananamenos_ joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-08 10:38:52 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-08 10:41:22 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-08 10:43:15 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-08 10:43:43 | <tomsmeding> | cookielady: capture-the-flag challenges for haskell? I haven't seen those yet :p |
| 2021-03-08 10:44:22 | <tomsmeding> | do you have other programming experience? or are you starting out in general? |
| 2021-03-08 10:44:27 | <Philonous> | hlint keeps complaining that I should replace »case bool-expression of True -> this; False -> that« with if-then-else. Am I the only one who prefers case in most situations except short inline expressions? |
| 2021-03-08 10:45:07 | <cookielady> | i use to have but it was like more 10 years ago.. i think i remember nthing |
| 2021-03-08 10:45:15 | <cookielady> | but really need to start up haha |
| 2021-03-08 10:45:25 | <cookielady> | no not for haskell haha |
| 2021-03-08 10:48:22 | → | aarvar1 joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 2021-03-08 10:48:46 | × | aarvar1 quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Client Quit) |
| 2021-03-08 10:49:50 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) (Ping timeout: 264 seconds) |
| 2021-03-08 10:49:55 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-08 10:50:19 | Alleria | is now known as Guest15380 |
| 2021-03-08 10:52:24 | <tomsmeding> | Philonous: there are more hlint rules that I subjectively disagree with :p |
| 2021-03-08 10:52:45 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds) |
| 2021-03-08 10:53:01 | <cookielady> | am trying to register but it says that me email is not valid , tried with 2 dif already |
| 2021-03-08 10:53:17 | <tomsmeding> | cookielady: if you like maths-like exercises, try Project Euler |
| 2021-03-08 10:53:26 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-08 10:53:40 | <tomsmeding> | if you like puzzle-like problems, try doing Advent of Code |
| 2021-03-08 10:53:58 | <tomsmeding> | otherwise decide that you want to build something, and then try building it :p |
| 2021-03-08 10:54:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 10:54:24 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 10:54:39 | <cookielady> | comerijn: tomsmeding thank youu |
| 2021-03-08 10:55:17 | <tomsmeding> | different people may have different advice :) |
| 2021-03-08 10:56:06 | <Philonous> | I always felt that Project Euler didn't play particulalry well into the strengths of Haskell |
| 2021-03-08 10:56:31 | <cookielady> | ty a lot . will do. am going to work now . will try as soon as i return home. |
| 2021-03-08 10:56:46 | <cookielady> | hope to find you guys ariund when back |
| 2021-03-08 10:56:50 | <cookielady> | around* |
| 2021-03-08 10:56:57 | <tomsmeding> | cookielady: good luck :) |
| 2021-03-08 10:58:37 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-08 10:59:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-08 10:59:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 264 seconds) |
| 2021-03-08 10:59:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:00:23 | <__monty__> | I like the more recent coding challenge platforms like codewars.com, they have interesting haskell challenges, implementing variadic functions or (ab)using the type system as a theorem prover, for example. |
| 2021-03-08 11:01:45 | <Philonous> | That sounds like fun, except it doesn't teach you have to use Haskell for anything practical. |
All times are in UTC.