| 2024-09-02 00:00:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 00:06:46 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-02 00:08:49 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-09-02 00:09:06 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-02 00:10:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 00:13:00 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-02 00:15:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-02 00:26:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 00:30:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> what is the terminal counterpart of the empty type? |
| 2024-09-02 00:31:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-02 00:32:19 +0200 | <monochrom> | The unit type, (). |
| 2024-09-02 00:33:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> ah nice, ty! |
| 2024-09-02 00:34:36 +0200 | <haskellbridge> | <thirdofmay18081814goya> is there a type T that satisfies: for all x, x subtypes T? |
| 2024-09-02 00:36:39 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-02 00:39:13 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-02 00:41:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 00:41:56 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-09-02 00:46:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-02 00:49:13 +0200 | <monochrom> | Although there is no subtyping in Haskell, if you retreat this record type {x::Int, y::String} as a subtype of this other record type {x::Int}, then extrapolating to the extreme, the universal supertype is the 0-tuple, i.e., unit again. |
| 2024-09-02 00:54:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see, ty! |
| 2024-09-02 00:55:25 +0200 | son0p | (~ff@191.104.26.195) (Remote host closed the connection) |
| 2024-09-02 00:57:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 00:58:17 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-02 01:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 01:03:40 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-02 01:10:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-09-02 01:12:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 01:17:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 01:20:42 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-02 01:25:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-02 01:25:30 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-02 01:27:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 01:33:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-02 01:34:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ce12:5406:9488:ffd0) (Ping timeout: 260 seconds) |
| 2024-09-02 01:34:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb65c86c0f467d06e1b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-09-02 01:36:00 +0200 | son0p | (~ff@191.104.26.195) |
| 2024-09-02 01:37:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-02 01:40:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-02 01:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 01:49:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-02 01:51:15 +0200 | troojg | (~troojg@user/troojg) (Read error: Connection reset by peer) |
| 2024-09-02 01:51:17 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) |
| 2024-09-02 01:59:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 02:01:06 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2024-09-02 02:04:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 02:06:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2024-09-02 02:08:41 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds) |
| 2024-09-02 02:09:51 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-09-02 02:11:08 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-02 02:15:17 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) |
| 2024-09-02 02:15:19 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) (Ping timeout: 256 seconds) |
| 2024-09-02 02:15:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 02:16:07 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) (Client Quit) |
| 2024-09-02 02:18:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2024-09-02 02:20:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-02 02:26:15 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2024-09-02 02:27:34 +0200 | <hololeap> | I seem to remember a hierarchy of parsers that roughly correlates to parsing that can be done exclusively with Applicative vs parsing that requires Monad. does anyone know what I'm thinking of? |
| 2024-09-02 02:31:05 +0200 | <hololeap> | I think it was the chomsky hierarchy |
| 2024-09-02 02:31:17 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-09-02 02:31:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 02:32:41 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-09-02 02:35:31 +0200 | <jackdk> | IIRC laziness means that applicative parsers can do a bit more than parse CFGs but I don't recall the details |
| 2024-09-02 02:35:36 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2024-09-02 02:35:48 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) (Ping timeout: 252 seconds) |
| 2024-09-02 02:35:59 +0200 | Mateon2 | (~Thunderbi@user/meow/Mateon1) |
| 2024-09-02 02:36:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 02:38:17 +0200 | Mateon2 | Mateon1 |
| 2024-09-02 02:42:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-02 02:47:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 02:52:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-02 03:02:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 03:07:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-02 03:15:38 +0200 | <albet70> | break can break the for loop in python, is there something can break in fmap or filter? |
| 2024-09-02 03:16:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 03:19:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-02 03:21:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-02 03:21:53 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-02 03:22:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-09-02 03:25:44 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-09-02 03:26:08 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-02 03:27:39 +0200 | <probie> | <bad joke>just call `error` and thiings will break</bad joke> |
| 2024-09-02 03:27:43 +0200 | <probie> | What does it mean to `break` in a functional language? |
| 2024-09-02 03:30:28 +0200 | <weary-traveler> | albet70: something like takeWhile ? |
| 2024-09-02 03:30:31 +0200 | <weary-traveler> | > takeWhile even [0,2,4,5,6,8,10] |
| 2024-09-02 03:30:33 +0200 | <lambdabot> | [0,2,4] |
| 2024-09-02 03:31:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 03:31:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Excess Flood) |
| 2024-09-02 03:31:55 +0200 | <albet70> | lets assum filter on a list, filter (> 0) [1..22] when the matching item is above five, stop filter the rest, return immediatly |
| 2024-09-02 03:32:09 +0200 | <athan> | albet70 this is usually done with a fold rather than a uniform mapping or something that's guarateed to affect all cases. If you're "looking" for something, maybe `findIndex` would work. But if you're trying to "do something to everything until a condition is met", I'd reduce the list to something that represents the data you want to manage, then apply your map or what have you. |
| 2024-09-02 03:32:45 +0200 | <athan> | I forgot about takeWhile, that's a better choice |
| 2024-09-02 03:35:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-02 03:35:23 +0200 | <probie> | % (`runContT` pure) $ callCC $ \break -> forM_ [1..100] $ \i -> do { when (even i) $ lift $ print i; when (i == 42) $ break() } |
| 2024-09-02 03:35:23 +0200 | <yahb2> | 2 ; 4 ; 6 ; 8 ; 10 ; 12 ; 14 ; 16 ; 18 ; 20 ; 22 ; 24 ; 26 ; 28 ; 30 ; 32 ; 34 ; 36 ; 38 ; 40 ; 42 |
| 2024-09-02 03:36:06 +0200 | <geekosaur> | rip your sanity |
| 2024-09-02 03:36:13 +0200 | <weary-traveler> | heh |
| 2024-09-02 03:36:25 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-09-02 03:37:06 +0200 | <albet70> | athan , reduce the list to something is already filter |
| 2024-09-02 03:40:42 +0200 | <geekosaur> | you can do it in multiple steps, you know. if you `takeWhile whatever (fmap …)` the fmap will stop automatically when takeWhile does |
| 2024-09-02 03:40:51 +0200 | <geekosaur> | (lists are lazy) |
| 2024-09-02 03:41:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-02 03:42:14 +0200 | <weary-traveler> | yeah, perhaps the lack of explicitly mentioning laziness was the missing piece |
| 2024-09-02 03:51:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 03:56:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-02 04:09:24 +0200 | <geekosaur> | also, the actual data structure matters a lot here: lists are inherently lazy, Sets and Maps are inherently spine and key strict (Maps can be value-lazy though) |
| 2024-09-02 04:12:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 04:17:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 04:19:37 +0200 | <geekosaur> | > takeWhile (<5) (map (+1) [2,1,4,undefined]) |
| 2024-09-02 04:19:39 +0200 | <lambdabot> | [3,2] |
| 2024-09-02 04:20:36 +0200 | <geekosaur> | the `undefined` is never reached because `takeWhile` stops demanding values from the list when `map` produces a 5 |
| 2024-09-02 04:21:30 +0200 | <geekosaur> | so you generally don't need to explicitly "break" out of a loop, you can let laziness do it for you |
| 2024-09-02 04:21:52 +0200 | <geekosaur> | > [1..] |
| 2024-09-02 04:21:54 +0200 | <lambdabot> | [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... |
| 2024-09-02 04:22:42 +0200 | <geekosaur> | this is the same thing, lambdabot uses a `takeWhile` to limit the output size, so only 28 values are demanded from the technically-"infinite" [1..] |
| 2024-09-02 04:27:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 04:32:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 04:42:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 04:47:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-02 04:48:09 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-09-02 04:57:03 +0200 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 246 seconds) |
| 2024-09-02 04:58:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 04:59:00 +0200 | td_ | (~td@i5387090A.versanet.de) |
| 2024-09-02 05:02:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-02 05:06:29 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-09-02 05:13:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:18:26 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
| 2024-09-02 05:20:24 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2024-09-02 05:20:50 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-09-02 05:21:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 05:24:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-02 05:26:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-02 05:28:21 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:7d74:cd19:266b:9129) (Ping timeout: 276 seconds) |
| 2024-09-02 05:28:29 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) |
| 2024-09-02 05:29:41 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 2024-09-02 05:32:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:33:15 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 2024-09-02 05:36:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-02 05:47:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:52:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 05:55:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:55:39 +0200 | aforemny | (~aforemny@i59F516FC.versanet.de) (Ping timeout: 276 seconds) |
| 2024-09-02 05:56:01 +0200 | aforemny | (~aforemny@2001:9e8:6cf4:df00:6f30:d808:ba6b:50ac) |
| 2024-09-02 06:00:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-02 06:02:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 06:09:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-02 06:13:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:22:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 06:29:41 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-09-02 06:30:23 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-09-02 06:33:11 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-09-02 06:33:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:34:36 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-02 06:35:01 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-09-02 06:38:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 06:39:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-02 06:40:51 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-02 06:41:00 +0200 | Digitteknohippie | Digit |
| 2024-09-02 06:48:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:48:39 +0200 | califax_ | (~califax@user/califx) |
| 2024-09-02 06:48:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-02 06:49:57 +0200 | califax_ | califax |
| 2024-09-02 06:53:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-02 06:53:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-02 06:54:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-02 07:04:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:08:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-02 07:08:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-02 07:19:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:19:25 +0200 | <Axman6> | :t callCC |
| 2024-09-02 07:19:26 +0200 | <lambdabot> | MonadCont m => ((a -> m b) -> m a) -> m a |
| 2024-09-02 07:22:44 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2024-09-02 07:23:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-02 07:31:31 +0200 | <Leary> | monochrom, thirdofmay18081814goya: Polymorphism induces a subtyping relation. This gives us the universal subtype `forall a. a`. With `exists` we'd also have a universal supertype `exists a. a`. It follows immediately that these are initial and terminal objects (respectively), which are "essentially unique" and hence cannot meaningfully differ from `Void` and `()` (respectively). |
| 2024-09-02 07:34:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:39:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 07:46:40 +0200 | pavonia_ | (~user@user/siracusa) |
| 2024-09-02 07:47:17 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Quit: Ping timeout (120 seconds)) |
| 2024-09-02 07:47:42 +0200 | cayley5 | (~cayley5@user/phileasfogg) |
| 2024-09-02 07:47:47 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-02 07:47:59 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2024-09-02 07:49:41 +0200 | zfnmxt_ | (~zfnmxt@107.189.30.63) |
| 2024-09-02 07:49:49 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 2024-09-02 07:49:51 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2024-09-02 07:49:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:50:07 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-09-02 07:50:20 +0200 | pavonia_ | pavonia |
| 2024-09-02 07:50:24 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | ent | (entgod@kapsi.fi) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:44 +0200 | ent | (entgod@kapsi.fi) |
| 2024-09-02 07:50:59 +0200 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 260 seconds) |
| 2024-09-02 07:51:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-02 07:51:10 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-09-02 07:51:18 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-09-02 07:51:27 +0200 | ChanServ | +v lambdabot |
| 2024-09-02 07:51:29 +0200 | shachaf | (~shachaf@user/shachaf) |
| 2024-09-02 07:54:34 +0200 | zfnmxt_ | zfnmxt |
| 2024-09-02 07:55:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-02 08:00:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2024-09-02 08:01:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-09-02 08:02:12 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-02 08:02:33 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
| 2024-09-02 08:05:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:09:17 +0200 | <Leary> | Addendum: I guess true universality requires impredicativity, but whatever, close enough. |
| 2024-09-02 08:10:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 08:13:43 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-02 08:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:23:18 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 245 seconds) |
| 2024-09-02 08:23:59 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 255 seconds) |
| 2024-09-02 08:24:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-02 08:24:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-02 08:25:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb8015cf4a37de266f89.dip0.t-ipconnect.de) |
| 2024-09-02 08:35:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:36:49 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) |
| 2024-09-02 08:38:14 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-02 08:39:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 08:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:54:54 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-02 08:55:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-02 08:57:23 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
| 2024-09-02 09:04:40 +0200 | <tomsmeding> | Leary: isn't haskell impredicative? |
| 2024-09-02 09:06:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 09:11:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-02 09:12:06 +0200 | <Leary> | I meant impredicativity of quantification (quantifying over quantified types). So only if you include ImpredicativeTypes in your definition of "modern GHC Haskell". |
| 2024-09-02 09:12:20 +0200 | <tomsmeding> | oh, right :p |
| 2024-09-02 09:12:25 +0200 | <tomsmeding> | I had a brainfart |
| 2024-09-02 09:15:19 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-09-02 09:20:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-02 09:30:51 +0200 | [exa] | [exa]_ |
| 2024-09-02 09:31:18 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-09-02 09:34:07 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-02 09:34:27 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-02 09:35:04 +0200 | [exa]_ | (~exa@user/exa/x-3587197) (Quit: WeeChat 4.3.5) |
| 2024-09-02 09:39:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-02 09:45:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-02 09:54:24 +0200 | Guest|48 | (~Guest|48@p57841b6b.dip0.t-ipconnect.de) |
| 2024-09-02 09:54:52 +0200 | Guest|48 | (~Guest|48@p57841b6b.dip0.t-ipconnect.de) (Client Quit) |
| 2024-09-02 09:57:34 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 09:57:51 +0200 | <[exa]> | quit |
| 2024-09-02 09:58:08 +0200 | <[exa]> | (oh noes I can't type slash, sorry for noise) |
| 2024-09-02 09:58:11 +0200 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.0) |
| 2024-09-02 09:58:17 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 09:58:42 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-02 09:58:59 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-09-02 10:07:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-02 10:09:06 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-02 10:14:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-02 10:17:56 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
| 2024-09-02 10:20:47 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-02 10:22:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 10:24:37 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-53.web.vodafone.de) |
| 2024-09-02 10:29:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-02 10:34:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-02 10:38:47 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 10:41:07 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 10:42:11 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-09-02 10:42:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 10:44:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 10:48:51 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-02 10:48:54 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 260 seconds) |
| 2024-09-02 10:49:27 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2024-09-02 10:54:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2024-09-02 10:54:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 10:57:23 +0200 | Digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2024-09-02 10:59:01 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-02 11:02:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 11:09:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-09-02 11:13:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 11:21:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 11:21:42 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-02 11:22:00 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 11:28:00 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-02 11:28:25 +0200 | Digit | (~user@user/digit) |
| 2024-09-02 11:35:16 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1018:29fb:8000::) |
| 2024-09-02 11:35:26 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1018:29fb:8000::) (Client Quit) |
| 2024-09-02 11:35:56 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-09-02 11:37:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-02 11:40:42 +0200 | chele | (~chele@user/chele) |
| 2024-09-02 11:53:00 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-02 11:54:39 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-09-02 11:58:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-09-02 12:01:20 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-02 12:02:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-09-02 12:02:50 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-02 12:14:20 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Quit: THE END) |
| 2024-09-02 12:14:24 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 12:14:37 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-09-02 12:14:54 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-02 12:15:38 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-02 12:26:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-09-02 12:29:46 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 12:32:29 +0200 | Digit | (~user@user/digit) |
| 2024-09-02 12:35:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-02 12:40:50 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 12:48:20 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Quit: leaving) |
| 2024-09-02 12:49:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9984:ac36:164d:127b) |
| 2024-09-02 12:50:48 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) |
| 2024-09-02 12:51:47 +0200 | Guest|76 | (~Guest|76@203.220.143.36) |
| 2024-09-02 12:52:06 +0200 | Guest|76 | (~Guest|76@203.220.143.36) (Client Quit) |
| 2024-09-02 12:52:59 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-53.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-09-02 12:59:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-53.web.vodafone.de) |
| 2024-09-02 13:00:51 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-02 13:03:36 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-02 13:09:51 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 246 seconds) |
| 2024-09-02 13:17:23 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-02 13:22:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-02 13:33:14 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Remote host closed the connection) |
| 2024-09-02 13:36:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 13:37:34 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 13:46:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-02 13:47:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 13:50:25 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-02 13:51:56 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 13:53:22 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2024-09-02 13:54:29 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-02 13:57:13 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2024-09-02 13:58:09 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-09-02 13:58:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 13:59:43 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2024-09-02 14:00:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-09-02 14:01:06 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 14:08:14 +0200 | Artea | (~Lufia@51.77.231.97) |
| 2024-09-02 14:08:59 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-09-02 14:09:45 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-02 14:10:33 +0200 | Guest56 | (~Guest56@dynamic-078-054-170-162.78.54.pool.telefonica.de) |
| 2024-09-02 14:10:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-09-02 14:12:39 +0200 | Guest56 | (~Guest56@dynamic-078-054-170-162.78.54.pool.telefonica.de) () |
| 2024-09-02 14:23:00 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Ping timeout: 246 seconds) |
| 2024-09-02 14:39:32 +0200 | comerijn | (~merijn@77.242.116.146) |
| 2024-09-02 14:40:29 +0200 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2024-09-02 14:41:38 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-09-02 14:49:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-02 14:51:16 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 14:53:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 14:59:05 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 15:00:05 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:03:04 +0200 | Lears | (~Leary@user/Leary/x-0910699) |
| 2024-09-02 15:04:54 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 252 seconds) |
| 2024-09-02 15:05:20 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-02 15:07:12 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 15:08:50 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:10:01 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-09-02 15:10:33 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Client Quit) |
| 2024-09-02 15:11:41 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-53.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-09-02 15:12:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 15:13:23 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:15:38 +0200 | tv | (~tv@user/tv) |
| 2024-09-02 15:15:39 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-02 15:16:32 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Client Quit) |
| 2024-09-02 15:19:24 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:20:32 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 15:21:45 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Client Quit) |
| 2024-09-02 15:26:10 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:29:30 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Client Quit) |
| 2024-09-02 15:30:52 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 15:30:53 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:c25f:f0cf:3314:48c2) |
| 2024-09-02 15:33:39 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-02 15:34:22 +0200 | <slack1256> | Hey all, I have a haskell program compiled with ghc that has the RTS making syscalls for it. I do want to run this for openbsd and use the unveil and pledge syscalls. Given the RTS is complex, is it possible to use those syscalls to restrict it? Or in practice the RTS uses everything from the system? |
| 2024-09-02 15:37:53 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 248 seconds) |
| 2024-09-02 15:39:35 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-09-02 15:43:20 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-02 15:43:40 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-02 15:44:20 +0200 | spew | (~spew@201.141.99.170) (Client Quit) |
| 2024-09-02 15:44:31 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 15:56:24 +0200 | murgeljm | (~murgeljm@apn-122-12-44-gprs.simobil.net) |
| 2024-09-02 16:04:27 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 16:05:06 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 16:10:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-09-02 16:11:06 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-02 16:11:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-09-02 16:18:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-09-02 16:24:02 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 16:25:25 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-09-02 16:27:27 +0200 | murgeljm | (~murgeljm@apn-122-12-44-gprs.simobil.net) (Read error: Connection reset by peer) |
| 2024-09-02 16:42:10 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-02 16:44:09 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-02 16:55:39 +0200 | solution | (~Solution@78-131-74-26.pool.digikabel.hu) |
| 2024-09-02 17:00:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-02 17:00:29 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 17:02:15 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
| 2024-09-02 17:15:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 17:16:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-09-02 17:17:06 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-02 17:19:20 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-02 17:20:30 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 17:26:30 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 17:29:15 +0200 | ctk | (~calimero@ctkarch.org) |
| 2024-09-02 17:29:21 +0200 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-09-02 17:33:01 +0200 | adamCS_ | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-09-02 17:34:07 +0200 | ash3en | (~Thunderbi@89.246.174.164) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | solution | (~Solution@78-131-74-26.pool.digikabel.hu) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | merijn | (~merijn@77.242.116.146) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | jinsun | (~jinsun@user/jinsun) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9984:ac36:164d:127b) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | youthlic | (~Thunderbi@user/youthlic) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | [exa] | (~exa@user/exa/x-3587197) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | yazz | (jarek@user/yazz) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-02 17:34:07 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | TonyStone | (~TonyStone@user/TonyStone) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | rini | (~rini@user/rini) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | teesquare | (~teesquare@user/teesquare) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | lystra | (~lystra@208.59.105.41) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | bollu | (~bollu@159.65.151.13) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2024-09-02 17:34:08 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2024-09-02 17:34:09 +0200 | red-snail1 | red-snail |
| 2024-09-02 17:34:09 +0200 | adamCS_ | adamCS |
| 2024-09-02 17:35:32 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-02 17:35:37 +0200 | solution | (~Solution@78-131-74-26.pool.digikabel.hu) |
| 2024-09-02 17:35:37 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-09-02 17:35:37 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-02 17:35:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9984:ac36:164d:127b) |
| 2024-09-02 17:35:37 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-09-02 17:35:37 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-02 17:35:37 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-09-02 17:35:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-02 17:35:37 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-09-02 17:35:37 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-02 17:35:37 +0200 | yazz | (jarek@user/yazz) |
| 2024-09-02 17:35:37 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-09-02 17:35:37 +0200 | bjs | (sid190364@user/bjs) |
| 2024-09-02 17:35:37 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2024-09-02 17:35:37 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-09-02 17:35:37 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2024-09-02 17:35:37 +0200 | lystra | (~lystra@208.59.105.41) |
| 2024-09-02 17:35:37 +0200 | mauke | (~mauke@user/mauke) |
| 2024-09-02 17:35:37 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-09-02 17:35:37 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-09-02 17:35:37 +0200 | rini | (~rini@user/rini) |
| 2024-09-02 17:35:37 +0200 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2024-09-02 17:35:37 +0200 | peutri | (~peutri@bobo.desast.re) |
| 2024-09-02 17:35:37 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2024-09-02 17:35:37 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-09-02 17:35:37 +0200 | teesquare | (~teesquare@user/teesquare) |
| 2024-09-02 17:35:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-09-02 17:35:37 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2024-09-02 17:35:37 +0200 | bollu | (~bollu@159.65.151.13) |
| 2024-09-02 17:35:37 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-09-02 17:35:37 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-09-02 17:35:37 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2024-09-02 17:35:37 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-09-02 17:35:43 +0200 | d34df00d | (~d34df00d@108-194-55-150.lightspeed.austtx.sbcglobal.net) (Excess Flood) |
| 2024-09-02 17:38:24 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-09-02 17:38:59 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-09-02 17:39:54 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2024-09-02 17:41:01 +0200 | ash3en | (~Thunderbi@146.70.124.158) |
| 2024-09-02 17:41:49 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-02 17:43:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-02 17:49:10 +0200 | ash3en | (~Thunderbi@146.70.124.158) (Quit: ash3en) |
| 2024-09-02 17:49:32 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-02 17:54:27 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 17:59:51 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-02 18:01:58 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-02 18:07:34 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-09-02 18:09:46 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-02 18:13:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-02 18:14:03 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: woe is me) |
| 2024-09-02 18:16:01 +0200 | ZharMeny` | ZharMeny |
| 2024-09-02 18:18:25 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-02 18:22:13 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-09-02 18:27:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 18:37:26 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 18:45:00 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2024-09-02 18:46:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-02 18:54:47 +0200 | <dmj`> | is neohaskell a thing still, or was that just a blog post |
| 2024-09-02 18:57:35 +0200 | <lxsameer> | hey folks, I feel that my Haskell knowledge is not enough for what I'm doing, any suggestion on how to improve it ? |
| 2024-09-02 18:57:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-02 18:58:56 +0200 | <ncf> | learn what you don't know |
| 2024-09-02 18:58:59 +0200 | <ncf> | HTH |
| 2024-09-02 18:59:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-02 18:59:16 +0200 | <dmj`> | lxsameer: did you go through the typeclassopedia |
| 2024-09-02 18:59:38 +0200 | <lxsameer> | nope |
| 2024-09-02 18:59:48 +0200 | <monochrom> | neohaskell looks like a one-person project now, so expect slower progress than even Knuth's TAOCP volume 4. >:) |
| 2024-09-02 18:59:54 +0200 | <lxsameer> | wow that's nice |
| 2024-09-02 18:59:56 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-02 19:00:14 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-02 19:00:25 +0200 | <lxsameer> | monochrom: what do you mean exactly |
| 2024-09-02 19:00:40 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-09-02 19:00:42 +0200 | <monochrom> | I mean what I wrote, exactly. |
| 2024-09-02 19:01:36 +0200 | <lxsameer> | ahh sorry, it wasn't for me |
| 2024-09-02 19:01:42 +0200 | ZharMeny` | ZharMeny |
| 2024-09-02 19:04:56 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-09-02 19:05:22 +0200 | <dmj`> | monochrom: yea we need a microhs that just does hindley milner + typeclasses, no system F |
| 2024-09-02 19:06:14 +0200 | <monochrom> | :( |
| 2024-09-02 19:06:27 +0200 | <monochrom> | I like System F. :) |
| 2024-09-02 19:07:39 +0200 | <monochrom> | But Hindley-Milner + type classes would be simply Haskell 2010. I don't want to frame that as micro. Instead, it's GHC that's gigantic. |
| 2024-09-02 19:09:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-02 19:09:57 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) (Ping timeout: 276 seconds) |
| 2024-09-02 19:10:05 +0200 | <haskellbridge> | <sm> lxsameer: read code, eg of projects like what you're doing |
| 2024-09-02 19:10:12 +0200 | vglfr | (~vglfr@2607:fb91:834:1618:ac39:6af7:e3fa:db4a) |
| 2024-09-02 19:10:22 +0200 | <monochrom> | I like System F (and Yoneda lemma) because they are a great source of homework/exam questions on free theorems. E.g., Prove: If e :: (forall r. (Int -> r -> r) ->r -> r), then e op z = foldr op z (e (:) []) |
| 2024-09-02 19:12:26 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-09-02 19:12:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-02 19:13:03 +0200 | <monochrom> | This year I gave this midterm test question: Prove by induction (on finite lists): filter p . map f = map f . filter (p . f) |
| 2024-09-02 19:14:12 +0200 | <monochrom> | Then on the final exam: Prove that equation again but this time by free theorems, i.e., replace "filter" by arbitrary "e :: forall b. (Bool -> b) -> [b] -> [b]" and the equation will holds. |
| 2024-09-02 19:14:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2024-09-02 19:16:56 +0200 | <monochrom> | ("Clearly", the order of invention was the reverse. I first thought up that equation from free theorems, then buy-one-get-one-free it into two questions.) |
| 2024-09-02 19:18:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-02 19:19:39 +0200 | <monochrom> | OK, System F is not necessary to ask and answer those questions, but it was in the context of System F that I really learned how (forall r. (Int -> r -> r) ->r -> r) is in bijection with [Int]. |
| 2024-09-02 19:20:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 19:20:24 +0200 | <monochrom> | (and generally all positive ADTs) |
| 2024-09-02 19:28:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-02 19:37:49 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
| 2024-09-02 19:39:31 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-09-02 19:41:25 +0200 | <dmj`> | yea for proofs it might be cool, could use agda / coq for that too. But would be nice to have a systemsy haskell |
| 2024-09-02 19:47:49 +0200 | <[exa]> | dmj`: I'm kinda planning to connect the MicroHS frontend to my stupid 3kB-ish gmachine runner eventually (currently here https://gitea.blesmrt.net/exa/uskel), should be tiny enough. I'll notify here when that happens. |
| 2024-09-02 19:48:23 +0200 | <dmj`> | [exa]: 404 :/ |
| 2024-09-02 19:49:50 +0200 | <[exa]> | wait how come |
| 2024-09-02 19:50:13 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-09-02 19:50:25 +0200 | <dmj`> | [exa]: oh the URL was including ")," at the end, derp |
| 2024-09-02 19:50:39 +0200 | <[exa]> | ah my bad I should spacinate |
| 2024-09-02 19:51:13 +0200 | <Lears> | Or <URL>, as is the convention. |
| 2024-09-02 19:51:25 +0200 | <dmj`> | [exa]: I'm curious how it will fare because I don't think microhs uses generational GC, and haskell allocates a lot and unknown function calls make generational GC a requirement for perf I think |
| 2024-09-02 19:53:35 +0200 | <[exa]> | the cut from microhs will probably be somewhere just before they do the abstraction to kombinators, gc is from this one |
| 2024-09-02 19:54:36 +0200 | <dmj`> | ah thats pretty cool |
| 2024-09-02 19:54:44 +0200 | <[exa]> | the current one is minimalistic (1-level generational) but the code is like...50 instructions? |
| 2024-09-02 19:55:54 +0200 | <dmj`> | in microhs? or you wrrote a gc in asm |
| 2024-09-02 19:56:00 +0200 | <[exa]> | I guess I could do 2level in sensible space but I got all my free hackin time pretty much burned up lately, so yeah, might take some time |
| 2024-09-02 19:56:25 +0200 | ctk | (~calimero@ctkarch.org) (Changing host) |
| 2024-09-02 19:56:25 +0200 | ctk | (~calimero@user/calimeroteknik) |
| 2024-09-02 19:56:36 +0200 | <dmj`> | the fact you have any generational at all is impressive |
| 2024-09-02 19:56:53 +0200 | <[exa]> | https://gitea.blesmrt.net/exa/uskel/src/branch/master/include/gc.s#L110 |
| 2024-09-02 19:57:05 +0200 | <[exa]> | not sure how generational is 1 generation tho |
| 2024-09-02 19:57:22 +0200 | <[exa]> | lemme check, might be it's not generational (I'm bad at nomenclature) |
| 2024-09-02 19:57:54 +0200 | <[exa]> | ah yes "technically generational" |
| 2024-09-02 19:58:07 +0200 | <[exa]> | but the only time the 2 generation coexist is the gc time |
| 2024-09-02 20:00:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-02 20:02:17 +0200 | ctk | CalimeroTeknik |
| 2024-09-02 20:05:43 +0200 | spew | (~spew@201.141.99.170) (Read error: Connection reset by peer) |
| 2024-09-02 20:09:09 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 246 seconds) |
| 2024-09-02 20:09:29 +0200 | ash3en | (~Thunderbi@146.70.124.158) |
| 2024-09-02 20:09:50 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-122.web.vodafone.de) |
| 2024-09-02 20:10:28 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-02 20:10:54 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Ping timeout: 246 seconds) |
| 2024-09-02 20:11:01 +0200 | ZharMeny` | ZharMeny |
| 2024-09-02 20:11:43 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-02 20:21:52 +0200 | pierrot | (~pi@user/pierrot) |
| 2024-09-02 20:27:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-02 20:34:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-09-02 20:34:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-09-02 20:38:39 +0200 | vglfr | (~vglfr@2607:fb91:834:1618:ac39:6af7:e3fa:db4a) (Ping timeout: 260 seconds) |
| 2024-09-02 20:38:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-02 20:43:46 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-09-02 20:45:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-09-02 20:48:42 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-02 20:50:33 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:c25f:f0cf:3314:48c2) (Remote host closed the connection) |
| 2024-09-02 20:52:52 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-02 21:00:19 +0200 | DNS | BA_Dragon |
| 2024-09-02 21:00:41 +0200 | SovereignNoumena | (~Sovereign@68-69-210-238.sktn.hsdb.sasknet.sk.ca) |
| 2024-09-02 21:00:50 +0200 | Artea | (~Lufia@51.77.231.97) (Remote host closed the connection) |
| 2024-09-02 21:01:19 +0200 | SovereignNoumena | (~Sovereign@68-69-210-238.sktn.hsdb.sasknet.sk.ca) (Read error: Connection reset by peer) |
| 2024-09-02 21:01:33 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:472:1f80:8d8f:3004) |
| 2024-09-02 21:03:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-02 21:12:45 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 21:12:51 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-02 21:13:08 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-02 21:23:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 21:28:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 21:32:30 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2024-09-02 21:52:23 +0200 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-09-02 21:52:44 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-09-02 21:53:05 +0200 | ash3en | (~Thunderbi@146.70.124.158) (Ping timeout: 255 seconds) |
| 2024-09-02 21:53:05 +0200 | ash3en1 | ash3en |
| 2024-09-02 21:57:24 +0200 | <lystra> | I am building pandoc from source. How do I build its dependencies to install to a separate package database, apart from the GHC package database? I tried "runhaskell Setup configure --package-db=<pandoc package db>" but that throws a warning showing unavailable dependencies: https://gist.github.com/twwlogin/e979d9d2b084f3df04d48362e15b9f05. Setting GHC_PACKAGE_PATH throws a warning about this variable being incompatible with Cabal. Any ideas? |
| 2024-09-02 21:58:07 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-02 22:01:55 +0200 | <sclv> | lystra: with a new cabal just cabal-install it? |
| 2024-09-02 22:02:49 +0200 | <lystra> | sclv: You mean don't install from source? I know that is an option but would still like to build from source. |
| 2024-09-02 22:03:07 +0200 | <sclv> | cabal install builds from source |
| 2024-09-02 22:03:07 +0200 | CrunchyFlakes | (~CrunchyFl@ip-109-42-112-122.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-09-02 22:04:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-02 22:04:21 +0200 | <lystra> | cabal configure --package-db=<blah>/cabal build/cabal install? |
| 2024-09-02 22:04:43 +0200 | <sclv> | you don’t need to configure |
| 2024-09-02 22:04:48 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-02 22:04:58 +0200 | <sclv> | “cabal install pandoc”. done |
| 2024-09-02 22:05:30 +0200 | <lystra> | I need to build the dependencies though. |
| 2024-09-02 22:05:34 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-02 22:05:37 +0200 | <sclv> | this will put the deps in the new store, not the standard ghc pkgdb |
| 2024-09-02 22:05:40 +0200 | <sclv> | automatically |
| 2024-09-02 22:07:12 +0200 | <lystra> | cabal install pandoc --package-db=<blah> --prefix=<blah>? |
| 2024-09-02 22:07:59 +0200 | <sclv> | no. no package-db argument. it doesn’t install in the main packagedb regardless but its own special “store” thats nix-style |
| 2024-09-02 22:08:08 +0200 | neuroevolutus | (~neuroevol@146.70.211.24) |
| 2024-09-02 22:08:22 +0200 | <sclv> | if you really want you can specify your own —store-dir but there’s no need |
| 2024-09-02 22:09:08 +0200 | <sclv> | literally just “cabal install pandoc” |
| 2024-09-02 22:10:03 +0200 | ash3en1 | (~Thunderbi@146.70.124.158) |
| 2024-09-02 22:10:14 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2024-09-02 22:10:14 +0200 | ash3en1 | ash3en |
| 2024-09-02 22:14:31 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-02 22:19:02 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.250) |
| 2024-09-02 22:19:13 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2024-09-02 22:19:31 +0200 | <lystra> | I tried that and get https://gist.github.com/twwlogin/2e4537d450950d284f418e38668002b1. If I run "cabal build", the dependencies get installed to ~/.cabal/packages. But, I need to distribute this so need the dependencies centrally located. |
| 2024-09-02 22:19:34 +0200 | <geekosaur> | it sounded to me like they want something they can carry to other systems? |
| 2024-09-02 22:19:38 +0200 | Artea | (~Lufia@2001:41d0:404:200::2d7) |
| 2024-09-02 22:19:55 +0200 | <geekosaur> | but that's going to be really painful, and changing the pkgdb won't help b ecause it references the store |
| 2024-09-02 22:20:20 +0200 | <geekosaur> | I don't think cabal-install caters to that use case |
| 2024-09-02 22:20:33 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-09-02 22:20:46 +0200 | aniketd_ | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-09-02 22:20:47 +0200 | cpli_ | (77fc530071@2a03:6000:1812:100::252) |
| 2024-09-02 22:20:49 +0200 | lukec_ | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-09-02 22:20:52 +0200 | jkoshy_ | (99b9359beb@user/jkoshy) |
| 2024-09-02 22:20:52 +0200 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-09-02 22:20:52 +0200 | chaitlatte0_ | (ea29c0bb16@2a03:6000:1812:100::1124) |
| 2024-09-02 22:20:53 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-09-02 22:20:53 +0200 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
| 2024-09-02 22:20:55 +0200 | kitaleth_ | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-09-02 22:21:04 +0200 | natto17 | (~natto@129.154.243.159) |
| 2024-09-02 22:21:07 +0200 | <lystra> | Doesn't GHC_PACKAGE_PATH support multiple package databases? |
| 2024-09-02 22:21:19 +0200 | Kamuela_ | (sid111576@id-111576.tinside.irccloud.com) |
| 2024-09-02 22:21:21 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-09-02 22:21:21 +0200 | delyan__ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2024-09-02 22:21:21 +0200 | cbarrett_ | (sid192934@id-192934.helmsley.irccloud.com) |
| 2024-09-02 22:21:25 +0200 | buhman_ | (sid411355@user/buhman) |
| 2024-09-02 22:21:26 +0200 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-09-02 22:21:28 +0200 | degraafk_ | (sid71464@id-71464.lymington.irccloud.com) |
| 2024-09-02 22:21:31 +0200 | bsima- | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2024-09-02 22:21:37 +0200 | YoungFrawg | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-09-02 22:21:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-02 22:22:12 +0200 | <geekosaur> | it does, but (a) the store is not the package db (b) if you go that route you need to use only ghc and Setup.hs, not cabal |
| 2024-09-02 22:22:33 +0200 | haskellbridge_ | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-02 22:22:33 +0200 | ChanServ | +v haskellbridge_ |
| 2024-09-02 22:22:51 +0200 | <geekosaur> | because cabal doesn't support multiple stores, and doing it manually with Setup.hs will teach you why |
| 2024-09-02 22:23:36 +0200 | <lystra> | That's fine. We built a bunch of other packages with Setup but we installed them to the main package db. Usually we run "runhaskell Setup configure/build/install". |
| 2024-09-02 22:23:38 +0200 | ash3en | (~Thunderbi@146.70.124.158) (Quit: ash3en) |
| 2024-09-02 22:23:50 +0200 | flukiluke_ | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2024-09-02 22:23:50 +0200 | AWizzArd_ | (~code@gehrels.uberspace.de) |
| 2024-09-02 22:24:02 +0200 | comonad1 | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) |
| 2024-09-02 22:24:10 +0200 | ddb1 | (ddb@tilde.club) |
| 2024-09-02 22:24:21 +0200 | walee_ | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
| 2024-09-02 22:24:27 +0200 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) |
| 2024-09-02 22:24:58 +0200 | <lystra> | Using Setup configure --package-db, we installed "digest" to /usr/local/pandoc. Now we need to build "zip-archive" which depends on "digest" but cannot get "Setup configure" to find the "digest" package. |
| 2024-09-02 22:25:02 +0200 | <geekosaur> | (or you can do it the way the ghc build does it for bootlibs, which involves copying all the artifacts into the package db entry directory and modifying the package.conf to point to them) |
| 2024-09-02 22:25:27 +0200 | Tuplanolla1 | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-02 22:25:33 +0200 | natto | (~natto@129.154.243.159) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | kitaleth | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | buhman | (sid411355@user/buhman) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | AWizzArd | (~code@user/awizzard) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:8a3:68c5:dfa:3fdd) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | AlexNoo | (~AlexNoo@178.34.150.250) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | ddb | (ddb@tilde.club) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:25:34 +0200 | YoungFrawg | YoungFrog |
| 2024-09-02 22:25:34 +0200 | aniketd_ | aniketd |
| 2024-09-02 22:25:34 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-02 22:25:34 +0200 | fn_lumi_ | fn_lumi |
| 2024-09-02 22:25:34 +0200 | cpli_ | cpli |
| 2024-09-02 22:25:34 +0200 | degraafk_ | degraafk |
| 2024-09-02 22:25:35 +0200 | kitaleth_ | kitaleth |
| 2024-09-02 22:25:35 +0200 | Fangs_ | Fangs |
| 2024-09-02 22:25:35 +0200 | buhman_ | buhman |
| 2024-09-02 22:25:35 +0200 | raghavgururajan_ | raghavgururajan |
| 2024-09-02 22:25:37 +0200 | delyan__ | delyan_ |
| 2024-09-02 22:25:38 +0200 | chaitlatte0_ | chaitlatte0 |
| 2024-09-02 22:25:38 +0200 | Kamuela_ | Kamuela |
| 2024-09-02 22:25:38 +0200 | lukec_ | lukec |
| 2024-09-02 22:25:38 +0200 | jkoshy_ | jkoshy |
| 2024-09-02 22:25:38 +0200 | cbarrett_ | cbarrett |
| 2024-09-02 22:27:26 +0200 | haskellbridge_ | haskellbridge |
| 2024-09-02 22:28:43 +0200 | flukiluke_ | flukiluke |
| 2024-09-02 22:34:34 +0200 | <lystra> | How do I get Setup to find a dependency outside of the GHC package db? |
| 2024-09-02 22:35:41 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-09-02 22:36:22 +0200 | <[exa]> | lystra: can you put them into cabal.project? |
| 2024-09-02 22:37:37 +0200 | <lystra> | The dependencies? zip-archive, for example, already has the dependencies in zip-archive.cabal. |
| 2024-09-02 22:37:55 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-09-02 22:38:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-09-02 22:38:32 +0200 | <[exa]> | I meant this: https://cabal.readthedocs.io/en/3.8/cabal-project.html?highlight=haddock-executables#specifying-th… |
| 2024-09-02 22:38:46 +0200 | <[exa]> | you literally point it to a .cabal file of another package |
| 2024-09-02 22:38:54 +0200 | <[exa]> | oic but your problem is likely more complex |
| 2024-09-02 22:39:06 +0200 | <[exa]> | assume you're building the packages for some other packaging system? |
| 2024-09-02 22:39:15 +0200 | <lystra> | Yes. |
| 2024-09-02 22:39:41 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-09-02 22:39:42 +0200 | <sclv> | lystra: responding to your message way above you can use —store-dir to change where the dependencies are installed |
| 2024-09-02 22:40:03 +0200 | <lystra> | And I no nothing about Haskell. Just trying to learn the minimum possible to do this. But we do this for Python, Perl, Tcl, etc. |
| 2024-09-02 22:40:06 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-02 22:41:14 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) |
| 2024-09-02 22:41:27 +0200 | <[exa]> | lystra: ah ok. Might be quite useful to have a look at how distros do this |
| 2024-09-02 22:41:34 +0200 | <monochrom> | Setup cannot find dependency outside of the GHC package db. |
| 2024-09-02 22:42:16 +0200 | <monochrom> | distros do their own dependency chasing and run each package's Setup in a correct order. |
| 2024-09-02 22:42:30 +0200 | <lystra> | I've looked at the Fedora build but all dependencies are in the same directory. They don't have a separate location for where dependencies are stored for pandoc. We can do the same but we've historically placed dependencies with the program requiring them. |
| 2024-09-02 22:43:22 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-02 22:44:09 +0200 | <[exa]> | lystra: perhaps nix? (I thought it does separate the dependencies) |
| 2024-09-02 22:44:36 +0200 | <lystra> | monochrom: Well, that's a bummer. Ok, thanks. |
| 2024-09-02 22:44:39 +0200 | <sclv> | also one above error is “pandoc” is just a library. you want “pandoc-cli” for the executable |
| 2024-09-02 22:46:07 +0200 | <sclv> | “cabal install pandoc-cli —store-dir=XXX |
| 2024-09-02 22:46:10 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 246 seconds) |
| 2024-09-02 22:46:18 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-09-02 22:50:33 +0200 | <lystra> | cabal install --help doesn't mention --store-dir. This is with cabal --version returning 3.8.1.0. |
| 2024-09-02 22:51:50 +0200 | <lystra> | Looks like --store-dir needs to be placed before the command (i.e. "install"). |
| 2024-09-02 22:52:12 +0200 | <monochrom> | Would it be --installdir? Since this is an exe we're talking about. |
| 2024-09-02 22:54:03 +0200 | <monochrom> | Err nevermind, the goal was to choose where to store dependencies, not the final exe. |
| 2024-09-02 23:02:06 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-09-02 23:03:26 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-02 23:08:00 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-09-02 23:14:45 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-02 23:16:11 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-09-02 23:19:50 +0200 | neuroevolutus85 | (~neuroevol@146.70.211.24) |
| 2024-09-02 23:21:15 +0200 | neuroevolutus | (~neuroevol@146.70.211.24) (Ping timeout: 256 seconds) |
| 2024-09-02 23:21:33 +0200 | neuroevolutus85 | neuroevolutus |
| 2024-09-02 23:24:45 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 276 seconds) |
| 2024-09-02 23:24:58 +0200 | jespada | (~jespada@r190-64-133-178.su-static.adinet.com.uy) (Ping timeout: 245 seconds) |
| 2024-09-02 23:25:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-09-02 23:26:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-02 23:26:26 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-02 23:26:59 +0200 | connrs | (~connrs@user/connrs) |
| 2024-09-02 23:32:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-02 23:33:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> what part of haskell can't be modeled by system f? |
| 2024-09-02 23:36:11 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-02 23:52:39 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-02 23:53:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |