Logs on 2021-07-28 (liberachat/#haskell)
| 00:00:15 | <lechner> | now you are talking |
| 00:00:27 | <lechner> | that could be my first >>= |
| 00:01:17 | <c_wraith> | the haskell spec calls `x <- a` a statement in its grammar. Which is funny. Haskell has statements, but only inside of special expressions. |
| 00:01:34 | <monochrom> | do { mt <- getTool (tool config) tempdir; case mt of ... } |
| 00:02:07 | <lechner> | that's what i have now, and i'll probably keep it |
| 00:02:14 | <lechner> | just learning |
| 00:02:18 | <dsal> | Yeah, LambdaCase is occasionally nice. |
| 00:02:26 | <dsal> | Not using `do` is pretty often an improvement. |
| 00:02:27 | <lechner> | what a great language |
| 00:02:41 | <lechner> | what have i been doing all these years? |
| 00:03:22 | <monochrom> | I don't teach the do-notation in my class. This has improved student learning. |
| 00:03:35 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection) |
| 00:03:50 | <monochrom> | You can bet that if you remove a cargo-culting opportunity you improve learning. |
| 00:03:54 | <dsal> | @don't do { x <- a; f a } |
| 00:03:55 | <lambdabot> | Unknown command, try @list |
| 00:03:58 | <dsal> | @undo do { x <- a; f a } |
| 00:03:58 | <lambdabot> | a >>= \ x -> f a |
| 00:04:29 | <dsal> | Isn't that just `f <$> a` ? |
| 00:04:57 | <dsal> | I need to take a break from computers for a bit. |
| 00:05:07 | <monochrom> | I take it that you mean "f x" not "f a" |
| 00:05:09 | <Axman6> | We definitely need toi add @don't to lambdabot |
| 00:05:30 | <monochrom> | Then, f <$> a = a >>= \x -> pure (f x) |
| 00:05:38 | <monochrom> | err, meant to bold "pure". |
| 00:05:43 | <Axman6> | lambdabot doesn't simplify expressions, it just removes syntax sugar |
| 00:06:18 | <Axman6> | would be nice if it could do ApplicativeDo too |
| 00:06:27 | <dsal> | Oh, yeah, I changed my mind part of the way through what I was doing. |
| 00:06:58 | <Axman6> | we could have @ado (and alias @muchado) to desugar ApplicativeDo |
| 00:07:11 | <monochrom> | Haha nice. |
| 00:07:13 | <dsal> | This is one of those things where you have to do it simply because the name is amazing. |
| 00:09:38 | <monochrom> | Likewise, earlier DigitalKiwi made a deeply insightful math joke "I heard that parallel lines actually do meet, but they are very discrete" |
| 00:10:18 | <monochrom> | That would be a great title or abstract or teaser for an introduction to finite projective geometry. |
| 00:10:41 | <monochrom> | in which parallel lines do meet (projective), and the space is discrete (hell, it's even finite). |
| 00:14:37 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 00:15:38 | <lechner> | Hi, why does that not give me stdout, please? (status, stdout, stderr) <- readProcessWithExitCode "git" ["-C", folder, "pull"] "" |
| 00:16:05 | <Axman6> | I don't understand the question |
| 00:16:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:16:56 | <lechner> | the string is empty |
| 00:17:30 | <Axman6> | maybe git doesn't think it needs to output anything |
| 00:17:58 | <c_wraith> | Maybe the output is on stderr |
| 00:17:59 | <int-e> | @. pl undo do { x <- a; f a } |
| 00:17:59 | <lambdabot> | a >> f a |
| 00:18:28 | <lechner> | i am considering that it may suppress its output, but i'm tranlating old code |
| 00:18:30 | <int-e> | @. pl undo do { x <- a; f x } |
| 00:18:30 | <lambdabot> | f =<< a |
| 00:18:45 | <monochrom> | We shouldn't speculate. |
| 00:19:00 | <c_wraith> | fwiw, my version of git doesn't have a flag -C |
| 00:19:04 | <int-e> | (this is a rare case where @pl actually simplifies code) |
| 00:19:09 | <c_wraith> | in the pull operation, anyway |
| 00:19:19 | <monochrom> | We shouldn't encourage unclear informationless questions by speculating as though we owe them to it. |
| 00:19:25 | <monochrom> | err owe it to them. |
| 00:19:33 | <c_wraith> | So if I run that command, I get a usage explanation on stderr |
| 00:20:03 | <lechner> | c_wraith: i could use {cwd} from process, but the other one has been working on debian bullseye |
| 00:20:27 | <c_wraith> | that's probably the least interesting part of what I said |
| 00:20:36 | <lechner> | it also happens on clone (although again with -C) |
| 00:20:39 | <Axman6> | I would try running something like `echo foo` and make sure that works |
| 00:21:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 00:21:06 | <lechner> | okay i will. brb |
| 00:30:02 | → | berberman joins (~berberman@user/berberman) |
| 00:30:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 00:32:22 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 00:32:35 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 00:42:18 | <arkho> | sclv, geekosaur, thank you for your advice. I think I've found what I'm looking for. |
| 00:48:30 | × | Atum___ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer) |
| 00:49:38 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:49:41 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 00:51:22 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 00:51:25 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 00:52:56 | × | nitrix quits (~nitrix@user/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration) |
| 00:55:07 | → | nitrix joins (~nitrix@ns569831.ip-51-79-81.net) |
| 00:55:07 | × | nitrix quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 00:55:07 | → | nitrix joins (~nitrix@user/nitrix) |
| 00:55:56 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 00:58:20 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 01:00:41 | <Axman6> | lechner: any luck? |
| 01:01:29 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 01:07:13 | × | alx741 quits (~alx741@181.196.69.4) (Quit: alx741) |
| 01:08:00 | <Axman6> | monochrom: not teaching do notation is an interesting choice, and on reflection seems like an obvious thing to do. I think we didn't touch it for a while in the FP course, possibly until we had introduced IO or parsers |
| 01:08:33 | <Axman6> | teaching foo >>= \x ->\n bar >>= \y -> ... is clear enough I think. I like this choice |
| 01:10:39 | <lechner> | Axman6: yeah, Git is suppressing its output, or it's otherwise not being piped my way |
| 01:11:00 | <Axman6> | interesting. |
| 01:11:17 | <lechner> | i knew. haskell is alawys right |
| 01:11:26 | <Axman6> | withCreateProcess or something might be a better option |
| 01:11:41 | <lechner> | i need the exit status |
| 01:11:41 | <Axman6> | Haskell is sometimes Left |
| 01:12:16 | <Axman6> | ProcessHandle lets you wait on a process and get its exit code |
| 01:12:40 | <Axman6> | but I would be surprised if that's not just how `readProcessWithExitCode` is implemented |
| 01:12:58 | × | xff0x quits (~xff0x@2001:1a81:527c:b500:2843:4b18:8f2c:3a0f) (Ping timeout: 240 seconds) |
| 01:13:11 | → | Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) |
| 01:14:02 | <lechner> | maybe the empty string on the input closes the handle on stdin? |
| 01:15:10 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:f8bb:d399:bdf4:bf95) |
| 01:16:39 | <lechner> | my other implementation redirected to and from /dev/null, i think (Perl's IPC::Run3) |
| 01:17:44 | × | peterhil quits (~peterhil@mobile-access-b04815-181.dhcp.inet.fi) (Ping timeout: 255 seconds) |
| 01:18:59 | <monochrom> | From the reader's POV, reading from /dev/null is indistinguishable from reading from a closed pipe. |
| 01:20:06 | <monochrom> | And IIUC this git command doesn't abort just because stdin is an EOF. |
| 01:24:03 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 01:30:16 | → | neurocyte5 joins (~neurocyte@212.232.90.146) |
| 01:30:16 | × | neurocyte5 quits (~neurocyte@212.232.90.146) (Changing host) |
| 01:30:16 | → | neurocyte5 joins (~neurocyte@user/neurocyte) |
| 01:32:59 | <lechner> | it's not aborting. there is no output |
| 01:33:34 | <monochrom> | Did "echo hello" give you output? Did you receive it? |
| 01:33:43 | <lechner> | yes |
| 01:33:55 | × | ukari quits (~ukari@user/ukari) (Ping timeout: 265 seconds) |
| 01:33:55 | <lechner> | what about strict vs lazy? maybe git never reads |
| 01:33:56 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 255 seconds) |
| 01:33:56 | neurocyte5 | is now known as neurocyte |
| 01:34:20 | <dibblego> | Axman6: we've used >>= a lot before do-notation and the first thing we show is a mechanical syntactic transformation |
| 01:34:26 | <lechner> | Perl would be lazy in this case |
| 01:34:44 | <dibblego> | we also show C# and Scala syntactic transformation |
| 01:34:52 | <monochrom> | If you want to test out where "git -C foo" sends its output. On unix, you can "git -C foo > thisfilehasstdour 2> thisfilehasstderr", then check the two files. |
| 01:35:15 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 01:35:20 | <monochrom> | On windows, please install virtualbox then install a unix inside virtualbox :) |
| 01:35:32 | <monochrom> | Or I guess WSL is good enough for this. |
| 01:36:07 | <geekosaur> | windows supports those redirects, at least in cmd.exe |
| 01:36:30 | <monochrom> | Poor windows gets no love from monochrom :) |
| 01:38:22 | <geekosaur> | and… isn't it git -C foo pull? |
| 01:38:32 | <Axman6> | Windows has enterprise support for the lack of love it receives |
| 01:38:51 | <monochrom> | Yeah I forgot the exact command. I used "foo" for generic placeholder. |
| 01:39:09 | <monochrom> | "make love not money" bwhahahaha |
| 01:46:14 | <Axman6> | Advertising for an art's degree? |
| 01:46:21 | <Axman6> | pew pew, shots fired! |
| 01:49:44 | → | ukari joins (~ukari@user/ukari) |
| 01:51:24 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 01:54:11 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 01:57:35 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 02:02:35 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 02:03:11 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 02:06:39 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 02:06:41 | → | robo_cuckoo joins (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) |
| 02:06:57 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 02:07:19 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 02:08:37 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 02:09:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 02:10:24 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 02:14:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 02:15:16 | → | chris_ joins (~chris@81.96.113.213) |
| 02:16:38 | → | derelbenkoenig joins (~derelbenk@99-149-123-44.lightspeed.rlghnc.sbcglobal.net) |
| 02:19:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 02:19:30 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 02:19:39 | <derelbenkoenig> | howdy |
| 02:26:00 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 02:26:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:29:55 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:29:55 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 02:29:55 | finn_elija | is now known as FinnElija |
| 02:30:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:30:44 | <geekosaur> | ohai |
| 02:34:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 02:35:03 | <robo_cuckoo> | hello |
| 02:35:47 | → | ukari joins (~ukari@user/ukari) |
| 02:44:08 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 02:44:13 | → | vicfred joins (~vicfred@user/vicfred) |
| 02:48:43 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 02:54:31 | <zzz> | aloha |
| 02:56:52 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 02:57:36 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 258 seconds) |
| 03:00:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 03:00:55 | × | td_ quits (~td@muedsl-82-207-238-215.citykom.de) (Ping timeout: 265 seconds) |
| 03:02:31 | → | td_ joins (~td@muedsl-82-207-238-200.citykom.de) |
| 03:03:19 | <lechner> | Hi, what's a good Haskell code formatter, please? |
| 03:06:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 03:06:40 | <lechner> | stylish-haskell? |
| 03:07:02 | <dsal> | I like it, but code formatting is somewhat controversial. |
| 03:07:39 | <dsal> | Ormolu is gaining popularity, but, imo makes code harder to read. |
| 03:07:45 | <lechner> | not in my case. any of them would do, i'm sure |
| 03:07:58 | <lechner> | what's wrong with ormulu? |
| 03:08:40 | <dsal> | They took some cues from elm to prioritize reading diffs over reading code |
| 03:08:44 | <lechner> | brittany? |
| 03:08:45 | → | cjb joins (~cjb@user/cjb) |
| 03:08:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 03:08:56 | <dsal> | So you the up with taller, more whitespace rich code. |
| 03:09:29 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 03:09:40 | <lechner> | yeah, ormulu is probably not for me |
| 03:09:41 | <dsal> | It's not actually as bad add elm, but that's a terrible place to get inspiration if you want to read a simple function without scrolling. |
| 03:11:05 | <dsal> | Ormolu has at least one bug open for reducing some obnoxious line breaking, but the one I'm thinking of has been open as long as I've been aware of the project. |
| 03:11:46 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 03:15:12 | <lechner> | stylish doesn't break long lines |
| 03:18:33 | → | ukari joins (~ukari@user/ukari) |
| 03:19:12 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 03:19:23 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 03:19:26 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:22:23 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 03:23:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:24:14 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection) |
| 03:27:02 | <lechner> | i went with hfmt |
| 03:27:27 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 03:28:27 | <lechner> | maybe not |
| 03:30:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:33:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 03:33:26 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 03:34:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:34:17 | × | derelbenkoenig quits (~derelbenk@99-149-123-44.lightspeed.rlghnc.sbcglobal.net) (Quit: leaving) |
| 03:34:22 | <dsal> | I use stylish-haskell some. It only occasionally does things that are offensive. |
| 03:35:27 | <dsal> | The results at least look a bit like haskell I see elsewhere. :) If your format is too different from stdlib, I don't think you're doing a good service to the community. |
| 03:35:44 | → | jushur joins (~human@user/jushur) |
| 03:36:10 | × | robo_cuckoo quits (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) (Quit: WeeChat 2.3) |
| 03:36:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 03:38:08 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 03:38:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 03:41:40 | × | juhp quits (~juhp@128.106.188.220) (Quit: juhp) |
| 03:41:54 | → | juhp joins (~juhp@128.106.188.220) |
| 03:42:31 | <lechner> | hfmt says it uses stylish. the latter does not break long lines, which is where most of my problems are |
| 03:42:51 | <lechner> | but hfmt is dense. |
| 03:42:57 | <siraben> | ormolu is what I use and seems to be the most readable, tbh |
| 03:43:06 | <siraben> | stylish-haskell does some whacky things with indentation |
| 03:43:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 03:43:34 | <lechner> | as for hfmt, is it normal to use no blank lines in functions? |
| 03:44:24 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Remote host closed the connection) |
| 03:46:57 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 03:47:53 | <dsal> | This is definitely not an improvement in readability: https://usercontent.irccloud-cdn.com/file/EUKwWwKa/ormolu.png |
| 03:50:07 | → | chris_ joins (~chris@81.96.113.213) |
| 03:50:28 | <dsal> | It also did a lot of this kind of stuff: https://usercontent.irccloud-cdn.com/file/DiODfgZI/mormolu.png |
| 03:50:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:51:06 | <siraben> | you can configure those, no? |
| 03:51:11 | <dsal> | Definitely not as bad as elm, which typically ~doubles the number of lines in a file, but it's not an improvement: 4 files changed, 1158 insertions(+), 969 deletions(-) |
| 03:51:38 | <dsal> | I thought the point that was that it wasn't configurable. |
| 03:51:59 | <dsal> | One of their stated goals: Implementing one “true” formatting style which admits no configuration. |
| 03:52:15 | × | dermato quits (~dermatobr@154.21.114.128) (Quit: WeeChat 3.1) |
| 03:53:09 | <dsal> | That's why there's a whole fork just to allow something other than two space indentation. :) |
| 03:55:37 | → | Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) |
| 03:56:36 | <dsal> | both of these are about their "minimize diff" goals. I do not share that goal. I also know how to use my diff tools better than that. |
| 04:05:04 | <monochrom> | History is the dialectic class struggle between someone's idea of one true way and someone else's idea of one true way. |
| 04:05:38 | <monochrom> | Exterminate all humans. |
| 04:07:38 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:14:13 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 04:15:02 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 04:15:24 | → | roboguy_ joins (~roboguy_@2605:a601:ac0e:ae00:3db6:b926:dbf2:890a) |
| 04:17:52 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:20:40 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 04:20:40 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 04:21:23 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 04:21:41 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 04:24:55 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Client Quit) |
| 04:24:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 04:32:00 | <lechner> | According to #git, the Git commands suppress some normal output if stderr is not directed to a tty, for example. |
| 04:32:07 | → | thyriaen joins (~thyriaen@x4db77ea2.dyn.telefonica.de) |
| 04:33:46 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 04:33:52 | <dsal> | That's classic bad behavior. heh |
| 04:35:03 | → | derelict_ joins (~derelict@user/derelict) |
| 04:37:00 | <Axman6> | ha, nailed it. thought it might be something like that |
| 04:37:17 | <Axman6> | make a tty, then read from that... (I don't know what I'm talking about) |
| 04:38:13 | <lechner> | it would be a pseudo terminal i think, but it's probably not worth the trouble |
| 04:38:37 | → | chris_ joins (~chris@81.96.113.213) |
| 04:39:07 | <lechner> | this would be my test program https://rosettacode.org/wiki/Check_output_device_is_a_terminal#Haskell |
| 04:40:39 | × | roboguy_ quits (~roboguy_@2605:a601:ac0e:ae00:3db6:b926:dbf2:890a) () |
| 04:41:23 | <lechner> | wow, it does that on 'push' too https://serverok.in/git-stdin-is-not-a-tty |
| 04:42:08 | × | chris_ quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 04:42:30 | → | chris_ joins (~chris@81.96.113.213) |
| 04:43:43 | <Axman6> | you could always call git with your app's stdin as its stdin right? |
| 04:45:49 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 04:46:37 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 04:49:55 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 04:57:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:58:21 | <lechner> | Axman6: it really isn't essential, but i think that's what my Perl program does. how would i do that in H please? |
| 04:59:53 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 05:00:06 | <Axman6> | anything that uses CreateProcesss can use `Inherit` for std_in, but that looks like the default |
| 05:07:55 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 05:10:40 | → | deide[m] joins (~deidematr@2001:470:69fc:105::c883) |
| 05:10:56 | × | Melantha quits (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 05:12:14 | × | aegon quits (~mike@174.127.249.180) (Read error: Connection reset by peer) |
| 05:14:11 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) () |
| 05:19:37 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 05:25:40 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 05:30:12 | → | dhil joins (~dhil@195.213.192.47) |
| 05:31:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 05:33:06 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:34:10 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 240 seconds) |
| 05:34:25 | → | pe200012_ joins (~pe200012@183.236.83.77) |
| 05:36:20 | × | xff0x quits (~xff0x@2001:1a81:52b7:d000:f8bb:d399:bdf4:bf95) (Ping timeout: 250 seconds) |
| 05:37:16 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 05:37:18 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:8573:11be:6a6f:d21f) |
| 05:37:31 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 265 seconds) |
| 05:40:28 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 05:43:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 05:45:32 | × | pe200012_ quits (~pe200012@183.236.83.77) (Ping timeout: 268 seconds) |
| 05:47:13 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 05:49:07 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 05:49:53 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:51:56 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 05:52:24 | → | peterhil joins (~peterhil@mobile-access-b04815-181.dhcp.inet.fi) |
| 05:54:05 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 05:56:02 | → | oxide joins (~lambda@user/oxide) |
| 05:57:21 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 05:59:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:04:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 06:09:08 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 06:10:20 | → | fabfianda joins (~fabfianda@mob-5-90-126-184.net.vodafone.it) |
| 06:11:26 | → | syntactic_sugar joins (~amoljha@2601:644:8601:2e30::36e) |
| 06:11:33 | × | syntactic_sugar quits (~amoljha@2601:644:8601:2e30::36e) (Client Quit) |
| 06:11:49 | → | syntactic_sugar joins (~amoljha@2601:644:8601:2e30::36e) |
| 06:12:44 | ← | syntactic_sugar parts (~amoljha@2601:644:8601:2e30::36e) () |
| 06:13:12 | → | syntactic_sugar joins (~amoljha@2601:644:8601:2e30::36e) |
| 06:13:47 | ← | syntactic_sugar parts (~amoljha@2601:644:8601:2e30::36e) () |
| 06:18:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 06:19:39 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 06:20:29 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 06:22:21 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 06:28:54 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 06:29:43 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 265 seconds) |
| 06:30:59 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 06:35:31 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 265 seconds) |
| 06:36:00 | × | sheepduck quits (~sheepduck@user/sheepduck) (Ping timeout: 265 seconds) |
| 06:43:33 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c965:54ff:f539:aae4) |
| 06:45:11 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 06:50:12 | → | fendor joins (~fendor@178.165.190.92.wireless.dyn.drei.com) |
| 06:52:03 | → | chele joins (~chele@user/chele) |
| 06:59:58 | → | retro_ joins (~retro@5ec19a54.skybroadband.com) |
| 07:00:43 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: No route to host) |
| 07:00:50 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:01:27 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 07:03:08 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 256 seconds) |
| 07:06:04 | → | jneira joins (~jneira@212.8.115.226) |
| 07:13:27 | × | bruceleewees quits (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Ping timeout: 276 seconds) |
| 07:16:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:17:22 | → | bruceleewees joins (~bruceleew@2a00:f41:184b:540b:14f:e290:3fbf:cea2) |
| 07:27:35 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) |
| 07:29:20 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 07:35:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:36:15 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:38:46 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 07:39:23 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 07:39:30 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:39:49 | × | aerona quits (~aerona@2600:6c54:4600:f300:85b8:3678:dd3f:eeda) (Read error: Connection reset by peer) |
| 07:39:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 07:42:07 | → | vysn joins (~vysn@user/vysn) |
| 07:48:07 | × | bruceleewees quits (~bruceleew@2a00:f41:184b:540b:14f:e290:3fbf:cea2) (Read error: Connection reset by peer) |
| 07:51:01 | × | deide[m] quits (~deidematr@2001:470:69fc:105::c883) (Quit: Reconnecting) |
| 07:51:15 | → | deide[m] joins (~deide@user/deide) |
| 07:51:57 | deide[m] | is now known as Deide |
| 08:06:30 | <Arahael> | lechner: It's somewhat poorly defined, but they do propose you use the 'porcelion' (sp?) commands directly instead. |
| 08:06:42 | <Arahael> | lechner: As opposed to the commands more intended for direct user interaction. |
| 08:08:25 | → | alecs joins (~alecs@151.55.187.98) |
| 08:16:32 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds) |
| 08:17:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:51 | allbery_b | is now known as geekosaur |
| 08:18:01 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 08:18:01 | → | acidjnk_new joins (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) |
| 08:19:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 08:21:22 | × | Morrow- quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds) |
| 08:21:24 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 08:23:08 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds) |
| 08:23:32 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 08:28:08 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:28:11 | → | anandprabhu joins (~anandprab@193.138.218.160) |
| 08:31:14 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:38:17 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 08:40:22 | → | oxide joins (~lambda@user/oxide) |
| 08:40:43 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 08:40:50 | × | peterhil quits (~peterhil@mobile-access-b04815-181.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 08:42:38 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 265 seconds) |
| 08:44:35 | → | sergio812 joins (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 08:44:50 | → | qbt joins (~edun@user/edun) |
| 08:49:26 | × | qbt quits (~edun@user/edun) (Client Quit) |
| 08:50:14 | → | qbt joins (~edun@user/edun) |
| 08:50:14 | × | qbt quits (~edun@user/edun) (Client Quit) |
| 08:50:43 | → | qbt joins (~edun@user/edun) |
| 08:51:08 | → | peterhil joins (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) |
| 08:51:33 | × | eggplant_ quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:52:11 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds) |
| 08:52:23 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 08:53:16 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 265 seconds) |
| 08:55:08 | → | Melantha joins (~pyon@user/pyon) |
| 09:03:25 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 265 seconds) |
| 09:04:00 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 09:08:03 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:08:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 09:11:44 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 258 seconds) |
| 09:13:27 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:13:44 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 09:14:27 | → | jess joins (~jess@libera/staff/jess) |
| 09:14:54 | <maerwald> | anyone on mac 10.13? |
| 09:16:08 | → | zaquest joins (~notzaques@5.128.210.178) |
| 09:23:07 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-feff-f00d-42fa-8cf.fixed6.kpn.net) |
| 09:24:57 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 09:28:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:30:11 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 09:32:34 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c965:54ff:f539:aae4) (Ping timeout: 240 seconds) |
| 09:34:42 | × | lieven quits (~mal@ns2.wyrd.be) (Ping timeout: 240 seconds) |
| 09:35:01 | → | lieven joins (~mal@ns2.wyrd.be) |
| 09:39:19 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:44:02 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:175b:918:dbee:2c2) |
| 09:47:28 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 09:49:21 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 09:49:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:50:42 | × | neurocyte quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 09:52:08 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 09:52:08 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:52:43 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 265 seconds) |
| 09:54:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:54:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:55:22 | → | neurocyte joins (~neurocyte@212.232.90.146) |
| 09:55:23 | × | neurocyte quits (~neurocyte@212.232.90.146) (Changing host) |
| 09:55:23 | → | neurocyte joins (~neurocyte@user/neurocyte) |
| 09:55:36 | → | michalz joins (~michalz@185.246.204.55) |
| 09:56:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 09:56:23 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 09:56:40 | × | michalz quits (~michalz@185.246.204.55) (Remote host closed the connection) |
| 09:59:50 | → | michalz joins (~michalz@185.246.204.55) |
| 09:59:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:00:16 | × | michalz quits (~michalz@185.246.204.55) (Remote host closed the connection) |
| 10:00:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:00:42 | → | michalz joins (~michalz@185.246.204.55) |
| 10:02:12 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 256 seconds) |
| 10:02:22 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 10:03:41 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 10:05:07 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:05:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:06:15 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 10:06:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:09:17 | × | derelict_ quits (~derelict@user/derelict) (Ping timeout: 252 seconds) |
| 10:10:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:11:37 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 10:14:32 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 250 seconds) |
| 10:14:44 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 10:15:26 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 10:16:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 10:17:39 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 10:18:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:22:32 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 10:23:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 10:24:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:24:18 | → | Core3241 joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 10:24:56 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Read error: Connection reset by peer) |
| 10:26:53 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 252 seconds) |
| 10:29:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:30:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:33:34 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 10:35:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:35:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:35:47 | × | Core3241 quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 252 seconds) |
| 10:37:24 | → | pesada joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 10:39:17 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 245 seconds) |
| 10:39:21 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 10:39:22 | → | berberman_ joins (~berberman@user/berberman) |
| 10:40:11 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 252 seconds) |
| 10:41:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 10:41:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:42:37 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 10:44:12 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 10:46:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 10:46:58 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 272 seconds) |
| 10:47:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:48:34 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 10:50:07 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:50:43 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 10:50:43 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 10:52:42 | → | pesada joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 10:52:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 10:53:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:54:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 10:55:12 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 272 seconds) |
| 10:55:23 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 10:57:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 10:58:18 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:58:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:59:04 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 11:02:12 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-feff-f00d-42fa-8cf.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 11:03:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:04:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:07:45 | → | AlexNoo_ joins (~AlexNoo@94.233.241.173) |
| 11:09:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 11:09:56 | × | Alex_test quits (~al_test@178.34.150.234) (Ping timeout: 255 seconds) |
| 11:09:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:11:17 | × | AlexNoo quits (~AlexNoo@178.34.150.234) (Ping timeout: 255 seconds) |
| 11:11:59 | × | AlexZenon quits (~alzenon@178.34.150.234) (Ping timeout: 265 seconds) |
| 11:13:35 | × | Aleci[m] quits (~alecilibr@2001:470:69fc:105::32e7) (Quit: You have been idle for 30+ days) |
| 11:13:35 | × | gxt quits (~gxt@2001:470:69fc:105::3513) (Quit: You have been idle for 30+ days) |
| 11:13:36 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 11:13:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:175b:918:dbee:2c2) (Ping timeout: 252 seconds) |
| 11:13:39 | × | thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Quit: You have been idle for 30+ days) |
| 11:13:40 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Quit: You have been idle for 30+ days) |
| 11:13:40 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Quit: You have been idle for 30+ days) |
| 11:13:49 | → | Alex_test joins (~al_test@94.233.241.173) |
| 11:15:54 | → | AlexZenon joins (~alzenon@94.233.241.173) |
| 11:20:55 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Read error: Connection reset by peer) |
| 11:21:40 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 11:26:16 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 11:28:54 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 276 seconds) |
| 11:31:29 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 268 seconds) |
| 11:31:45 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 11:33:16 | × | sergio812 quits (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 11:34:58 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 11:37:32 | → | Guest60 joins (~Guest60@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 11:41:03 | → | goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 11:41:45 | → | mnrmnaugh joins (~mnrmnaugh@68.162.206.56) |
| 11:41:46 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 11:44:58 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 11:48:32 | <Arahael> | That's... More than a few months old! |
| 11:49:07 | <merijn> | Arahael: What is? |
| 11:49:25 | <Arahael> | merijn: 10.13 |
| 11:50:17 | <Arahael> | I was aluding to both that it's an old version, and that mac users are encouraged to upate to the latest all the time and often do so quite quickly. |
| 11:51:29 | → | Deide[m] joins (~deidehalo@2001:470:69fc:105::c89a) |
| 11:51:30 | <lechner> | Arahael: Isn't it the other way around, i.e. scripts should use the "plumbing" commands for robustness? https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Porcelain |
| 11:52:24 | <Arahael> | lechner: Apoologies, you're quite right. The trouble is the visualisation. I keep thinking that the 'porcelien' bit is the part of the toilet you don't particularly want to sit on, you want to sit on the nice cushiony seat instead. |
| 11:52:51 | Arahael | notes that the correct spelling seems to be "Porcelain". |
| 11:52:54 | <merijn> | The best way to use git is "don't" :p |
| 11:52:58 | <Arahael> | Ha. |
| 11:53:02 | <davros> | mercurial? |
| 11:54:26 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 11:54:41 | → | Guest83 joins (~Guest83@217.155.19.23) |
| 11:55:01 | <merijn> | Mercurial has lots of problems too, but at least it's far more userfriendly/understandable/easier for most workflows that aren't "the linux kernel workflow" (i.e., most workflows) |
| 11:55:10 | <lechner> | darcs? |
| 11:55:37 | <merijn> | tbh, I'd rather see things like Fossil and Pijul take off, but those don't really have the support yet, so for now I stick to Mercurial |
| 11:56:12 | <merijn> | Mostly because all my coworkers are stockholmed into using git and Mercurial gives me a bidirectional git interface so at least *I* don't have to touch git :p |
| 11:58:00 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 11:58:46 | × | fabfianda quits (~fabfianda@mob-5-90-126-184.net.vodafone.it) (Quit: Quit) |
| 11:59:15 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 258 seconds) |
| 11:59:24 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 11:59:33 | <Arahael> | merijn: Mercurial has perfect compatibility with git now? |
| 11:59:41 | <merijn> | Define "perfect" |
| 11:59:43 | → | ukari joins (~ukari@user/ukari) |
| 11:59:48 | <Arahael> | merijn: Without fault. |
| 12:00:11 | <merijn> | It works on every single repo without submodules that I've interacted with |
| 12:00:27 | <merijn> | submodules fuck things up, but then they also do that with git :p |
| 12:00:31 | <Arahael> | Ah, so doesn't work with submodules? (Which, honestly, are hacky, anyway) |
| 12:00:44 | <merijn> | I dunno how it handles octomerges, but then, I've never seen an octomerge in the wild |
| 12:00:59 | <Arahael> | octomerges are weird, I can't imagine doing them in the wild. Wouldn't want to. |
| 12:00:59 | → | jespada joins (~jespada@90.254.247.46) |
| 12:01:08 | <Arahael> | Just merge branches two at a time, like a sane person, I reckon. |
| 12:04:26 | <merijn> | The 2 main reasons I haven't switched to Pijul for some of my personal projects are: 1) don't have any CI solutions yet, 2) Nest has issue tracking, but I'd rather see some format of distributed issue tracking, so I don't get locked in like with github |
| 12:05:07 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 12:05:45 | <lechner> | pijul looks good |
| 12:06:11 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3948:b266:7c2d:ce0c) |
| 12:11:06 | → | __monty__ joins (~toonn@user/toonn) |
| 12:11:54 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:17:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:19:22 | <maerwald> | merijn: my main reason is that the main dev seems to have odd problem with open source and or licensing |
| 12:20:12 | <lechner> | maerwald: that's not good |
| 12:22:58 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 12:24:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:28:52 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 12:30:26 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 12:30:40 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 12:31:48 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 12:31:57 | × | fm quits (~fm@user/fm) (Remote host closed the connection) |
| 12:37:11 | → | sergio812 joins (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 12:41:33 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 12:41:41 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 12:43:59 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 12:44:18 | → | fendor_ joins (~fendor@178.165.161.179.wireless.dyn.drei.com) |
| 12:45:38 | × | fendor quits (~fendor@178.165.190.92.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 12:48:20 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds) |
| 12:49:16 | <sergio812> | Hi there! |
| 12:49:16 | <sergio812> | I wrote a function taking a list of non-negative integers and producing a list of lists of integers (i.e. "int_seq :: [Int] -> [[Int]]"). |
| 12:49:17 | <sergio812> | To each integer in the input list corresponds a list of that exact size. |
| 12:49:17 | <sergio812> | Integers in the result form the increasing sequence of positive integers starting at 1. |
| 12:49:18 | <sergio812> | E.g. |
| 12:49:18 | <sergio812> | int_seq [3,2,1] -> [[1,2,3],[4,5],[6]] |
| 12:49:19 | <sergio812> | int_seq [1,2,3] -> [[1],[2,3],[4,5,6]] |
| 12:49:19 | <sergio812> | int_seq [3,0,2,7,5,1] -> [[1,2,3],[],[4,5],[6,7,8,9,10,11,12],[13,14,15,16,17],[18]] |
| 12:49:20 | <sergio812> | I have a solution that I find a bit terse and would like to have comment on it. |
| 12:49:20 | <sergio812> | Should I paste it here, or is there another place for such requests? |
| 12:49:24 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 12:50:11 | <lechner> | dpaste.org, maybe? |
| 12:50:59 | <merijn> | https://paste.tomsmeding.com/ |
| 12:51:29 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 12:53:32 | <sergio812> | It's only 7 lines, wouldn't it be OK here? |
| 12:53:44 | <Clint> | no |
| 12:53:45 | <maerwald> | 3 is the general consensus |
| 12:54:11 | × | anandprabhu quits (~anandprab@193.138.218.160) (Quit: Leaving) |
| 12:54:17 | <sergio812> | ok |
| 12:54:37 | <lechner> | it's tough to browse history otherwise |
| 12:55:12 | <dminuoso> | Also, the network spam detection will disconnect you quite quickly if you send too many lines in short repetition. |
| 12:55:32 | <dminuoso> | Possibly followed by a ban :) |
| 12:56:08 | <lechner> | that's more his problem and not ours, though |
| 12:56:37 | <sergio812> | well, yes, it's mine, that's why I ask :-) |
| 12:56:59 | <lechner> | anyway, welcome! rowdy bunch |
| 13:01:08 | → | alx741 joins (~alx741@181.196.69.4) |
| 13:01:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 13:01:55 | <sergio812> | https://paste.tomsmeding.com/FIZYG5jH |
| 13:03:11 | <sergio812> | Sorry, missed a definition: https://paste.tomsmeding.com/L7uPK6XT |
| 13:05:47 | <lechner> | i'm too inexperienced to offer advice here, but that looks like two nested iterate's to me |
| 13:07:42 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 13:11:57 | <sergio812> | I realize now that fusing the "replicate" inside the "accum" function might have been a good idea (thereby getting rid of the call to "length") |
| 13:12:06 | <sergio812> | Which gives: https://paste.tomsmeding.com/Ex6Lp1K6 |
| 13:12:37 | <sergio812> | (But still not sure it's easy to grasp/read...) |
| 13:12:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:12:54 | → | chris_ joins (~chris@host-92-26-85-237.static.as13285.net) |
| 13:17:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 13:17:10 | × | Deide[m] quits (~deidehalo@2001:470:69fc:105::c89a) (Quit: issued !quit command) |
| 13:19:16 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 13:20:32 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 13:26:32 | fendor_ | is now known as fendor |
| 13:28:17 | → | Deide[m] joins (~deidehalo@2001:470:69fc:105::c89a) |
| 13:29:42 | ← | Deide[m] parts (~deidehalo@2001:470:69fc:105::c89a) () |
| 13:33:23 | → | stevenxl joins (uid133530@id-133530.highgate.irccloud.com) |
| 13:35:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 13:38:21 | → | jippiedoe joins (~david@2a02-a448-48bd-1-52db-d00b-e589-7ee1.fixed6.kpn.net) |
| 13:39:48 | × | jippiedoe quits (~david@2a02-a448-48bd-1-52db-d00b-e589-7ee1.fixed6.kpn.net) (Remote host closed the connection) |
| 13:40:10 | → | jippiedoe joins (~david@2a02-a448-48bd-1-2e30-a96b-40f3-d366.fixed6.kpn.net) |
| 13:40:48 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 13:41:55 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) |
| 13:44:16 | × | chris_ quits (~chris@host-92-26-85-237.static.as13285.net) (Remote host closed the connection) |
| 13:44:48 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 13:45:18 | × | acidjnk_new quits (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 13:46:55 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 13:51:27 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 14:01:23 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 14:01:27 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 14:01:48 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 14:05:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 14:05:58 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 14:08:22 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 14:22:27 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 276 seconds) |
| 14:23:09 | <Axman6> | sergio812: my solution, theree's probably some ways to remove the explicit recursion but I think this is clear: |
| 14:23:25 | <Axman6> | > let f [] = []; f xs = go xs [1..] where go [] _ = []; go (i:is) ns = let (l,r) = splitAt i ns in l : go is r in f [1,5,2,3,6,3] |
| 14:23:27 | <lambdabot> | [[1],[2,3,4,5,6],[7,8],[9,10,11],[12,13,14,15,16,17],[18,19,20]] |
| 14:23:56 | <Axman6> | there's also a fun implementation using the state monad now I think od it |
| 14:23:58 | <Axman6> | of* |
| 14:25:49 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 14:26:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 14:27:06 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 14:27:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 14:29:47 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 14:31:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 14:32:39 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:33:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:35:32 | × | pgib quits (~textual@173.38.117.81) (Quit: 00 PC LOAD LETTER) |
| 14:37:16 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 14:38:26 | <lechner> | Hi, cabal-fmt replaced license: GPL-2.0-or-later with GPL-2.0 even though the cabal user guide states that the license names are from SPDX. Why is that, please? https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-license |
| 14:40:23 | <lechner> | my COPYING file includes the "or later" language |
| 14:40:56 | × | sergal quits (~sergal@fsf/member/ezra) (Quit: bye bye) |
| 14:41:57 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 14:42:06 | <merijn> | Probably because the cabal-version of your cabal file is old? |
| 14:42:15 | <merijn> | What version does your cabal file list? |
| 14:43:30 | <merijn> | Note that (as your link states) the SPDX identifiers are only valid since 2.2 |
| 14:43:33 | <lechner> | cabal-version: >=1.10 |
| 14:44:20 | <merijn> | Right, so that's so ancient it still uses the old, wrong syntax :p |
| 14:44:44 | <merijn> | So you cannot use SPDX expressions until you move to a newer version |
| 14:44:46 | <lechner> | thanks! what's a good version, please? |
| 14:44:51 | <sshine> | 2.2? :P |
| 14:45:00 | <merijn> | 2.2/2.4 are a reasonable compromise |
| 14:45:11 | <merijn> | unless you specifically need newer features |
| 14:45:21 | <sshine> | merijn, so 0.9166666667? |
| 14:45:50 | <merijn> | lechner: Basically, the old "cabal-version" field (implied) that it talked about "version of the cabal tool" due to its ">=1.10" but that's a forward compat nightmare |
| 14:46:30 | <merijn> | lechner: As of 2.0 the cabal version refers to the version of the cabal spec used by the file (and cabal-version *must* be on the first line) |
| 14:47:39 | <merijn> | lechner: This allows the cabal spec to change the behaviour/syntax of fields without invalidating older files (i.e. "cabal-version: 2.0" will always have the same result, even if later versions of the spec use different semantics |
| 14:47:43 | <merijn> | ) |
| 14:51:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:52:17 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 14:53:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 14:54:07 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 14:55:09 | × | Guest83 quits (~Guest83@217.155.19.23) (Quit: Client closed) |
| 14:55:44 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 14:56:15 | × | michalz quits (~michalz@185.246.204.55) (Remote host closed the connection) |
| 14:56:34 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 14:56:58 | <maerwald> | -or-later is a disaster anyway, don't use it |
| 14:57:29 | <merijn> | why? |
| 14:58:15 | <maerwald> | not sure that's even legally applicable... what does "or later" mean? Later known versions from the date of the license file creation? Last commit? "Known" versions? Future versions you don't know about? |
| 14:58:41 | <merijn> | Future versions of the GPL license you don't know about |
| 14:58:47 | <merijn> | It's pretty explicit about that |
| 14:58:50 | <maerwald> | that's probably the worst idea |
| 14:59:05 | <merijn> | How so? |
| 14:59:15 | <maerwald> | you give someone you don't know about a backdoor to relicensing your project |
| 15:00:01 | → | fef joins (~thedawn@user/thedawn) |
| 15:00:11 | <merijn> | Well, how bad of an idea it is, is directly proportional to your faith/believe in the FSF and people behind the GPL |
| 15:00:30 | <merijn> | If that answer is "not a lot", then, yeah, don't use that |
| 15:01:00 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3948:b266:7c2d:ce0c) (Quit: WeeChat 2.8) |
| 15:01:30 | <maerwald> | I think even if you do trust them, it's still a bad idea |
| 15:01:31 | <Clint> | that is the default in many licenses |
| 15:01:52 | <maerwald> | 1. you don't know about future FSF board, 2. you don't know if they f* up a license |
| 15:02:14 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 15:02:31 | <maerwald> | licenses aren't right or wrong, they're tried in court... you can write a bad license |
| 15:02:38 | <maerwald> | with good intentions |
| 15:03:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:03:27 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 15:03:39 | <Clint> | and the risk you are trying to mitigate is what |
| 15:05:15 | <maerwald> | someone relicensing my project with a bad license |
| 15:06:31 | <nshepperd> | that can do that under popular licences, such as MIT |
| 15:06:45 | <nshepperd> | err, i can't write |
| 15:06:54 | <nshepperd> | they can do that under many popular licences |
| 15:07:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 15:07:52 | <maerwald> | so? |
| 15:08:30 | <maerwald> | if you don't care, use WTFPL |
| 15:08:46 | <maerwald> | or "-or-later" :) |
| 15:11:09 | → | Topsi joins (~Tobias@dyndsl-037-138-065-120.ewe-ip-backbone.de) |
| 15:13:29 | × | fendor quits (~fendor@178.165.161.179.wireless.dyn.drei.com) (Remote host closed the connection) |
| 15:13:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 15:13:54 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 15:14:27 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:15:07 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 15:15:45 | → | Guest924 joins (~Guest9@43.241.144.38) |
| 15:16:38 | → | fendor joins (~fendor@178.165.161.179.wireless.dyn.drei.com) |
| 15:18:02 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 15:18:58 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 15:19:30 | <sergio812> | @Axman6: thanks for your version, which is indeed easier to grasp despite (or because?) the explicit recursion |
| 15:19:30 | <lambdabot> | Unknown command, try @list |
| 15:27:54 | → | hendursaga joins (~weechat@user/hendursaga) |
| 15:32:59 | <Orbstheorem> | Is `Data.Pool.Pool` thread-safe? |
| 15:33:27 | × | rmoe quits (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 15:34:10 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 15:36:32 | × | jippiedoe quits (~david@2a02-a448-48bd-1-2e30-a96b-40f3-d366.fixed6.kpn.net) (Ping timeout: 252 seconds) |
| 15:37:22 | × | alecs quits (~alecs@151.55.187.98) (Ping timeout: 250 seconds) |
| 15:37:43 | → | Deide1 joins (~Deide@217.155.19.23) |
| 15:39:17 | <monochrom> | I don't even know about future self. |
| 15:41:39 | × | fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed) |
| 15:41:41 | → | derelict_ joins (~derelict@user/derelict) |
| 15:41:58 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 15:42:04 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 15:42:42 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in) |
| 15:42:52 | → | sqrt2 joins (~ben@80-108-18-7.cable.dynamic.surfer.at) |
| 15:42:56 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:43:54 | <monochrom> | (This is beginning to look like an advertisement scene for BSD3 :) ) [transition from poker face to smiling face] This is why I chose BSD3, so that people in the future don't have to count on the future me for permission to do many very reasonable things. :) |
| 15:44:53 | <monochrom> | Leave a legacy and sweet memory. Choose BSD3. |
| 15:46:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:48:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:49:19 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:51:06 | <maerwald> | the linux kernel btw is GPL-2.0 only, because they think GPL-3.0 is trash |
| 15:51:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 15:52:58 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 250 seconds) |
| 15:53:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 15:54:17 | → | cfricke joins (~cfricke@user/cfricke) |
| 15:54:44 | × | Guest924 quits (~Guest9@43.241.144.38) (Ping timeout: 265 seconds) |
| 15:55:25 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 15:58:37 | → | Null_A joins (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) |
| 15:58:51 | Lycurgus | prefers license freedom |
| 16:01:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:02:06 | Lycurgus | https://en.wikipedia.org/wiki/License-free_software since it googles so poorly |
| 16:03:09 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:03:12 | <monochrom> | "the software is technically copyrighted according to the Berne convention and as such is proprietary" |
| 16:03:22 | × | sajith quits (~sajith@user/sajith) (Ping timeout: 250 seconds) |
| 16:03:30 | × | krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 240 seconds) |
| 16:03:49 | × | oats quits (~thomas@user/oats) (Ping timeout: 250 seconds) |
| 16:03:54 | × | nonzen quits (~nonzen@user/nonzen) (Ping timeout: 240 seconds) |
| 16:03:55 | × | heath quits (~heath@user/heath) (Ping timeout: 265 seconds) |
| 16:04:13 | <monochrom> | I slap on a license because of that. I hope to increase the freedom from the uncertainty of "so what would monochrom actually permit?" |
| 16:04:16 | × | aravk quits (~aravk@user/aravk) (Ping timeout: 272 seconds) |
| 16:04:17 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 16:04:18 | × | energizer quits (~energizer@user/energizer) (Ping timeout: 252 seconds) |
| 16:04:24 | × | wwalker quits (~wwalker@platinum.solid-constructs.com) (Ping timeout: 265 seconds) |
| 16:04:25 | <Lycurgus> | a sweet technicality that for the free trader / worker |
| 16:04:30 | × | jolly quits (~jolly@208.180.97.158) (Ping timeout: 276 seconds) |
| 16:05:27 | → | sajith joins (~sajith@user/sajith) |
| 16:05:57 | <monochrom> | s/slap on a license/slap on a highly permissive license/ |
| 16:06:19 | × | sergio812 quits (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Quit: Client closed) |
| 16:06:27 | → | krjst joins (~krjst@2604:a880:800:c1::16b:8001) |
| 16:06:39 | <dolio> | I imagine the point is that putting a permissive license on it permits the wrong organizations to do things with it. |
| 16:06:44 | → | nonzen joins (~nonzen@user/nonzen) |
| 16:07:16 | <Lycurgus> | that wasn't my point but it does get to the actual point |
| 16:07:43 | <Lycurgus> | which is that the whole deal is a vast time waster to be filed under clueless about the capitalism |
| 16:08:41 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 16:08:52 | <maerwald> | license-free software is a great way for me to get in trouble |
| 16:08:56 | <maerwald> | so I won't use it |
| 16:08:58 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 16:09:18 | <Lycurgus> | with your employer? |
| 16:09:41 | <maerwald> | employer? |
| 16:09:46 | <Lycurgus> | (the trouble) |
| 16:10:05 | <maerwald> | with anyone |
| 16:10:09 | <Lycurgus> | i c |
| 16:10:27 | <maerwald> | suddenly the author changed his mind... now what :> |
| 16:10:55 | <Lycurgus> | you think that doesn't happen? |
| 16:10:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 16:11:13 | <maerwald> | ? |
| 16:11:20 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 16:11:45 | → | CyrusT[m] joins (~cyrustcru@2001:470:69fc:105::306e) |
| 16:12:12 | <Lycurgus> | that the owning entity changes it's mind about a permissive or license of any kind. Is there no hs product with is not FOSS? |
| 16:12:30 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 16:12:42 | <Lycurgus> | *which is not |
| 16:12:51 | <geekosaur> | how would we know |
| 16:13:14 | → | oats joins (~thomas@user/oats) |
| 16:13:36 | → | energizer joins (~energizer@user/energizer) |
| 16:13:39 | → | rmoe joins (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) |
| 16:14:17 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 16:14:38 | <Lycurgus> | yeah there prolly is but it so violates the hs culural ethos thst you'd not publicize. Think i've seen such, in finance and what not |
| 16:15:27 | <Lycurgus> | in some cases secrecy is of the essence |
| 16:15:43 | → | wwalker joins (~wwalker@platinum.solid-constructs.com) |
| 16:15:43 | → | aravk joins (~aravk@user/aravk) |
| 16:16:23 | maerwald | stares at the wall |
| 16:17:03 | → | heath joins (~heath@user/heath) |
| 16:17:49 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 16:18:17 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:18:48 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 16:20:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:20:48 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 16:21:25 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:22:03 | → | drewefenwick[m] joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 16:23:00 | <DigitalKiwi> | "how compelling" |
| 16:23:21 | → | Kammao joins (~Kammao@188.27.130.202) |
| 16:24:17 | <[exa]> | maerwald: license-free software is basically unusuable, the "default" license in most of the world is "don't even think about reading this" |
| 16:24:58 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 16:25:02 | <[exa]> | (oh the discussion has more scrollback, let's scroll now... :D ) |
| 16:25:30 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 16:26:06 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 16:26:18 | <dolio> | You don't need a license to read something. |
| 16:26:58 | → | econo joins (uid147250@user/econo) |
| 16:28:06 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 16:29:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 16:34:51 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 16:35:26 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 250 seconds) |
| 16:35:52 | × | Kammao quits (~Kammao@188.27.130.202) (Quit: Client closed) |
| 16:36:57 | → | jippiedoe joins (~david@2a02-a448-48bd-1-dcd-52b3-4d0e-bb70.fixed6.kpn.net) |
| 16:39:01 | → | ahri joins (~ahri@185.169.233.185) |
| 16:39:51 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 16:40:09 | → | jolly joins (~jolly@208.180.97.158) |
| 16:40:15 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:40:43 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 16:41:00 | <ahri> | hi, I was in here the other day asking for help tracking down a big memory leak. my problem is that despite having set up the RTS options and got a .hp file out, it's only capturing the first 5-15 seconds. the process is killed by the kernel after around 5 mins (after some user interaction) |
| 16:41:24 | → | fef joins (~thedawn@user/thedawn) |
| 16:41:45 | <ahri> | I tried replicating this in another env and the memory didn't seem to spike as much, however I still get the oddly small .hp file |
| 16:42:02 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) (Ping timeout: 255 seconds) |
| 16:42:21 | <ahri> | I tried adding StrictData via default-extensions in the .cabal file, and this has not fixed the memory usage and subsequent killing of my process in my live env |
| 16:42:32 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Ping timeout: 252 seconds) |
| 16:43:09 | <ahri> | it occurred to me that perhaps my profiling issues are due to compilation flags; the ones I'm using are: -static -optc-static -optl-static -optl-pthread |
| 16:44:50 | <Lycurgus> | what do you mean by "leak"? |
| 16:44:59 | <ahri> | it's been a while since I put this project together so I don't remember the specifics of why I'm using all of those flags, but I think they're probably all to do with wanting a statically linked binary to dump into an alpine docker container |
| 16:45:00 | <c_wraith> | profiling requires cost centers |
| 16:45:26 | <ahri> | I compiled the binary with "stack build --profile" |
| 16:45:35 | <c_wraith> | If you're not adding some manually, you should be asking the compiler to add them. |
| 16:45:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 16:46:02 | Lycurgus | suspects introspection/reflection/examination of the source program is the way unless a FFI is involved |
| 16:46:28 | <ahri> | Lycurgus: I mean I'm not anticipating my webserver using 1TB of memory when loading a 2MB file, so I guess I messed something up fairly spectacularly! |
| 16:46:34 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 240 seconds) |
| 16:46:35 | → | berberman joins (~berberman@user/berberman) |
| 16:46:43 | <c_wraith> | wait.... |
| 16:46:45 | <c_wraith> | 1TB? |
| 16:46:53 | <zzz> | o.o |
| 16:46:57 | <c_wraith> | How are you getting that number? |
| 16:47:00 | <ahri> | htop |
| 16:47:06 | <c_wraith> | what column? |
| 16:47:13 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 16:47:26 | <ahri> | VIRT |
| 16:47:29 | <c_wraith> | ignore it |
| 16:47:31 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 16:47:45 | <c_wraith> | VIRT is meaningless with programs compiled by 64-bit GHC on linux |
| 16:48:06 | <c_wraith> | It always tells the OS to reserve 1TB at program startup |
| 16:48:16 | <c_wraith> | that doesn't mean it's *using* it |
| 16:48:16 | <Lycurgus> | yeah that surprised me too |
| 16:48:24 | <ahri> | oh, ok, that explains that then! |
| 16:48:35 | <ahri> | however my process is still being killed off |
| 16:48:36 | <Lycurgus> | the way ghc works they preallocate for the max |
| 16:48:51 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 16:48:51 | <Lycurgus> | welcome to static everything |
| 16:49:40 | <c_wraith> | It lets ghc create indepent slabs for every common object size |
| 16:49:41 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 16:49:49 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 16:50:03 | <c_wraith> | which is great for speeding up allocation and collection |
| 16:50:31 | <lechner> | the issue may just be an unbounded operation? |
| 16:50:37 | × | flounders_ quits (~flounders@173.246.200.33) (Quit: Leaving) |
| 16:51:15 | <c_wraith> | so... if you watch the resident column, does it also explode? |
| 16:51:52 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 16:52:12 | <ahri> | ok, well the MEM% column also climbs up from around 0% to 75% at which point it's killed and has an exit code of 137 |
| 16:52:39 | <c_wraith> | Ok. Still sounds like a memory issue. Just one a 1TB memory issue. :) |
| 16:52:44 | <c_wraith> | *not a |
| 16:53:29 | <ahri> | yeah, the RES column shows it's climbing rapidly |
| 16:53:52 | <ahri> | still, the VIRT thing is good to know for the future! |
| 16:54:03 | × | zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 16:54:16 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 16:54:47 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 16:54:48 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Remote host closed the connection) |
| 16:55:38 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 16:55:53 | <ahri> | so, about this issue with the .hp file only containing interesting info for the first few seconds - is that a known issue I've stumbled across? |
| 16:56:44 | <c_wraith> | I've never seen it, but I've also never had programs killed by the OOM killer. |
| 16:56:54 | <ahri> | tbh I was kind of excited to have a memory leak as I've been wanting to get a bit of knowledge of profiling in Haskell! but this has me stumped |
| 16:56:54 | <c_wraith> | Any chance you can ctrl-c it before it's killed? |
| 16:57:34 | <c_wraith> | I suspect file buffering might be causing problems |
| 16:58:15 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 16:59:41 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 17:00:10 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 17:01:18 | <davean> | ahri: Yah, so hp files aren't actively flushed, that would ruin performance. Theres a few options there, but actively killing it is the best one |
| 17:01:39 | <davean> | Termination flushes them, but before that, its whenever the buffer fills. |
| 17:04:05 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 17:05:05 | <davean> | ahri: Theres a few options here |
| 17:06:33 | <davean> | ahri: specificly, -l might help, that puts it in the event log |
| 17:08:17 | × | fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed) |
| 17:08:41 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 17:11:57 | <ahri> | I tried with "kill -INT procnumber" which did stop the process but I'm still left with a fairly small .hp file (8MB) and the last line is END_SAMPLE 7.766415 - which I'm taking to mean 7.8 seconds since when I render these into ps/svg files that's all I see |
| 17:13:08 | × | ahri quits (~ahri@185.169.233.185) (Quit: Client closed) |
| 17:13:30 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 17:13:41 | → | aerona joins (~aerona@2600:6c54:4600:f300:d46d:5152:c0fc:6ad9) |
| 17:14:16 | → | Guest9 joins (~Guest9@43.241.144.38) |
| 17:14:43 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 17:15:56 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:15:57 | → | ahri joins (~ahri@185.169.233.185) |
| 17:16:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:16:39 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:16:59 | <ahri> | sorry, I was disconnected |
| 17:17:23 | <ahri> | last thing I said was: "I tried with "kill -INT procnumber" which did stop the process but I'm still left with a fairly small .hp file (8MB) and the last line is END_SAMPLE 7.766415 - which I'm taking to mean 7.8 seconds since when I render these into ps/svg files that's all I see" |
| 17:17:31 | <ahri> | - am I misreading this? |
| 17:18:36 | × | xaltsc quits (~xaltsc@user/xaltsc) (Ping timeout: 276 seconds) |
| 17:18:49 | <ahri> | also, I've added -l and got a 9MB eventlog, along weith a 9MB .hp file, so I'll copy them over and see whether the eventlog recorded more |
| 17:19:16 | → | xaltsc joins (~xaltsc@user/xaltsc) |
| 17:20:24 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
| 17:22:22 | × | xff0x quits (~xff0x@2001:1a81:52b7:d000:8573:11be:6a6f:d21f) (Ping timeout: 268 seconds) |
| 17:23:00 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:7ca5:8534:c427:2a37) |
| 17:23:57 | <ahri> | I'm currently installing threadscope so I can load up the file so I don't yet know how much data I got from this run |
| 17:26:48 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 17:27:26 | → | sergal joins (~ezra@fsf/member/ezra) |
| 17:27:26 | <zzz> | imagine i want to abstract flip to a class Flippable. how would i write an Arrow instance' |
| 17:27:29 | <zzz> | ? |
| 17:28:15 | <zzz> | and how would i write a (->) instance? |
| 17:28:38 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 17:29:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 17:30:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:31:36 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 17:32:15 | <zzz> | i might have phrased this weirdly |
| 17:32:18 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 17:32:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:33:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 17:34:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:36:14 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 17:36:23 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 17:36:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 17:37:06 | × | xff0x quits (~xff0x@2001:1a81:52b7:d000:7ca5:8534:c427:2a37) (Ping timeout: 240 seconds) |
| 17:38:05 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:38:11 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:c86c:6df3:856d:396a) |
| 17:39:22 | × | fendor quits (~fendor@178.165.161.179.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 17:39:52 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) |
| 17:40:41 | × | sergal quits (~ezra@fsf/member/ezra) (Quit: connection reset by purr) |
| 17:43:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 265 seconds) |
| 17:44:20 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 17:44:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 17:45:19 | × | Guest60 quits (~Guest60@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 246 seconds) |
| 17:45:31 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 17:45:34 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 17:45:45 | <jay-invariant> | zzz: you mean you want something like flip :: Flippable f => (a `f` (b `f` c)) -> (b `f` (a `f` c)) ? |
| 17:45:48 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 17:46:07 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 17:46:26 | <zzz> | i think so |
| 17:47:32 | <jay-invariant> | For (->), I think you could just use instance Flippable (->) where flip = Data.Function.flip |
| 17:47:59 | <zzz> | yeah i was trying to avoid that. im exploring the language for educational purposed |
| 17:48:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:48:10 | <zzz> | *purposes |
| 17:49:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:50:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:50:34 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 17:50:46 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 17:52:24 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 17:52:33 | <jay-invariant> | Do you mean you'd rather not use the built-in flip? Then it's flip f x y = f y x |
| 17:53:08 | <jay-invariant> | and what do you mean by arrow instance? |
| 17:54:30 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:56:22 | × | jippiedoe quits (~david@2a02-a448-48bd-1-dcd-52b3-4d0e-bb70.fixed6.kpn.net) (Ping timeout: 245 seconds) |
| 17:59:23 | → | sergal joins (~sergal@fsf/member/ezra) |
| 18:00:22 | → | jippiedoe joins (~david@2a02-a448-48bd-1-3852-3dc5-540b-b540.fixed6.kpn.net) |
| 18:01:03 | <boxscape> | Is there a way to define a class and an instance on the same line? I'm trying to define a class and instance together in a CPP macro (I know) and they can't produce newline :( |
| 18:01:54 | <geekosaur> | semicolon? |
| 18:02:10 | <boxscape> | I played around with that a bit but couldn't find a configuration that works |
| 18:02:16 | <dminuoso> | I had the same experience |
| 18:02:25 | <boxscape> | (unless perhaps I used semicolons for the entire module, but I don't want to do that) |
| 18:02:28 | <dminuoso> | boxscape: I couldnt get it to work either, and ended up writing two macros. |
| 18:02:44 | <boxscape> | hm, okay, thanks |
| 18:02:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:03:24 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 18:03:48 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Ping timeout: 258 seconds) |
| 18:04:37 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 18:06:45 | <boxscape> | geekosaur: dminuoso : wait semicolon actually does work |
| 18:06:57 | <boxscape> | I surrounded it with braces as well, which didn't work, but semicolon alone is fine |
| 18:06:58 | <boxscape> | nice |
| 18:07:15 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 18:07:26 | <boxscape> | I think you also need to surround the where block in {} |
| 18:07:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 18:07:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:09:25 | <ahri> | davean: I have my eventlog loaded up in threadscope but I can't see how to use it to work out where the memory allocations are occurring - I've searched around a bit for info on how to do this and most places talk about the .hp files for analysing memory usage. do you have any pointers? |
| 18:09:49 | <dminuoso> | boxscape: Ah. Good to know. |
| 18:09:56 | <dminuoso> | boxscape: Can you show an example? |
| 18:10:28 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 268 seconds) |
| 18:12:36 | <boxscape> | dminuoso: https://paste.tomsmeding.com/arDZGLKW |
| 18:12:44 | <lbseale> | Hi, could you guys help me understand why this Validation type is not a Monad? https://hackage.haskell.org/package/validation-1.1.1 |
| 18:13:47 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown) |
| 18:13:57 | <zzz> | jay-invariant: ignore the "arrow instance" bit. what i want is a (->) instance |
| 18:14:03 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 18:14:24 | → | boxscape_ joins (~boxscape_@p4ff0b769.dip0.t-ipconnect.de) |
| 18:15:46 | <jay-invariant> | lbseale: It looks like if there are multiple errors in a computation, it accumulates them, rather than returning the first one. So e.g. (Failure e1) <*> (Failure e2) = Failure (e1 <> e2) |
| 18:16:02 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 18:16:27 | <lbseale> | jay-invariant right, what about that behavior makes it not a Monad ? |
| 18:16:53 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 18:16:55 | <ahri> | davean: nm, I've discovered eventlog2html which seems like it might help - I'll carry on on my own for a while and see what I learn. thanks for your help! |
| 18:17:01 | × | ahri quits (~ahri@185.169.233.185) (Quit: gtg) |
| 18:17:12 | → | zebrag joins (~chris@user/zebrag) |
| 18:17:13 | <jay-invariant> | If it were a monad, then how would you implement f >>= g? If f returns an error, you can't run g, since you have no input to feed it. |
| 18:17:22 | <jay-invariant> | So you would have to sequence errors. |
| 18:17:37 | <jay-invariant> | But then the laws about how >>= relates to <*> couldn't be satisfied |
| 18:18:04 | → | kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 18:18:04 | → | cfricke joins (~cfricke@user/cfricke) |
| 18:18:46 | <lbseale> | what are the laws relating >>= to <*> ? Is it explained in this SO post https://stackoverflow.com/a/63346617 |
| 18:19:37 | <jay-invariant> | Yeah, that equation is what I'm talking about |
| 18:19:56 | <lbseale> | I have to sit with this equation and think about it |
| 18:20:18 | × | zgrep quits (~zgrep@user/zgrep) (Ping timeout: 240 seconds) |
| 18:20:34 | → | zgrep joins (~zgrep@user/zgrep) |
| 18:21:13 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 18:21:33 | <jay-invariant> | It might be easier in do notation: u <*> v = do { f <- u; x <- v; pure (f x) } |
| 18:22:01 | <jay-invariant> | Basically, "u <*> v should be equivalent to running u, then running v, then combining the results" |
| 18:22:38 | × | Deide1 quits (~Deide@217.155.19.23) (Ping timeout: 265 seconds) |
| 18:22:51 | <dminuoso> | boxscape: Ahh, the {} are the trick. I see. |
| 18:22:58 | <dminuoso> | Did not even know they were syntactically valid there. |
| 18:23:00 | <dminuoso> | TIL. |
| 18:23:19 | <boxscape> | I think you can use them everywhere `where` occurs |
| 18:23:21 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 18:23:33 | <jay-invariant> | But the Applicative instance for Validate wants to be able to run u and v "in parallel", and combine the errors if there are multiple |
| 18:23:35 | <boxscape> | (and then some) |
| 18:23:40 | <dminuoso> | boxscape: I take that as a challenge. :-) |
| 18:23:45 | <boxscape> | hehe |
| 18:23:47 | <monochrom> | > let {} in 4 |
| 18:23:49 | <lambdabot> | 4 |
| 18:24:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 18:24:04 | <monochrom> | In my let-in example, you can also omit {}. |
| 18:24:44 | <boxscape> | > do let in 4 |
| 18:24:46 | <lambdabot> | 4 |
| 18:24:50 | <lbseale> | jay-invariant the "parallel" aspect is intuitive to me, so if you ran u and v "in parallel", and one returned an error, you would only get the error |
| 18:24:53 | <boxscape> | (emphatically telling someone that 4 is allowed to come in) |
| 18:25:10 | <lbseale> | there is no way to run them in parallel if one returns an error |
| 18:25:27 | → | Deide1 joins (~Deide@217.155.19.23) |
| 18:26:28 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 18:27:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 18:27:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 18:28:00 | → | pavonia joins (~user@user/siracusa) |
| 18:31:11 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:31:14 | <lbseale> | ok this is helping me, thanks jay-invariant |
| 18:31:24 | <jay-invariant> | lbseale, no problem |
| 18:33:02 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Ping timeout: 245 seconds) |
| 18:33:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 18:34:21 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 18:35:00 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 18:37:13 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 18:41:12 | → | chris_ joins (~chris@81.96.113.213) |
| 18:42:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 18:43:37 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 18:43:48 | × | justache quits (~justache@user/justache) (Quit: The Lounge - https://thelounge.chat) |
| 18:44:37 | → | justache joins (~justache@user/justache) |
| 18:46:55 | <sshine> | does anyone use ElasticSearch? it seems that the bloodhound packages has V1 and V5 support, but there's V6 and V7 in the wild. there's a stalled discussion on how to share data types to avoid copying across once more, but it's 2-3 years old. |
| 18:46:57 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 18:47:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 18:49:30 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 18:50:21 | → | bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 18:51:29 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 18:52:04 | → | ukari joins (~ukari@user/ukari) |
| 18:53:54 | × | lbseale quits (~lbseale@user/ep1ctetus) (Quit: Client closed) |
| 18:53:57 | <zyklotomic> | what is a good data structure for a stack |
| 18:54:35 | <pavonia> | [a] |
| 18:54:36 | <zyklotomic> | i was considering lists, but it is in a strict State monad |
| 18:54:47 | <zyklotomic> | that ruins it slightly right |
| 18:54:59 | <dolio> | How? |
| 18:55:23 | <zyklotomic> | everytime i append, that would be O(n) if i understand correctly |
| 18:55:37 | <zyklotomic> | but if it is lazy, i can defer the appending into one go |
| 18:55:43 | <dolio> | You don't append to a stack. |
| 18:55:51 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:56:01 | <zyklotomic> | oh... you put it in the front |
| 18:56:03 | <zyklotomic> | ? |
| 18:56:09 | <pavonia> | Yes |
| 18:56:22 | <zyklotomic> | lol..... ohhhh |
| 18:56:42 | <zyklotomic> | thanks dolio, pavonia |
| 18:56:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 18:57:25 | <boxscape> | Hm I was thinking making a few CPP macros would be faster than writing template haskell, but I'm starting to regret that |
| 18:57:25 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 18:57:46 | <boxscape> | apparently having an apostrophe or not in front of a macro (inside a macro) changing whether that macro is expanded or not |
| 19:00:09 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 19:00:25 | × | peterhil quits (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 19:01:27 | × | royo quits (~royo@user/royo) (Remote host closed the connection) |
| 19:01:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 19:02:08 | <pavonia> | It probably treats that as char literal |
| 19:02:25 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 19:02:55 | × | jess quits (~jess@libera/staff/jess) () |
| 19:04:13 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:04:40 | <boxscape> | hmm perhaps, I wouldn't expect that a priori since it's part of a name (Lens') |
| 19:07:52 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 19:08:04 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 19:08:38 | → | peterhil joins (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) |
| 19:16:22 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 19:16:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 19:17:01 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 19:18:00 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 19:18:58 | → | chris_ joins (~chris@81.96.113.213) |
| 19:19:58 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 19:21:11 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 19:21:22 | × | jippiedoe quits (~david@2a02-a448-48bd-1-3852-3dc5-540b-b540.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 19:21:33 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:22:03 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 19:22:05 | × | fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed) |
| 19:22:19 | → | ukari joins (~ukari@user/ukari) |
| 19:22:52 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 19:24:21 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 19:24:54 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 19:26:06 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 19:26:19 | × | derelict_ quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 19:29:38 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:6cf9:3f96:8a8a:f813) |
| 19:30:50 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:33:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 19:35:26 | → | OscarH joins (~Thunderbi@2a02:c7f:a0da:ae00:d96f:f976:65fc:546d) |
| 19:37:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 19:40:53 | × | Null_A quits (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) (Remote host closed the connection) |
| 19:41:22 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 19:42:05 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 19:45:14 | → | Null_A joins (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) |
| 19:45:47 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 19:46:15 | × | sander quits (~sander@user/sander) (Ping timeout: 265 seconds) |
| 19:47:04 | → | FragByte joins (~christian@user/fragbyte) |
| 19:47:34 | → | obs\ joins (~obscur1ty@user/obs/x-5924898) |
| 19:47:47 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 19:48:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 19:48:14 | → | sander joins (~sander@user/sander) |
| 19:48:28 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 19:48:57 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 19:49:44 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 19:49:51 | × | Guest9 quits (~Guest9@43.241.144.38) (Quit: Connection closed) |
| 19:52:10 | × | fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed) |
| 19:52:37 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:52:52 | → | chris_ joins (~chris@81.96.113.213) |
| 19:53:02 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 19:55:32 | × | thyriaen quits (~thyriaen@x4db77ea2.dyn.telefonica.de) (Remote host closed the connection) |
| 19:55:54 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 19:55:54 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 19:55:57 | allbery_b | is now known as geekosaur |
| 19:57:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 19:57:47 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 19:57:51 | allbery_b | is now known as geekosaur |
| 20:05:20 | AlexNoo_ | is now known as AlexNoo |
| 20:09:29 | ← | OscarH parts (~Thunderbi@2a02:c7f:a0da:ae00:d96f:f976:65fc:546d) () |
| 20:10:59 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 20:12:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 20:13:30 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 20:13:59 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 20:19:53 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:20:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:20:46 | × | qbt quits (~edun@user/edun) (Ping timeout: 272 seconds) |
| 20:20:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 20:21:11 | → | royo joins (~royo@user/royo) |
| 20:22:04 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 20:22:23 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 20:25:10 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 20:27:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 20:28:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 20:29:50 | × | xff0x quits (~xff0x@2001:1a81:52b7:d000:c86c:6df3:856d:396a) (Ping timeout: 268 seconds) |
| 20:30:10 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 20:30:22 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:8a03:e207:89f6:6456) |
| 20:34:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 20:35:00 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 20:35:57 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:6cf9:3f96:8a8a:f813) (Ping timeout: 245 seconds) |
| 20:37:21 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 20:39:21 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 20:41:22 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 20:43:06 | × | octeep quits (~octeep@n219077208088.netvigator.com) (Ping timeout: 240 seconds) |
| 20:44:38 | × | Null_A quits (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) (Remote host closed the connection) |
| 20:44:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 20:45:12 | → | Null_A joins (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) |
| 20:45:53 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 20:48:48 | → | Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 20:51:02 | × | favonia quits (~favonia@user/favonia) (Remote host closed the connection) |
| 20:51:20 | → | favonia joins (~favonia@user/favonia) |
| 20:51:54 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 20:52:22 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:52:28 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 20:54:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 20:54:57 | × | Null_A quits (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) (Remote host closed the connection) |
| 20:57:14 | → | chris_ joins (~chris@81.96.113.213) |
| 20:58:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 20:58:59 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 20:59:01 | × | turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 20:59:38 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) |
| 21:01:39 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 21:02:02 | → | jess joins (~jess@libera/staff/jess) |
| 21:02:08 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 21:03:46 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 21:05:02 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:05:28 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 21:05:28 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 21:05:28 | → | turlando joins (~turlando@user/turlando) |
| 21:06:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 21:06:27 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 21:06:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:06:48 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 21:07:56 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 21:08:11 | → | Null_A joins (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) |
| 21:10:29 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 21:12:29 | jackhill | is now known as KM4MBG |
| 21:13:31 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:13:59 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 21:14:46 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 21:15:49 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 21:17:49 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 21:21:04 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 21:21:24 | → | derelict joins (~derelict@user/derelict) |
| 21:22:08 | × | Topsi quits (~Tobias@dyndsl-037-138-065-120.ewe-ip-backbone.de) (Quit: Leaving.) |
| 21:32:18 | <koz> | Does anyone know how to get --pattern for tasty to behave? I tried something like --pattern='$2 == Foo && $NF == Bar', but that's not acceptable to it for whatever reason. |
| 21:32:27 | <koz> | This is inside of --benchmark-options="...". |
| 21:32:35 | <koz> | Am I being hurt by Bash quoting or something? |
| 21:34:58 | → | OscarH joins (~OscarH@97e0e7ba.skybroadband.com) |
| 21:35:00 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds) |
| 21:35:04 | <geekosaur> | more likkely by --benchmark-options not itself supporting quoting, so --pattern gets the single quotes too and doesn't know what to do with them |
| 21:35:25 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 21:35:45 | <koz> | Hmm, it seems if I do --benchmark-options='--pattern="$2 = \"Foo\" && $NF == \"Bar\"" ... ', that works. |
| 21:35:55 | <koz> | Feels like a Bash problem, sigh. |
| 21:36:07 | → | chris_ joins (~chris@81.96.113.213) |
| 21:36:24 | <geekosaur> | hm, possibly |
| 21:37:46 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 21:38:23 | → | dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at) |
| 21:38:29 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 21:39:56 | <geekosaur> | hm, yes. your outer quotes qre "" so the uinner ones are ignored and the $s are expanded |
| 21:41:38 | <koz> | Le sigh... Bash quoting is one of the most annoying things. |
| 21:41:46 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 21:41:56 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:42:05 | <monochrom> | All quoting and escaping mechanisms don't scale. |
| 21:42:27 | <koz> | Some just don't scale more than others. |
| 21:43:48 | → | cfricke joins (~cfricke@user/cfricke) |
| 21:44:17 | → | euouae joins (~euouae@user/euouae) |
| 21:45:07 | <euouae> | Hello I have a question about Haskell and HPC. I've heard that Haskell does not have very good support for OpenMPI. Why is that? It seems like a relatively simple C API. How come there is no decent FFI for it? |
| 21:46:06 | × | cfricke quits (~cfricke@user/cfricke) (Client Quit) |
| 21:50:07 | <koz> | euouae: Nobody wrote any bindings I guess. |
| 21:50:13 | <koz> | You could be the first! |
| 21:51:10 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 21:51:28 | <euouae> | Hehe :) ok. There are some bindings; but when I asked last time about 'distributed computing' I was told that progress has stalled in Haskell |
| 21:51:40 | <euouae> | For example there is https://hackage.haskell.org/package/mpi-hs |
| 21:51:46 | <koz> | euouae: 'Progress' and 'stalled' are fairly relative terms. |
| 21:51:58 | <koz> | (and 'distributed computing' could mean a lot of things) |
| 21:52:20 | <euouae> | Yes and yes, I guess I just wanted to ask if HPC is possible in Haskell |
| 21:52:28 | <hpc> | i am possible |
| 21:52:30 | <koz> | Possible? Yes. |
| 21:52:33 | <koz> | Also that. |
| 21:52:44 | <euouae> | lol |
| 21:52:50 | <monochrom> | 50 shades of possibleness. |
| 21:53:33 | <monochrom> | Sometimes "possible" means "there are language features and libraries I can just use right away". |
| 21:53:55 | <koz> | Surely '50 Shades of Possibility?". |
| 21:54:06 | → | vysn joins (~vysn@user/vysn) |
| 21:54:07 | <koz> | s/?"./"?/ |
| 21:54:20 | <monochrom> | I have considered that. It doesn't sound right. |
| 21:54:23 | <koz> | (mismatched quotes but ehh) |
| 21:54:29 | <koz> | I think it sounds better than 'possibleness'. |
| 21:54:51 | <monochrom> | Well, this one is about 50 different meanings of "possible", not 50 cases. |
| 21:55:29 | <koz> | 50 Shades of Natural Language. |
| 21:57:59 | <monochrom> | My latest gripe on people bending natural language is "literate programming". |
| 21:58:38 | <monochrom> | Apparently, people have watered down literate programming to just mean inverted comment-vs-code syntax, such as our *.lhs and emacs org mode. |
| 21:59:03 | <euouae> | No idea what literate programming is or how it works |
| 21:59:35 | <euouae> | There was never an explanation of how the comments are stripped and the source fed to the compiler, it was always some wishy washy 'this is revolutionary' article |
| 22:00:00 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 22:00:04 | <monochrom> | To achieve what Knuth meant by literate programming (hint: if it were just comment-vs-code syntax, he would not go to the trouble to implement two programs, weave and tangle), people now have to say "bidirectional literate programming" |
| 22:00:23 | <monochrom> | Programmers keep doing this. |
| 22:01:27 | <monochrom> | Hungarian notation : "Hungarian notation" :: engineer : "engineer" :: literate programming :: "literate programming" |
| 22:03:35 | <monochrom> | euouae: I haven't done literate programming (the real one) for a long time. But when I did, I used Norman Ramsay's programs "noweave" and "notangle". |
| 22:04:11 | <monochrom> | I get to handwave it because I can point you to existing software. :) |
| 22:04:34 | <hpc> | my favorite is when programmers invent new words for nothing, like "eventually consistent" or "duck typing" |
| 22:04:55 | <monochrom> | But "notangle" is the program that emits code files you can then give to compilers. |
| 22:05:13 | <monochrom> | "noweave" is the one that emits TeX/LaTeX files. |
| 22:05:22 | <monochrom> | Similarly Knuth's weave and tangle. |
| 22:06:35 | <euouae> | That stuff is so cryptic |
| 22:06:43 | <euouae> | I'm reading the man page and it's almost nonsensical |
| 22:07:08 | <monochrom> | man pages are seldom tutorials. |
| 22:07:20 | <euouae> | well for one I can't even find it online |
| 22:07:26 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 22:07:35 | <monochrom> | If you already know Knuth's idea of literate programming, then noweave and notangle make sense. |
| 22:07:39 | × | fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed) |
| 22:07:56 | <monochrom> | If you don't, perhaps don't worry about it for now. |
| 22:08:03 | <euouae> | O |
| 22:08:04 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 22:08:17 | <euouae> | I'd know the idea if there was a single coherent article/blog about it :P |
| 22:08:22 | × | dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2) |
| 22:08:24 | <monochrom> | But millenial bloggers can only brag and handwave, yes. |
| 22:08:33 | → | ukari joins (~ukari@user/ukari) |
| 22:08:52 | <monochrom> | "coherent blog" is an oxymoron. |
| 22:09:21 | <dolio> | Does the wikipedia article explain it? |
| 22:09:27 | <monochrom> | Look for Knuth's original articles and papers. Screw bloggers. |
| 22:09:48 | <monochrom> | Yeah wikipedia has a high chance of being OK too. |
| 22:10:16 | <dolio> | Seems like it does, although I just read it, and never understood what advocates were on about prior. |
| 22:10:16 | <monochrom> | The blogosphere is a meta-level echo chamber of mediocrity. |
| 22:10:55 | <dolio> | E.G. one of the main things that would disqualify Literate Haskell is that you still have to put all your imports at the top. |
| 22:11:33 | <monochrom> | That would be my opinion, yes. |
| 22:12:05 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 22:13:49 | <dolio> | I'm not really sure I buy the 'revolutionary' part either, though. |
| 22:14:37 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 22:14:48 | <monochrom> | True. I was excited when I learned it when I was young. But not to the point of calling it "revolutionary". |
| 22:14:48 | <dolio> | It seems way too optimistic about the underlying reasons why software is poorly documented. |
| 22:15:51 | → | chris_ joins (~chris@81.96.113.213) |
| 22:15:51 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:16:00 | <dolio> | Using literate programming isn't going to make your programmers proofread the entire codebase every time they make a change to make sure everything is still coherent. |
| 22:16:08 | <monochrom> | Oh yeah, it's even more thankless work than the existing comment system. |
| 22:17:13 | <monochrom> | I certainly did it when only it was appropriate. I ran a programming contest and then posted my solution and explanation. That one was an excellent use case. |
| 22:17:39 | <monochrom> | But the program I wrote for my MSc project, haha why would anyone. |
| 22:18:49 | → | euouae joins (~euouae@user/euouae) |
| 22:19:54 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 22:23:36 | <dolio> | Yeah, I would guess that it turns out well because of how Knuth is writing the programs, and most programs aren't written that way (single author, writing something intended to be didactic). |
| 22:24:32 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 268 seconds) |
| 22:24:33 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 22:24:33 | <dolio> | I can write (I think) great stuff like that in non-literate Haskell when it's my goal, but often it's not. |
| 22:25:59 | <dolio> | Sometimes I do it in Agda, and that has constraints on the order you can write definitions in. |
| 22:28:44 | <sm> | eww! |
| 22:28:48 | <glguy> | Couldn't we do literate programming just the same now as Knuth did then? It just wouldn't be .lhs files; we'd have to use the same kind of processing passes used before. |
| 22:29:50 | × | Null_A quits (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) () |
| 22:29:53 | <sm> | we certainly can |
| 22:29:56 | <monochrom> | Yeah just use Knuth's weave-tangle or Ramsay's nowave-notangle. Agnostic to languages. |
| 22:30:39 | <monochrom> | Why even invent lhs in the first place. |
| 22:31:03 | <sm> | org mode can do it too |
| 22:32:16 | <sm> | and https://leoeditor.com |
| 22:34:44 | <sm> | or I suppose just m4 if you want to really mess around |
| 22:37:34 | × | euouae quits (~euouae@user/euouae) (Ping timeout: 246 seconds) |
| 22:37:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 22:38:37 | → | son0p- joins (~ff@181.136.122.143) |
| 22:42:26 | <monochrom> | Uh m4 hahahaha |
| 22:43:05 | <monochrom> | Someone please concort a shell script that uses sed, and only sed, in a very clever way >:) |
| 22:43:50 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 22:43:55 | <dolio> | I guess strictly speaking, the orderedness of Agda is likely to be less of a limitation, because it basically means you need to introduce the type of something before referring to it, or the definition of something before depending on the properties thereof. |
| 22:44:22 | <dolio> | Which seems like it would correllate with how you'd have to explain things for them to make sense. |
| 22:46:31 | → | dajoer joins (~david@user/gvx) |
| 22:47:06 | → | Topsi joins (~Tobias@dyndsl-037-138-065-120.ewe-ip-backbone.de) |
| 22:48:26 | <monochrom> | My experience is that, e.g., if an ADT has 4 cases and you have a function that works on that ADT, half of the time it is better to explain the first 2 cases and the first half of your function, and then go back to explain the other 2 cases and the other half of your function. |
| 22:48:57 | <monochrom> | In fact I am doing this in my course notes http://www.cs.utoronto.ca/~trebla/CSCC24-2021-Summer/09-semantics-1.html |
| 22:49:26 | <dolio> | Yeah, I'm not sure if you can break up definitions like that in Agda. |
| 22:49:49 | <monochrom> | Pedagogically it makes no sense to even bring up, e.g., the "VClosure" case of the "Value" type at any early point. |
| 22:50:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:52:06 | <dolio> | That idea might have been reinvented many years later as "aspect oriented programming", although I'm not an expert on that, either. |
| 22:52:16 | <monochrom> | :) |
| 22:52:26 | <dolio> | Much worse name, certainly. |
| 22:53:05 | <monochrom> | My recollection is that AOP fizzled because it (or its community) really went the equivalent of the m4 route and it became unwanted madness. |
| 22:53:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:54:38 | <monochrom> | But AOP did not aim for explaining code, it aimed for keeping code open-world for postmortem additions. |
| 22:55:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:55:59 | <dolio> | Yeah. |
| 22:56:20 | <dolio> | I guess it's the same sort of idea with a different goal in mind. |
| 22:56:36 | <monochrom> | Ah, yeah. |
| 22:58:02 | → | Null_A joins (~null_a@2601:645:8700:2290:2910:fbd1:f882:3730) |
| 22:58:04 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 250 seconds) |
| 22:59:30 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 22:59:35 | <dolio> | I guess my hypothesis is that widespread adoption of literate programming tools would probably get you to where AOP went. |
| 22:59:56 | <dolio> | Because programmers will care about the code organization possibilities, not writing excellent documentation. |
| 23:03:09 | <johnw> | if I have a record data Foo = Foo { a :: Int, b :: Int }, is it possible to write a Traversal' Foo Int over the two members? |
| 23:03:47 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 23:04:32 | <dolio> | Yes, you can write one. |
| 23:04:38 | <dibblego> | yes, though it would be Iso |
| 23:04:45 | <dibblego> | (and ∴ traversal) |
| 23:05:05 | <dolio> | If the question is whether a library will generate one automatically, I don't know. |
| 23:05:18 | <johnw> | I don't know why I'm stuck on this |
| 23:05:32 | <dibblego> | generic-lens is the closest you'll get in this regard; I've been down this rabbit hole |
| 23:05:59 | <dibblego> | johnw: fooIso = iso (\(Foo x y) -> (x, y)) (uncurry Foo) |
| 23:06:21 | <johnw> | I actually want a traversal |
| 23:06:24 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:06:26 | <johnw> | not a projected to a pair |
| 23:06:28 | <dibblego> | that is a traversal ^^ |
| 23:06:46 | <dibblego> | oh wait sorry |
| 23:06:51 | <dibblego> | you want Traversal' Foo Int |
| 23:07:06 | <dibblego> | fooTraversal f (Foo x y) = Foo <$> f x <*> f y |
| 23:07:18 | <johnw> | ah, got it |
| 23:07:23 | <johnw> | in my case it's actually: |
| 23:07:24 | <johnw> | s & zipped fees commission %%~ \(x, y) -> (,) <$> f x <*> f y |
| 23:07:30 | <johnw> | it's the use of the sub-lenses that made it awkward |
| 23:07:36 | <johnw> | thanks dibblego! |
| 23:07:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:08:01 | <sm> | hello johnw! hope you're having an excellent day |
| 23:08:01 | <dibblego> | @type both -- you can also use that ^ Iso with both |
| 23:08:03 | <lambdabot> | (Data.Bitraversable.Bitraversable r, Applicative f) => (a -> f b) -> r a a -> f (r b b) |
| 23:08:09 | <johnw> | hi sm, it's a good day; you? |
| 23:08:39 | <boxscape_> | % let foo = Foo 1 2 in (foo ^.. template :: [Int]) -- this works if Foo derives Data |
| 23:08:39 | <yahb> | boxscape_: [1,2] |
| 23:08:52 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
| 23:08:56 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 23:09:07 | <sm> | yes! no complaints. it's drizzling 🌧👍🏻 |
| 23:10:23 | <boxscape_> | % let fooTraversal = template :: Traversal' Foo Int -- more concretely |
| 23:10:23 | <yahb> | boxscape_: |
| 23:12:03 | → | cheater joins (~Username@user/cheater) |
| 23:12:46 | × | wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 258 seconds) |
| 23:13:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:14:29 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 23:18:44 | → | renzhi joins (~xp@142.184.90.63) |
| 23:19:07 | → | octeep joins (~octeep@42-2-223-196.static.netvigator.com) |
| 23:22:38 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 23:24:02 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 23:25:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 23:27:38 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 23:30:24 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 23:34:34 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 23:35:00 | × | renzhi quits (~xp@142.184.90.63) (Ping timeout: 258 seconds) |
| 23:39:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:41:36 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 23:43:34 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 265 seconds) |
| 23:43:59 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 23:44:36 | × | zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 23:44:56 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 23:51:43 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 23:52:55 | → | renzhi joins (~xp@142.184.90.63) |
| 23:55:10 | → | vk3wtf joins (~doc@220-245-2-190.tpgi.com.au) |
| 23:57:48 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer) |
| 23:58:05 | × | vk3wtf_ quits (~doc@207.134.220.203.dial.dynamic.acc01-carp-beg.comindico.com.au) (Ping timeout: 255 seconds) |
All times are in UTC on 2021-07-28.