| 2024-02-09 00:06:56 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 252 seconds) |
| 2024-02-09 00:09:49 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-02-09 00:14:57 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-02-09 00:15:16 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-09 00:17:09 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-09 00:22:01 +0100 | mikoto-chan | (~mikoto-ch@85-76-70-68-nat.elisa-mobile.fi) (Ping timeout: 264 seconds) |
| 2024-02-09 00:27:57 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 260 seconds) |
| 2024-02-09 00:30:37 +0100 | AlexZenon | (~alzenon@94.233.241.194) (Ping timeout: 272 seconds) |
| 2024-02-09 00:32:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e760e9733025647b8ff6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-09 00:32:34 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) (Ping timeout: 255 seconds) |
| 2024-02-09 00:34:00 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-09 00:38:50 +0100 | mreh | (~matthew@host86-160-168-73.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-02-09 00:41:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 00:54:15 +0100 | fansly | (~fansly@114.124.177.63) (Remote host closed the connection) |
| 2024-02-09 01:05:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-09 01:05:25 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 255 seconds) |
| 2024-02-09 01:07:21 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-02-09 01:10:50 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 01:11:09 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-09 01:12:03 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:a8c9:f52c:b263:8727) |
| 2024-02-09 01:14:25 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds) |
| 2024-02-09 01:37:55 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 01:51:59 +0100 | yooo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 01:52:11 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 264 seconds) |
| 2024-02-09 02:06:05 +0100 | shapr``` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-09 02:07:56 +0100 | shapr`` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-02-09 02:15:53 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-09 02:29:16 +0100 | shapr```` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-09 02:30:48 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 268 seconds) |
| 2024-02-09 02:30:55 +0100 | shapr``` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-02-09 02:31:18 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-02-09 02:36:39 +0100 | yooo | (~yo0O0o@130.105.162.83) (Ping timeout: 268 seconds) |
| 2024-02-09 02:37:13 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 02:40:16 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-09 02:41:18 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-09 02:43:40 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-09 02:44:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-02-09 02:44:59 +0100 | mulk | (~mulk@pd9514313.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-09 02:45:02 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-09 02:47:09 +0100 | mulk | (~mulk@pd9514714.dip0.t-ipconnect.de) |
| 2024-02-09 02:48:01 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2024-02-09 02:48:01 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2024-02-09 02:55:37 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-09 03:05:03 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-02-09 03:10:13 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 276 seconds) |
| 2024-02-09 03:11:24 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 03:21:09 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 256 seconds) |
| 2024-02-09 03:22:17 +0100 | otto_s | (~user@79.242.116.115) (Ping timeout: 268 seconds) |
| 2024-02-09 03:23:26 +0100 | otto_s | (~user@p4ff27c46.dip0.t-ipconnect.de) |
| 2024-02-09 03:24:41 +0100 | sam113101 | (~sam@modemcable146.137-200-24.mc.videotron.ca) |
| 2024-02-09 03:25:01 +0100 | <sam113101> | does haskell support generic programming? |
| 2024-02-09 03:25:28 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 03:26:34 +0100 | <probie> | sam113101: How do you define "generic programming"? |
| 2024-02-09 03:27:50 +0100 | <sam113101> | probie: I have no idea, but I guess writing functions that can take arguments of multiple types, like in C++ templates, instead of a fixed type |
| 2024-02-09 03:28:36 +0100 | <sam113101> | but mostly I was reading the wikipedia article on haskell, and there was mention of Generic Haskell, and I was like, what? haskell doesn't support generic programming? what kind of features does it add to haskell? |
| 2024-02-09 03:28:53 +0100 | <jackdk> | the problem that C++ templates usually solve (writing a data structure once, and using it with many different types) is solved by parametric and/or ad-hoc polymorphism |
| 2024-02-09 03:30:19 +0100 | <jackdk> | so we can write a function like `map :: (a -> b) -> [a] -> [b]`, which you might be used to seeing as something like `template <typename A, typename B> list<B> map(list<A>, Function<A,B>)` (I don't really know C++, so don't take this literally) |
| 2024-02-09 03:30:20 +0100 | iris_67 | (~iris_67@2804:14c:5b61:8498:d0de:44bc:e96:8838) |
| 2024-02-09 03:32:18 +0100 | <She> | Handily, "Generic Haskell" on that page is a link to the following, which is pretty explicit about what features are added: https://en.wikipedia.org/wiki/Generic_programming#Generic_Haskell |
| 2024-02-09 03:32:36 +0100 | <probie> | sam113101: That "Generic Haskell" stuff is actually in (GHC) Haskell these days, but it's also nothing like C++ templates. That wikipedia page is not really much of a coherent article. |
| 2024-02-09 03:34:42 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-02-09 03:34:48 +0100 | <sam113101> | I was considering learning haskell because it looks completely alien to me, and thought it would teach me different ways to solve problems, ways that are completely different from C-like languages |
| 2024-02-09 03:34:58 +0100 | <geekosaur> | that it will |
| 2024-02-09 03:39:35 +0100 | <jackdk> | For the better, I feel |
| 2024-02-09 03:40:42 +0100 | <probie> | What Haskell can do that most language with generics can't, is higher kinded stuff. For example `data Foo t = Foo { bar :: t Int, baz :: t Char }`, which is roughly (if C++ would allow it) `template <typename T> struct Foo { bar T<int>; baz T<char>; };` |
| 2024-02-09 03:42:00 +0100 | She | glances at C++'s template templates, shudders. |
| 2024-02-09 03:43:06 +0100 | <probie> | There's probably a way to actually mangle C++ into doing that, but in a language like Java, there isn't |
| 2024-02-09 03:44:30 +0100 | <sam113101> | honestly I'm surprised C++ doesn't allow that, what if you want your function to be generic over which container type it uses for example, like linked list or vector |
| 2024-02-09 03:47:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-02-09 03:51:23 +0100 | <She> | (You can do this in C++. See template templates.) |
| 2024-02-09 04:01:11 +0100 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-02-09 04:01:12 +0100 | Guest|24 | (~Guest|24@c-71-193-145-250.hsd1.wa.comcast.net) |
| 2024-02-09 04:01:20 +0100 | Guest|24 | (~Guest|24@c-71-193-145-250.hsd1.wa.comcast.net) (Client Quit) |
| 2024-02-09 04:01:46 +0100 | Pixi | (~Pixi@user/pixi) |
| 2024-02-09 04:04:10 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-02-09 04:13:28 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-02-09 04:18:37 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-02-09 04:28:27 +0100 | bilegeek | (~bilegeek@2600:1008:b00c:74db:55ef:3c20:6877:8b09) |
| 2024-02-09 04:29:31 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 260 seconds) |
| 2024-02-09 04:29:59 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 04:36:21 +0100 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 272 seconds) |
| 2024-02-09 04:37:50 +0100 | td_ | (~td@i53870913.versanet.de) |
| 2024-02-09 04:46:59 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 04:51:20 +0100 | <EvanR> | what's an algorithm that works generically regardless of if you're operating on a linked list or a vector |
| 2024-02-09 04:51:58 +0100 | iris_67 | (~iris_67@2804:14c:5b61:8498:d0de:44bc:e96:8838) (Ping timeout: 250 seconds) |
| 2024-02-09 04:55:01 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 246 seconds) |
| 2024-02-09 04:55:43 +0100 | <mauke> | any basic fold |
| 2024-02-09 04:55:54 +0100 | <davean> | EvanR: yah. Uh most? |
| 2024-02-09 04:56:03 +0100 | <davean> | fmap, traverse, fold, etc |
| 2024-02-09 04:56:34 +0100 | <EvanR> | I'm thinking of a generic algorithm as one which works as written on different data structures |
| 2024-02-09 04:56:37 +0100 | <davean> | Applicative? monad ones ... |
| 2024-02-09 04:56:44 +0100 | <davean> | yes, so? |
| 2024-02-09 04:56:51 +0100 | <EvanR> | but a linked list and a vector have wildly different APIs |
| 2024-02-09 04:56:55 +0100 | <davean> | No they don't? |
| 2024-02-09 04:56:57 +0100 | <mauke> | not in C++ |
| 2024-02-09 04:57:01 +0100 | <davean> | Not in Haskell |
| 2024-02-09 04:57:04 +0100 | <EvanR> | are we talking about C++ |
| 2024-02-09 04:57:09 +0100 | <EvanR> | dammit |
| 2024-02-09 04:57:23 +0100 | <davean> | Haskell Vectors and Lists are basicly identical? |
| 2024-02-09 04:57:37 +0100 | <EvanR> | deep thonk |
| 2024-02-09 04:58:40 +0100 | <EvanR> | the foldl operation is supposed by list and vector, that's not exactly an algorithm, but a publically exposed utility |
| 2024-02-09 04:58:44 +0100 | <EvanR> | supported* |
| 2024-02-09 04:59:01 +0100 | <EvanR> | not operating directly on the data structure |
| 2024-02-09 05:02:45 +0100 | <mauke> | define "directly" |
| 2024-02-09 05:04:38 +0100 | <EvanR> | munging the pointers to the next node, or read writing the pointers stored in the vector |
| 2024-02-09 05:05:21 +0100 | <mauke> | wait, are we still in Haskell? |
| 2024-02-09 05:05:31 +0100 | <EvanR> | I don't know |
| 2024-02-09 05:05:39 +0100 | <EvanR> | flips table |
| 2024-02-09 05:06:12 +0100 | <mauke> | anyway, C++ iterators are specifically designed to mimic C pointers |
| 2024-02-09 05:06:58 +0100 | <mauke> | so as long as you can define an iterator for your container type, all the C++ "algorithms" will work with it |
| 2024-02-09 05:07:21 +0100 | <EvanR> | that's cool |
| 2024-02-09 05:08:49 +0100 | <mauke> | the Haskell equivalent (if you squint hard) is class operations like fold/traverse |
| 2024-02-09 05:09:17 +0100 | <mauke> | (but we don't have the crazier stuff like "random access iterators") |
| 2024-02-09 05:11:07 +0100 | shapr```` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 276 seconds) |
| 2024-02-09 05:22:47 +0100 | iris_67 | (~iris_67@2804:14c:5b61:8498:2cc2:baf9:743:c950) |
| 2024-02-09 05:23:08 +0100 | iris_67 | (~iris_67@2804:14c:5b61:8498:2cc2:baf9:743:c950) (Client Quit) |
| 2024-02-09 05:24:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-09 05:30:22 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-09 05:31:31 +0100 | jargon | (~jargon@123.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-02-09 05:32:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-09 05:33:53 +0100 | rvalue- | (~rvalue@user/rvalue) |
| 2024-02-09 05:35:15 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-02-09 05:37:43 +0100 | rvalue- | rvalue |
| 2024-02-09 05:42:10 +0100 | Guest62 | (~Guest62@42.1.69.92) |
| 2024-02-09 05:45:16 +0100 | Guest62 | (~Guest62@42.1.69.92) (Client Quit) |
| 2024-02-09 05:50:17 +0100 | aforemny_ | (~aforemny@i59F516EA.versanet.de) |
| 2024-02-09 05:51:25 +0100 | aforemny | (~aforemny@2001:9e8:6cef:f500:1307:952d:27a:ce7a) (Ping timeout: 264 seconds) |
| 2024-02-09 05:59:24 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-09 06:00:54 +0100 | yooo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 06:01:42 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 268 seconds) |
| 2024-02-09 06:33:35 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-09 06:45:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-09 06:45:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 06:52:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 06:53:11 +0100 | euleritian | (~euleritia@dynamic-176-006-191-116.176.6.pool.telefonica.de) |
| 2024-02-09 06:57:37 +0100 | euleritian | (~euleritia@dynamic-176-006-191-116.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-02-09 06:58:37 +0100 | euleritian | (~euleritia@dynamic-046-114-158-117.46.114.pool.telefonica.de) |
| 2024-02-09 06:59:47 +0100 | yooo | (~yo0O0o@130.105.162.83) (Ping timeout: 260 seconds) |
| 2024-02-09 07:00:20 +0100 | yoo | (~yo0O0o@130.105.162.83) |
| 2024-02-09 07:04:11 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-09 07:14:32 +0100 | yoo | (~yo0O0o@130.105.162.83) (Ping timeout: 256 seconds) |
| 2024-02-09 07:14:32 +0100 | euleritian | (~euleritia@dynamic-046-114-158-117.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-09 07:16:20 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e760e9733025647b8ff6.dip0.t-ipconnect.de) |
| 2024-02-09 07:17:01 +0100 | euleritian | (~euleritia@46.114.228.229) |
| 2024-02-09 07:19:16 +0100 | takuan | (~takuan@178.116.218.225) |
| 2024-02-09 07:19:18 +0100 | euleritian | (~euleritia@46.114.228.229) (Read error: Connection reset by peer) |
| 2024-02-09 07:19:58 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-09 07:29:34 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-02-09 07:29:44 +0100 | euleritian | (~euleritia@dynamic-046-114-228-229.46.114.pool.telefonica.de) |
| 2024-02-09 07:40:39 +0100 | euleritian | (~euleritia@dynamic-046-114-228-229.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 07:41:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 07:44:52 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-02-09 07:45:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-02-09 07:48:31 +0100 | Raspbelly | (~Raspbelly@host-213-235-142-6.ip.topnet.cz) |
| 2024-02-09 07:48:54 +0100 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-02-09 07:50:12 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2024-02-09 07:55:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-09 07:56:00 +0100 | euleritian | (~euleritia@dynamic-046-114-228-229.46.114.pool.telefonica.de) |
| 2024-02-09 08:03:44 +0100 | euleritian | (~euleritia@dynamic-046-114-228-229.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 08:04:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 08:08:47 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-09 08:10:32 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-02-09 08:17:42 +0100 | cstml | (~cstml@user/cstml) |
| 2024-02-09 08:21:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-02-09 08:21:48 +0100 | euleritian | (~euleritia@dynamic-176-007-145-061.176.7.pool.telefonica.de) |
| 2024-02-09 08:23:03 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-02-09 08:24:40 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 246 seconds) |
| 2024-02-09 08:25:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-09 08:25:23 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-02-09 08:29:15 +0100 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-09 08:32:03 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-02-09 08:35:58 +0100 | coot | (~coot@89.69.206.216) |
| 2024-02-09 08:43:24 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2024-02-09 08:53:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 08:53:59 +0100 | mreh | (~matthew@host86-160-168-73.range86-160.btcentralplus.com) |
| 2024-02-09 08:57:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-09 09:04:54 +0100 | euleritian | (~euleritia@dynamic-176-007-145-061.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 09:05:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 09:10:07 +0100 | slack1256 | (~slack1256@191.126.145.109) |
| 2024-02-09 09:23:16 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-09 09:29:29 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a540:8931:9fce:9bae) |
| 2024-02-09 09:29:34 +0100 | danse-nr3 | (~danse@151.35.185.118) |
| 2024-02-09 09:29:58 +0100 | danse-nr3 | (~danse@151.35.185.118) (Remote host closed the connection) |
| 2024-02-09 09:30:21 +0100 | danse-nr3 | (~danse@151.35.185.118) |
| 2024-02-09 09:31:45 +0100 | destituion | (~destituio@2a02:2121:626:f551:2112:7069:dd49:a274) (Ping timeout: 256 seconds) |
| 2024-02-09 09:32:47 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-02-09 09:33:14 +0100 | <tomsmeding> | Axman6: re are there cpu instructions which can do that: upon checking, apparently I misremembered, there aren't (at least on x86). But then at least I'd like to compare-and-swap (CAS) in my vectors! |
| 2024-02-09 09:39:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-09 09:43:52 +0100 | ell1 | (~ellie@user/ellie) |
| 2024-02-09 09:46:51 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-09 09:56:57 +0100 | mmhat | (~mmh@p200300f1c7334999ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-09 09:57:24 +0100 | vpan | (~vpan@mail.elitnet.lt) |
| 2024-02-09 09:59:07 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:a8c9:f52c:b263:8727) (Ping timeout: 255 seconds) |
| 2024-02-09 10:02:01 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-09 10:03:53 +0100 | ell1 | (~ellie@user/ellie) (Quit: Leaving) |
| 2024-02-09 10:04:56 +0100 | ell1 | (~ellie@user/ellie) |
| 2024-02-09 10:05:50 +0100 | ell1 | (~ellie@user/ellie) (Client Quit) |
| 2024-02-09 10:06:42 +0100 | ell1 | (~ellie@user/ellie) |
| 2024-02-09 10:09:01 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 255 seconds) |
| 2024-02-09 10:26:38 +0100 | <petrichor> | has anyone made any recent progress on a wayland equivalent of xmonad? |
| 2024-02-09 10:26:58 +0100 | <petrichor> | waymonad hasn't had a commit in 5 years and is very wip https://github.com/waymonad/waymonad |
| 2024-02-09 10:29:24 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-09 10:29:33 +0100 | <petrichor> | oh wait, i see there is some recent progress on xmonad itself: https://discourse.haskell.org/t/xmonad-for-wayland-call-for-help/7812/48 |
| 2024-02-09 10:30:00 +0100 | <petrichor> | and here https://discourse.haskell.org/t/haskell-wlroots-bindings/8426 |
| 2024-02-09 10:30:10 +0100 | <petrichor> | anyway, morning folks o/ |
| 2024-02-09 10:30:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-09 10:31:33 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-09 10:39:42 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-09 10:40:32 +0100 | <danse-nr3> | moin petrichor |
| 2024-02-09 10:40:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 10:45:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 10:50:55 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-02-09 10:51:24 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-02-09 10:53:41 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-02-09 10:53:50 +0100 | cheater_ | cheater |
| 2024-02-09 10:55:13 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) |
| 2024-02-09 10:56:59 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-02-09 10:57:18 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-09 11:01:52 +0100 | slack1256 | (~slack1256@191.126.145.109) (Read error: Connection reset by peer) |
| 2024-02-09 11:05:22 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-02-09 11:07:53 +0100 | Achylles | (~Achylles_@45.182.57.103) |
| 2024-02-09 11:14:32 +0100 | average | (uid473595@user/average) |
| 2024-02-09 11:15:15 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-09 11:22:01 +0100 | bilegeek | (~bilegeek@2600:1008:b00c:74db:55ef:3c20:6877:8b09) (Quit: Leaving) |
| 2024-02-09 11:23:04 +0100 | Achylles_ | (~Achylles_@45.182.57.103) |
| 2024-02-09 11:25:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-02-09 11:27:23 +0100 | Achylles | (~Achylles_@45.182.57.103) (Ping timeout: 272 seconds) |
| 2024-02-09 11:31:45 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2024-02-09 11:37:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-09 11:38:46 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2024-02-09 11:43:17 +0100 | chele | (~chele@user/chele) |
| 2024-02-09 11:52:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2024-02-09 11:53:23 +0100 | <Axman6> | probie: I expect to see your edits to the wikipedia page post-haste! |
| 2024-02-09 11:58:21 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-09 12:02:12 +0100 | zer0bitz_ | zer0bitz |
| 2024-02-09 12:04:51 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-09 12:07:26 +0100 | mreh | (~matthew@host86-160-168-73.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-02-09 12:08:23 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-09 12:12:01 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-96b0-09a0-118d-8b93-bbde.rev.sfr.net) |
| 2024-02-09 12:16:32 +0100 | Square | (~Square@user/square) |
| 2024-02-09 12:25:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-02-09 12:30:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-09 12:31:34 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 12:36:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-09 12:37:47 +0100 | micro | (~micro@user/micro) (Ping timeout: 264 seconds) |
| 2024-02-09 12:37:55 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2024-02-09 12:38:53 +0100 | micro | (~micro@user/micro) |
| 2024-02-09 12:43:38 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 12:43:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 12:50:11 +0100 | Feuermagier | Guest9244 |
| 2024-02-09 12:50:11 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-02-09 12:50:11 +0100 | Guest9244 | (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-02-09 12:50:11 +0100 | Feuermagier_ | Feuermagier |
| 2024-02-09 12:50:55 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-09 12:51:21 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-02-09 12:51:35 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-02-09 12:51:53 +0100 | end | (~end@user/end/x-0094621) (Read error: Connection reset by peer) |
| 2024-02-09 12:52:37 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 276 seconds) |
| 2024-02-09 12:52:37 +0100 | gdd | (~gdd@2001:bc8:38ee:100:c8c6:dfff:fe51:8c02) (Ping timeout: 276 seconds) |
| 2024-02-09 12:52:37 +0100 | bah | (~bah@l1.tel) (Ping timeout: 276 seconds) |
| 2024-02-09 12:52:37 +0100 | disconnect3d | (~disconnec@user/disconnect3d) (Ping timeout: 276 seconds) |
| 2024-02-09 12:52:37 +0100 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 276 seconds) |
| 2024-02-09 12:52:45 +0100 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2024-02-09 12:52:46 +0100 | bah | (~bah@l1.tel) |
| 2024-02-09 12:52:47 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 264 seconds) |
| 2024-02-09 12:53:00 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2024-02-09 12:53:14 +0100 | danse-nr3 | (~danse@151.35.185.118) (Ping timeout: 260 seconds) |
| 2024-02-09 12:54:03 +0100 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2024-02-09 12:54:06 +0100 | danse-nr3 | (~danse@151.37.152.49) |
| 2024-02-09 12:54:14 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-02-09 12:54:58 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2024-02-09 12:55:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-09 12:55:46 +0100 | Square3 | (~Square4@user/square) |
| 2024-02-09 12:55:47 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-09 12:55:48 +0100 | mreh | (~matthew@86.160.168.73) |
| 2024-02-09 12:56:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 12:57:57 +0100 | end | (~end@user/end/x-0094621) |
| 2024-02-09 12:58:43 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-02-09 13:02:47 +0100 | danse-nr3 | (~danse@151.37.152.49) (Read error: Connection reset by peer) |
| 2024-02-09 13:05:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-02-09 13:05:42 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 13:13:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9cb1:7f76:6f59:b017) |
| 2024-02-09 13:18:16 +0100 | akegalj_ | (~akegalj@93-139-213-76.adsl.net.t-com.hr) |
| 2024-02-09 13:20:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-09 13:23:32 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 13:23:32 +0100 | mreh | (~matthew@86.160.168.73) (Read error: Connection reset by peer) |
| 2024-02-09 13:24:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 13:26:09 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-02-09 13:30:05 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-09 13:33:57 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) |
| 2024-02-09 13:41:16 +0100 | danse-nr3 | (~danse@151.37.211.155) |
| 2024-02-09 13:42:08 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-02-09 13:47:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9cb1:7f76:6f59:b017) (Ping timeout: 276 seconds) |
| 2024-02-09 13:48:47 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-02-09 13:52:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 14:03:10 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-09 14:04:42 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-09 14:06:14 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-02-09 14:13:13 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 276 seconds) |
| 2024-02-09 14:13:26 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-09 14:16:27 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-02-09 14:16:32 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-09 14:17:04 +0100 | danse-nr3 | (~danse@151.37.211.155) (Remote host closed the connection) |
| 2024-02-09 14:17:08 +0100 | califax | (~califax@user/califx) |
| 2024-02-09 14:17:27 +0100 | danse-nr3 | (~danse@151.37.211.155) |
| 2024-02-09 14:22:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 14:23:13 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 14:23:38 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 14:23:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 14:27:02 +0100 | todi | (~todi@p4fd1aef3.dip0.t-ipconnect.de) |
| 2024-02-09 14:28:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 14:28:48 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 14:40:55 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-02-09 14:41:22 +0100 | akegalj_ | (~akegalj@93-139-213-76.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
| 2024-02-09 14:46:33 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) |
| 2024-02-09 14:49:46 +0100 | AlexZenon | (~alzenon@94.233.241.194) |
| 2024-02-09 14:53:34 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-02-09 14:58:40 +0100 | k_hachig | (~k_hachig@138-51-71-41-lsn-2.nat.utoronto.ca) |
| 2024-02-09 15:01:18 +0100 | anon1123 | anon8697 |
| 2024-02-09 15:01:19 +0100 | <Athas> | Followup on my <<loop>> woes from yesterday; it is certainly related to type class dictionaries: https://github.com/diku-dk/futhark/issues/2105 |
| 2024-02-09 15:01:54 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-02-09 15:04:42 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a540:8931:9fce:9bae) (Remote host closed the connection) |
| 2024-02-09 15:08:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 15:13:58 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 15:14:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 15:21:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 15:21:52 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 15:22:41 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-02-09 15:31:46 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-09 15:31:51 +0100 | mmhat | (~mmh@p200300f1c7334999ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-09 15:32:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-09 15:32:13 +0100 | mmhat | (~mmh@p200300f1c73349ccee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-09 15:33:29 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2024-02-09 15:33:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2024-02-09 15:33:29 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2024-02-09 15:33:34 +0100 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2024-02-09 15:35:20 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-02-09 15:35:22 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-02-09 15:35:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-09 15:50:13 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 15:50:40 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 15:51:39 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 15:52:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 15:53:49 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) |
| 2024-02-09 15:55:16 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) |
| 2024-02-09 16:01:11 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-02-09 16:04:30 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Remote host closed the connection) |
| 2024-02-09 16:05:45 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-02-09 16:06:56 +0100 | destituion | (~destituio@2a02:2121:626:f551:546f:3f90:7887:3e7d) |
| 2024-02-09 16:09:21 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-09 16:24:41 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-09 16:25:17 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-09 16:28:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-09 16:28:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 16:28:49 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Ping timeout: 255 seconds) |
| 2024-02-09 16:29:53 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-09 16:29:55 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 16:30:55 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-09 16:32:34 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 16:33:45 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) |
| 2024-02-09 16:34:56 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-02-09 16:36:04 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-09 16:37:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 16:37:50 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-09 16:38:47 +0100 | califax | (~califax@user/califx) |
| 2024-02-09 16:41:25 +0100 | danse-nr3 | (~danse@151.37.211.155) (Ping timeout: 276 seconds) |
| 2024-02-09 16:43:31 +0100 | cstml | (~cstml@user/cstml) |
| 2024-02-09 16:46:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-09 16:46:28 +0100 | califax | (~califax@user/califx) |
| 2024-02-09 16:48:36 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-09 16:56:56 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 16:57:10 +0100 | danse-nr3 | (~danse@151.37.211.155) |
| 2024-02-09 16:57:25 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 2024-02-09 16:57:28 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-09 16:59:02 +0100 | danse-nr3 | (~danse@151.37.211.155) (Remote host closed the connection) |
| 2024-02-09 16:59:02 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-09 16:59:25 +0100 | danse-nr3 | (~danse@151.37.211.155) |
| 2024-02-09 16:59:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 17:00:16 +0100 | k_hachig | (~k_hachig@138-51-71-41-lsn-2.nat.utoronto.ca) (Ping timeout: 276 seconds) |
| 2024-02-09 17:06:52 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 246 seconds) |
| 2024-02-09 17:09:03 +0100 | Square | (~Square@user/square) |
| 2024-02-09 17:11:37 +0100 | k_hachig | (~k_hachig@138-51-71-41-lsn-2.nat.utoronto.ca) |
| 2024-02-09 17:11:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-02-09 17:12:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 17:17:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-09 17:18:04 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) |
| 2024-02-09 17:19:03 +0100 | k_hachig | (~k_hachig@138-51-71-41-lsn-2.nat.utoronto.ca) (Ping timeout: 260 seconds) |
| 2024-02-09 17:20:35 +0100 | ystael | (~ystael@user/ystael) |
| 2024-02-09 17:25:07 +0100 | euleritian | (~euleritia@dynamic-176-006-182-034.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-02-09 17:26:14 +0100 | euleritian | (~euleritia@dynamic-046-114-105-020.46.114.pool.telefonica.de) |
| 2024-02-09 17:30:03 +0100 | euleritian | (~euleritia@dynamic-046-114-105-020.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 17:30:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 17:30:29 +0100 | akegalj_ | (~akegalj@93-139-213-76.adsl.net.t-com.hr) |
| 2024-02-09 17:31:41 +0100 | Achylles_ | (~Achylles_@45.182.57.103) (Ping timeout: 240 seconds) |
| 2024-02-09 17:33:17 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2024-02-09 17:34:43 +0100 | danse-nr3 | (~danse@151.37.211.155) (Ping timeout: 276 seconds) |
| 2024-02-09 17:35:10 +0100 | danse-nr3 | (~danse@151.37.174.127) |
| 2024-02-09 17:35:52 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-02-09 17:35:58 +0100 | TheCoffeMaker_ | (~TheCoffeM@186.137.141.113) |
| 2024-02-09 17:54:59 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2024-02-09 17:56:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 18:01:51 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-02-09 18:02:53 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-02-09 18:03:05 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-09 18:04:11 +0100 | TheCoffeMaker_ | (~TheCoffeM@186.137.141.113) (Ping timeout: 264 seconds) |
| 2024-02-09 18:05:59 +0100 | danse-nr3 | (~danse@151.37.174.127) (Ping timeout: 264 seconds) |
| 2024-02-09 18:08:10 +0100 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2024-02-09 18:08:28 +0100 | pounce | (~pounce@user/cute/pounce) |
| 2024-02-09 18:09:10 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-02-09 18:11:52 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-09 18:13:04 +0100 | k_hachig | (~k_hachig@138-51-84-217-lsn-2.nat.utoronto.ca) |
| 2024-02-09 18:13:43 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-02-09 18:16:52 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-02-09 18:18:46 +0100 | FragByte | (~christian@user/fragbyte) |
| 2024-02-09 18:24:25 +0100 | CiaoSen | (~Jura@2a05:5800:280:2d00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-02-09 18:31:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-96b0-09a0-118d-8b93-bbde.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-09 18:31:55 +0100 | destituion | (~destituio@2a02:2121:626:f551:546f:3f90:7887:3e7d) (Ping timeout: 276 seconds) |
| 2024-02-09 18:32:07 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) |
| 2024-02-09 18:47:14 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-09 18:48:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2024-02-09 18:49:01 +0100 | <erisco> | I want to visualize tree data structures. I found the diagrams package but it looks like I have to come up with the code to draw a tree. Know of something more direct? |
| 2024-02-09 18:49:29 +0100 | <erisco> | There is ghc-vis but I am not interested in visualizing the evaluations |
| 2024-02-09 18:51:37 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-09 18:52:11 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-09 18:57:14 +0100 | TheCoffeMaker_ | (~TheCoffeM@186.137.141.113) |
| 2024-02-09 18:57:43 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-02-09 18:58:19 +0100 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2024-02-09 18:58:34 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 276 seconds) |
| 2024-02-09 18:58:37 +0100 | pounce | (~pounce@user/cute/pounce) |
| 2024-02-09 18:59:47 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-02-09 19:01:34 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-09 19:06:29 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-02-09 19:06:48 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-09 19:09:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-09 19:09:40 +0100 | euleritian | (~euleritia@dynamic-046-114-105-020.46.114.pool.telefonica.de) |
| 2024-02-09 19:09:56 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-09 19:11:21 +0100 | <tomsmeding> | Athas: troubling that you haven't been able to debug it yet! |
| 2024-02-09 19:11:36 +0100 | <tomsmeding> | erisco: not haskell, but are you aware of graphviz? |
| 2024-02-09 19:12:34 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-02-09 19:12:51 +0100 | <tomsmeding> | I see a bindings package exists, but you may be happy enough with just generating a dot file and running that through the 'dot' command-line tool |
| 2024-02-09 19:12:55 +0100 | <erisco> | tomsmeding, nope. Looking now |
| 2024-02-09 19:13:44 +0100 | <haskellbridge> | <sm> there's https://hackage.haskell.org/package/containers-0.7/docs/Data-Tree.html#g:4 |
| 2024-02-09 19:14:33 +0100 | <tomsmeding> | erisco: https://tomsmeding.com/ss/get/tomsmeding/knA7Ot |
| 2024-02-09 19:16:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 19:18:43 +0100 | mei | (~mei@user/mei) |
| 2024-02-09 19:19:12 +0100 | <erisco> | tomsmeding, that looks good, thanks |
| 2024-02-09 19:20:40 +0100 | euleritian | (~euleritia@dynamic-046-114-105-020.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-09 19:20:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-09 19:21:13 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-96b0-09a0-118d-8b93-bbde.rev.sfr.net) |
| 2024-02-09 19:23:16 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Ping timeout: 276 seconds) |
| 2024-02-09 19:27:10 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 276 seconds) |
| 2024-02-09 19:34:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-09 19:34:52 +0100 | cstml | (~cstml@user/cstml) |
| 2024-02-09 19:40:10 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-09 19:43:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-09 19:44:04 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 276 seconds) |
| 2024-02-09 19:46:01 +0100 | akegalj_ | (~akegalj@93-139-213-76.adsl.net.t-com.hr) (Ping timeout: 276 seconds) |
| 2024-02-09 19:52:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-02-09 19:53:31 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-09 20:01:24 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-09 20:01:38 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-09 20:03:56 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-09 20:05:53 +0100 | <Athas> | tomsmeding: truthfully, I have not spent much time on it. |
| 2024-02-09 20:05:56 +0100 | boukenshaou | (~Boukensha@223.178.86.127) |
| 2024-02-09 20:06:04 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-02-09 20:10:29 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-02-09 20:10:55 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-02-09 20:11:09 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 272 seconds) |
| 2024-02-09 20:17:11 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2024-02-09 20:22:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 20:25:13 +0100 | <tomsmeding> | erisco: graphviz dot is useful in so many situations |
| 2024-02-09 20:25:52 +0100 | <tomsmeding> | https://hackage.haskell.org/package/cabal-plan has a 'dot' command (i.e. 'cabal-plan dot') that prints out a dot graph of your package's dependency tree |
| 2024-02-09 20:26:03 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-02-09 20:26:27 +0100 | <tomsmeding> | 'cabal-plan dot | dot -Tpng -o graph.png' and voila, a graph |
| 2024-02-09 20:26:43 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-09 20:26:48 +0100 | <tomsmeding> | not that it will be very readable if it gets big |
| 2024-02-09 20:27:09 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-09 20:28:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-96b0-09a0-118d-8b93-bbde.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-09 20:42:11 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-02-09 20:46:28 +0100 | akegalj | (~akegalj@93.139.213.76) |
| 2024-02-09 20:50:44 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-02-09 20:53:43 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-09 20:54:42 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 20:59:07 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:2c89:8f43:9cbc:9a87) (Quit: Leaving) |
| 2024-02-09 21:01:53 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-09 21:04:20 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:2256:a66a:95f3:ce25) |
| 2024-02-09 21:06:56 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 2024-02-09 21:08:13 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-09 21:08:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-09 21:12:20 +0100 | boukenshaou | (~Boukensha@223.178.86.127) (Remote host closed the connection) |
| 2024-02-09 21:15:26 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-09 21:19:01 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 2024-02-09 21:22:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-02-09 21:25:52 +0100 | boukenshaou | (~Boukensha@223.178.86.127) |
| 2024-02-09 21:27:11 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2024-02-09 21:29:48 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-02-09 21:34:21 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-02-09 21:35:08 +0100 | troydm | (~troydm@user/troydm) |
| 2024-02-09 21:38:36 +0100 | cstml | (~cstml@user/cstml) (Quit: WeeChat 4.1.1) |
| 2024-02-09 21:41:04 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) (Ping timeout: 276 seconds) |
| 2024-02-09 21:43:56 +0100 | evj | (~evj@user/evj) |
| 2024-02-09 21:44:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-09 21:44:51 +0100 | evj | (~evj@user/evj) () |
| 2024-02-09 21:49:15 +0100 | destituion | (~destituio@2a02:2121:626:f551:4873:d2f3:2e93:f3f6) |
| 2024-02-09 21:51:53 +0100 | takuan | (~takuan@178.116.218.225) (Remote host closed the connection) |
| 2024-02-09 22:09:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-09 22:13:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 22:14:29 +0100 | Raspbelly | (~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Ping timeout: 240 seconds) |
| 2024-02-09 22:22:35 +0100 | mmhat | (~mmh@p200300f1c73349ccee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-02-09 22:25:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-02-09 22:27:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 22:30:10 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 22:32:08 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-09 22:34:42 +0100 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-09 22:34:58 +0100 | wagle | (~wagle@quassel.wagle.io) |
| 2024-02-09 22:35:01 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 276 seconds) |
| 2024-02-09 22:35:12 +0100 | wagle | (~wagle@quassel.wagle.io) (Client Quit) |
| 2024-02-09 22:35:37 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-02-09 22:36:11 +0100 | wagle | (~wagle@quassel.wagle.io) |
| 2024-02-09 22:36:41 +0100 | mikoto-chan | (~mikoto-ch@85-76-79-5-nat.elisa-mobile.fi) |
| 2024-02-09 22:39:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-02-09 22:45:41 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-09 22:50:13 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 2024-02-09 22:57:35 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-09 23:00:17 +0100 | k_hachig | (~k_hachig@138-51-84-217-lsn-2.nat.utoronto.ca) (Ping timeout: 252 seconds) |
| 2024-02-09 23:01:31 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2024-02-09 23:02:34 +0100 | k_hachig | (~k_hachig@138-51-84-217-lsn-2.nat.utoronto.ca) |
| 2024-02-09 23:03:08 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-09 23:07:42 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-09 23:10:01 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-02-09 23:12:36 +0100 | Achylles_ | (~Achylles_@45.182.57.103) |
| 2024-02-09 23:21:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-09 23:24:16 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-09 23:25:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-09 23:26:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-09 23:28:27 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-09 23:32:02 +0100 | TheCoffeMaker_ | (~TheCoffeM@186.137.141.113) (Quit: So long and thanks for all the fish) |
| 2024-02-09 23:32:18 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-09 23:34:52 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-09 23:37:53 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-09 23:39:41 +0100 | <dolio> | If I spawn a process, and want to feed it some data, but then pass through as much of my own stdin as it wants, is there some easy way to do that? I was hoping that would be hDuplicateTo, but it doesn't seem like that's the right thing. |
| 2024-02-09 23:41:10 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-02-09 23:41:27 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-09 23:41:28 +0100 | <dolio> | (The mistmatch there being that the stdin for the process that I have is actually a handle that I output to.) |
| 2024-02-09 23:42:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-09 23:42:41 +0100 | <int-e> | hDuplicateTo is dup2(), what you want sounds more like Linux's splice() |
| 2024-02-09 23:43:23 +0100 | <haskellbridge> | <Jade> what are units and 'multi-mode' in ghci? |
| 2024-02-09 23:43:41 +0100 | <haskellbridge> | <Jade> Either I can't find it or (atleast the latter) is poorly documented |
| 2024-02-09 23:44:00 +0100 | <geekosaur> | it's barely there in ghci at present; it's a ghc thing |
| 2024-02-09 23:45:12 +0100 | <haskellbridge> | <Jade> yeah, I'm writing ghci code and there's this really clumsy handling of 'multi-mode' which apparently relates to multiple units being loaded |
| 2024-02-09 23:45:23 +0100 | <geekosaur> | a unit is, roughly speaking, a compilation unit/target |
| 2024-02-09 23:45:44 +0100 | <geekosaur> | multiple home units is a newish ghc feature for which ghci has only preliminary support |
| 2024-02-09 23:47:05 +0100 | <dolio> | Yeah, that does sound like what I want. Seems like there's something in network, but not necessarily just for handles. |
| 2024-02-09 23:47:33 +0100 | <geekosaur> | https://well-typed.com/blog/2022/01/multiple-home-units/ might be of some help |
| 2024-02-09 23:48:05 +0100 | <geekosaur> | dolio, I'm reading that and thinking "expect" |
| 2024-02-09 23:48:25 +0100 | <geekosaur> | sadly I don't know if there's an expect-like library for haskell |
| 2024-02-09 23:48:44 +0100 | <geekosaur> | (in expect it's called "interact") |