| 2025-04-07 00:00:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-07 00:00:46 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-07 00:03:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-07 00:04:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-07 00:07:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-07 00:07:24 +0200 | ljdarj1 | ljdarj |
| 2025-04-07 00:11:02 +0200 | <hellwolf> | here you go: https://github.com/hellwolf/haskell-examples/blob/master/2025-04-07-nfa-unboxed-linearity/nfa-perf… will share to discourse tomorrow with a few more details. feedback welcome. |
| 2025-04-07 00:13:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 00:16:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-07 00:18:20 +0200 | Guest90 | (~Guest90@76.78.179.109) (Quit: Client closed) |
| 2025-04-07 00:19:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-07 00:29:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 00:39:01 +0200 | <|cos|> | koala_man: understandable! i wasn't really expecting it to be possible. the wine-idea is a creative approach! |
| 2025-04-07 00:39:07 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-07 00:45:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2025-04-07 00:52:52 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-07 00:57:29 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2025-04-07 00:58:30 +0200 | <|cos|> | koala_man: unless there are other ways to run wine on haiku than winebox, i guess that's a non-starter. it sure looks like a cool project, but it appears to be fully graphical with no concept of a console. it would be tricky to connect shellcheck to vim through such a component. |
| 2025-04-07 01:00:07 +0200 | <EvanR> | what appears to be fully graphical wit hno concept of a console? winebox? spellcheck? |
| 2025-04-07 01:02:28 +0200 | jespada | (~jespada@r179-25-205-222.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-04-07 01:03:13 +0200 | <|cos|> | i see nothing in the documentation of winebox to connect a console |
| 2025-04-07 01:05:34 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-07 01:06:19 +0200 | jespada | (~jespada@r179-25-210-114.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-07 01:11:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-07 01:13:20 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-07 01:15:08 +0200 | <geekosaur> | windows doesn't have the concept of connecting an external console, so I wouldn't expect one |
| 2025-04-07 01:16:36 +0200 | <geekosaur> | the closest you get is RDP, which would be running as a service inside of winebox (and would only be available if you were running actual windows inside of it, which is possible with linux wine but I have no idea about winebox) |
| 2025-04-07 01:18:09 +0200 | <EvanR> | wine ought to be able to run a console only windows program |
| 2025-04-07 01:18:20 +0200 | <EvanR> | dunno about winebox |
| 2025-04-07 01:19:45 +0200 | <geekosaur> | well, wine doesn't come with a console, but you can install windows inside of it and use cmd.exe and probably powershell |
| 2025-04-07 01:20:07 +0200 | <geekosaur> | or install msys2 and use mintty |
| 2025-04-07 01:22:41 +0200 | <geekosaur> | but "winebox" suggests to me it's more complex than that (wine on most platforms translates win32 calls to native ones, but this sounds like it runs them in a separate environment of some kind) |
| 2025-04-07 01:22:59 +0200 | <geekosaur> | so a lot will depend on the nature of that environment |
| 2025-04-07 01:23:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-04-07 01:25:08 +0200 | <EvanR> | what is this program "wineconsole" |
| 2025-04-07 01:29:57 +0200 | <monochrom> | Yikes, installing windows inside wine... That breaks my mind. :) |
| 2025-04-07 01:30:25 +0200 | <monochrom> | I need more wine to understand that. >:) |
| 2025-04-07 01:30:34 +0200 | <geekosaur> | it shouldn't. wine just emulates the win32 api, it provides none of the commands or services |
| 2025-04-07 01:30:49 +0200 | <geekosaur> | so for many things you need to install windows in it to get them |
| 2025-04-07 01:33:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-07 01:34:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 01:34:50 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-07 01:35:11 +0200 | <EvanR> | wouldn't a windows program that writes to stdout, suitably "translated", be outputting to your terminal as normal |
| 2025-04-07 01:36:13 +0200 | <EvanR> | I could try it using a random EXE from the internet but I might get hacked! |
| 2025-04-07 01:37:29 +0200 | <geekosaur> | oddly enough, that "suitably translated" turns out to be surprisingly hard under windows |
| 2025-04-07 01:38:37 +0200 | <geekosaur> | the runtime "manufactures" a cmd.exe and hooks it somehow to your program. I'm a bit weak on the details |
| 2025-04-07 01:39:13 +0200 | <geekosaur> | and when it does so it usually turns off gui calls for some reason |
| 2025-04-07 01:39:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-07 01:41:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-07 01:42:25 +0200 | sh1n | (~sh1n@2800:2134:583f:e223:7b49:e90d:6522:419d) (Remote host closed the connection) |
| 2025-04-07 01:43:35 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-07 01:44:29 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) hgolden |
| 2025-04-07 01:45:08 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-07 01:47:09 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Ping timeout: 260 seconds) |
| 2025-04-07 01:48:31 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) |
| 2025-04-07 01:48:34 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-04-07 01:50:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 01:55:21 +0200 | msa | (msa@msa.planetofnix.com) (Quit: Still trying to figure out how bouncers work.) |
| 2025-04-07 01:57:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-07 02:01:06 +0200 | <EvanR> | sometimes the lack of "apply f n number of times" function comes up, since it's missing from the standard library. So I came across this thing in a paper |
| 2025-04-07 02:01:11 +0200 | <EvanR> | :t let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num |
| 2025-04-07 02:01:11 +0200 | <lambdabot> | (Eq t1, Num t1) => t1 -> (t2 -> t2) -> t2 -> t2 |
| 2025-04-07 02:01:40 +0200 | <EvanR> | which produces church numerals from a number |
| 2025-04-07 02:02:44 +0200 | jespada | (~jespada@r179-25-210-114.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-07 02:03:31 +0200 | <EvanR> | that the type is that simple was apparently an achievement (at some point in history) because church's own type system rendered the numerals all in different bigger and bigger types |
| 2025-04-07 02:06:44 +0200 | <EvanR> | I'm not sure if using this thing literally for "apply f n number of times" in haskell would be smart or dumb |
| 2025-04-07 02:17:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-07 02:17:50 +0200 | <EvanR> | > let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num 10.0 "" ("Ha"++) |
| 2025-04-07 02:17:51 +0200 | <lambdabot> | error: |
| 2025-04-07 02:17:51 +0200 | <lambdabot> | • Couldn't match expected type ‘([Char] -> [Char]) |
| 2025-04-07 02:17:51 +0200 | <lambdabot> | -> [Char] -> [Char]’ |
| 2025-04-07 02:18:17 +0200 | <EvanR> | > let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num 10.0 ("Ha"++) "" |
| 2025-04-07 02:18:19 +0200 | <lambdabot> | "HaHaHaHaHaHaHaHaHaHa" |
| 2025-04-07 02:18:48 +0200 | <EvanR> | that was lucky |
| 2025-04-07 02:19:20 +0200 | <haskellbridge> | <Bowuigi> Any way to call mkfifo without the FFI? Can't find it on hoogle |
| 2025-04-07 02:23:59 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1484a8b96e5b185115.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-07 02:25:09 +0200 | <haskellbridge> | <Bowuigi> Found it, it's "createNamedPipe" on System.Posix.Files on the unix package |
| 2025-04-07 02:34:31 +0200 | msa | (msa@msa.planetofnix.com) |
| 2025-04-07 02:36:26 +0200 | <monochrom> | EvanR: Would you accept "num n f x = appEndo (stimesMonoid n (Endo f)) x" ? |
| 2025-04-07 02:39:51 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-04-07 02:42:46 +0200 | <monochrom> | Oh! Now I see why they called it "num". What you said. :) |
| 2025-04-07 02:43:24 +0200 | <monochrom> | instance Num (Endo a) where bwhahahaha |
| 2025-04-07 02:43:54 +0200 | <monochrom> | Oooohhhh I can put that for a tutorial exercise! |
| 2025-04-07 02:53:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2d8c:c4f2:3458:8ce1) (Ping timeout: 246 seconds) |
| 2025-04-07 02:57:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |