| 2023-11-14 00:00:08 +0100 | <Inst> | see, that's why I still store data as lists of text or strings |
| 2023-11-14 00:00:59 +0100 | <haskellbridge> | 04<zwro> IRC is dying? |
| 2023-11-14 00:01:10 +0100 | <monochrom> | Wesley experiments with something that causes her mother trapped in an alternate bubble universe that keeps shrinking (in both space and history) so people keep disappearing and the natural question is "is it just me?" |
| 2023-11-14 00:03:02 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 00:04:00 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-14 00:05:07 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-11-14 00:05:28 +0100 | <EvanR> | like the only good Dr Crusher episode |
| 2023-11-14 00:05:41 +0100 | <Inst> | finally got it working |
| 2023-11-14 00:05:42 +0100 | <Inst> | pfft |
| 2023-11-14 00:05:50 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-14 00:06:10 +0100 | <EvanR> | if only internet bubbles in general would shrink and collapse instead of the other thing |
| 2023-11-14 00:06:27 +0100 | <ski> | zwro : "Team Chat" (XKCD comic) <https://xkcd.com/1782/> |
| 2023-11-14 00:06:29 +0100 | <Inst> | https://hackage.haskell.org/package/vty-6.0/docs/Graphics-Vty-Image.html#v:text-39- |
| 2023-11-14 00:08:12 +0100 | <Inst> | had to some gimmickry with appEndo, and foldmap, though :( |
| 2023-11-14 00:08:15 +0100 | <monochrom> | EvanR: Actually they do. Usenet, Geocities, Myspace. Give it time. >:) |
| 2023-11-14 00:08:43 +0100 | <monochrom> | Oh and Google Plus haha :( |
| 2023-11-14 00:09:09 +0100 | <EvanR> | :( |
| 2023-11-14 00:09:23 +0100 | ski | recalls Geocities' sites |
| 2023-11-14 00:09:23 +0100 | <geekosaur> | google's a special case since they just randomly kill stuff |
| 2023-11-14 00:09:57 +0100 | <ski> | (occasionally, i end up looking up such a site on the Web Archive) |
| 2023-11-14 00:10:07 +0100 | <Inst> | but i'm like the onlyp erson who likes using vty directly, right? |
| 2023-11-14 00:10:40 +0100 | <monochrom> | I think if you stay up in IRC for a week you will run into the other vty users. |
| 2023-11-14 00:11:03 +0100 | <monochrom> | But there are more who were on IRC but left. |
| 2023-11-14 00:11:10 +0100 | <Inst> | text' apparently bugs out if you try to use any escape char :( |
| 2023-11-14 00:11:52 +0100 | <EvanR> | usually your negative statements ending with ", right?" sound questionable, but this time the negative includes you like using vty. Crazy |
| 2023-11-14 00:12:12 +0100 | <monochrom> | Employable people tend to get employed and have no time left for IRC. (So probably also not found on Reddit, Discourse, ...) |
| 2023-11-14 00:12:19 +0100 | <glguy> | My IRC client uses vty and I'm always here |
| 2023-11-14 00:12:27 +0100 | <geekosaur> | Inst, if vty doesn't know what the escape char is doing (which will be a given since you used it instead of a vty mechanism) it will misrender |
| 2023-11-14 00:12:41 +0100 | <Inst> | https://hackage.haskell.org/package/vty-6.0/docs/Graphics-Vty-Image.html#v:text-39- |
| 2023-11-14 00:13:10 +0100 | <geekosaur> | well, yes |
| 2023-11-14 00:13:54 +0100 | <Inst> | the replacement code i got was using text to generate subimages, then using <-> to contact it together during foldMap |
| 2023-11-14 00:14:18 +0100 | <geekosaur> | is text' supposed to include a full terminal emulator so it can deal with your escape sequences? |
| 2023-11-14 00:14:40 +0100 | <glguy> | You shouldn't be putting escape sequences in text', only printable stuff |
| 2023-11-14 00:15:06 +0100 | <Inst> | but isn't unicode depicted as escape sequences? |
| 2023-11-14 00:15:06 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2023-11-14 00:15:10 +0100 | <glguy> | no |
| 2023-11-14 00:15:19 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-11-14 00:15:22 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-11-14 00:15:47 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-11-14 00:15:56 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 00:16:15 +0100 | friendshipaka | (~Friendshi@user/Friendship) (Remote host closed the connection) |
| 2023-11-14 00:16:24 +0100 | lhpitn_ | (~tn@mail.lebenshilfe-pi.de) (Remote host closed the connection) |
| 2023-11-14 00:16:35 +0100 | Me-me | (~me-me@user/me-me) (Read error: Connection reset by peer) |
| 2023-11-14 00:16:35 +0100 | friendshipaka | (~Friendshi@user/Friendship) |
| 2023-11-14 00:17:19 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) |
| 2023-11-14 00:18:35 +0100 | <EvanR> | if your terminal has unicode support then unicode text is comprehended directly |
| 2023-11-14 00:18:55 +0100 | <Inst> | yah, it's working, i misunderstood what escape sequences meant in this context |
| 2023-11-14 00:19:30 +0100 | <geekosaur> | well, as utf8. but the documentation for text' makes it clear that it's talking about ASCII 27, which introduces terminal control sequences |
| 2023-11-14 00:19:51 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 240 seconds) |
| 2023-11-14 00:20:15 +0100 | <Inst> | ah, so it'll be able to print any char, but not support \n \t etc... |
| 2023-11-14 00:20:30 +0100 | <geekosaur> | right |
| 2023-11-14 00:22:09 +0100 | nate3 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-11-14 00:22:10 +0100 | <EvanR> | no love for utf-16? xD |
| 2023-11-14 00:22:30 +0100 | <geekosaur> | show me a terminal that speaks it |
| 2023-11-14 00:22:56 +0100 | <monochrom> | Maybe Windows console counts... |
| 2023-11-14 00:23:13 +0100 | <geekosaur> | vty doesn't work there, at least not yet |
| 2023-11-14 00:23:19 +0100 | <monochrom> | Also if you write a terminal in Java :) |
| 2023-11-14 00:23:35 +0100 | <glguy> | monochrom: vty has windows support released now afaik |
| 2023-11-14 00:23:53 +0100 | <geekosaur> | ah |
| 2023-11-14 00:24:15 +0100 | <glguy> | I haven't tried using it for anything, but it's in vty 6 |
| 2023-11-14 00:24:27 +0100 | <monochrom> | But I haven't checked! I am just guessing based on knowing the two major and sole systems that go with 16. |
| 2023-11-14 00:25:00 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
| 2023-11-14 00:25:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2023-11-14 00:25:55 +0100 | <monochrom> | Or rather, were early adopters back when Unicode needed only 16 so they chose that and got stuck and are now suffering bait-and-switch. |
| 2023-11-14 00:26:12 +0100 | <EvanR> | "In general, Windows PowerShell uses the Unicode UTF-16LE encoding by default" |
| 2023-11-14 00:26:17 +0100 | <exarkun> | I am using vty via reflex-vty. |
| 2023-11-14 00:26:43 +0100 | <exarkun> | _and_ I also like that star trek episode. |
| 2023-11-14 00:26:45 +0100 | <monochrom> | OTOH perhaps it is a consolation that MS is this time on the receiving end of embrace-extend-extinguish >:) |
| 2023-11-14 00:26:48 +0100 | <exarkun> | Computer, what is the nature of the universe? |
| 2023-11-14 00:27:06 +0100 | nate3 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-11-14 00:27:16 +0100 | <monochrom> | don't forget the size of the universe >:) |
| 2023-11-14 00:27:30 +0100 | <monochrom> | "it's 1000km across" |
| 2023-11-14 00:27:41 +0100 | <monochrom> | or something like that. I forgot the exact number. |
| 2023-11-14 00:27:59 +0100 | <exarkun> | The universe is a spheriod region 705 meters in diameter. |
| 2023-11-14 00:28:03 +0100 | <exarkun> | spheroid |
| 2023-11-14 00:28:16 +0100 | <EvanR> | that must be after it starts to eat the ship, which is bigger than that |
| 2023-11-14 00:28:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-11-14 00:28:43 +0100 | <exarkun> | Of course "spheroid" leaves some wiggle room. You cannot completely describe a spheroid with a single diameter. |
| 2023-11-14 00:28:54 +0100 | <exarkun> | It could be highly oblate. |
| 2023-11-14 00:29:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-14 00:29:18 +0100 | <ski> | the geoid is bumpy |
| 2023-11-14 00:29:44 +0100 | <monochrom> | Wait did I make a pun? Console, consolation... |
| 2023-11-14 00:30:23 +0100 | <exarkun> | Now I wonder if they share a root. |
| 2023-11-14 00:30:49 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) |
| 2023-11-14 00:31:04 +0100 | <exarkun> | yes! the Latin, consolari, "offer solace, encourage, comfort, cheer," |
| 2023-11-14 00:31:24 +0100 | <exarkun> | when you are feeling bad, go to your computer console to feel better. |
| 2023-11-14 00:31:46 +0100 | <ski> | there might be some console-related library called "consolation" |
| 2023-11-14 00:31:49 +0100 | <EvanR> | cmd.exe has the opposite effect |
| 2023-11-14 00:32:05 +0100 | <ski> | what's the opposite of "console" ? |
| 2023-11-14 00:32:10 +0100 | <exarkun> | (though .. probably not.. there's also the Latin, consolidare, "to make solid") |
| 2023-11-14 00:32:29 +0100 | <exarkun> | ski: "sole" obviously |
| 2023-11-14 00:32:32 +0100 | <EvanR> | heckle? harass? |
| 2023-11-14 00:33:27 +0100 | ski | was considering "prosole" |
| 2023-11-14 00:33:37 +0100 | cstml | (~cstml@user/cstml) (Quit: WeeChat 3.7.1) |
| 2023-11-14 00:34:13 +0100 | cstml | (~cstml@cpc151593-shef16-2-0-cust406.17-1.cable.virginm.net) |
| 2023-11-14 00:34:35 +0100 | cstml | (~cstml@cpc151593-shef16-2-0-cust406.17-1.cable.virginm.net) (Changing host) |
| 2023-11-14 00:34:35 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 00:34:46 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-11-14 00:36:53 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 2023-11-14 00:39:36 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) (Remote host closed the connection) |
| 2023-11-14 00:40:07 +0100 | <jackdk> | gui? |
| 2023-11-14 00:41:25 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-11-14 00:41:31 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-11-14 00:41:40 +0100 | <monochrom> | graphical consoles >:) |
| 2023-11-14 00:43:30 +0100 | <exarkun> | I have been thinking about doing something with tektronix ... |
| 2023-11-14 00:45:09 +0100 | <exarkun> | seems there is not yet a haskell library for doing so |
| 2023-11-14 00:46:31 +0100 | cstml | (~cstml@user/cstml) (Quit: WeeChat 3.7.1) |
| 2023-11-14 00:46:39 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-11-14 00:46:43 +0100 | Shock_ | (~shOkEy@84-236-21-62.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2023-11-14 00:48:02 +0100 | Shock_ | (~shOkEy@87-97-82-186.pool.digikabel.hu) |
| 2023-11-14 00:51:48 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 00:52:53 +0100 | cstml | (~cstml@user/cstml) (Client Quit) |
| 2023-11-14 00:53:09 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 00:55:33 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-11-14 01:00:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2023-11-14 01:01:47 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) |
| 2023-11-14 01:05:19 +0100 | CiaoSen | (~Jura@5.83.177.67) (Ping timeout: 264 seconds) |
| 2023-11-14 01:10:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) (Ping timeout: 260 seconds) |
| 2023-11-14 01:12:49 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2023-11-14 01:15:37 +0100 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-11-14 01:22:51 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800::302a) (Quit: Leaving) |
| 2023-11-14 01:27:45 +0100 | alp | (~alp@2001:861:5e02:eff0:ab69:69ba:52c5:1a83) (Ping timeout: 260 seconds) |
| 2023-11-14 01:29:58 +0100 | Jackneill | (~Jackneill@20014C4E1E058A00375EBC4DD70FB6A2.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-11-14 01:30:23 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2023-11-14 01:32:03 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-11-14 01:39:10 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-11-14 01:39:26 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-11-14 01:39:54 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-14 01:44:39 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-11-14 01:44:44 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) (Read error: Connection reset by peer) |
| 2023-11-14 01:44:54 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-11-14 01:46:47 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) |
| 2023-11-14 01:54:03 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-11-14 01:55:40 +0100 | sabino | (~sabino@user/sabino) (Ping timeout: 255 seconds) |
| 2023-11-14 01:57:44 +0100 | sabino | (~sabino@user/sabino) |
| 2023-11-14 02:01:46 +0100 | <haskellbridge> | 08<tewuzij> The opposite of constitution |
| 2023-11-14 02:02:08 +0100 | <ski> | destitution ? |
| 2023-11-14 02:04:03 +0100 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-11-14 02:04:14 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-11-14 02:11:26 +0100 | zero | (~z@user/zero) |
| 2023-11-14 02:15:03 +0100 | zzz | (~z@user/zero) (Ping timeout: 240 seconds) |
| 2023-11-14 02:18:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-11-14 02:19:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-14 02:20:21 +0100 | sdz | (~sdz@user/sdz) |
| 2023-11-14 02:28:14 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Read error: Connection reset by peer) |
| 2023-11-14 02:44:54 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-11-14 02:46:22 +0100 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-11-14 02:54:28 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-14 03:00:34 +0100 | tabemann_ | tabemann |
| 2023-11-14 03:07:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) |
| 2023-11-14 03:10:11 +0100 | pavonia | (~user@user/siracusa) |
| 2023-11-14 03:10:54 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Server closed connection) |
| 2023-11-14 03:11:00 +0100 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-14 03:11:07 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-11-14 03:14:01 +0100 | otto_s | (~user@p5b044659.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-11-14 03:15:13 +0100 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-11-14 03:15:45 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 03:16:08 +0100 | otto_s | (~user@p5de2f612.dip0.t-ipconnect.de) |
| 2023-11-14 03:16:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a560:5a24:e27a:a22e) (Ping timeout: 240 seconds) |
| 2023-11-14 03:21:27 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-11-14 03:21:46 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-11-14 03:23:44 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-11-14 03:26:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-14 03:29:05 +0100 | RMSBach | (~guygastin@137.184.131.156) (Server closed connection) |
| 2023-11-14 03:29:29 +0100 | dontdieych_ | (~alarm@132.226.169.184) (Server closed connection) |
| 2023-11-14 03:29:54 +0100 | dontdieych_ | (~alarm@132.226.169.184) |
| 2023-11-14 03:30:26 +0100 | RMSBach | (~guygastin@137.184.131.156) |
| 2023-11-14 03:30:35 +0100 | APic | (apic@apic.name) (Server closed connection) |
| 2023-11-14 03:30:48 +0100 | APic | (apic@apic.name) |
| 2023-11-14 03:35:11 +0100 | piele_ | (~piele@tbonesteak.creativeserver.net) (Server closed connection) |
| 2023-11-14 03:35:23 +0100 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2023-11-14 03:40:55 +0100 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-11-14 03:43:17 +0100 | davean | (~davean@davean.sciesnet.net) (Server closed connection) |
| 2023-11-14 03:43:35 +0100 | davean | (~davean@davean.sciesnet.net) |
| 2023-11-14 03:53:08 +0100 | markasoftware | (~quassel@107.161.26.124) (Server closed connection) |
| 2023-11-14 03:53:25 +0100 | markasoftware | (~quassel@107.161.26.124) |
| 2023-11-14 03:54:18 +0100 | Clint | (~Clint@user/clint) (Server closed connection) |
| 2023-11-14 03:54:26 +0100 | Clint | (~Clint@user/clint) |
| 2023-11-14 03:55:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-11-14 03:56:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-11-14 04:01:23 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Server closed connection) |
| 2023-11-14 04:01:56 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2023-11-14 04:05:29 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-11-14 04:06:23 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Server closed connection) |
| 2023-11-14 04:06:32 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-11-14 04:06:42 +0100 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Server closed connection) |
| 2023-11-14 04:07:17 +0100 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2023-11-14 04:14:02 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Server closed connection) |
| 2023-11-14 04:14:19 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2023-11-14 04:18:53 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-11-14 04:20:07 +0100 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 255 seconds) |
| 2023-11-14 04:20:45 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 04:21:44 +0100 | td_ | (~td@i53870929.versanet.de) |
| 2023-11-14 04:23:12 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-14 04:25:31 +0100 | sadmax | (~user@64.130.91.66) |
| 2023-11-14 04:26:11 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
| 2023-11-14 04:27:10 +0100 | sadmax | (~user@64.130.91.66) |
| 2023-11-14 04:27:45 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
| 2023-11-14 04:28:16 +0100 | sadmax | (~user@64.130.91.66) |
| 2023-11-14 04:30:08 +0100 | <hammond> | https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/fannkuchredux.html |
| 2023-11-14 04:30:26 +0100 | <hammond> | i find this hard to believe, pyhton and php faster than haskell? |
| 2023-11-14 04:33:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) (Remote host closed the connection) |
| 2023-11-14 04:33:20 +0100 | ario | (~ario@159.65.220.102) (Server closed connection) |
| 2023-11-14 04:33:29 +0100 | ario | (~ario@159.65.220.102) |
| 2023-11-14 04:33:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) |
| 2023-11-14 04:36:35 +0100 | ent | (entgod@kapsi.fi) (Server closed connection) |
| 2023-11-14 04:36:43 +0100 | ent | (entgod@kapsi.fi) |
| 2023-11-14 04:38:50 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Server closed connection) |
| 2023-11-14 04:39:11 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
| 2023-11-14 04:42:17 +0100 | <yushyin> | run the benchmark yourself for php,python and haskell and see :) |
| 2023-11-14 04:47:30 +0100 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 250 seconds) |
| 2023-11-14 04:48:02 +0100 | simpleauthority | (~simpleaut@user/simpleauthority) (Server closed connection) |
| 2023-11-14 04:48:22 +0100 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2023-11-14 04:53:23 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-11-14 04:53:27 +0100 | <EvanR> | look at the cpu load column |
| 2023-11-14 04:53:47 +0100 | <[Leary]> | hammond: If you look at the CPU load, clearly something is going very wrong with the parallelism in that particular piece of code. If you also look a bit lower, there are more competitive Haskell entries in the "unsafe" category. |
| 2023-11-14 04:55:07 +0100 | <EvanR> | also PHP 8 might not be a badly implemented as I remember from last time I used php (like php4) |
| 2023-11-14 04:56:52 +0100 | <[Leary]> | Python can also be very fast when all the glue code falls away and it's just BLAS underneath. I'm actually surprised it's so low in the ranks. |
| 2023-11-14 04:58:40 +0100 | <EvanR> | haskell code has this, flop (7:x1:x2:x3:x4:x5:x6:t) = x6:x5:x4:x3:x2:x1:7:t. I wonder if at this point using a vector or a strict data type with 8 fields would be better |
| 2023-11-14 04:59:27 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-14 04:59:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-14 04:59:27 +0100 | finn_elija | FinnElija |
| 2023-11-14 05:00:45 +0100 | <EvanR> | nvm, it seems to be a longer list |
| 2023-11-14 05:05:47 +0100 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Server closed connection) |
| 2023-11-14 05:05:57 +0100 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2023-11-14 05:09:30 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-11-14 05:09:41 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-11-14 05:10:44 +0100 | dy | (sid3438@user/dy) (Server closed connection) |
| 2023-11-14 05:10:54 +0100 | dy | (sid3438@user/dy) |
| 2023-11-14 05:11:14 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-11-14 05:11:23 +0100 | xelxebar | (~xelxebar@wilsonb.com) (Server closed connection) |
| 2023-11-14 05:11:44 +0100 | xelxebar | (~xelxebar@wilsonb.com) |
| 2023-11-14 05:11:50 +0100 | aforemny | (~aforemny@i59F516FE.versanet.de) |
| 2023-11-14 05:12:59 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 260 seconds) |
| 2023-11-14 05:12:59 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce5:8e00:9c3e:9c3b:5b8a:f18d) (Ping timeout: 255 seconds) |
| 2023-11-14 05:13:27 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2023-11-14 05:15:29 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-11-14 05:17:03 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-14 05:18:53 +0100 | sdz | (~sdz@user/sdz) (Quit: leaving) |
| 2023-11-14 05:19:13 +0100 | sdz | (~sdz@user/sdz) |
| 2023-11-14 05:20:02 +0100 | mzg | (mzg@37.221.213.54) (Server closed connection) |
| 2023-11-14 05:20:11 +0100 | mzg | (mzg@lazy.unconscious.biz) |
| 2023-11-14 05:21:13 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-11-14 05:21:14 +0100 | sdz | (~sdz@user/sdz) (Client Quit) |
| 2023-11-14 05:21:41 +0100 | sdz | (~sdz@user/sdz) |
| 2023-11-14 05:22:25 +0100 | sdz | (~sdz@user/sdz) (Client Quit) |
| 2023-11-14 05:23:14 +0100 | sdz | (~sdz@user/sdz) |
| 2023-11-14 05:28:37 +0100 | friendshipaka | (~Friendshi@user/Friendship) (Read error: Connection reset by peer) |
| 2023-11-14 05:28:50 +0100 | bcmiller | (~bm3719@66.42.95.185) (Server closed connection) |
| 2023-11-14 05:28:57 +0100 | friendshipaka | (~Friendshi@user/Friendship) |
| 2023-11-14 05:29:00 +0100 | bcmiller | (~bm3719@66.42.95.185) |
| 2023-11-14 05:35:29 +0100 | hook54321 | (sid149355@user/hook54321) (Server closed connection) |
| 2023-11-14 05:36:47 +0100 | hook54321 | (sid149355@user/hook54321) |
| 2023-11-14 05:37:08 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Server closed connection) |
| 2023-11-14 05:37:37 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2023-11-14 05:39:11 +0100 | carbolymer | (~carbolyme@dropacid.net) (Server closed connection) |
| 2023-11-14 05:39:22 +0100 | carbolymer | (~carbolyme@dropacid.net) |
| 2023-11-14 05:41:22 +0100 | libman08701 | (~Thunderbi@66.sub-174-198-194.myvzw.com) |
| 2023-11-14 05:45:19 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 05:45:38 +0100 | Inst | (~Inst@120.244.192.250) (Leaving) |
| 2023-11-14 05:47:32 +0100 | libman08701 | (~Thunderbi@66.sub-174-198-194.myvzw.com) (Quit: libman08701) |
| 2023-11-14 05:50:05 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 05:50:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 05:51:26 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2023-11-14 05:51:36 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2023-11-14 05:52:49 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-14 05:52:50 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2023-11-14 05:53:38 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (Server closed connection) |
| 2023-11-14 05:53:48 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2023-11-14 05:57:29 +0100 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) (Server closed connection) |
| 2023-11-14 05:57:38 +0100 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) |
| 2023-11-14 06:03:17 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-11-14 06:04:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-14 06:13:27 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-11-14 06:13:45 +0100 | trev | (~trev@user/trev) |
| 2023-11-14 06:15:00 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 06:15:50 +0100 | energizer | (~energizer@user/energizer) (Server closed connection) |
| 2023-11-14 06:15:57 +0100 | Inst | (~Inst@120.244.192.250) () |
| 2023-11-14 06:16:10 +0100 | energizer | (~energizer@user/energizer) |
| 2023-11-14 06:19:47 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-14 06:21:08 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Server closed connection) |
| 2023-11-14 06:21:26 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2023-11-14 06:21:45 +0100 | raym | (~ray@user/raym) (Quit: Upgrade to FreeBSD 14.0-RELEASE) |
| 2023-11-14 06:26:00 +0100 | _xor5 | (~xor@72.49.195.41) |
| 2023-11-14 06:26:00 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 06:26:00 +0100 | _xor5 | _xor |
| 2023-11-14 06:28:05 +0100 | sweater1 | (~sweater@206.81.18.26) (Server closed connection) |
| 2023-11-14 06:28:25 +0100 | sweater1 | (~sweater@206.81.18.26) |
| 2023-11-14 06:28:36 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 06:30:24 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 06:31:02 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Server closed connection) |
| 2023-11-14 06:31:15 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2023-11-14 06:31:35 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Server closed connection) |
| 2023-11-14 06:31:45 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2023-11-14 06:32:28 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-14 06:33:02 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2023-11-14 06:34:28 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 06:36:45 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-14 06:38:17 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 06:39:31 +0100 | michalz | (~michalz@185.246.207.222) |
| 2023-11-14 06:41:37 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-11-14 06:42:01 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-14 06:56:37 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-14 06:59:55 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 245 seconds) |
| 2023-11-14 07:04:49 +0100 | Wstfgl0 | Me-me |
| 2023-11-14 07:04:52 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2023-11-14 07:04:52 +0100 | Me-me | (~me-me@user/me-me) |
| 2023-11-14 07:09:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-11-14 07:10:43 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) |
| 2023-11-14 07:14:10 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 07:14:33 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 07:14:41 +0100 | siers | (~ij@user/ij) (Server closed connection) |
| 2023-11-14 07:14:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 07:15:02 +0100 | siers | (~ij@user/ij) |
| 2023-11-14 07:17:21 +0100 | oats | (~thomas@user/oats) (Server closed connection) |
| 2023-11-14 07:20:31 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-14 07:21:35 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Server closed connection) |
| 2023-11-14 07:21:40 +0100 | oats | (~thomas@user/oats) |
| 2023-11-14 07:21:47 +0100 | darkling | (~darkling@savella.carfax.org.uk) |
| 2023-11-14 07:21:48 +0100 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-11-14 07:23:59 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2023-11-14 07:24:14 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) () |
| 2023-11-14 07:24:48 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 268 seconds) |
| 2023-11-14 07:25:11 +0100 | acidjnk | (~acidjnk@p200300d6e72b93217d79895cb809dcc2.dip0.t-ipconnect.de) |
| 2023-11-14 07:27:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-14 07:28:32 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-14 07:30:05 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Server closed connection) |
| 2023-11-14 07:30:29 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2023-11-14 07:31:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2023-11-14 07:31:56 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) |
| 2023-11-14 07:36:12 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-11-14 07:38:51 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Server closed connection) |
| 2023-11-14 07:39:00 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2023-11-14 07:41:44 +0100 | remmie | (ianremsen@tilde.team) (Server closed connection) |
| 2023-11-14 07:42:11 +0100 | sshine | (~simon@zhen.mechanicus.xyz) (Server closed connection) |
| 2023-11-14 07:42:24 +0100 | sshine | (~simon@zhen.mechanicus.xyz) |
| 2023-11-14 07:44:08 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 2023-11-14 07:44:14 +0100 | remmie | (ianremsen@tilde.team) |
| 2023-11-14 07:44:23 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-11-14 07:49:29 +0100 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2023-11-14 07:49:47 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2023-11-14 07:50:35 +0100 | yoyofreeman | (~yoyofreem@176.97.76.178) (Quit: Leaving) |
| 2023-11-14 07:52:03 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-11-14 07:53:38 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 255 seconds) |
| 2023-11-14 07:54:03 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:2d00:1ac0:4dff:fedb:a3f1) |
| 2023-11-14 07:59:14 +0100 | aliosablack | (~chomwitt@athedsl-346287.home.otenet.gr) |
| 2023-11-14 07:59:20 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:2d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 268 seconds) |
| 2023-11-14 08:10:03 +0100 | lav | (~pi@wikipedia/maddy-from-celeste) (Server closed connection) |
| 2023-11-14 08:10:28 +0100 | lav | (~pi@wikipedia/maddy-from-celeste) |
| 2023-11-14 08:14:09 +0100 | sdz | (~sdz@user/sdz) (Quit: leaving) |
| 2023-11-14 08:16:11 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 08:16:38 +0100 | noctux | (~noctux@user/noctux) (Server closed connection) |
| 2023-11-14 08:16:46 +0100 | noctux | (~noctux@user/noctux) |
| 2023-11-14 08:18:50 +0100 | fr33domlover | (~fr33domlo@towards.vision) (Server closed connection) |
| 2023-11-14 08:19:14 +0100 | fr33domlover | (~fr33domlo@towards.vision) |
| 2023-11-14 08:21:32 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-11-14 08:28:19 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2023-11-14 08:30:50 +0100 | _xor2 | (~xor@72.49.195.41) |
| 2023-11-14 08:30:53 +0100 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Server closed connection) |
| 2023-11-14 08:31:06 +0100 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-11-14 08:31:14 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-14 08:31:15 +0100 | _xor2 | _xor |
| 2023-11-14 08:32:02 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Server closed connection) |
| 2023-11-14 08:32:11 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-11-14 08:33:18 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 08:33:23 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-14 08:34:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-14 08:39:11 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Server closed connection) |
| 2023-11-14 08:39:30 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2023-11-14 08:40:38 +0100 | abrar | (~abrar@pool-108-52-90-30.phlapa.fios.verizon.net) (Server closed connection) |
| 2023-11-14 08:41:02 +0100 | abrar | (~abrar@pool-108-52-90-30.phlapa.fios.verizon.net) |
| 2023-11-14 08:45:17 +0100 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection) |
| 2023-11-14 08:45:36 +0100 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2023-11-14 08:47:43 +0100 | thegeekinside | (~thegeekin@189.141.80.123) (Ping timeout: 246 seconds) |
| 2023-11-14 08:48:32 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Server closed connection) |
| 2023-11-14 08:48:40 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-11-14 08:50:11 +0100 | hexology | (~hexology@user/hexology) (Server closed connection) |
| 2023-11-14 08:50:32 +0100 | hexology | (~hexology@user/hexology) |
| 2023-11-14 08:50:50 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-14 08:51:17 +0100 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:eb3:c118:e5b7:cdf3) |
| 2023-11-14 08:51:33 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2023-11-14 08:52:02 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-14 08:57:03 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-14 08:58:59 +0100 | hammond | (proscan@user/hammond2) (Server closed connection) |
| 2023-11-14 08:59:08 +0100 | hammond | (proscan@gateway02.insomnia247.nl) |
| 2023-11-14 09:02:17 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (Server closed connection) |
| 2023-11-14 09:02:26 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-11-14 09:04:12 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2023-11-14 09:07:07 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-11-14 09:07:11 +0100 | patrl | (~patrl@user/patrl) (Server closed connection) |
| 2023-11-14 09:07:25 +0100 | patrl | (~patrl@user/patrl) |
| 2023-11-14 09:08:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-14 09:13:00 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 09:14:59 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 09:15:17 +0100 | <Inst> | is a program of main = undefined tautologically correct in type theory? |
| 2023-11-14 09:15:41 +0100 | <Inst> | i.e, is it a vacuous truth? |
| 2023-11-14 09:17:16 +0100 | <Inst> | or main = main ;) |
| 2023-11-14 09:17:43 +0100 | phma | (phma@2001:5b0:211f:6428:acc1:d82a:ec2e:4fd2) (Read error: Connection reset by peer) |
| 2023-11-14 09:18:44 +0100 | roosterphant | (~roosterph@user/roosterphant) (Server closed connection) |
| 2023-11-14 09:18:48 +0100 | phma | (phma@2001:5b0:2144:1ea8:391e:cdf9:d3a7:e03) |
| 2023-11-14 09:19:05 +0100 | roosterphant | (~roosterph@user/roosterphant) |
| 2023-11-14 09:22:54 +0100 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2023-11-14 09:23:11 +0100 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-11-14 09:29:59 +0100 | S11001001 | (sid42510@ilkley.irccloud.com) (Server closed connection) |
| 2023-11-14 09:30:07 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2023-11-14 09:30:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2023-11-14 09:31:49 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-14 09:34:53 +0100 | mmaruseacph2 | (~mihai@mihai.page) (Server closed connection) |
| 2023-11-14 09:34:56 +0100 | wallymathieu | (sid533252@uxbridge.irccloud.com) (Server closed connection) |
| 2023-11-14 09:35:06 +0100 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) |
| 2023-11-14 09:35:08 +0100 | mmaruseacph2 | (~mihai@mihai.page) |
| 2023-11-14 09:37:31 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) |
| 2023-11-14 09:38:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-14 09:40:12 +0100 | CiaoSen | (~Jura@2a05:5800:2a1:b00:2a3a:4dff:fe84:dbd5) |
| 2023-11-14 09:42:38 +0100 | dragestil | (~znc@user/dragestil) (Server closed connection) |
| 2023-11-14 09:42:59 +0100 | dragestil | (~znc@user/dragestil) |
| 2023-11-14 09:44:08 +0100 | nilradical | (~nilradica@user/naso) |
| 2023-11-14 09:47:33 +0100 | apache2 | (apache2@anubis.0x90.dk) (Read error: Connection reset by peer) |
| 2023-11-14 09:47:41 +0100 | apache2 | (apache2@anubis.0x90.dk) |
| 2023-11-14 09:47:42 +0100 | [_________] | (~oos95GWG@user/oos95GWG) (Server closed connection) |
| 2023-11-14 09:48:00 +0100 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2023-11-14 09:48:21 +0100 | polyphem | (~polyphem@ip-109-43-49-92.web.vodafone.de) |
| 2023-11-14 09:49:15 +0100 | ncf | (~n@monade.li) (Server closed connection) |
| 2023-11-14 09:49:21 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-11-14 09:49:34 +0100 | ncf | (~n@monade.li) |
| 2023-11-14 09:50:08 +0100 | Dykam | (Dykam@dykam.nl) (Server closed connection) |
| 2023-11-14 09:50:17 +0100 | Dykam | (Dykam@dykam.nl) |
| 2023-11-14 09:51:04 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Ping timeout: 246 seconds) |
| 2023-11-14 09:51:22 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 258 seconds) |
| 2023-11-14 09:51:24 +0100 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Ping timeout: 248 seconds) |
| 2023-11-14 09:51:31 +0100 | s4msung | (RZuYfCKc6a@user/s4msung) (Ping timeout: 264 seconds) |
| 2023-11-14 09:51:35 +0100 | yushyin | (lVHsxtO6yj@mail.karif.server-speed.net) (Ping timeout: 260 seconds) |
| 2023-11-14 09:51:55 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-11-14 09:52:00 +0100 | polyphem | (~polyphem@ip-109-43-49-92.web.vodafone.de) (Read error: Connection reset by peer) |
| 2023-11-14 09:52:00 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 245 seconds) |
| 2023-11-14 09:53:23 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-14 09:54:11 +0100 | alinab | (sid468903@helmsley.irccloud.com) (Server closed connection) |
| 2023-11-14 09:54:20 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2023-11-14 09:54:31 +0100 | s4msung | (qaYkM6pCDy@user/s4msung) |
| 2023-11-14 09:54:52 +0100 | xnbya | (~xnbya@116.202.23.221) |
| 2023-11-14 10:01:36 +0100 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:eb3:c118:e5b7:cdf3) (Quit: WeeChat 3.5) |
| 2023-11-14 10:01:41 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-14 10:02:10 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-11-14 10:06:28 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-14 10:06:49 +0100 | yushyin | (XznNkBgf65@karif.server-speed.net) |
| 2023-11-14 10:06:53 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-11-14 10:07:25 +0100 | caryhartline | (~caryhartl@168.182.58.169) (Client Quit) |
| 2023-11-14 10:08:29 +0100 | aristid | (sid1599@uxbridge.irccloud.com) (Server closed connection) |
| 2023-11-14 10:08:37 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2023-11-14 10:09:51 +0100 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 240 seconds) |
| 2023-11-14 10:10:48 +0100 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-11-14 10:10:58 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 10:11:11 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-11-14 10:14:12 +0100 | Square | (~Square@user/square) |
| 2023-11-14 10:14:53 +0100 | chele | (~chele@user/chele) |
| 2023-11-14 10:17:08 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-14 10:17:16 +0100 | danse-nr3 | (~danse@151.47.252.179) |
| 2023-11-14 10:17:26 +0100 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2023-11-14 10:17:45 +0100 | Jackneill | (~Jackneill@20014C4E1E1AA2006F74B99BA9A50702.dsl.pool.telekom.hu) |
| 2023-11-14 10:18:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-14 10:18:55 +0100 | nilradical | (~nilradica@user/naso) |
| 2023-11-14 10:20:49 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 10:21:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 10:22:06 +0100 | alp | (~alp@2001:861:5e02:eff0:453a:9a31:40c7:7965) |
| 2023-11-14 10:23:03 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 240 seconds) |
| 2023-11-14 10:23:17 +0100 | nilradical | (~nilradica@user/naso) (Ping timeout: 240 seconds) |
| 2023-11-14 10:23:17 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2023-11-14 10:23:27 +0100 | hamess | (~hamess@user/hamess) (Ping timeout: 240 seconds) |
| 2023-11-14 10:23:38 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection) |
| 2023-11-14 10:23:47 +0100 | hamess | (~hamess@user/hamess) |
| 2023-11-14 10:23:55 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-11-14 10:27:08 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-14 10:29:11 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Server closed connection) |
| 2023-11-14 10:29:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) (Remote host closed the connection) |
| 2023-11-14 10:29:30 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-11-14 10:31:51 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 240 seconds) |
| 2023-11-14 10:32:39 +0100 | mira | (~aranea@wireguard/contributorcat/mira) (Ping timeout: 240 seconds) |
| 2023-11-14 10:33:03 +0100 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2023-11-14 10:33:40 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2023-11-14 10:33:40 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2023-11-14 10:33:40 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-11-14 10:33:40 +0100 | ChanServ | +v lambdabot |
| 2023-11-14 10:35:26 +0100 | b20n | (sid115913@uxbridge.irccloud.com) (Server closed connection) |
| 2023-11-14 10:35:35 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2023-11-14 10:35:54 +0100 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 250 seconds) |
| 2023-11-14 10:37:03 +0100 | sefidel | (~sefidel@user/sefidel) (Ping timeout: 240 seconds) |
| 2023-11-14 10:38:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-11-14 10:38:48 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-14 10:39:51 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-11-14 10:40:08 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2023-11-14 10:41:50 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-11-14 10:42:50 +0100 | <danse-nr3> | i thought `sort` could leverage non-strictness in order to be more efficient when parts of the returned list are not used, but it does not seem to be the case |
| 2023-11-14 10:43:05 +0100 | <danse-nr3> | also, good morning from this slice of the world |
| 2023-11-14 10:46:44 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Server closed connection) |
| 2023-11-14 10:46:59 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-11-14 10:48:59 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2023-11-14 10:49:09 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-11-14 10:50:32 +0100 | <Hecate> | morning danse-nr3 |
| 2023-11-14 10:50:38 +0100 | anon1123_ | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Server closed connection) |
| 2023-11-14 10:50:43 +0100 | <danse-nr3> | ^^ |
| 2023-11-14 10:50:55 +0100 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2023-11-14 10:51:15 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) (Server closed connection) |
| 2023-11-14 10:51:29 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2023-11-14 10:53:56 +0100 | c_wraith | (~c_wraith@adjoint.us) (Server closed connection) |
| 2023-11-14 10:55:38 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2023-11-14 10:55:54 +0100 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2023-11-14 10:56:03 +0100 | lisq | (~quassel@lis.moe) |
| 2023-11-14 10:57:47 +0100 | mcfrdy | (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 2023-11-14 10:58:07 +0100 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2023-11-14 10:59:02 +0100 | sus0 | (zero@user/zeromomentum) (Read error: Connection reset by peer) |
| 2023-11-14 10:59:10 +0100 | sus02 | (zero@user/zeromomentum) |
| 2023-11-14 11:10:44 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-11-14 11:12:58 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2023-11-14 11:13:03 +0100 | Philonous | (~Philonous@user/philonous) (Ping timeout: 240 seconds) |
| 2023-11-14 11:13:50 +0100 | Philonous | (~Philonous@user/philonous) |
| 2023-11-14 11:14:49 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-11-14 11:14:50 +0100 | Moyst_ | (~moyst@user/moyst) (Server closed connection) |
| 2023-11-14 11:16:07 +0100 | Moyst_ | (~moyst@user/moyst) |
| 2023-11-14 11:22:12 +0100 | fendor_ | (~fendor@046125249112.public.t-mobile.at) |
| 2023-11-14 11:23:57 +0100 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-11-14 11:23:58 +0100 | <mauke> | danse-nr3: how did you measure it? |
| 2023-11-14 11:24:05 +0100 | lucasaiu | (~lucasaiu@user/lucasaiu) |
| 2023-11-14 11:24:15 +0100 | lucasaiu | (~lucasaiu@user/lucasaiu) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-11-14 11:25:18 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) (Ping timeout: 268 seconds) |
| 2023-11-14 11:26:01 +0100 | <danse-nr3> | not very accurately, i just did a quick test sorting a reversed list [0..<bignumber>] and calling head on it, and compared with the same + force |
| 2023-11-14 11:26:15 +0100 | <danse-nr3> | and compared with `minimum` |
| 2023-11-14 11:27:58 +0100 | fendor__ | (~fendor@84-115-228-189.cable.dynamic.surfer.at) |
| 2023-11-14 11:28:48 +0100 | <mauke> | I think you'd have to time 'head (sort list)' for increasingly longer lists |
| 2023-11-14 11:29:07 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2023-11-14 11:29:25 +0100 | <mauke> | if it sorts the whole list, the time taken should grow faster than O(n) |
| 2023-11-14 11:29:48 +0100 | <danse-nr3> | yeah not a bad idea, but if comparing with `force` for a long list does not show any advantage, it is enough for me i guess |
| 2023-11-14 11:30:13 +0100 | fendor_ | (~fendor@046125249112.public.t-mobile.at) (Ping timeout: 260 seconds) |
| 2023-11-14 11:30:39 +0100 | int-e | (~noone@int-e.eu) (Ping timeout: 240 seconds) |
| 2023-11-14 11:31:35 +0100 | int-e | (~noone@int-e.eu) |
| 2023-11-14 11:31:51 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 240 seconds) |
| 2023-11-14 11:32:01 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2023-11-14 11:34:48 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 11:39:34 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 11:40:27 +0100 | rosco | (~rosco@175.136.157.149) (Read error: Connection reset by peer) |
| 2023-11-14 11:41:18 +0100 | <__monty__> | wg 16 |
| 2023-11-14 11:41:26 +0100 | <__monty__> | >.< disregard |
| 2023-11-14 11:44:47 +0100 | danse-nr3 | (~danse@151.47.252.179) (Read error: Connection reset by peer) |
| 2023-11-14 11:45:22 +0100 | danse-nr3 | (~danse@151.47.234.14) |
| 2023-11-14 11:47:10 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-14 11:48:44 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-11-14 11:48:53 +0100 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-11-14 11:50:34 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.1) |
| 2023-11-14 11:53:42 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-11-14 11:54:48 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2023-11-14 11:55:10 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2023-11-14 11:58:05 +0100 | fendor__ | (~fendor@84-115-228-189.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2023-11-14 11:59:48 +0100 | <tomsmeding> | danse-nr3: head (sort list) cannot be better than O(n) because it has to locate the minimal element in the list |
| 2023-11-14 12:00:01 +0100 | <tomsmeding> | and it'll do it less efficiently than `minimum` because, well, it's also sorting :p |
| 2023-11-14 12:01:02 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) |
| 2023-11-14 12:01:26 +0100 | <danse-nr3> | sure, what i had hoped is it being faster than head . force . sort |
| 2023-11-14 12:02:06 +0100 | <danse-nr3> | which it seems to be, but by less than 1% |
| 2023-11-14 12:04:08 +0100 | <[Leary]> | danse-nr3: Try a random list. `sort` has special handling for ascending/descending runs, so you're sorting the whole list in linear time anyway. |
| 2023-11-14 12:05:41 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 240 seconds) |
| 2023-11-14 12:05:51 +0100 | <danse-nr3> | does it? Had not expected that. I will try, thanks. In any case, it could be that an algorithm that works efficiently with `take` is not convenient in the general case, and maybe there is a sorting functions in some other package that works better for that case. I will try with random, thanks |
| 2023-11-14 12:07:14 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 268 seconds) |
| 2023-11-14 12:08:34 +0100 | `2jt | (~jtomas@vdf-128.vdf.upv.es) |
| 2023-11-14 12:09:13 +0100 | <xerox> | https://www.stackage.org/haddock/lts-21.20/base-4.17.2.0/src/Data.OldList.html#sort |
| 2023-11-14 12:09:50 +0100 | <danse-nr3> | oooh. Thanks xerox |
| 2023-11-14 12:09:56 +0100 | <xerox> | I was curious as well |
| 2023-11-14 12:10:39 +0100 | <[Leary]> | Well, rather than "special handling", it would be better to say that it leverages the structure of the input list to provide better best-case and average-case performance. That involves pulling out these runs instead of merging up from singletons. |
| 2023-11-14 12:11:29 +0100 | pieguy128 | (~pieguy128@65.92.163.232) (Server closed connection) |
| 2023-11-14 12:11:34 +0100 | <[Leary]> | Otherwise mergesort is always in the worst-case. |
| 2023-11-14 12:12:19 +0100 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-163-232.dsl.bell.ca) |
| 2023-11-14 12:15:20 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Server closed connection) |
| 2023-11-14 12:15:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6c8e:2e92:196f:e24b) |
| 2023-11-14 12:15:55 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2023-11-14 12:17:42 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 12:21:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-11-14 12:22:07 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-11-14 12:22:34 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) |
| 2023-11-14 12:22:39 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-11-14 12:23:16 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-11-14 12:24:41 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection) |
| 2023-11-14 12:24:50 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2023-11-14 12:25:47 +0100 | rembo10_ | (~rembo10@main.remulis.com) (Server closed connection) |
| 2023-11-14 12:26:04 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-11-14 12:28:05 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-11-14 12:29:17 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Server closed connection) |
| 2023-11-14 12:29:33 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-14 12:29:38 +0100 | edwtjo | (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se) |
| 2023-11-14 12:29:38 +0100 | edwtjo | (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se) (Changing host) |
| 2023-11-14 12:29:38 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2023-11-14 12:29:38 +0100 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Server closed connection) |
| 2023-11-14 12:29:58 +0100 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2023-11-14 12:31:28 +0100 | hueso | (~root@user/hueso) |
| 2023-11-14 12:32:41 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2023-11-14 12:33:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-11-14 12:34:17 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2023-11-14 12:36:11 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Server closed connection) |
| 2023-11-14 12:36:33 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-11-14 12:40:01 +0100 | `2jt | (~jtomas@vdf-128.vdf.upv.es) (Quit: Leaving) |
| 2023-11-14 12:45:02 +0100 | maxfan8_ | (~max@2a01:4f8:192:5356::2) (Server closed connection) |
| 2023-11-14 12:45:14 +0100 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:4c6e:8da1:9508:f9c1) |
| 2023-11-14 12:45:27 +0100 | maxfan8_ | (~max@2a01:4f8:192:5356::2) |
| 2023-11-14 12:50:34 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-11-14 12:51:10 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-11-14 12:52:49 +0100 | CiaoSen | (~Jura@2a05:5800:2a1:b00:2a3a:4dff:fe84:dbd5) (Ping timeout: 260 seconds) |
| 2023-11-14 12:53:33 +0100 | euleritian | (~euleritia@x5271790e.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 12:53:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 12:56:05 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-11-14 13:01:44 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Server closed connection) |
| 2023-11-14 13:02:04 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-11-14 13:04:53 +0100 | _xor9 | (~xor@72.49.195.41) |
| 2023-11-14 13:06:49 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 260 seconds) |
| 2023-11-14 13:06:50 +0100 | _xor9 | _xor |
| 2023-11-14 13:10:28 +0100 | _xor3 | (~xor@72.49.195.41) |
| 2023-11-14 13:12:08 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 252 seconds) |
| 2023-11-14 13:12:09 +0100 | _xor3 | _xor |
| 2023-11-14 13:14:08 +0100 | CiaoSen | (~Jura@2a05:5800:2a1:b00:2a3a:4dff:fe84:dbd5) |
| 2023-11-14 13:15:20 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-11-14 13:20:11 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Server closed connection) |
| 2023-11-14 13:20:34 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2023-11-14 13:23:27 +0100 | danse-nr3 | (~danse@151.47.234.14) (Ping timeout: 260 seconds) |
| 2023-11-14 13:28:56 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-11-14 13:29:20 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-11-14 13:31:44 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Server closed connection) |
| 2023-11-14 13:32:01 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-11-14 13:32:41 +0100 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Server closed connection) |
| 2023-11-14 13:32:53 +0100 | yaroot | (~yaroot@p3477236-ipngn9802souka.saitama.ocn.ne.jp) (Server closed connection) |
| 2023-11-14 13:32:57 +0100 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 2023-11-14 13:33:09 +0100 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-11-14 13:36:36 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) (Ping timeout: 245 seconds) |
| 2023-11-14 13:37:28 +0100 | danse-nr3 | (~danse@151.47.234.14) |
| 2023-11-14 13:41:56 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) |
| 2023-11-14 13:42:34 +0100 | lhpitn_ | (~tn@mail.lebenshilfe-pi.de) |
| 2023-11-14 13:46:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) |
| 2023-11-14 13:46:24 +0100 | opqdonut | (opqdonut@pseudo.fixme.fi) (Server closed connection) |
| 2023-11-14 13:46:31 +0100 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-11-14 13:47:08 +0100 | lhpitn | (~tn@mail.lebenshilfe-pi.de) (Ping timeout: 268 seconds) |
| 2023-11-14 13:48:52 +0100 | Feuermagier | Guest8603 |
| 2023-11-14 13:48:52 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-11-14 13:48:52 +0100 | Guest8603 | (~Feuermagi@user/feuermagier) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-11-14 13:48:52 +0100 | Feuermagier_ | Feuermagier |
| 2023-11-14 13:49:17 +0100 | Pixi` | (~Pixi@user/pixi) |
| 2023-11-14 13:50:16 +0100 | califax_ | (~califax@user/califx) |
| 2023-11-14 13:50:28 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2023-11-14 13:50:55 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 264 seconds) |
| 2023-11-14 13:51:32 +0100 | califax_ | califax |
| 2023-11-14 13:52:43 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2023-11-14 13:59:14 +0100 | shane | (~shane@ana.rch.ist) (Server closed connection) |
| 2023-11-14 13:59:21 +0100 | shane | (~shane@ana.rch.ist) |
| 2023-11-14 14:03:47 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-11-14 14:04:15 +0100 | telser | (~quassel@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-11-14 14:06:17 +0100 | <ski> | Inst : "tautologically correct" ? "is it a vacuous truth" ? |
| 2023-11-14 14:07:10 +0100 | <Inst> | Just curious, it was something that came up when someone commented on some other handle |
| 2023-11-14 14:07:32 +0100 | df | (~ben@justworks.xyz) (Server closed connection) |
| 2023-11-14 14:07:46 +0100 | df | (~ben@justworks.xyz) |
| 2023-11-14 14:09:08 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Server closed connection) |
| 2023-11-14 14:09:14 +0100 | <Inst> | i mean, is there any other way to make it so that main :: IO a? |
| 2023-11-14 14:09:22 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-11-14 14:09:40 +0100 | <Inst> | well, forget it, it's a silly brain fart on my end |
| 2023-11-14 14:10:13 +0100 | <ski> | main = exitSuccess -- ? |
| 2023-11-14 14:11:38 +0100 | danse-nr3 | (~danse@151.47.234.14) (Remote host closed the connection) |
| 2023-11-14 14:12:01 +0100 | danse-nr3 | (~danse@151.47.234.14) |
| 2023-11-14 14:15:08 +0100 | lhpitn_ | lhpitn |
| 2023-11-14 14:15:51 +0100 | Igloo | (~ian@matrix.chaos.earth.li) (Server closed connection) |
| 2023-11-14 14:16:02 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-11-14 14:20:23 +0100 | raoul | (~raoul@95.179.203.88) (Server closed connection) |
| 2023-11-14 14:20:44 +0100 | raoul | (~raoul@95.179.203.88) |
| 2023-11-14 14:21:17 +0100 | danse-nr3 | (~danse@151.47.234.14) (Ping timeout: 240 seconds) |
| 2023-11-14 14:21:41 +0100 | danse-nr3 | (~danse@151.47.234.14) |
| 2023-11-14 14:21:57 +0100 | ares | (~ares@37-48-1-56.nat.epc.tmcz.cz) |
| 2023-11-14 14:22:23 +0100 | ares | (~ares@37-48-1-56.nat.epc.tmcz.cz) (Client Quit) |
| 2023-11-14 14:23:01 +0100 | ares123 | (~ares123@37-48-1-56.nat.epc.tmcz.cz) |
| 2023-11-14 14:23:04 +0100 | ares123 | (~ares123@37-48-1-56.nat.epc.tmcz.cz) () |
| 2023-11-14 14:23:54 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 14:24:09 +0100 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
| 2023-11-14 14:24:27 +0100 | liskin | (~liskin@xmonad/liskin) |
| 2023-11-14 14:29:17 +0100 | CiaoSen | (~Jura@2a05:5800:2a1:b00:2a3a:4dff:fe84:dbd5) (Ping timeout: 240 seconds) |
| 2023-11-14 14:30:35 +0100 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 2023-11-14 14:30:54 +0100 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2023-11-14 14:32:26 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 252 seconds) |
| 2023-11-14 14:34:38 +0100 | <bwe> | how can I replace single char of a ByteString? I did it with T.replace for Text. There is no BS.replace. |
| 2023-11-14 14:37:16 +0100 | erty | (~user@user/aeroplane) |
| 2023-11-14 14:37:17 +0100 | <danse-nr3> | there is no char in byte strings i think, without an encoding |
| 2023-11-14 14:39:56 +0100 | koolazer | (~koo@user/koolazer) (Server closed connection) |
| 2023-11-14 14:40:17 +0100 | koolazer | (~koo@user/koolazer) |
| 2023-11-14 14:44:15 +0100 | vilya | (~vilya@user/vilya) |
| 2023-11-14 14:49:57 +0100 | byorgey | (~byorgey@155.138.238.211) (Server closed connection) |
| 2023-11-14 14:50:09 +0100 | byorgey | (~byorgey@155.138.238.211) |
| 2023-11-14 14:51:00 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-11-14 14:51:15 +0100 | <exarkun> | bwe: ByteString is made out of Word8 |
| 2023-11-14 14:51:16 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 268 seconds) |
| 2023-11-14 14:52:05 +0100 | <exarkun> | bwe: You might be looking for Data.ByteString.map |
| 2023-11-14 14:52:08 +0100 | <bwe> | hell, the chaos of String, Text, ByteString, Word8 makes me wanna leave Haskell… |
| 2023-11-14 14:52:29 +0100 | <danse-nr3> | it is a commonly shared disappointment |
| 2023-11-14 14:52:34 +0100 | <hc> | Huh? It's very simple, except maybe that String shouldn't be the default |
| 2023-11-14 14:52:40 +0100 | <exarkun> | It's a lot to keep straight. |
| 2023-11-14 14:52:57 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-14 14:53:56 +0100 | <hc> | I'm guessing a lot of people understand all the straingforward concepts like monoids in the category of endofactors and higher kinded types, then despair because they don't know they should have used Texts instead of Strings %} |
| 2023-11-14 14:54:54 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-14 14:55:32 +0100 | <bwe> | I am coming from an implementation with Text and consider changing Text to ByteString for performance. What's the improvement in your experience if I switch from Text to ByteString? |
| 2023-11-14 14:56:07 +0100 | <exarkun> | bwe: "Performance" is not the reason to switch from Text to ByteString. |
| 2023-11-14 14:56:16 +0100 | <exarkun> | Text is for unicode. ByteString is for bytes. |
| 2023-11-14 14:56:28 +0100 | <bwe> | I need a guide when to use what |
| 2023-11-14 14:56:38 +0100 | <exarkun> | Use Text for unicode. Use ByteString for bytes. ;) (sorry) |
| 2023-11-14 14:57:01 +0100 | <exarkun> | (Of course you also have the strict vs lazy dimension to consider...) |
| 2023-11-14 14:57:22 +0100 | <bwe> | exarkun: I assume you personally did not create that mess, nor whoever did planned to do so. |
| 2023-11-14 14:57:26 +0100 | <hc> | Don't forget about ShortByteStrings btw ;p |
| 2023-11-14 14:57:32 +0100 | <exarkun> | Did you do some profiling to determine that your Text operations are the bottleneck? |
| 2023-11-14 14:58:52 +0100 | <bwe> | exarkun: yes, but I couldn't identify the bottleneck with profiling, except that TagSoup is slow. |
| 2023-11-14 14:59:37 +0100 | <bwe> | exarkun: so, my I reasoned to provide it ByteString instead of Text to see what happens. |
| 2023-11-14 15:00:01 +0100 | <bwe> | exarkun: however, if I get you right I will not get any benefit out of it in execution time, right? |
| 2023-11-14 15:00:23 +0100 | <exarkun> | okay, reasonable I guess. But ByteString doesn't readily support all the same operations as Text so the transition might be tricky while preserving correctness. |
| 2023-11-14 15:00:40 +0100 | <exarkun> | bwe: No, I don't mean to suggest Text and ByteString will always perform the same under the same operations. |
| 2023-11-14 15:00:56 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 15:00:59 +0100 | <exarkun> | I just meant to point out that a naive substitution of ByteString for Text might break your program. |
| 2023-11-14 15:01:02 +0100 | <bwe> | exarkun: well, my use case is parsing HTML and text. |
| 2023-11-14 15:01:15 +0100 | <bwe> | exarkun: that's exactly where I am in right now |
| 2023-11-14 15:01:23 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Server closed connection) |
| 2023-11-14 15:01:39 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2023-11-14 15:01:42 +0100 | <exarkun> | bwe: Indeed. Sadly, HTML often carries non-ASCII code points, eg UTF-8 encoded, so using ByteString to deal with it is tricky. |
| 2023-11-14 15:02:08 +0100 | <exarkun> | Do you know that there will be no non-ASCII, or that none of your operations will break if they run on the encoded form of those code points? |
| 2023-11-14 15:02:18 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-11-14 15:02:30 +0100 | <bwe> | exarkun: no, I don't know |
| 2023-11-14 15:02:49 +0100 | <bwe> | exarkun: so, then does Text handle UTF-8 encoded input? |
| 2023-11-14 15:02:58 +0100 | thegeekinside | (~thegeekin@189.141.80.123) |
| 2023-11-14 15:03:07 +0100 | <exarkun> | bwe: You can decode a ByteString using UTF-8 into a Text |
| 2023-11-14 15:03:16 +0100 | <exarkun> | bwe: I assume that's what tagsoup does. |
| 2023-11-14 15:03:31 +0100 | <exarkun> | (Or maybe it even reads the encoding from the input and decodes using the correct codec) |
| 2023-11-14 15:03:55 +0100 | <exarkun> | Functions for that kind of thing are in Data.Text.Encoding |
| 2023-11-14 15:04:23 +0100 | <exarkun> | Hum |
| 2023-11-14 15:04:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-14 15:04:38 +0100 | <stefan-__> | bwe: I found this quite helpful: https://gist.github.com/dino-/28b09c465c756c44b2c91d777408e166 |
| 2023-11-14 15:04:39 +0100 | <exarkun> | However, looking at tagsoup, I see that it parses with a `StringLike` typeclass .. which has both Text and ByteString instances |
| 2023-11-14 15:04:45 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 15:04:57 +0100 | dsrt^ | (~cd@76.145.193.217) (Remote host closed the connection) |
| 2023-11-14 15:05:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-11-14 15:05:03 +0100 | cheater_ | cheater |
| 2023-11-14 15:05:17 +0100 | end | (end@user/end/x-0094621) (Server closed connection) |
| 2023-11-14 15:05:21 +0100 | <exarkun> | So, I dunno, maybe tagsoup knows how to safely operate directly on ByteString through the whole process. |
| 2023-11-14 15:05:41 +0100 | <exarkun> | Then you only have to take care not to spoil that with whatever you add on top. |
| 2023-11-14 15:05:59 +0100 | <exarkun> | (But also, maybe StringLike is where part of your runtime costs come from?) |
| 2023-11-14 15:06:22 +0100 | <bwe> | exarkun: that's my feeling. |
| 2023-11-14 15:08:08 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2023-11-14 15:08:18 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-11-14 15:08:26 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-14 15:08:29 +0100 | <exarkun> | I wish I already had more experience with profiling in Haskell. I've probably now said everything useful I can say about it. |
| 2023-11-14 15:09:08 +0100 | diagprov | (sid348783@user/diagprov) (Server closed connection) |
| 2023-11-14 15:09:21 +0100 | end | (~end@user/end/x-0094621) |
| 2023-11-14 15:09:21 +0100 | diagprov | (sid348783@user/diagprov) |
| 2023-11-14 15:10:11 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2023-11-14 15:10:19 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-11-14 15:10:21 +0100 | <bwe> | exarkun: thanks for your time :) |
| 2023-11-14 15:10:23 +0100 | thegeekinside | (~thegeekin@189.141.80.123) (Ping timeout: 268 seconds) |
| 2023-11-14 15:10:39 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-14 15:13:50 +0100 | falafel | (~falafel@146.70.171.74) |
| 2023-11-14 15:15:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2023-11-14 15:15:20 +0100 | <carter> | The bottleneck is usually wherever you’re doing lots of allocations |
| 2023-11-14 15:16:15 +0100 | euleritian | (~euleritia@dynamic-089-204-135-241.89.204.135.pool.telefonica.de) |
| 2023-11-14 15:16:17 +0100 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (Server closed connection) |
| 2023-11-14 15:16:25 +0100 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) |
| 2023-11-14 15:19:03 +0100 | thegeekinside | (~thegeekin@189.141.80.123) |
| 2023-11-14 15:19:17 +0100 | alp | (~alp@2001:861:5e02:eff0:453a:9a31:40c7:7965) (Ping timeout: 240 seconds) |
| 2023-11-14 15:22:20 +0100 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) (Server closed connection) |
| 2023-11-14 15:22:28 +0100 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) |
| 2023-11-14 15:23:38 +0100 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) (ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2023-11-14 15:23:53 +0100 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2023-11-14 15:23:59 +0100 | Server | +Cnt |
| 2023-11-14 15:24:05 +0100 | <bwe> | carter: how can I locate those? well, profiling is not trivial for the uninitiated. |
| 2023-11-14 15:24:36 +0100 | <carter> | So you do a profiling build of your code |
| 2023-11-14 15:24:56 +0100 | <carter> | And then run the program with various choices of profiling flags to get more info |
| 2023-11-14 15:25:39 +0100 | <carter> | Handily enough, most profiling types are around what’s allocating data, what retaining data, and so forth |
| 2023-11-14 15:26:09 +0100 | <carter> | Plus what type is being allocated etc |
| 2023-11-14 15:26:11 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2023-11-14 15:26:21 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2023-11-14 15:26:47 +0100 | <carter> | With text and bytestring slicing isn’t a copy, so there’s possibly the issue that you aren’t copying those. Or maybe you should! |
| 2023-11-14 15:27:09 +0100 | <carter> | Or you’re writing code generic over the string like interface and you should commit to TEXT |
| 2023-11-14 15:27:26 +0100 | <bwe> | carter: so which profiling flags do you recommend me to use? I've got the profiling to turn out the .prof file, already. But the results are not enlightening yet. |
| 2023-11-14 15:27:34 +0100 | BasketSong | (~BasketSon@pool-98-115-165-154.phlapa.fios.verizon.net) |
| 2023-11-14 15:27:36 +0100 | <carter> | TRY ALL OD THEM |
| 2023-11-14 15:27:46 +0100 | <bwe> | :) |
| 2023-11-14 15:28:00 +0100 | <carter> | if you don’t know what’s happening, do each type, and read the what sortah info each does in the manual |
| 2023-11-14 15:28:10 +0100 | <carter> | Also time profiling |
| 2023-11-14 15:28:26 +0100 | <carter> | Dependent on the platform you can even use Linux perf or something |
| 2023-11-14 15:28:32 +0100 | <carter> | Measure measure measure |
| 2023-11-14 15:28:33 +0100 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-11-14 15:28:46 +0100 | <carter> | Maybe start with time profiling |
| 2023-11-14 15:29:41 +0100 | tureba | (~tureba@tureba.org) (Server closed connection) |
| 2023-11-14 15:29:57 +0100 | tureba | (~tureba@tureba.org) |
| 2023-11-14 15:34:35 +0100 | danse-nr3 | (~danse@151.47.234.14) (Ping timeout: 260 seconds) |
| 2023-11-14 15:36:45 +0100 | sm | (~sm@plaintextaccounting/sm) |
| 2023-11-14 15:37:56 +0100 | malte | (~malte@mal.tc) (Server closed connection) |
| 2023-11-14 15:38:08 +0100 | joeyh | (~joeyh@kitenet.net) (Server closed connection) |
| 2023-11-14 15:38:09 +0100 | malte | (~malte@mal.tc) |
| 2023-11-14 15:38:19 +0100 | joeyh | (joeyh@kitenet.net) |
| 2023-11-14 15:38:40 +0100 | danse-nr3 | (~danse@151.47.234.14) |
| 2023-11-14 15:43:04 +0100 | aliosablack | (~chomwitt@athedsl-346287.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2023-11-14 15:47:26 +0100 | danse-nr3 | (~danse@151.47.234.14) (Ping timeout: 245 seconds) |
| 2023-11-14 15:47:51 +0100 | falafel_ | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-11-14 15:48:14 +0100 | danse-nr3 | (~danse@151.35.226.222) |
| 2023-11-14 15:48:49 +0100 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-11-14 15:48:57 +0100 | sm[i] | (~user@plaintextaccounting/sm) |
| 2023-11-14 15:50:05 +0100 | falafel | (~falafel@146.70.171.74) (Ping timeout: 240 seconds) |
| 2023-11-14 15:53:09 +0100 | <dmj`> | bwe: did you paste your code? |
| 2023-11-14 15:55:05 +0100 | <bwe> | ok, the system ran out of memory (64 GB) with +RTS -p -pj params. |
| 2023-11-14 15:55:33 +0100 | <bwe> | dmj`: No, I am just thinking which parts I could share. |
| 2023-11-14 15:55:54 +0100 | <dmj`> | bwe: are you using strict or lazy bytestrings, or both |
| 2023-11-14 15:57:29 +0100 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (Server closed connection) |
| 2023-11-14 15:57:33 +0100 | BasketSong | (~BasketSon@pool-98-115-165-154.phlapa.fios.verizon.net) (Quit: Client closed) |
| 2023-11-14 15:57:38 +0100 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 2023-11-14 15:58:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-11-14 15:58:55 +0100 | <bwe> | dmj`: I am using req to save HTML files to disk. I write and read them as lazy ByteStrings. The remainder of the parser lib uses Text with Scalpel (that internally uses TagSoup which uses StringLike). |
| 2023-11-14 15:59:26 +0100 | <dmj`> | bwe: how far do you get into that process before you get an OOM ? |
| 2023-11-14 16:00:06 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-14 16:00:39 +0100 | <dmj`> | bwe: how large is the html file on disk too |
| 2023-11-14 16:01:15 +0100 | Nikopol | (nikopol@user/astrorigin) (Server closed connection) |
| 2023-11-14 16:01:25 +0100 | Nikopol | (nikopol@yoga.astrorigin.com) |
| 2023-11-14 16:01:25 +0100 | Nikopol | (nikopol@yoga.astrorigin.com) (Changing host) |
| 2023-11-14 16:01:25 +0100 | Nikopol | (nikopol@user/astrorigin) |
| 2023-11-14 16:02:44 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-14 16:02:53 +0100 | <bwe> | HTML -> Dto -> ParsedEntity -- that's the process actually. |
| 2023-11-14 16:03:19 +0100 | <bwe> | I do do a `scrapeStringLike (decodeUtf8 $ BL.toStrict bs) scraper` to realise the Dto. |
| 2023-11-14 16:03:31 +0100 | <bwe> | dmj`: 800k on average |
| 2023-11-14 16:05:35 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 16:05:47 +0100 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Server closed connection) |
| 2023-11-14 16:06:03 +0100 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-11-14 16:08:27 +0100 | <dmj`> | I was about to ask if you're using toStrict :) |
| 2023-11-14 16:08:29 +0100 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Server closed connection) |
| 2023-11-14 16:08:38 +0100 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2023-11-14 16:08:41 +0100 | <bwe> | here's the profiling: https://uploadpie.com/jJipKZ |
| 2023-11-14 16:08:46 +0100 | <dmj`> | bwe: that's going to force everything into the heap |
| 2023-11-14 16:09:16 +0100 | <dmj`> | bwe: Data.Text.Lazy.Encoding |
| 2023-11-14 16:11:45 +0100 | <bwe> | so, should I then turn any Text type into lazy Text through the scraping pipeline? |
| 2023-11-14 16:11:54 +0100 | _73 | (~anon_73@2600:4040:5205:d800:21e8:9777:49a5:db28) |
| 2023-11-14 16:11:55 +0100 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-14 16:13:46 +0100 | <dmj`> | bwe: is 'bs' just a chunk here, or is it the entire file? Also, are you using concurrency to read all files from disk at the same time when you're doing this? |
| 2023-11-14 16:14:14 +0100 | Athas | (athas@sigkill.dk) (Server closed connection) |
| 2023-11-14 16:14:25 +0100 | Athas | (athas@sigkill.dk) |
| 2023-11-14 16:15:48 +0100 | <bwe> | dmj`: bs is the entire html file; no, I am doing a `mapM BL.readfile files`). |
| 2023-11-14 16:16:11 +0100 | <bwe> | dmj`: I was thinking of cutting the html down before putting it into the parsing pipeline. |
| 2023-11-14 16:16:20 +0100 | ringo___ | (~ringo@157.230.117.128) (Server closed connection) |
| 2023-11-14 16:16:41 +0100 | ringo___ | (~ringo@157.230.117.128) |
| 2023-11-14 16:16:42 +0100 | <bwe> | dmj`: did you look into the profiling screenshot? |
| 2023-11-14 16:17:55 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-14 16:18:18 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-14 16:19:24 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 16:22:17 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection) |
| 2023-11-14 16:22:34 +0100 | mrvdb | (~mrvdb@185.92.221.186) |
| 2023-11-14 16:23:46 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 268 seconds) |
| 2023-11-14 16:24:05 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-14 16:25:32 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Server closed connection) |
| 2023-11-14 16:25:39 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-11-14 16:39:56 +0100 | falafel_ | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 2023-11-14 16:42:45 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 16:44:32 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 16:45:18 +0100 | <erty> | The inventor of unix-pipes Mcllroy have happened to use haskell |
| 2023-11-14 16:45:34 +0100 | <erty> | https://www.cs.dartmouth.edu/~doug/powser.html |
| 2023-11-14 16:47:26 +0100 | nate3 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-11-14 16:49:56 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-11-14 16:50:17 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-11-14 16:51:11 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 245 seconds) |
| 2023-11-14 16:52:13 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) (Ping timeout: 255 seconds) |
| 2023-11-14 16:55:20 +0100 | <danse-nr3> | he could not fail appreciating the composing power ;) |
| 2023-11-14 16:56:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3080:2ce:4a2:17) (Ping timeout: 245 seconds) |
| 2023-11-14 16:57:18 +0100 | Guest|37 | (~Guest|37@client.svinov.net) |
| 2023-11-14 16:57:33 +0100 | Guest|37 | (~Guest|37@client.svinov.net) (Client Quit) |
| 2023-11-14 16:58:53 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 240 seconds) |
| 2023-11-14 17:01:20 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Server closed connection) |
| 2023-11-14 17:01:26 +0100 | chomwitt | (~chomwitt@athedsl-346287.home.otenet.gr) |
| 2023-11-14 17:01:37 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2023-11-14 17:06:11 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) |
| 2023-11-14 17:07:10 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2023-11-14 17:10:14 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-11-14 17:10:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2023-11-14 17:10:42 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-11-14 17:12:28 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-11-14 17:13:17 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 17:13:59 +0100 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-11-14 17:15:21 +0100 | alphastate | (~alphastat@176.254.244.83) |
| 2023-11-14 17:15:39 +0100 | bjs | (sid190364@user/bjs) (Ping timeout: 258 seconds) |
| 2023-11-14 17:15:49 +0100 | systemfault | (sid267009@about/typescript/member/systemfault) (Read error: Connection reset by peer) |
| 2023-11-14 17:15:57 +0100 | systemfault | (sid267009@about/typescript/member/systemfault) |
| 2023-11-14 17:16:03 +0100 | bjs | (sid190364@user/bjs) |
| 2023-11-14 17:16:18 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-14 17:16:29 +0100 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:4c6e:8da1:9508:f9c1) (Ping timeout: 240 seconds) |
| 2023-11-14 17:16:56 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Server closed connection) |
| 2023-11-14 17:18:20 +0100 | alphastate_ | (~alphastat@176.254.244.83) (Ping timeout: 258 seconds) |
| 2023-11-14 17:22:47 +0100 | manwithluck | (manwithluc@ec2-52-197-234-151.ap-northeast-1.compute.amazonaws.com) (Server closed connection) |
| 2023-11-14 17:23:14 +0100 | manwithluck | (~manwithlu@2406:da14:5ea:e400:7863:dbc1:6a84:3050) |
| 2023-11-14 17:23:53 +0100 | danso | (~danso@user/danso) (Server closed connection) |
| 2023-11-14 17:24:06 +0100 | danso | (~danso@user/danso) |
| 2023-11-14 17:26:44 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-14 17:27:38 +0100 | TMA | (tma@twin.jikos.cz) (Server closed connection) |
| 2023-11-14 17:27:55 +0100 | TMA | (tma@twin.jikos.cz) |
| 2023-11-14 17:30:40 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 17:33:42 +0100 | Inst | (~Inst@120.244.192.250) |
| 2023-11-14 17:37:17 +0100 | tv | (~tv@user/tv) (Server closed connection) |
| 2023-11-14 17:37:41 +0100 | tv | (~tv@user/tv) |
| 2023-11-14 17:39:14 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Server closed connection) |
| 2023-11-14 17:39:21 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2023-11-14 17:39:25 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-11-14 17:44:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-11-14 17:45:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 17:45:10 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-11-14 17:48:10 +0100 | sadmax | (~user@64.130.91.66) |
| 2023-11-14 17:53:32 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) (Remote host closed the connection) |
| 2023-11-14 17:53:44 +0100 | acidjnk | (~acidjnk@p200300d6e72b93217d79895cb809dcc2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-11-14 17:54:07 +0100 | acidjnk | (~acidjnk@p200300d6e72b93217d79895cb809dcc2.dip0.t-ipconnect.de) |
| 2023-11-14 17:55:25 +0100 | <dmj`> | bwe: instead of "do { xs <- mapM BL.readFile files }", try doing -- "do { forM_ files $ \file -> do { bytes <- readFile file; processThing bytes } }" |
| 2023-11-14 17:55:47 +0100 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (Server closed connection) |
| 2023-11-14 17:55:48 +0100 | <dmj`> | bwe: the latter will ensure bytes gets GC'd before the next file is read |
| 2023-11-14 17:55:58 +0100 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-11-14 17:56:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Remote host closed the connection) |
| 2023-11-14 17:57:23 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-14 17:58:38 +0100 | cayley5 | (~cayley5@user/phileasfogg) (Server closed connection) |
| 2023-11-14 17:58:58 +0100 | cayley5 | (~cayley5@user/phileasfogg) |
| 2023-11-14 17:59:31 +0100 | danse-nr3 | (~danse@151.35.226.222) (Ping timeout: 245 seconds) |
| 2023-11-14 18:00:41 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-14 18:02:53 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 240 seconds) |
| 2023-11-14 18:04:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2023-11-14 18:05:05 +0100 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Server closed connection) |
| 2023-11-14 18:05:13 +0100 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2023-11-14 18:05:50 +0100 | ubert | (~Thunderbi@178.165.177.1.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2023-11-14 18:09:10 +0100 | euleritian | (~euleritia@dynamic-089-204-135-241.89.204.135.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 18:09:27 +0100 | euleritian | (~euleritia@dynamic-089-204-135-241.89.204.135.pool.telefonica.de) |
| 2023-11-14 18:09:49 +0100 | euleritian | (~euleritia@dynamic-089-204-135-241.89.204.135.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-14 18:10:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-14 18:10:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 18:12:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-14 18:12:48 +0100 | califax | (~califax@user/califx) |
| 2023-11-14 18:13:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-11-14 18:17:58 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-14 18:19:35 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-11-14 18:20:32 +0100 | troydm | (~troydm@user/troydm) (Server closed connection) |
| 2023-11-14 18:20:55 +0100 | troydm | (~troydm@user/troydm) |
| 2023-11-14 18:21:57 +0100 | <dmj`> | bwe: I assume you have two nested mapM calls, one to read all the files, and the other to process them all. This will guarantee that all bytes are read into memory before xs is discard, killing incremental processing, guaranteeing large heap growth |
| 2023-11-14 18:22:13 +0100 | <dmj`> | since mapM is implemented in terms of foldr |
| 2023-11-14 18:22:27 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 18:22:46 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-14 18:22:49 +0100 | <dmj`> | bwe: link expired |
| 2023-11-14 18:23:12 +0100 | cstml | (~cstml@user/cstml) (Client Quit) |
| 2023-11-14 18:24:13 +0100 | ravamrt | (~ravamrt@2402:d000:8130:d6c:7aa6:9a23:1f08:33b2) |
| 2023-11-14 18:27:16 +0100 | ravamrt | (~ravamrt@2402:d000:8130:d6c:7aa6:9a23:1f08:33b2) () |
| 2023-11-14 18:29:20 +0100 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 2023-11-14 18:29:46 +0100 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2023-11-14 18:29:50 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Server closed connection) |
| 2023-11-14 18:29:58 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2023-11-14 18:30:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Remote host closed the connection) |
| 2023-11-14 18:31:04 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-14 18:31:27 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-14 18:32:39 +0100 | cstml | (~pi@user/cstml) |
| 2023-11-14 18:33:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 18:34:45 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-11-14 18:34:47 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Server closed connection) |
| 2023-11-14 18:34:54 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2023-11-14 18:35:07 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-14 18:35:26 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-11-14 18:35:47 +0100 | califax | (~califax@user/califx) |
| 2023-11-14 18:36:44 +0100 | ravamrt | (~ravamrt@2402:d000:8130:d6c:7aa6:9a23:1f08:33b2) |
| 2023-11-14 18:36:52 +0100 | jrm | (~jrm@user/jrm) |
| 2023-11-14 18:37:28 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-14 18:40:57 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-11-14 18:43:04 +0100 | ravamrt | (~ravamrt@2402:d000:8130:d6c:7aa6:9a23:1f08:33b2) () |
| 2023-11-14 18:44:42 +0100 | mxs | (~mxs@user/mxs) (Server closed connection) |
| 2023-11-14 18:44:53 +0100 | mxs | (~mxs@user/mxs) |
| 2023-11-14 18:46:49 +0100 | <EvanR> | you sometimes hear about lazy ML (LML), but it seems hard to find much info about it. There's an ftp site with some examples like executable semantics of lambda calculus |
| 2023-11-14 18:46:57 +0100 | <EvanR> | but no compiler |
| 2023-11-14 18:47:08 +0100 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2023-11-14 18:47:31 +0100 | <Inst> | is it a bad thing |
| 2023-11-14 18:47:51 +0100 | <Inst> | if all my attempts to use ReaderT end up with me refactoring to reuse StateT? |
| 2023-11-14 18:48:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-14 18:48:29 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-14 18:48:40 +0100 | <EvanR> | that's like changing your usage of "r" file open flags to "rw" |
| 2023-11-14 18:48:50 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-11-14 18:48:54 +0100 | <EvanR> | two different animals |
| 2023-11-14 18:49:54 +0100 | <Inst> | I should just sober up instead and figure out what to do, I'm still playing around with Vty and this whole hexgrid experiment, written in 4 different styles |
| 2023-11-14 18:50:11 +0100 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) (Server closed connection) |
| 2023-11-14 18:50:19 +0100 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) |
| 2023-11-14 18:50:26 +0100 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-11-14 18:50:53 +0100 | <Inst> | https://github.com/haskript/big-book-of-small-haskell-projects/blob/master/35.HexGrid/HexGridVty.hs |
| 2023-11-14 18:51:07 +0100 | <EvanR> | if you want to try more than 4 styles i could probably come up with a few more xD |
| 2023-11-14 18:51:18 +0100 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
| 2023-11-14 18:51:25 +0100 | <EvanR> | evolution of a haskell GUI programmer |
| 2023-11-14 18:52:41 +0100 | <Inst> | sure, why not |
| 2023-11-14 18:52:53 +0100 | <Inst> | tbh I'd be happy if someone were to take control / be responsible for at least BBoSHP |
| 2023-11-14 18:53:10 +0100 | <Inst> | I wouldn't mind if people were to toss random implementation of the originally python projects in there willy nilly, it'd be fun |
| 2023-11-14 18:53:12 +0100 | <EvanR> | your usage of bare Reader could probably pretty easily just be 1 extra parameter of a bare function |
| 2023-11-14 18:53:14 +0100 | danse-nr3 | (~danse@151.35.226.222) |
| 2023-11-14 18:53:37 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2023-11-14 18:53:37 +0100 | <Inst> | including Singletons based implementations of all of the original Py projects >:D |
| 2023-11-14 18:57:54 +0100 | <EvanR> | what is BBoSHP |
| 2023-11-14 18:58:03 +0100 | <Inst> | Big Book of Small Haskell Projects |
| 2023-11-14 18:59:45 +0100 | <Inst> | but if I didn't use bare reader, how else would I get the opportunity to enjoy Gabriella Gonzalez's wonderful mmorph library? |
| 2023-11-14 19:00:50 +0100 | <EvanR> | is it big book of getting things done or big book of using stuff because you can |
| 2023-11-14 19:01:26 +0100 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) (Server closed connection) |
| 2023-11-14 19:01:40 +0100 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) |
| 2023-11-14 19:01:49 +0100 | <EvanR> | so you want to make textmode board game, let me introduce you to some category theory xD |
| 2023-11-14 19:03:18 +0100 | <EvanR> | in elixir they have barely any features beyond recursion and pattern matching, so they have the luxury of not wondering which combination of arcane abstractions to use for tasks |
| 2023-11-14 19:03:59 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-14 19:04:13 +0100 | <EvanR> | (they do have lisp-like metaprogramming, but I think it's discouraged for day to day tasks) |
| 2023-11-14 19:05:33 +0100 | <cstml> | EvanR: ReaderT is useful when you want some static resources through the life of your App. If you need to change them, then they're probably not a Reader usecase. (also) Don't feel bad about using StateT |
| 2023-11-14 19:06:33 +0100 | <EvanR> | Inst, ^ |
| 2023-11-14 19:06:40 +0100 | <dmj`> | unless you're using concurrency w/ StateT |
| 2023-11-14 19:07:08 +0100 | <cstml> | If you really feel like it, stack a couple StateT's - break the "rules". You'll get a better sense of what works and what doesn't. |
| 2023-11-14 19:07:17 +0100 | codedmart | (~codedmart@li335-49.members.linode.com) (Server closed connection) |
| 2023-11-14 19:07:18 +0100 | <EvanR> | (and then, ReaderT over IO is kind of redundant since you can put IORefs in the resources) |
| 2023-11-14 19:07:30 +0100 | <EvanR> | er StateT over IO |
| 2023-11-14 19:07:35 +0100 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2023-11-14 19:07:43 +0100 | <EvanR> | vs ReaderT IO with IORefs in the resources |
| 2023-11-14 19:10:02 +0100 | davl_ | (~davl@207.154.228.18) (Server closed connection) |
| 2023-11-14 19:10:17 +0100 | <cstml> | EvanR: I'd go down STM path + TVar having seen that ~ but maybe your usecase is better with IORefs. |
| 2023-11-14 19:10:23 +0100 | davl | (~davl@207.154.228.18) |
| 2023-11-14 19:10:38 +0100 | <EvanR> | dmj`, ^ |
| 2023-11-14 19:11:55 +0100 | <John_Ivan> | anyone else ever get a build by ghc that just "seems to run an endless loop"? |
| 2023-11-14 19:12:10 +0100 | <dmj`> | John_Ivan: did you compile w/ -v |
| 2023-11-14 19:12:16 +0100 | <John_Ivan> | nope. |
| 2023-11-14 19:12:33 +0100 | <John_Ivan> | "cabal build" | "cabal run" |
| 2023-11-14 19:12:35 +0100 | <John_Ivan> | is what I did. |
| 2023-11-14 19:12:44 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Server closed connection) |
| 2023-11-14 19:12:53 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2023-11-14 19:12:55 +0100 | <John_Ivan> | my program hangs. even though it compiled succesfully. and I don't see any code here that might run into an endless loop... |
| 2023-11-14 19:13:05 +0100 | <John_Ivan> | I don't even have loops |
| 2023-11-14 19:13:25 +0100 | <dmj`> | John_Ivan: can you paste your code, and just try `cabal run`, it should build if it needs to |
| 2023-11-14 19:13:50 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Server closed connection) |
| 2023-11-14 19:14:00 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2023-11-14 19:14:48 +0100 | <c_wraith> | John_Ivan: are you compiling with -Wall? a good number of infinite loops are the result of accidental shadowing |
| 2023-11-14 19:15:03 +0100 | <c_wraith> | and -Wall would tell you about shadowing |
| 2023-11-14 19:15:19 +0100 | <John_Ivan> | main :: IO () |
| 2023-11-14 19:15:19 +0100 | <John_Ivan> | main = do |
| 2023-11-14 19:15:19 +0100 | <John_Ivan> | let dirPath = "C:\\Ruby31-x64" |
| 2023-11-14 19:15:19 +0100 | <John_Ivan> | setWorkingDirectory dirPath |
| 2023-11-14 19:15:19 +0100 | <John_Ivan> | getWorkingDirectory >>= putStrLn |
| 2023-11-14 19:15:20 +0100 | <John_Ivan> | files <- getFiles dirPath |
| 2023-11-14 19:15:22 +0100 | <John_Ivan> | putStrLn $ show files |
| 2023-11-14 19:15:42 +0100 | <John_Ivan> | that's all my code |
| 2023-11-14 19:15:55 +0100 | <John_Ivan> | compiles and links. hangs when I run it. process being at 100% cpu |
| 2023-11-14 19:16:22 +0100 | <Inst> | thanks cstml |
| 2023-11-14 19:16:31 +0100 | <Inst> | EvanR: why not both? |
| 2023-11-14 19:16:57 +0100 | <EvanR> | both what |
| 2023-11-14 19:17:01 +0100 | <Inst> | that's Haskell for me, at least, you can be knuckle-dragging, you can be responsible, you can be astronauting |
| 2023-11-14 19:17:11 +0100 | <Inst> | "big book of getting things done" vs "big book of just because you can"? |
| 2023-11-14 19:17:40 +0100 | <exarkun> | John_Ivan: setWorkingDirectory and getWorkingDirectory and getFiles aren't in Prelude. Where are they from? |
| 2023-11-14 19:18:15 +0100 | <EvanR> | because they are counterproductive to each other, so a book that unfocused is less useful |
| 2023-11-14 19:18:26 +0100 | <dmj`> | John_Ivan: maybe getFiles is recursively looping over the same directory, causing an infinite loop |
| 2023-11-14 19:19:14 +0100 | <c_wraith> | there's also the remote chance it's a hardware failure. I've had drives fail in ways that resulted in trying to access them causing 100% CPU use |
| 2023-11-14 19:19:30 +0100 | <John_Ivan> | exarkun, they're just wrappers over getCurrentDirectory, setCurrentDirectory and getDirectoryContents from `directory` lib. nothing special. |
| 2023-11-14 19:19:37 +0100 | <Inst> | it's not a book, though, more like feedstock |
| 2023-11-14 19:19:43 +0100 | <Inst> | for potentially one |
| 2023-11-14 19:19:43 +0100 | <exarkun> | John_Ivan: Details count, though. Let's see them. |
| 2023-11-14 19:19:53 +0100 | <c_wraith> | John_Ivan: simple wrappers can have infinite loops in them |
| 2023-11-14 19:20:29 +0100 | disconnect3d | (~disconnec@user/disconnect3d) (Server closed connection) |
| 2023-11-14 19:20:32 +0100 | <exarkun> | Or perhaps better yet, remove them from your pasted `main` and use the original functions instead and see if it still loops (and if so, share the new `main`) |
| 2023-11-14 19:20:33 +0100 | <c_wraith> | John_Ivan: also, please use a pastebin. IRC isn't good for code. (it's not collapsable, and multi-line sends aren't atomic) |
| 2023-11-14 19:20:39 +0100 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-11-14 19:20:46 +0100 | otto_s | (~user@p5de2f612.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-11-14 19:21:07 +0100 | <John_Ivan> | fair enough - https://i.imgur.com/ESd0BLS.png |
| 2023-11-14 19:21:18 +0100 | <John_Ivan> | c_wraith, .. a bit late. |
| 2023-11-14 19:21:27 +0100 | otto_s | (~user@p5de2f612.dip0.t-ipconnect.de) |
| 2023-11-14 19:23:14 +0100 | <EvanR> | you could even implement that with setWorkingDirectory = setCurrentDirectory |
| 2023-11-14 19:23:22 +0100 | <EvanR> | and getFiles = getDirectoryContents |
| 2023-11-14 19:24:01 +0100 | <John_Ivan> | any idea why it hangs though? |
| 2023-11-14 19:24:02 +0100 | <EvanR> | and because of the type on getWorkingDirectory, the liftIO doesn't do anything |
| 2023-11-14 19:24:04 +0100 | <ski> | EvanR : hm, i think the HBC distribution may include LML. try <https://web.archive.org/web/20060902080757/http://haskell.org/hbc/hbc-2004-06-29.bin-i386-linux.ta…>,<https://web.archive.org/web/20060618025811/http://haskell.org/hbc/hbc-2004-06-29.src.tar.gz>,<https://archive.org/details/haskell-b-compiler> (also see |
| 2023-11-14 19:24:09 +0100 | <ski> | <https://web.archive.org/web/20100526120524/http://www.cs.chalmers.se/pub/users/hallgren/Alfa/Haske…>,<https://cth.altocumulus.org/~hallgren/software.html>,<https://web.archive.org/web/20060718204135/http://www.cs.chalmers.se/pub/users/hallgren/Alfa/Haske…>,<http://www.altocumulus.org/~hallgren/untested/Source_code/old>,..) |
| 2023-11-14 19:24:43 +0100 | <EvanR> | John_Ivan, is it a stdio buffering issue, it just appears to hang? |
| 2023-11-14 19:25:31 +0100 | <dmj`> | John_Ivan: try filtering out "." and ".." from getFiles |
| 2023-11-14 19:26:29 +0100 | <dmj`> | ah, its not recursive, nvm |
| 2023-11-14 19:26:50 +0100 | <ski> | .. too bad augustss/lennart doesn't hang out on IRC anymore |
| 2023-11-14 19:26:53 +0100 | <EvanR> | John_Ivan, your code is loading all the files into a giant linked list, each element being it's own linked list (String = [Char]), and it must all be loaded before the IO action completes and you can start to print anything |
| 2023-11-14 19:27:36 +0100 | <EvanR> | so it's a very large amount of list nodes |
| 2023-11-14 19:27:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-14 19:27:39 +0100 | <EvanR> | one for each char |
| 2023-11-14 19:27:57 +0100 | <EvanR> | it shouldn't freeze, but it is consistent with 100% CPU |
| 2023-11-14 19:28:30 +0100 | <EvanR> | ski, oh, that is worth a look |
| 2023-11-14 19:28:57 +0100 | <John_Ivan> | I guess I'll just do more testing. thanks. |
| 2023-11-14 19:29:17 +0100 | <John_Ivan> | I assumed it was something stupid I was doing that I couldn't see. guess there's more to it than that. |
| 2023-11-14 19:29:30 +0100 | <dmj`> | ski: yea I wonder what he thinks about GRIN |
| 2023-11-14 19:29:45 +0100 | <EvanR> | hrm... but you are only loading 1 directory, so it's not like it's trying to load your entire hard drive |
| 2023-11-14 19:29:55 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 264 seconds) |
| 2023-11-14 19:30:02 +0100 | <John_Ivan> | EvanR, and there's barely anything in it. yeah. |
| 2023-11-14 19:30:05 +0100 | <geekosaur> | yeh, I was thinking it'd need to be a really big directory for lists to matter |
| 2023-11-14 19:30:10 +0100 | <John_Ivan> | not even recursively. |
| 2023-11-14 19:30:23 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800::302a) (Server closed connection) |
| 2023-11-14 19:30:26 +0100 | <EvanR> | could be a windows issue! |
| 2023-11-14 19:30:47 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800::302a) |
| 2023-11-14 19:30:48 +0100 | <John_Ivan> | it could very well be a windows issue indeed.... |
| 2023-11-14 19:30:51 +0100 | <exarkun> | What is "barely anything"? 3 files? 3000 files? |
| 2023-11-14 19:30:59 +0100 | <John_Ivan> | exarkun, 4 files. 3 directories. |
| 2023-11-14 19:31:05 +0100 | <cstml> | John_Ivan: try an empty directory. Does it still hang? |
| 2023-11-14 19:32:08 +0100 | <John_Ivan> | cstml, just did now. yeah. |
| 2023-11-14 19:32:32 +0100 | <John_Ivan> | let me add a bunch of print statements... |
| 2023-11-14 19:32:43 +0100 | <geekosaur> | hm, I'd add some `traceIO`s in there to see where it's hanging |
| 2023-11-14 19:33:03 +0100 | <cstml> | try and add error statements, and see where you get to. |
| 2023-11-14 19:33:18 +0100 | <cstml> | or as geekosaur suggested. |
| 2023-11-14 19:33:36 +0100 | <John_Ivan> | it hangs before even the first "let" even makes it's way. |
| 2023-11-14 19:33:37 +0100 | <geekosaur> | come to think of it, setCurrentDirectory with a drive letter doesn't do what unixers expect; make sure you're running it from drive C |
| 2023-11-14 19:34:00 +0100 | <John_Ivan> | what bothers me is that CTRL+C doesn't work in the console |
| 2023-11-14 19:34:02 +0100 | <geekosaur> | (current dir is per drive on Windows) |
| 2023-11-14 19:34:06 +0100 | <John_Ivan> | I have to kill the process myself. |
| 2023-11-14 19:34:07 +0100 | <exarkun> | What does `main = pure ()` do? |
| 2023-11-14 19:34:14 +0100 | <EvanR> | ctrl+z in cmd.exe right |
| 2023-11-14 19:34:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Server closed connection) |
| 2023-11-14 19:34:31 +0100 | <geekosaur> | that doesn't surprise me; it's only responded to after an allocation, and if it's not looping on an allocation it will be ignored |
| 2023-11-14 19:34:33 +0100 | <exarkun> | How are you running it? |
| 2023-11-14 19:34:36 +0100 | <John_Ivan> | EvanR, CTRL+C in cmd.exe. it should do the same thing. |
| 2023-11-14 19:34:52 +0100 | <exarkun> | Have you run any Haskell programs successfully in this environment? |
| 2023-11-14 19:35:02 +0100 | <John_Ivan> | yup. the same program. with roughly the same code. about an hour ago. |
| 2023-11-14 19:35:11 +0100 | <exarkun> | What changed? ;) |
| 2023-11-14 19:35:18 +0100 | <EvanR> | the time |
| 2023-11-14 19:35:22 +0100 | <EvanR> | at least xD |
| 2023-11-14 19:35:30 +0100 | <John_Ivan> | me removing a mapM_ line |
| 2023-11-14 19:35:33 +0100 | <John_Ivan> | which worked before. |
| 2023-11-14 19:35:42 +0100 | <John_Ivan> | otherwise, nothing. probably the system/os/windows. |
| 2023-11-14 19:35:43 +0100 | <exarkun> | Do you have the code from before? Maybe in vcs history? Can you run it again? |
| 2023-11-14 19:35:50 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Server closed connection) |
| 2023-11-14 19:35:51 +0100 | <John_Ivan> | I'll try. |
| 2023-11-14 19:35:58 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2023-11-14 19:36:52 +0100 | <John_Ivan> | yeah. ok. I can confirm now. the same code which ran before, now doesn't work anymore. process hangs. so it sounds like an os issue. |
| 2023-11-14 19:37:12 +0100 | <John_Ivan> | or just an "external" issue anyway. |
| 2023-11-14 19:37:22 +0100 | <John_Ivan> | @exarkun, |
| 2023-11-14 19:37:22 +0100 | <lambdabot> | Unknown command, try @list |
| 2023-11-14 19:37:29 +0100 | jakzale | (6291399afa@user/jakzale) (Server closed connection) |
| 2023-11-14 19:37:38 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2023-11-14 19:38:04 +0100 | <John_Ivan> | Dr Dre - "Today was not a good day." |
| 2023-11-14 19:38:53 +0100 | <John_Ivan> | sigh. Fuck this. |
| 2023-11-14 19:39:15 +0100 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-11-14 19:39:39 +0100 | <dmj`> | John_Ivan: are you on an NFS |
| 2023-11-14 19:39:50 +0100 | <John_Ivan> | nope. local disk. |
| 2023-11-14 19:39:50 +0100 | <EvanR> | stories of how for some reason the literal time of day would factor into windows bugs |
| 2023-11-14 19:40:16 +0100 | <geekosaur> | hm, the only ones I recall of that were in excel |
| 2023-11-14 19:40:32 +0100 | <dmj`> | John_Ivan: it doesn't print getWorkingDirectory >>= putStrLn ? |
| 2023-11-14 19:40:37 +0100 | <John_Ivan> | I'll just move my code onto a linux vm |
| 2023-11-14 19:40:42 +0100 | <John_Ivan> | dmj`, it "used to" |
| 2023-11-14 19:40:46 +0100 | <John_Ivan> | I saw the result of the code |
| 2023-11-14 19:41:13 +0100 | <dmj`> | are you using cygwin |
| 2023-11-14 19:41:26 +0100 | <John_Ivan> | I'm not. |
| 2023-11-14 19:41:32 +0100 | <dmj`> | I'd try it w/ cygwin |
| 2023-11-14 19:42:35 +0100 | <John_Ivan> | dmj`, I'd be surprised if this just works if I reboot my machine. one moment. I'll do just that. |
| 2023-11-14 19:43:05 +0100 | edr | (~edr@user/edr) |
| 2023-11-14 19:43:46 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Read error: Connection reset by peer) |
| 2023-11-14 19:45:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-14 19:46:26 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-11-14 19:46:39 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-11-14 19:47:31 +0100 | danse-nr3 | (~danse@151.35.226.222) (Ping timeout: 260 seconds) |
| 2023-11-14 19:47:55 +0100 | danse-nr3 | (~danse@151.35.232.159) |
| 2023-11-14 19:50:11 +0100 | <John_Ivan> | same issue. fuck it. in the linux vm it goes. |
| 2023-11-14 19:50:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Remote host closed the connection) |
| 2023-11-14 19:51:02 +0100 | <dmj`> | John_Ivan: try cygwin, I've had success using Haskell on Windows w/ iit |
| 2023-11-14 19:51:16 +0100 | <John_Ivan> | dmj`, call cabal through cygwin? |
| 2023-11-14 19:51:29 +0100 | <dmj`> | yea |
| 2023-11-14 19:51:40 +0100 | <dmj`> | cabal run in there |
| 2023-11-14 19:52:17 +0100 | <dmj`> | or I guess you could just use the WSL now |
| 2023-11-14 19:52:27 +0100 | <John_Ivan> | dmj`, hangs there too. |
| 2023-11-14 19:52:37 +0100 | <John_Ivan> | CTRL+C doesn't work here either. fuck. |
| 2023-11-14 19:53:18 +0100 | <EvanR> | can you get haskell to print hello world |
| 2023-11-14 19:53:20 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Server closed connection) |
| 2023-11-14 19:53:33 +0100 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2023-11-14 19:53:43 +0100 | <John_Ivan> | EvanR, no. it still hangs. |
| 2023-11-14 19:53:57 +0100 | <EvanR> | maybe your haskell is just broken |
| 2023-11-14 19:54:01 +0100 | <John_Ivan> | anyway I'm sick of this. I'll put it in a vm on linux. if it doesn't work there, i'm just cursed. |
| 2023-11-14 19:56:18 +0100 | <dmj`> | John_Ivan: do we know if the problem is the compilation hanging, or actual program execution? Did -v show cabal had completed linking? |
| 2023-11-14 19:56:51 +0100 | <John_Ivan> | dmj`, yes. the compilation and linking succeeds. execution hangs. |
| 2023-11-14 19:58:28 +0100 | <dmj`> | even a simple hello world hangs? |
| 2023-11-14 19:58:37 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 19:58:40 +0100 | <John_Ivan> | yes. |
| 2023-11-14 20:00:02 +0100 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2023-11-14 20:00:11 +0100 | sus_ | (1b7af6299f@user/zeromomentum) |
| 2023-11-14 20:00:16 +0100 | sus_ | sus |
| 2023-11-14 20:00:53 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-11-14 20:03:23 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-11-14 20:03:25 +0100 | Guest|22 | (~Guest|22@161.130.189.254) |
| 2023-11-14 20:04:12 +0100 | <Guest|22> | I am on macOS Sonoma 14.0 and finished installing the curl command on my terminal |
| 2023-11-14 20:04:19 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-11-14 20:04:56 +0100 | <Guest|22> | after completing all downloads, I tried run command ghc --version or ghci on my command line then it says command not found |
| 2023-11-14 20:05:24 +0100 | <xerox> | how did you install ghc? |
| 2023-11-14 20:06:24 +0100 | <Guest|22> | nevermind me. I fixed my problem by restarting my terminal. |
| 2023-11-14 20:06:44 +0100 | <xerox> | wonderful :) |
| 2023-11-14 20:06:55 +0100 | Guest|22 | (~Guest|22@161.130.189.254) (Client Quit) |
| 2023-11-14 20:07:44 +0100 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Server closed connection) |
| 2023-11-14 20:07:52 +0100 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2023-11-14 20:08:20 +0100 | shachaf | (~shachaf@user/shachaf) (Server closed connection) |
| 2023-11-14 20:08:29 +0100 | shachaf | (~shachaf@user/shachaf) |
| 2023-11-14 20:09:04 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-14 20:09:41 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-11-14 20:09:44 +0100 | <EvanR> | you probably had the old environment variables like PATH still set |
| 2023-11-14 20:10:03 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-11-14 20:10:11 +0100 | <EvanR> | oh they ragequit already |
| 2023-11-14 20:10:36 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-14 20:10:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 20:11:47 +0100 | danse-nr3 | (~danse@151.35.232.159) (Ping timeout: 260 seconds) |
| 2023-11-14 20:13:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2023-11-14 20:15:52 +0100 | mechap | (~mechap@user/mechap) |
| 2023-11-14 20:16:29 +0100 | <probie> | I don't think they rage quit per se, they simply had their problem fixed |
| 2023-11-14 20:17:23 +0100 | <tomsmeding> | they glee quit |
| 2023-11-14 20:19:17 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-11-14 20:20:45 +0100 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-11-14 20:21:07 +0100 | <bwe> | dmj`: https://uploadpie.com/3XBLsy |
| 2023-11-14 20:22:49 +0100 | <sm[i]> | John_Ivan: that's a good one. Have you isolated which line is hanging ? Eg which line lets it run when removed ? |
| 2023-11-14 20:23:11 +0100 | nurupo | (~nurupo.ga@user/nurupo) (Server closed connection) |
| 2023-11-14 20:23:25 +0100 | nurupo | (~nurupo.ga@user/nurupo) |
| 2023-11-14 20:24:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Remote host closed the connection) |
| 2023-11-14 20:28:53 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Server closed connection) |
| 2023-11-14 20:29:19 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-11-14 20:30:32 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2023-11-14 20:30:42 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2023-11-14 20:31:22 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-11-14 20:32:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 20:32:39 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-14 20:33:17 +0100 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2023-11-14 20:34:04 +0100 | gawen | (~gawen@user/gawen) |
| 2023-11-14 20:34:41 +0100 | aniketd | (32aa4844cd@2604:bf00:561:2000::dcb) (Server closed connection) |
| 2023-11-14 20:34:50 +0100 | aniketd | (32aa4844cd@2604:bf00:561:2000::dcb) |
| 2023-11-14 20:39:36 +0100 | <Inst> | okay... evanr: https://www.bilibili.com/video/BV1Ah4y1D7Mf/?spm_id_from=333.999.0.0 |
| 2023-11-14 20:39:46 +0100 | <Inst> | bleh, I got e-mailed back from her, but I think I blew it because I didn't watch enough of her vids |
| 2023-11-14 20:40:12 +0100 | alp_ | (~alp@2001:861:5e02:eff0:71ff:2767:de27:9471) |
| 2023-11-14 20:44:35 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Server closed connection) |
| 2023-11-14 20:44:44 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-11-14 20:45:44 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) (Server closed connection) |
| 2023-11-14 20:45:54 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2023-11-14 20:46:16 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-11-14 20:49:20 +0100 | mrmr1553 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2023-11-14 20:49:40 +0100 | mrmr1553 | (~mrmr@user/mrmr) |
| 2023-11-14 20:51:14 +0100 | EvanR | (~EvanR@user/evanr) (Server closed connection) |
| 2023-11-14 20:51:39 +0100 | EvanR | (~EvanR@user/evanr) |
| 2023-11-14 20:53:46 +0100 | mrmr1553 | (~mrmr@user/mrmr) (Client Quit) |
| 2023-11-14 20:54:05 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 240 seconds) |
| 2023-11-14 20:54:07 +0100 | mrmr1553 | (~mrmr@user/mrmr) |
| 2023-11-14 20:55:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Remote host closed the connection) |
| 2023-11-14 20:56:50 +0100 | <phma> | I've been working on a program where one function uses "par s01 $ par s23 $ par s02 $ par s13 $ par s03 $ par s12 $" and computes them in parallel, |
| 2023-11-14 20:57:24 +0100 | <phma> | whereas another uses the exact same construction, but computes them sequentially, taking much longer. Can someone look at it? |
| 2023-11-14 20:59:23 +0100 | _xor6 | (~xor@72.49.195.41) |
| 2023-11-14 20:59:37 +0100 | <phma> | I've looked at it in Threadscope and used Okteta to search the eventlog for events. |
| 2023-11-14 21:00:02 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 268 seconds) |
| 2023-11-14 21:00:02 +0100 | _xor6 | _xor |
| 2023-11-14 21:01:19 +0100 | <EvanR> | Inst, what |
| 2023-11-14 21:01:26 +0100 | <Inst> | forget it |
| 2023-11-14 21:02:11 +0100 | <EvanR> | my mandarin is a bit rusty, is there anything interesting being said |
| 2023-11-14 21:02:15 +0100 | <int-e> | phma: I guess the stupid thing to rule out is... are both using the threaded RTS? |
| 2023-11-14 21:02:29 +0100 | <Inst> | nothing, it's more that it's amazing that she's actually doing it, i screwed up because i asked her whether she was real |
| 2023-11-14 21:02:44 +0100 | <Inst> | but it's not really a relevant discussion |
| 2023-11-14 21:02:44 +0100 | sm2n | (ae95cb1267@user/sm2n) (Server closed connection) |
| 2023-11-14 21:02:55 +0100 | <EvanR> | I wonder if one of those holographic girlfriends would be better or worse at category theory |
| 2023-11-14 21:02:57 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2023-11-14 21:03:33 +0100 | <monochrom> | I don't know, I could be asking whether you are real, too. :) |
| 2023-11-14 21:03:34 +0100 | <phma> | int-e: yes, and the program is calling both in the same run |
| 2023-11-14 21:03:50 +0100 | <int-e> | . o O ( There are two categories of people, those who don't understand category theory, and those that do. ) |
| 2023-11-14 21:04:04 +0100 | <monochrom> | IRC is not exactly realer than random websites. |
| 2023-11-14 21:04:48 +0100 | <monochrom> | And there are two categories of category theorists, those who work with n-categories and those who don't. >:) |
| 2023-11-14 21:04:51 +0100 | <int-e> | phma: anyway, the usual thing applies... people are unlikely to commit up front, but if you have code to show people might look at it and tell you what they find. |
| 2023-11-14 21:05:04 +0100 | <int-e> | always a shot into the dark |
| 2023-11-14 21:05:32 +0100 | <phma> | https://github.com/phma/wring-twistree |
| 2023-11-14 21:05:58 +0100 | <phma> | command line: stack run -- -c relkey +RTS -ls |
| 2023-11-14 21:10:49 +0100 | tomih_ | (tomith@85-156-187-17.elisa-laajakaista.fi) |
| 2023-11-14 21:10:55 +0100 | <hc> | Na ja, the original joke was that 10 could be read as ten (by those who don't understand binary) or as 2 (by those who do) |
| 2023-11-14 21:11:08 +0100 | <hc> | Either I don't get the category theory adaption or it's just not funny, -v please |
| 2023-11-14 21:12:04 +0100 | <EvanR> | there's a 2-category of people who don't understand category theory |
| 2023-11-14 21:12:23 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection) |
| 2023-11-14 21:12:41 +0100 | <monochrom> | I'm just going to change subject. |
| 2023-11-14 21:12:43 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2023-11-14 21:12:47 +0100 | <EvanR> | probably the second one hc |
| 2023-11-14 21:12:55 +0100 | alp_ | (~alp@2001:861:5e02:eff0:71ff:2767:de27:9471) (Remote host closed the connection) |
| 2023-11-14 21:13:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-11-14 21:13:02 +0100 | <monochrom> | How do you visualize 6 dimensions? Answer: Visualize n dimensions then let n=6. |
| 2023-11-14 21:13:11 +0100 | probie | (cc0b34050a@user/probie) (Server closed connection) |
| 2023-11-14 21:13:19 +0100 | probie | (cc0b34050a@user/probie) |
| 2023-11-14 21:13:31 +0100 | danza | (~francesco@151.35.232.159) |
| 2023-11-14 21:13:43 +0100 | tomith | (tomith@user/tomith) (Ping timeout: 264 seconds) |
| 2023-11-14 21:13:52 +0100 | tomih_ | tomith |
| 2023-11-14 21:14:05 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-11-14 21:14:17 +0100 | <EvanR> | how do you visualize infinite dimensions. Visualize an ordinal number of dimensions and let n = omega |
| 2023-11-14 21:14:25 +0100 | <monochrom> | Actually that's how I understood a particular hybrid discrete-continuous and highly dependent probabiliy distribution. |
| 2023-11-14 21:14:28 +0100 | <geekosaur> | I use a zipper xD |
| 2023-11-14 21:14:57 +0100 | <monochrom> | I understood measure theory and the Giry monad in general, then let mu be that particular distribution. :) |
| 2023-11-14 21:15:41 +0100 | <monochrom> | This is the talk I gave after figuring it out: https://www.cs.utoronto.ca/~trebla/cpm.pdf |
| 2023-11-14 21:18:08 +0100 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Server closed connection) |
| 2023-11-14 21:18:17 +0100 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-11-14 21:23:38 +0100 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) (Server closed connection) |
| 2023-11-14 21:23:47 +0100 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) |
| 2023-11-14 21:24:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-14 21:26:09 +0100 | <EvanR> | does/can probability of probability represent conditional probability |
| 2023-11-14 21:26:33 +0100 | <monochrom> | No. But conditional probability is easy. |
| 2023-11-14 21:27:04 +0100 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.0.2) |
| 2023-11-14 21:27:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) |
| 2023-11-14 21:27:49 +0100 | <monochrom> | "randomly pick a parameter for binomial" is where you have probability of probabilities. |
| 2023-11-14 21:27:49 +0100 | <EvanR> | P (a ∩ b) / P b |
| 2023-11-14 21:27:58 +0100 | <EvanR> | you just need intersection types! |
| 2023-11-14 21:28:03 +0100 | <monochrom> | :( |
| 2023-11-14 21:28:23 +0100 | <int-e> | phma: you should change the base lowerbound to base >= 4.17 constraint to that code; the .>>. bit rotation operations aren't available in earlier versions |
| 2023-11-14 21:29:52 +0100 | <monochrom> | Later when I have time, I will look into something like ContT ? Giry to absorb conditional probability. |
| 2023-11-14 21:31:09 +0100 | <monochrom> | But it probably won't make anything easier. |
| 2023-11-14 21:31:23 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) (Server closed connection) |
| 2023-11-14 21:31:45 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) |
| 2023-11-14 21:31:50 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) |
| 2023-11-14 21:33:28 +0100 | <EvanR> | P X is like a random variable yielding an X ? |
| 2023-11-14 21:34:19 +0100 | <EvanR> | I should just take the tardis and attend that talk |
| 2023-11-14 21:34:24 +0100 | <monochrom> | I decided to demote the whole notion of "random variable". |
| 2023-11-14 21:34:48 +0100 | <phma> | int-e: done, didn't affect the parallelism |
| 2023-11-14 21:35:55 +0100 | <monochrom> | Instead, P is either a monad from package random, or the Giry monad. In the latter case, P X is the set of all probability distributions over X. |
| 2023-11-14 21:35:56 +0100 | <int-e> | phma: of course not, this comment was a result of me wasting a bunch of time building all the dependencies with ghc-9.2.7 |
| 2023-11-14 21:36:21 +0100 | <int-e> | phma: only to find out in the end that your code doesn't compile with that ghc version |
| 2023-11-14 21:37:08 +0100 | <phma> | I'm running 9.4.5 in stack |
| 2023-11-14 21:37:28 +0100 | <geekosaur> | you need to document that in the cabal file so people don't try to use older versions and fail |
| 2023-11-14 21:38:08 +0100 | <int-e> | phma: Anyway, all those three calls show parallelism to me here... but the 6 "jobs" aren't the same cost, so CPU usage drops from close to 600% to about 100% as they finish one after another. |
| 2023-11-14 21:38:20 +0100 | <geekosaur> | you waste the time of people trying to help you if your bounds are wrong |
| 2023-11-14 21:39:23 +0100 | <int-e> | hmmm |
| 2023-11-14 21:39:51 +0100 | <int-e> | sorry, ignore that, I'm not on the right branch here |
| 2023-11-14 21:41:35 +0100 | <phma> | The marker with -con- in the middle is placed at the start of the computation; it looks like it starts each when the previous one finishes. |
| 2023-11-14 21:41:41 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-14 21:42:27 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-11-14 21:42:58 +0100 | <phma> | The ones with -diff- in the middle are placed nearly simultaneously, then activity goes up to 4ish and stays high until they all finish about the same time. |
| 2023-11-14 21:43:23 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection) |
| 2023-11-14 21:43:34 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2023-11-14 21:44:20 +0100 | <int-e> | > (undefined, undefined) `seq` 42 |
| 2023-11-14 21:44:22 +0100 | <lambdabot> | 42 |
| 2023-11-14 21:44:26 +0100 | <phma> | The ones placed by traceMarkerIO show up as vertical lines in Threadscope; the ones placed by traceEvent show up only in the event log, and I had to use Okteta to find them. |
| 2023-11-14 21:45:21 +0100 | <int-e> | phma: It's because of the different result type. Forcing a pair constructor doesn't force the values it holds, so your `par` essentially don't do anything. |
| 2023-11-14 21:45:33 +0100 | <phma> | Ah! |
| 2023-11-14 21:46:46 +0100 | <phma> | If I did "par (fst s01)" would it work? |
| 2023-11-14 21:47:04 +0100 | sajith_ | sajith |
| 2023-11-14 21:48:26 +0100 | <int-e> | It would. Or a strict pair type instead of (Double,Double), or something like deepseq. (There's `rnf`, which package is that again?) |
| 2023-11-14 21:49:23 +0100 | <phma> | Okay. I'll try par fst tonight; I have to go out and pick up a print job. |
| 2023-11-14 21:50:03 +0100 | <int-e> | Oh, that *is* deepseq. With `rnf` you can do rnf s01 `par` rnf s02 `par` ... |
| 2023-11-14 21:50:13 +0100 | <int-e> | https://hackage.haskell.org/package/deepseq-1.4.8.1/docs/Control-DeepSeq.html#v:rnf |
| 2023-11-14 21:50:47 +0100 | vulpine | (xfnw@tilde.team) (Ping timeout: 252 seconds) |
| 2023-11-14 21:51:13 +0100 | danza | (~francesco@151.35.232.159) (Ping timeout: 268 seconds) |
| 2023-11-14 21:51:35 +0100 | <int-e> | (I prefer writing `par` as an infix operator. It even has a convenient fixity, infixr 0 `seq`.) |
| 2023-11-14 21:51:53 +0100 | <int-e> | (which is the same as $) |
| 2023-11-14 21:52:30 +0100 | <int-e> | sorry, `seq` was supposed to be `par`. `seq` *also* has the same fixity. |
| 2023-11-14 21:59:23 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (Server closed connection) |
| 2023-11-14 21:59:32 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
| 2023-11-14 22:01:28 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-14 22:02:47 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-14 22:04:20 +0100 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Server closed connection) |
| 2023-11-14 22:04:30 +0100 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-11-14 22:04:55 +0100 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-11-14 22:07:41 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2023-11-14 22:08:59 +0100 | steew | (~steew@user/steew) (Server closed connection) |
| 2023-11-14 22:09:16 +0100 | steew | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) |
| 2023-11-14 22:09:36 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Client Quit) |
| 2023-11-14 22:09:39 +0100 | steew | Guest1194 |
| 2023-11-14 22:10:35 +0100 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2023-11-14 22:10:42 +0100 | mniip | (mniip@libera/staff/mniip) |
| 2023-11-14 22:14:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1fe:14ba:659d:abed) (Ping timeout: 245 seconds) |
| 2023-11-14 22:16:50 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-11-14 22:18:20 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-14 22:19:44 +0100 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Server closed connection) |
| 2023-11-14 22:19:53 +0100 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-11-14 22:21:11 +0100 | caryhartline | (~caryhartl@168.182.58.169) (Ping timeout: 245 seconds) |
| 2023-11-14 22:22:36 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2023-11-14 22:23:19 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-14 22:24:50 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-14 22:26:21 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2023-11-14 22:26:31 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-11-14 22:26:39 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection) |
| 2023-11-14 22:26:55 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2023-11-14 22:27:59 +0100 | rselim | (ce261f06ff@user/milesrout) (Server closed connection) |
| 2023-11-14 22:28:11 +0100 | rselim | (ce261f06ff@user/milesrout) |
| 2023-11-14 22:30:20 +0100 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) |
| 2023-11-14 22:33:00 +0100 | Guest1194 | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) (Changing host) |
| 2023-11-14 22:33:00 +0100 | Guest1194 | (~steew@user/steew) |
| 2023-11-14 22:33:00 +0100 | Guest1194 | steew |
| 2023-11-14 22:33:24 +0100 | titibandit | (~titibandi@user/titibandit) (Server closed connection) |
| 2023-11-14 22:33:39 +0100 | titibandit | (~titibandi@user/titibandit) |
| 2023-11-14 22:39:42 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-14 22:42:35 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-14 22:43:38 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 268 seconds) |
| 2023-11-14 22:45:00 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-14 22:46:15 +0100 | fendor | (~fendor@2a02:8388:1640:be00:ca17:ceee:5bbe:1594) (Remote host closed the connection) |
| 2023-11-14 22:49:59 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-11-14 22:53:32 +0100 | seeg123456 | (~seeg12345@64.176.64.83) (Server closed connection) |
| 2023-11-14 22:54:06 +0100 | <EvanR> | >par is generally used when the value of a is likely to be required later, but not immediately. |
| 2023-11-14 22:55:10 +0100 | <EvanR> | it makes me think par might be beneficial to use in "normal code" in judicious places, rather than / in addition to programs that are intentionally trying to do a big parallel computation as parallel as possible |
| 2023-11-14 22:55:36 +0100 | tstat | (~tstat@user/tstat) (Server closed connection) |
| 2023-11-14 22:55:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-11-14 22:55:56 +0100 | tstat | (~tstat@user/tstat) |
| 2023-11-14 22:57:53 +0100 | <EvanR> | or in the former case it might at least less likely you make it worse by trying to make it parallel |
| 2023-11-14 22:58:01 +0100 | <EvanR> | be |
| 2023-11-14 22:58:47 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Server closed connection) |
| 2023-11-14 22:58:56 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-11-14 22:59:35 +0100 | zaquest | (~notzaques@5.130.79.72) (Server closed connection) |
| 2023-11-14 22:59:56 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2023-11-14 23:00:36 +0100 | <EvanR> | par x y = case (par# x) of { _ -> lazy y }, hmm where is this function lazy coming from |
| 2023-11-14 23:01:12 +0100 | <c_wraith> | EvanR: are you familiar with https://hackage.haskell.org/package/speculation ? |
| 2023-11-14 23:01:43 +0100 | <c_wraith> | EvanR: in other news, https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Exts.html#v:lazy (it's very much a GHC internal) |
| 2023-11-14 23:04:30 +0100 | <EvanR> | not familiar no |
| 2023-11-14 23:04:55 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 245 seconds) |
| 2023-11-14 23:07:26 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 245 seconds) |
| 2023-11-14 23:08:23 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-11-14 23:08:29 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-11-14 23:11:22 +0100 | <EvanR> | spec :: Eq a => a -> (a -> b) -> a -> b, spec x f y evaluates to f x if x==y else f y. So kind of like memoization, but instead of remembering, you perform a speculative computation in parallel, which might be what you wanted by the time y is available |
| 2023-11-14 23:12:42 +0100 | remmie | (ianremsen@tilde.team) |
| 2023-11-14 23:14:35 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-14 23:16:03 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-11-14 23:16:04 +0100 | <monochrom> | "lazy" is a pretended function to tell GHC to increase laziness. |
| 2023-11-14 23:16:42 +0100 | <monochrom> | You can find it in some GHC.* module, but clearly, the real code is baked into the compiler not the library. |
| 2023-11-14 23:16:50 +0100 | <EvanR> | the source is not found so I guess it's like lazy# or something |
| 2023-11-14 23:16:59 +0100 | <EvanR> | lazy# _ |
| 2023-11-14 23:16:59 +0100 | <monochrom> | Or rather, there is no real code, it's a annotation. |
| 2023-11-14 23:18:23 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-11-14 23:18:47 +0100 | <monochrom> | It's times like this (and the RealWord# -> ... thing) that I wonder whether "use the source Luke" is harmful advice or people do not actually take it to its logical conclusion. |
| 2023-11-14 23:19:23 +0100 | <monochrom> | Because the middle ground of using the library source code, but not one step further to also use the compiler source code, is the worst of both worlds. |
| 2023-11-14 23:19:34 +0100 | <geekosaur> | actually the whole versioned package is missing on Hackage |
| 2023-11-14 23:20:08 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-11-14 23:20:15 +0100 | <monochrom> | Ugh pun opportunity on "world" haha. |
| 2023-11-14 23:20:28 +0100 | <geekosaur> | https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/src/GHC.Magic.html#lazy |
| 2023-11-14 23:20:51 +0100 | <geekosaur> | see the comment after its definition; the real magic is inside of ghc |
| 2023-11-14 23:24:33 +0100 | incertia | (~incertia@209.122.71.127) (Server closed connection) |
| 2023-11-14 23:24:55 +0100 | incertia | (~incertia@209.122.71.127) |
| 2023-11-14 23:25:44 +0100 | cpli | (77fc530071@2604:bf00:561:2000::252) (Server closed connection) |
| 2023-11-14 23:25:54 +0100 | cpli | (77fc530071@2604:bf00:561:2000::252) |
| 2023-11-14 23:27:05 +0100 | zetef | (~quassel@5.2.182.98) (Read error: Connection reset by peer) |
| 2023-11-14 23:27:14 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) (Server closed connection) |
| 2023-11-14 23:27:27 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2023-11-14 23:28:27 +0100 | vulpine | (xfnw@tilde.team) |
| 2023-11-14 23:30:38 +0100 | <zero> | using the source to understand anything in haskell as a beginner is terrible advice |
| 2023-11-14 23:31:18 +0100 | <zero> | source: was once beginner |
| 2023-11-14 23:32:02 +0100 | Teacup | (~teacup@user/teacup) (Server closed connection) |
| 2023-11-14 23:32:13 +0100 | Teacup | (~teacup@user/teacup) |
| 2023-11-14 23:33:05 +0100 | acidjnk | (~acidjnk@p200300d6e72b93217d79895cb809dcc2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-11-14 23:33:26 +0100 | ubert | (~Thunderbi@77.119.172.155.wireless.dyn.drei.com) |
| 2023-11-14 23:33:26 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Server closed connection) |
| 2023-11-14 23:33:34 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2023-11-14 23:38:30 +0100 | connrs | (~connrs@user/connrs) (Server closed connection) |
| 2023-11-14 23:38:31 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2023-11-14 23:38:47 +0100 | connrs | (~connrs@user/connrs) |
| 2023-11-14 23:38:47 +0100 | euleritian | (~euleritia@dynamic-089-204-135-248.89.204.135.pool.telefonica.de) |
| 2023-11-14 23:38:53 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-14 23:39:29 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Server closed connection) |
| 2023-11-14 23:39:39 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2023-11-14 23:40:02 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Server closed connection) |
| 2023-11-14 23:40:11 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2023-11-14 23:43:20 +0100 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Server closed connection) |
| 2023-11-14 23:43:20 +0100 | samhh_ | samhh |
| 2023-11-14 23:45:03 +0100 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-11-14 23:49:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-14 23:53:30 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Server closed connection) |
| 2023-11-14 23:53:54 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2023-11-14 23:58:05 +0100 | chomwitt | (~chomwitt@athedsl-346287.home.otenet.gr) (Ping timeout: 240 seconds) |
