2025-04-10 00:01:13 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-04-10 00:01:30 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-10 00:02:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-10 00:02:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-10 00:08:05 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
2025-04-10 00:08:10 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-04-10 00:14:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 00:15:20 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-10 00:16:52 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
2025-04-10 00:18:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-04-10 00:18:26 +0200 | ljdarj1 | ljdarj |
2025-04-10 00:20:20 +0200 | <__monty__> | Can you elaborate? |
2025-04-10 00:21:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-10 00:21:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-04-10 00:23:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
2025-04-10 00:23:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-10 00:32:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 00:33:09 +0200 | <EvanR> | supposedly A * B * C * D = A * (B * C) * D = (A * B) * C * C |
2025-04-10 00:33:14 +0200 | <EvanR> | D |
2025-04-10 00:33:23 +0200 | <EvanR> | but not really xD |
2025-04-10 00:33:33 +0200 | <EvanR> | when you get down to brass tacks |
2025-04-10 00:33:59 +0200 | <EvanR> | (or ML) |
2025-04-10 00:37:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 00:43:40 +0200 | tv | (~tv@user/tv) tv |
2025-04-10 00:43:48 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
2025-04-10 00:47:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 00:52:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-04-10 00:53:31 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-10 01:00:16 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
2025-04-10 01:03:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 01:04:10 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
2025-04-10 01:06:30 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
2025-04-10 01:07:28 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Client Quit) |
2025-04-10 01:08:09 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
2025-04-10 01:08:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-10 01:09:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 01:11:44 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-04-10 01:14:30 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
2025-04-10 01:14:59 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
2025-04-10 01:19:17 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
2025-04-10 01:19:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 01:19:42 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 01:21:44 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 252 seconds) |
2025-04-10 01:23:46 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-04-10 01:24:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-10 01:25:09 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-04-10 01:28:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-04-10 01:29:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-04-10 01:31:04 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 01:31:53 +0200 | Square2 | (~Square@user/square) Square |
2025-04-10 01:33:45 +0200 | sprotte24 | (~sprotte24@p200300d16f0bc1000c82a6b41033ea55.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-10 01:35:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 01:35:49 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-04-10 01:39:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-10 01:39:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-10 01:48:53 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 01:51:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 01:56:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-04-10 01:56:49 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
2025-04-10 01:57:02 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 01:57:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-10 01:59:05 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
2025-04-10 01:59:05 +0200 | XZDX | (~xzdx@user/XZDX) XZDX |
2025-04-10 02:03:10 +0200 | jespada | (~jespada@r190-133-30-51.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-04-10 02:08:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 02:11:52 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
2025-04-10 02:12:13 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
2025-04-10 02:13:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-10 02:21:38 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f997cc0cb9b6e0fa5d7.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-10 02:22:22 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f997cc0cb9b6e0fa5d7.dip0.t-ipconnect.de) |
2025-04-10 02:23:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-10 02:23:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 02:25:18 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
2025-04-10 02:26:16 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-04-10 02:28:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 02:31:02 +0200 | polyphem | (~rod@p4fc2cdf8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-10 02:31:05 +0200 | <EvanR> | Frege observed, as we did above, that in the study of functions it is sufficient to focus on unary functions (i.e., functions that take exactly one argument). |
2025-04-10 02:31:22 +0200 | <EvanR> | (The procedure of viewing a multiple-arity operation as a sequence of abstractions that yield an equivalent unary operation is called currying the operation. |
2025-04-10 02:31:29 +0200 | <EvanR> | Perhaps it would be more historically accurate to call the operation fregeing, but there are often miscarriages of justice in the appellation of mathematical ideas.) |
2025-04-10 02:31:45 +0200 | <EvanR> | lol |
2025-04-10 02:32:29 +0200 | <haskellbridge> | <Morj> There's a quote you can find that someone who invented the thing is less powerful than the one who named this thing |
2025-04-10 02:32:32 +0200 | <haskellbridge> | <Morj> I call it Morj's law |
2025-04-10 02:38:01 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-10 02:39:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 02:39:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 02:45:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-10 02:45:35 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:19b2:995a:60d5:3b93) (Quit: Leaving) |
2025-04-10 02:53:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b50:e5e9:27c3:86) (Ping timeout: 248 seconds) |
2025-04-10 02:55:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 02:55:49 +0200 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 248 seconds) |
2025-04-10 02:58:09 +0200 | otto_s | (~user@p4ff27c58.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-10 03:00:05 +0200 | otto_s | (~user@p4ff278a2.dip0.t-ipconnect.de) |
2025-04-10 03:01:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-10 03:03:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f996d25e8a80f1711a4.dip0.t-ipconnect.de) |
2025-04-10 03:05:53 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f997cc0cb9b6e0fa5d7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-04-10 03:06:42 +0200 | foul_owl | (~kerry@174-21-146-90.tukw.qwest.net) foul_owl |
2025-04-10 03:08:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-04-10 03:13:42 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-10 03:13:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-10 03:21:07 +0200 | tavare | (~tavare@150.129.88.189) tavare |
2025-04-10 03:21:07 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-04-10 03:21:07 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-04-10 03:25:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f996d25e8a80f1711a4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-10 03:26:27 +0200 | foul_owl | (~kerry@174-21-146-90.tukw.qwest.net) (Ping timeout: 265 seconds) |
2025-04-10 03:27:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 03:28:54 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
2025-04-10 03:30:39 +0200 | aforemny_ | (~aforemny@i59F4C56B.versanet.de) (Ping timeout: 244 seconds) |
2025-04-10 03:31:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-04-10 03:32:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-10 03:32:37 +0200 | <EvanR> | in the law: if x == y then f x == f y, (congruence), would you say "== preserves function application" or "function application preserves ==" and/or what is the congruence, == or function application |
2025-04-10 03:36:18 +0200 | Square | (~Square4@user/square) Square |
2025-04-10 03:37:13 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-04-10 03:37:29 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-10 03:39:08 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
2025-04-10 03:40:19 +0200 | foul_owl | (~kerry@94.156.149.91) foul_owl |
2025-04-10 03:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 03:47:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-10 03:50:08 +0200 | aforemny | (~aforemny@i59F4C778.versanet.de) aforemny |
2025-04-10 03:50:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-04-10 03:58:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 04:03:27 +0200 | <haskellbridge> | <Bowuigi> EvanR in HoTT the unit type is denoted as mathbb{1} and its inhabitant is denoted * (or with a star) |
2025-04-10 04:03:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-10 04:04:28 +0200 | <haskellbridge> | <Bowuigi> If you want something convention independent just ask for the limit/adjunction version of those constructs |
2025-04-10 04:05:18 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 272 seconds) |
2025-04-10 04:05:30 +0200 | <EvanR> | yes I saw that in HoTT |
2025-04-10 04:06:26 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-04-10 04:06:47 +0200 | <haskellbridge> | <Bowuigi> Also the product type is only associative up to isomorphism, members of (AxB)xC and members of Ax(BxC) are not equal, just equivalent (except under univalence) |
2025-04-10 04:06:55 +0200 | <EvanR> | 𝟙 |
2025-04-10 04:08:13 +0200 | <haskellbridge> | <Bowuigi> Yes, the boolean type is mathbb{2} and in general any type with exactly N elements is denoted mathbb{N} |
2025-04-10 04:14:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 04:16:32 +0200 | slack1256 | (~slack1256@2803:c600:5111:9ab8:7184:9cb0:2874:e233) slack1256 |
2025-04-10 04:16:48 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-04-10 04:17:51 +0200 | <slack1256> | Has anyone used tsvector in persistent ? |
2025-04-10 04:17:58 +0200 | <slack1256> | How do you declare in as a datatype? |
2025-04-10 04:18:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-10 04:21:00 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
2025-04-10 04:24:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 276 seconds) |
2025-04-10 04:26:49 +0200 | <monochrom> | EvanR: Interesting, I have always thought of it as == preserves function application, but the other round is just as valid. |
2025-04-10 04:26:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2025-04-10 04:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 04:29:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-10 04:31:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-04-10 04:34:06 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
2025-04-10 04:35:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-10 04:37:02 +0200 | slack1256 | (~slack1256@2803:c600:5111:9ab8:7184:9cb0:2874:e233) (Remote host closed the connection) |
2025-04-10 04:45:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 04:46:14 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-04-10 04:47:39 +0200 | <EvanR> | I got that off stanford.edu on the topic of lambda calculus |
2025-04-10 04:48:03 +0200 | <EvanR> | where it describes eta conversion as "= preserving application and abstraction" |
2025-04-10 04:50:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 05:01:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 05:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-10 05:17:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 05:18:10 +0200 | tamer | (~tamer@user/tamer) (Read error: Connection reset by peer) |
2025-04-10 05:22:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-10 05:32:23 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 05:32:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 05:34:23 +0200 | <haskellbridge> | <Liamzee> curious, have people built a linear lens system for vector yet? IIRC, there was something about that on Bartosz Milewski's site |
2025-04-10 05:34:25 +0200 | <haskellbridge> | <Liamzee> https://bartoszmilewski.com/2024/02/07/linear-lenses-in-haskell/ |
2025-04-10 05:34:29 +0200 | tamer | (~tamer@5.2.74.82) |
2025-04-10 05:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 05:41:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-10 05:48:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 05:50:14 +0200 | zlqrvx_ | (~zlqrvx@101.175.150.247) |
2025-04-10 05:51:15 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Read error: Connection reset by peer) |
2025-04-10 05:54:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-10 05:57:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 06:01:16 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-10 06:01:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-10 06:04:03 +0200 | whez | (uid470288@id-470288.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-10 06:04:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 06:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-10 06:09:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-04-10 06:10:50 +0200 | <ski> | EvanR : "`f' preserves equality" (i'd say `=', unless you specifically mean decidable equality) (and it's not "function application" but "(function appliation of) `f'"). `(==)' would be the congruence relation (wrt `f') here |
2025-04-10 06:12:26 +0200 | michalz | (~michalz@185.246.207.201) |
2025-04-10 06:20:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 06:23:05 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-10 06:23:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-10 06:25:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-10 06:31:13 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
2025-04-10 06:36:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 06:38:41 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-10 06:41:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-10 06:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 06:49:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-10 06:58:47 +0200 | hattckory | (~hattckory@70.27.118.207) |
2025-04-10 06:59:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 07:03:54 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-04-10 07:04:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-10 07:10:35 +0200 | Square2 | (~Square@user/square) Square |
2025-04-10 07:12:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 07:14:34 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2025-04-10 07:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 07:15:42 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
2025-04-10 07:17:16 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
2025-04-10 07:19:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 07:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-10 07:20:47 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-10 07:23:29 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-10 07:26:45 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-10 07:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 07:33:48 +0200 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-04-10 07:34:06 +0200 | michalz | (~michalz@185.246.207.201) |
2025-04-10 07:36:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-10 07:37:11 +0200 | michalz | (~michalz@185.246.207.201) (Client Quit) |
2025-04-10 07:37:34 +0200 | michalz | (~michalz@185.246.207.221) |
2025-04-10 07:38:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-04-10 07:46:08 +0200 | <haskellbridge> | <hellwolf> why did i not know this is a valid syntax |
2025-04-10 07:46:08 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/wUEaSQWmEwGlroXOCJYXuzhL/7ofVWvhpwhM (3 lines) |
2025-04-10 07:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 07:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 07:59:47 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 08:05:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-10 08:05:28 +0200 | <Leary> | hellwolf: https://play.haskell.org/saved/bRThmTVI |
2025-04-10 08:05:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 08:07:08 +0200 | <haskellbridge> | <hellwolf> what about that? |
2025-04-10 08:07:31 +0200 | <Leary> | Also: https://play.haskell.org/saved/ObeWDdIa |
2025-04-10 08:07:58 +0200 | <Leary> | If you try to run these, you'll see they don't work, and the errors tell you where the syntax comes from and its limitations. |
2025-04-10 08:08:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-04-10 08:11:15 +0200 | <haskellbridge> | <hellwolf> your first one can still work without any extension. but perhaps because it was enabled by default in ghc2021. |
2025-04-10 08:11:16 +0200 | <haskellbridge> | the second one is interesting |
2025-04-10 08:12:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 08:12:27 +0200 | <mauke> | fucking playground |
2025-04-10 08:12:37 +0200 | <mauke> | how do I get it top stop hijacking Ctrl-L? |
2025-04-10 08:13:53 +0200 | <haskellbridge> | <hellwolf> vibe code and send PR to tom :p |
2025-04-10 08:16:16 +0200 | <haskellbridge> | <hellwolf> But I honestly don't understand why the 2nd example doesn't work and what ghc is complaining about. Baffling syntax rule here, and I wonder why this syntax is even allowed if it doesn't work as expected at times. No intuition works here for me. |
2025-04-10 08:16:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-10 08:16:55 +0200 | foul_owl | (~kerry@94.156.149.91) (Ping timeout: 268 seconds) |
2025-04-10 08:17:35 +0200 | <mauke> | https://www.haskell.org/hugs/pages/users_guide/type-annotations.html |
2025-04-10 08:20:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-10 08:21:12 +0200 | <Leary> | hellwolf: It's part of STV; the /expectation/ is for it to successfully bind type variables for use in the body, as in: https://play.haskell.org/saved/OYapfbVm |
2025-04-10 08:22:18 +0200 | <haskellbridge> | <hellwolf> what is STV? |
2025-04-10 08:22:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
2025-04-10 08:22:33 +0200 | jmcantrell_ | jmcantrell |
2025-04-10 08:22:49 +0200 | <Leary> | ScopedTypeVariables. It simply isn't intended to replace top-level type signatures. |
2025-04-10 08:23:22 +0200 | <haskellbridge> | <hellwolf> now it starts to make sense, it's a pattern matching. |
2025-04-10 08:23:22 +0200 | <haskellbridge> | So if I run it through the TH, it would show the right syntax constructor and makes sense. |
2025-04-10 08:24:04 +0200 | <haskellbridge> | <hellwolf> it was an illusion that it looked like a type declaration |
2025-04-10 08:24:13 +0200 | <haskellbridge> | <hellwolf> but it had nothing to do with it. |
2025-04-10 08:24:19 +0200 | <haskellbridge> | <hellwolf> i get it now. thanks for explaining. |
2025-04-10 08:27:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 08:28:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2025-04-10 08:31:00 +0200 | foul_owl | (~kerry@94.156.149.97) foul_owl |
2025-04-10 08:32:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-10 08:37:57 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
2025-04-10 08:42:58 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 08:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 08:47:44 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-04-10 08:48:07 +0200 | ft | (~ft@p508db594.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-10 08:48:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-10 08:50:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:44ed:cdbe:8e8e:71c5) |
2025-04-10 08:51:52 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 08:57:11 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-04-10 08:57:16 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-10 08:59:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-10 09:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-10 09:01:03 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-10 09:03:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 09:04:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-10 09:05:20 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-10 09:08:33 +0200 | <[exa]> | Is there any good way how to debug assertion failure in C++ code that get somehow (no idea how) triggered from usual ghc compilation? |
2025-04-10 09:08:48 +0200 | <[exa]> | In particular I've got this thing here with accelerate-llvm: https://paste.tomsmeding.com/GbdNItS1 |
2025-04-10 09:09:02 +0200 | <[exa]> | somehow I can't even trace how ghc comes to executing the C source |
2025-04-10 09:15:06 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 252 seconds) |
2025-04-10 09:15:44 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
2025-04-10 09:18:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2025-04-10 09:18:26 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-10 09:19:12 +0200 | vpan | (~vpan@212.117.1.172) |
2025-04-10 09:19:50 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-10 09:23:03 +0200 | <[exa]> | (nvm, opened an issue here if someone's interested in poking in that https://github.com/AccelerateHS/accelerate-llvm/issues/102 ) |
2025-04-10 09:23:53 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2025-04-10 09:29:41 +0200 | chele | (~chele@user/chele) chele |
2025-04-10 09:35:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-04-10 09:36:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f74c570287c99ce2cc6.dip0.t-ipconnect.de) acidjnk |
2025-04-10 09:39:43 +0200 | XZDX | (~xzdx@user/XZDX) (Remote host closed the connection) |
2025-04-10 09:40:00 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
2025-04-10 09:41:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-10 09:45:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-10 09:49:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-04-10 09:53:30 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-04-10 09:53:45 +0200 | ski | . o O ( "Interview with Vibe Coder in 2025" <https://www.youtube.com/watch?v=JeNS1ZNHQs8> ) |
2025-04-10 09:57:30 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-10 10:04:33 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-10 10:19:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-10 10:20:12 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Remote host closed the connection) |
2025-04-10 10:25:23 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2025-04-10 10:26:40 +0200 | forell | (~forell@user/forell) forell |
2025-04-10 10:37:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-04-10 10:45:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-10 10:48:21 +0200 | sprotte24 | (~sprotte24@p200300d16f15a4001c8bedf899879cb7.dip0.t-ipconnect.de) |
2025-04-10 10:48:53 +0200 | sprotte24 | (~sprotte24@p200300d16f15a4001c8bedf899879cb7.dip0.t-ipconnect.de) (Client Quit) |
2025-04-10 10:53:51 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
2025-04-10 10:56:50 +0200 | alp | (~alp@2001:861:8ca0:4940:e00c:8d19:d96b:e8b0) |
2025-04-10 10:59:35 +0200 | poxel | (~lennart@user/poxel) poxel |
2025-04-10 11:02:20 +0200 | poxel | (~lennart@user/poxel) (Client Quit) |
2025-04-10 11:02:24 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-10 11:02:39 +0200 | poxel | (~poxel@user/poxel) poxel |
2025-04-10 11:02:44 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
2025-04-10 11:08:04 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2025-04-10 11:08:20 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-04-10 11:11:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-10 11:17:09 +0200 | Guest71 | (~Guest75@37.204.222.118) |
2025-04-10 11:19:58 +0200 | poxel | (~poxel@user/poxel) (Quit: WeeChat 4.6.0) |
2025-04-10 11:20:18 +0200 | poxel | (~poxel@user/poxel) poxel |
2025-04-10 11:31:42 +0200 | Guest71 | (~Guest75@37.204.222.118) (Ping timeout: 240 seconds) |
2025-04-10 11:34:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
2025-04-10 11:36:28 +0200 | <yin> | any news on the plan to make base versions independent from ghc versions? |
2025-04-10 11:39:57 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Ping timeout: 246 seconds) |
2025-04-10 11:45:32 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 11:46:30 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
2025-04-10 11:46:36 +0200 | sprotte24 | (~sprotte24@p200300d16f15a4001c8bedf899879cb7.dip0.t-ipconnect.de) |
2025-04-10 11:56:46 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
2025-04-10 11:57:01 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2025-04-10 12:00:31 +0200 | <kqr> | I am calling a function that gives me back its own special Result type, and I'd like to do the equivalent of `fromMaybe` on it. Is there anything about e.g. I'm guessing the right place to start thinking would be its Foldable instance, right? ( |
2025-04-10 12:00:39 +0200 | <int-e> | yin: is that what ghc-internal is about? |
2025-04-10 12:03:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-10 12:04:38 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-10 12:05:01 +0200 | <kqr> | Update on result type: indeed, foldr const defaultValue does what I need. |
2025-04-10 12:08:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2025-04-10 12:12:43 +0200 | <yin> | int-e: not sure. i recall having that conversation here but details elude me |
2025-04-10 12:13:58 +0200 | <yin> | maybe something discussed here https://discourse.haskell.org/t/a-different-approach-to-emancipating-base/5695/6 |
2025-04-10 12:24:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
2025-04-10 12:31:09 +0200 | poxel | (~poxel@user/poxel) (Quit: WeeChat 4.6.0) |
2025-04-10 12:31:29 +0200 | poxel | (~weechat@user/poxel) poxel |
2025-04-10 12:32:04 +0200 | poxel | (~weechat@user/poxel) (Client Quit) |
2025-04-10 12:32:23 +0200 | poxel | (~poxel@user/poxel) poxel |
2025-04-10 12:37:18 +0200 | <yin> | separating ghc.base from base |
2025-04-10 12:49:53 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-10 12:55:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-10 12:56:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-10 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-10 13:00:27 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f74c570287c99ce2cc6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-04-10 13:02:12 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-10 13:02:14 +0200 | jespada | (~jespada@r179-25-43-11.dialup.adsl.anteldata.net.uy) jespada |
2025-04-10 13:04:42 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 13:07:38 +0200 | TMA | (tma@twin.jikos.cz) TMA |
2025-04-10 13:08:12 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-04-10 13:09:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-04-10 13:11:59 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-04-10 13:15:31 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-10 13:15:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-04-10 13:23:40 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 13:25:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1c0d:6c97:349e:6228) |
2025-04-10 13:30:09 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-04-10 13:34:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-10 13:34:51 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
2025-04-10 13:35:33 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-10 13:57:33 +0200 | walt | (~ggVGc@a.lowtech.earth) (Ping timeout: 276 seconds) |
2025-04-10 13:57:55 +0200 | walt | (~ggVGc@a.lowtech.earth) |
2025-04-10 14:03:34 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-10 14:09:52 +0200 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
2025-04-10 14:09:52 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
2025-04-10 14:13:58 +0200 | jespada | (~jespada@r179-25-43-11.dialup.adsl.anteldata.net.uy) (Ping timeout: 268 seconds) |
2025-04-10 14:14:33 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f74c570287c99ce2cc6.dip0.t-ipconnect.de) acidjnk |
2025-04-10 14:16:29 +0200 | jespada | (~jespada@r179-25-43-11.dialup.adsl.anteldata.net.uy) jespada |
2025-04-10 14:20:23 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-10 14:20:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
2025-04-10 14:41:18 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
2025-04-10 14:43:44 +0200 | zlqrvx_ | (~zlqrvx@101.175.150.247) (Ping timeout: 260 seconds) |
2025-04-10 14:44:39 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
2025-04-10 14:45:13 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
2025-04-10 14:49:13 +0200 | end | (~end@user/end/x-0094621) end^ |
2025-04-10 14:53:12 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-04-10 15:00:36 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
2025-04-10 15:01:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-04-10 15:05:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-04-10 15:07:30 +0200 | <hellwolf> | is there a Nat/SNat case analysis utility, such that you can split into cases which carries a Dict for each case handling function? |
2025-04-10 15:07:47 +0200 | <hellwolf> | E.g. split it into Dict @(n == 0) and Dict @(1 <= n) |
2025-04-10 15:08:14 +0200 | <hellwolf> | I could write myself, use unsafeAxiom, but I am wondering if this is common enough of a utility to appear somewhere. |
2025-04-10 15:11:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-04-10 15:14:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-10 15:15:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-10 15:19:43 +0200 | <merijn> | yin: It hasn't happened in the past decade, so I wouldn't hold my breath ;) |
2025-04-10 15:20:12 +0200 | <merijn> | int-e: I think yin is mostly referring to make base installable |
2025-04-10 15:20:29 +0200 | <merijn> | So you could, for example, install a newer base on an older GHC and vice versa |
2025-04-10 15:21:20 +0200 | <int-e> | Yeah I got the question. |