Newest at the top
| 2024-12-28 04:20:34 +0100 | <homo> | this is tour of acme, plan9's ide https://www.youtube.com/watch?v=dP1xVpMPn8M |
| 2024-12-28 04:20:01 +0100 | housemate | (~housemate@pa49-183-76-50.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2024-12-28 04:19:28 +0100 | <homo> | you can find research papers from cat-v.org, but that site is currently down |
| 2024-12-28 04:19:03 +0100 | <Sisyphean> | appreciate you explaining it |
| 2024-12-28 04:18:47 +0100 | <Sisyphean> | ok I guess that's a good thing |
| 2024-12-28 04:18:45 +0100 | <homo> | that is, you don't need ipv6 to eliminate nat |
| 2024-12-28 04:18:25 +0100 | <homo> | if your router runs plan9, you can bind its /net to /net of your laptop and get access to internet without nat |
| 2024-12-28 04:18:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-28 04:16:55 +0100 | <homo> | for example, there is file /dev/audio , it can be provided by kernel, by sound server and even by remote machine, but to your programs it looks like local file |
| 2024-12-28 04:15:48 +0100 | <homo> | well, think about them as namespaces in programming languages |
| 2024-12-28 04:15:13 +0100 | <Sisyphean> | amazing |
| 2024-12-28 04:14:57 +0100 | <Sisyphean> | so like hierarchy? |
| 2024-12-28 04:14:51 +0100 | <Sisyphean> | never heard that before |
| 2024-12-28 04:14:45 +0100 | <Sisyphean> | yeah namespaces. |
| 2024-12-28 04:13:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 04:11:42 +0100 | <homo> | it's possible because of namespaces |
| 2024-12-28 04:10:58 +0100 | <homo> | transparent in the sense of network transparency |
| 2024-12-28 04:09:36 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-12-28 04:09:30 +0100 | housemate | (~housemate@pa49-183-76-50.pa.vic.optusnet.com.au) housemate |
| 2024-12-28 04:09:18 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2024-12-28 04:09:14 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-12-28 04:07:54 +0100 | <geekosaur> | yep |
| 2024-12-28 04:07:50 +0100 | <Sisyphean> | is that Hamlet? |
| 2024-12-28 04:07:45 +0100 | <Sisyphean> | geekosaur, wow |
| 2024-12-28 04:07:41 +0100 | <homo> | transparent window system, not transparent window |
| 2024-12-28 04:07:24 +0100 | <geekosaur> | "there are more things in heaven and earth, Horatio, than are dreamt of in your philosophy" |
| 2024-12-28 04:07:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-28 04:07:11 +0100 | <Sisyphean> | transparent window? |
| 2024-12-28 04:06:41 +0100 | <homo> | 3 ideas from which everything is build - transparent window and sound systems, vpn, containers, cloud, etc. |
| 2024-12-28 04:06:39 +0100 | <Sisyphean> | ok good to know I'm not alone in thinking the future was written 40 years ago. I will read more about plan9, I obviously misjudged. |
| 2024-12-28 04:05:37 +0100 | <homo> | Sisyphean yes, and from the beginning it has features that make it more advanced than other operating systems, even on gnu/linux I still use plan9port because I don't know of replacement other than inferno-os |
| 2024-12-28 04:03:52 +0100 | l_k | (~student@85.172.76.246) |
| 2024-12-28 04:03:26 +0100 | <Sisyphean> | homo: do you think it can catch up? |
| 2024-12-28 04:03:05 +0100 | <homo> | more than 30 years of tyrant license and it is finally under mit license |
| 2024-12-28 04:02:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 04:02:30 +0100 | <Sisyphean> | diff strokes for diff folks. long live the many-languages-many-paradigms approach |
| 2024-12-28 04:02:29 +0100 | <homo> | Sisyphean anyway, what plan9 and haskell have in common is that they both are academic, they both are relevant today, the difference is that lawyers destroyed further development of plan9, after everyone got scared away by its license it got proper free software license 3 years ago |
| 2024-12-28 04:02:08 +0100 | l_k | (~student@85.172.76.246) (Ping timeout: 265 seconds) |
| 2024-12-28 04:02:03 +0100 | <Sisyphean> | yea I agree, surely CSP-style comm is how the Universe works |
| 2024-12-28 04:00:41 +0100 | haver | (~Enviosity@2.219.56.221) (Ping timeout: 265 seconds) |
| 2024-12-28 03:55:21 +0100 | <homo> | tcl offers a clean syntax to quickly prototype gui with tk |
| 2024-12-28 03:53:46 +0100 | <homo> | it's when such abstractions are separated in different languages they are easy to read and write |
| 2024-12-28 03:53:08 +0100 | <homo> | go's abstraction is CSP-style concurrency, you don't need library for that, make's abstraction is dependency management, again you don't need separate library for that, prolog's abstraction is search, once again no library is needed for that |
| 2024-12-28 03:53:00 +0100 | <fp> | I'm trying to write a parser with megaparsec and I want to read in input up to a delimiter. The delimiter can be a few different characters, but I'd also like for it to be EOF. However, the char parsing is of type =Parser Char=, but EOF is =Parser ()=. How can I make a single parser that capture both characters and EOF |
| 2024-12-28 03:50:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-28 03:49:30 +0100 | <homo> | many languages are wonderful when they offer thinking from different perspective not available in other languages |
| 2024-12-28 03:48:33 +0100 | <Sisyphean> | but I could be wrong. |
| 2024-12-28 03:48:23 +0100 | <Sisyphean> | homo, makes sense. I think that'd be ideal. I still think there's always going to be naturally many languages and we just have to deal with it. |
| 2024-12-28 03:46:27 +0100 | <Sisyphean> | yeah I stand corrected mid-80s |
| 2024-12-28 03:46:24 +0100 | <homo> | plan9 is haskell of operating systems |