2025-05-05 00:00:19 +0200 | <hellwolf> | that becomes the essence of the if-then-else control structure, the codegen will translate that to the target language code, which is rather short. |
2025-05-05 00:02:43 +0200 | <hellwolf> | in contrast, my current YulITE :: YulCat eff a b -> YulCat eff a b -> YulCat eff (BOOL, a) b |
2025-05-05 00:03:16 +0200 | <EvanR> | Yultide |
2025-05-05 00:03:55 +0200 | <hellwolf> | the currently one doesn't compose, makes some code duplication. Anyways, perhaps too specific. |
2025-05-05 00:06:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-05-05 00:07:10 +0200 | Square2 | (~Square@user/square) (Quit: Leaving) |
2025-05-05 00:07:36 +0200 | Square2 | (~Square@user/square) Square |
2025-05-05 00:08:29 +0200 | Square2 | (~Square@user/square) (Client Quit) |
2025-05-05 00:08:33 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2025-05-05 00:18:43 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
2025-05-05 00:18:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-05 00:23:16 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-05 00:29:31 +0200 | sm | (znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
2025-05-05 00:31:10 +0200 | sm | (znc@plaintextaccounting/sm) sm |
2025-05-05 00:34:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2025-05-05 00:50:49 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-05-05 00:52:27 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) |
2025-05-05 00:55:47 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) |
2025-05-05 00:58:05 +0200 | <hellwolf> | here you go, |
2025-05-05 00:58:08 +0200 | <hellwolf> | YulCurry :: forall eff a b c. YulO3 a b c => YulCat eff (a ⊗ b) c -> YulCat eff a (YulCat eff b c) |
2025-05-05 00:58:12 +0200 | <hellwolf> | YulSwitch :: [(B32, YulCat eff a b)] -> YulCat eff (a ⊗ B32) b |
2025-05-05 00:58:17 +0200 | <hellwolf> | a curry and a switch, job done. |
2025-05-05 00:59:06 +0200 | <hellwolf> | no more specialized ITE, but a switch statement, which the target langauge is using anyways. |
2025-05-05 00:59:36 +0200 | <hellwolf> | YulSwitch constructs the specialized switch statement |
2025-05-05 00:59:48 +0200 | <hellwolf> | and curry is general categorical operation |
2025-05-05 01:00:37 +0200 | <hellwolf> | YulCurry (YulSwitch [(True, ..), (False, ..)]) :: YulCat eff (a ⊗ BOOL) c |
2025-05-05 01:01:21 +0200 | <hellwolf> | to complete, apply is: |
2025-05-05 01:01:21 +0200 | <hellwolf> | YulApply :: forall eff a b. YulO2 a b => YulCat eff (YulCat eff a b ⊗ a) b |
2025-05-05 01:01:24 +0200 | <hellwolf> | good night. |
2025-05-05 01:15:06 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
2025-05-05 01:20:30 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-05 01:21:16 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-05-05 01:21:50 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-05-05 01:25:10 +0200 | Square | (~Square@user/square) Square |
2025-05-05 01:28:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f52d4f1201e65d300bb.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-05-05 01:34:04 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-05 01:37:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-05 01:37:35 +0200 | Axma14181 | (~Axman6@user/axman6) Axman6 |
2025-05-05 01:39:49 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-05-05 01:40:26 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-05 01:40:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 01:41:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 01:41:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-05-05 01:43:19 +0200 | <monochrom> | onoes, is that the much fabled monad with tensor strength? |
2025-05-05 01:46:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-05-05 01:46:02 +0200 | ljdarj1 | ljdarj |
2025-05-05 01:55:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 01:56:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-05-05 01:56:54 +0200 | ljdarj1 | ljdarj |
2025-05-05 02:00:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-05-05 02:07:02 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
2025-05-05 02:08:34 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
2025-05-05 02:10:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-05-05 02:12:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-05-05 02:14:58 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-05 02:16:29 +0200 | sm | (znc@plaintextaccounting/sm) sm |
2025-05-05 02:17:01 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 276 seconds) |
2025-05-05 02:17:16 +0200 | finsternis | (~X@23.226.237.192) finsternis |
2025-05-05 02:18:21 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-05-05 02:26:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-05-05 02:29:49 +0200 | haskellbridge | shapr stretches a monad to check its tensor strength |
2025-05-05 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-05-05 02:33:59 +0200 | <monochrom> | haha |
2025-05-05 02:35:31 +0200 | califax | (~califax@user/califx) califx |
2025-05-05 02:36:01 +0200 | Tikosh | (~Tikosh@user/Tikosh) Tikosh |
2025-05-05 02:36:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
2025-05-05 02:37:01 +0200 | <Tikosh> | I have taffybar and am attempting to put a battery widget on my taffybar with no luck. does anyone know any documentation or know how to make a battery widget for taffybar? |
2025-05-05 02:39:10 +0200 | <geekosaur> | there's a slight chance you'll do better asking in #xmonad, fwiw |
2025-05-05 02:39:48 +0200 | <Tikosh> | alright! thanks |
2025-05-05 02:39:57 +0200 | Tikosh | (~Tikosh@user/Tikosh) () |
2025-05-05 02:55:19 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
2025-05-05 02:57:25 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
2025-05-05 02:58:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-05 03:05:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-05 03:07:42 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-05-05 03:07:43 +0200 | la1n2 | (~la1n@176.59.41.59) (Read error: Connection reset by peer) |
2025-05-05 03:09:13 +0200 | la1n2 | (~la1n@109.197.204.68) |
2025-05-05 03:11:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-05 03:12:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-05 03:28:00 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 03:28:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-05 03:32:45 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-05-05 03:33:02 +0200 | sm | (~znc@plaintextaccounting/sm) sm |
2025-05-05 03:33:48 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
2025-05-05 03:38:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-05-05 03:40:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-05 03:41:04 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
2025-05-05 03:42:07 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
2025-05-05 03:44:04 +0200 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
2025-05-05 03:49:51 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
2025-05-05 03:57:00 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-05-05 03:57:07 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
2025-05-05 03:58:27 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) mulk |
2025-05-05 04:09:56 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-05-05 04:11:20 +0200 | img | (~img@user/img) img |
2025-05-05 04:15:36 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 252 seconds) |
2025-05-05 04:17:22 +0200 | td_ | (~td@i5387090D.versanet.de) td_ |
2025-05-05 04:17:26 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
2025-05-05 04:22:38 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-05-05 04:25:32 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-05-05 04:33:39 +0200 | droideqa | (uid499291@user/droideqa) droideqa |
2025-05-05 04:53:31 +0200 | Square2 | (~Square4@user/square) Square |
2025-05-05 04:58:52 +0200 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
2025-05-05 05:08:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-05-05 05:14:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-05-05 05:16:24 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
2025-05-05 05:21:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-05-05 05:22:20 +0200 | inedia_ | inedia |
2025-05-05 05:23:56 +0200 | jmcantrell_ | unterzicht |
2025-05-05 05:33:20 +0200 | unterzicht | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
2025-05-05 05:33:40 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-05-05 05:37:09 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) () |
2025-05-05 05:42:56 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-05-05 05:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-05-05 05:44:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-05 05:46:32 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
2025-05-05 05:47:13 +0200 | aforemny_ | (~aforemny@i59F4C6FD.versanet.de) (Ping timeout: 272 seconds) |
2025-05-05 05:47:19 +0200 | aforemny | (~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) aforemny |
2025-05-05 05:49:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell))) |
2025-05-05 05:49:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) |
2025-05-05 06:03:24 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-05 06:05:25 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
2025-05-05 06:06:42 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) (Changing host) |
2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
2025-05-05 06:11:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
2025-05-05 06:16:32 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-05-05 06:17:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-05 06:18:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-05 06:21:39 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) () |
2025-05-05 06:23:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-05-05 06:28:22 +0200 | <Square2> | A 3rd party dependency requires me to use https://hackage.haskell.org/package/base-4.16.3.0/docs/Numeric-Natural.html |
2025-05-05 06:28:55 +0200 | <Square2> | Sadly there are dead links to source and the "NS" constructor they link |
2025-05-05 06:29:56 +0200 | <Square2> | Anyone know what's up with that? |
2025-05-05 06:32:36 +0200 | <EvanR> | I was about to pull up the source another way |
2025-05-05 06:33:28 +0200 | <EvanR> | https://hackage.haskell.org/package/ghc-bignum-1.2/docs/src/GHC.Num.Natural.html#Natural |
2025-05-05 06:34:20 +0200 | <EvanR> | which is where it seemed to want to go but the haddocks had weird urls |
2025-05-05 06:35:57 +0200 | <EvanR> | (I wonder if it was unintentional for WORD_MAXBOUND in the doc comment to be preprocessed) |
2025-05-05 06:36:08 +0200 | <Square2> | Thanks. I seemed to get past the hurdle |
2025-05-05 06:36:31 +0200 | <Square2> | ghci let me create one with "123 :: Natural" |
2025-05-05 06:36:56 +0200 | <Square2> | ...and hopefully I'll get by with some fromInteger/toInteger hackery in my code. =D |
2025-05-05 06:38:01 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-05-05 06:38:02 +0200 | <EvanR> | > fromInteger 123 :: Natural |
2025-05-05 06:38:04 +0200 | <lambdabot> | error: |
2025-05-05 06:38:04 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Natural’ |
2025-05-05 06:38:09 +0200 | <EvanR> | :( |
2025-05-05 06:38:18 +0200 | <monochrom> | yahb2 probably has it. |
2025-05-05 06:38:19 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-05-05 06:38:21 +0200 | <EvanR> | @let import Data.Natural |
2025-05-05 06:38:21 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:110:1: error: |
2025-05-05 06:38:21 +0200 | <lambdabot> | Could not find module ‘Data.Natural’ |
2025-05-05 06:38:21 +0200 | <lambdabot> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
2025-05-05 06:38:24 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-05-05 06:38:32 +0200 | jmcantrell_ | jmcantrell |
2025-05-05 06:38:35 +0200 | <monochrom> | Numeric.Natural |
2025-05-05 06:38:39 +0200 | <EvanR> | @let import Numeric.Natural |
2025-05-05 06:38:40 +0200 | <lambdabot> | Defined. |
2025-05-05 06:38:44 +0200 | <EvanR> | > fromInteger 123 :: Natural |
2025-05-05 06:38:45 +0200 | <lambdabot> | 123 |
2025-05-05 06:38:50 +0200 | <EvanR> | > fromInteger (-123) :: Natural |
2025-05-05 06:38:51 +0200 | <lambdabot> | *Exception: arithmetic underflow |
2025-05-05 06:39:16 +0200 | <EvanR> | error: unnatural |
2025-05-05 06:44:36 +0200 | <EvanR> | :t naturalBit |
2025-05-05 06:44:37 +0200 | <lambdabot> | error: Variable not in scope: naturalBit |
2025-05-05 06:46:44 +0200 | <EvanR> | if ghc-bignum is a dependency of base and every program has base as a dependency does that mean every program depends on ghc-bignum |
2025-05-05 06:50:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-05-05 06:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-05 07:00:02 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-05-05 07:02:18 +0200 | <probie> | EvanR: Programs which depend on an old enough version of base certainly don't depend on ghc-bignum |
2025-05-05 07:03:43 +0200 | la1n23 | (~la1n@45.129.78.70) |
2025-05-05 07:06:06 +0200 | la1n2 | (~la1n@109.197.204.68) (Ping timeout: 252 seconds) |
2025-05-05 07:06:33 +0200 | erdem | (~null@user/erdem) (Leaving) |
2025-05-05 07:08:40 +0200 | la1n23 | (~la1n@45.129.78.70) (Ping timeout: 252 seconds) |
2025-05-05 07:17:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-05-05 07:18:02 +0200 | la1n | (~la1n@81.222.178.255) |
2025-05-05 07:18:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-05 07:20:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-05-05 07:22:37 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2025-05-05 07:28:44 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-05 07:31:56 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) |
2025-05-05 07:40:37 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
2025-05-05 07:41:04 +0200 | natto17 | (~natto@129.154.243.159) natto |
2025-05-05 07:43:07 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
2025-05-05 07:43:23 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-05-05 07:45:21 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-05-05 07:46:37 +0200 | <haskellbridge> | <hellwolf> monochrom: no, just an alias to (,) |
2025-05-05 07:48:37 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-05-05 07:48:48 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
2025-05-05 07:49:10 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-05-05 07:49:28 +0200 | <haskellbridge> | <hellwolf> EvanR: after some sleep, and the correct constructors of curry and apply. I basically come up with the solution for both cofegen and emulation the ways you and tom was trying to teach me :) |
2025-05-05 07:49:30 +0200 | <haskellbridge> | on hindsight, it's trivial really. But neat. |
2025-05-05 07:50:24 +0200 | <haskellbridge> | <hellwolf> I had to just learn and stumble on my own |
2025-05-05 07:53:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-05 08:07:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-05 08:10:59 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) |
2025-05-05 08:13:54 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) (Client Quit) |
2025-05-05 08:16:26 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) kuribas |
2025-05-05 08:21:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
2025-05-05 08:37:51 +0200 | kenran | (~void@user/kenran) kenran |
2025-05-05 08:46:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) acidjnk |
2025-05-05 08:58:07 +0200 | <tomsmeding> | hellwolf: best way to learn |
2025-05-05 09:00:06 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-05 09:00:51 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-05 09:06:47 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
2025-05-05 09:07:11 +0200 | michalz | (~michalz@185.246.207.203) |
2025-05-05 09:22:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-05 09:24:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-05-05 09:24:10 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-05-05 09:32:14 +0200 | <hellwolf> | "stealing lambda," instead of reimplementing may be what describes what I am really doing. I created a bridge between haskell and other target language. The bridge is categrical and simple to interpret. |
2025-05-05 09:33:06 +0200 | <tomsmeding> | you're mapping the exponential object in your source category to the exponential object in your target category (Hask) |
2025-05-05 09:33:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-05-05 09:33:10 +0200 | <tomsmeding> | perhaps? |
2025-05-05 09:36:03 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-05-05 09:36:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-05-05 09:38:09 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-05 09:38:15 +0200 | <hellwolf> | There is no source category per se, it's just Haskell. The target is the categorical formulation of "Solidity/Yul", which is a collection of its data types, built-in functions, and some special contructors outside of categories that I know how to use (which includes switch statement, tight loop, storage operations, inter-contract messagings, call a named function, etc.) |
2025-05-05 09:38:15 +0200 | <hellwolf> | The target now are instances these categories: Monoidal Category (prod, swap), Cartesian Category (fork, pi1/extract_left, pi2/extract_right, delta/discard, rou/duplicate), and Cartesian Closed (apply and curry). |
2025-05-05 09:39:42 +0200 | <hellwolf> | with these categorical "verbs", and those speical constructors and data types, I can then evaluate the same big GADT to anything I like to, including emulation, target source, visual representation, morally lisp s-expression etc. |
2025-05-05 09:39:53 +0200 | <hellwolf> | Minimal rebuilding of the wheels is the goal. |
2025-05-05 09:40:21 +0200 | <hellwolf> | (or simply because I don't have all the knowledge, or time, to build an entire new language that no one will use.) |
2025-05-05 09:41:53 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-05 09:42:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 09:44:40 +0200 | <hellwolf> | Does it make sense? |
2025-05-05 09:44:40 +0200 | <hellwolf> | I need to communicate this in lambda days upcoming... I wonder if anyone happens to go there too. |
2025-05-05 09:52:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-05 10:01:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-05 10:17:23 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) (Remote host closed the connection) |
2025-05-05 10:17:37 +0200 | kuribas | (~user@ptr-17d51em2ntfndqd2b01.18120a2.ip6.access.telenet.be) kuribas |
2025-05-05 10:30:09 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
2025-05-05 10:30:14 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-05-05 10:35:08 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-05-05 10:35:57 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2025-05-05 10:36:26 +0200 | chele | (~chele@user/chele) chele |
2025-05-05 10:37:20 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-05-05 10:37:37 +0200 | p3n | (~p3n@217.198.124.246) p3n |
2025-05-05 10:38:41 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
2025-05-05 10:51:14 +0200 | danza | (~danza@user/danza) danza |
2025-05-05 10:53:36 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2025-05-05 10:55:02 +0200 | danza | (~danza@user/danza) danza |
2025-05-05 10:55:28 +0200 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
2025-05-05 10:56:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-05-05 11:03:44 +0200 | yellowbird | (~yellowbir@2601:1c2:4400:1080::9762) |
2025-05-05 11:05:40 +0200 | hellwolf | (~user@0f4e-6074-8c9d-a17c-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
2025-05-05 11:08:04 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-05-05 11:08:30 +0200 | hellwolf | (~user@5345-cb48-715e-41e3-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-05-05 11:10:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 11:14:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 11:15:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
2025-05-05 11:20:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-05-05 11:20:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 11:39:50 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.4.3) |
2025-05-05 11:40:51 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-05 11:57:31 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2025-05-05 11:59:22 +0200 | xacktm | (xacktm@user/xacktm) (Ping timeout: 252 seconds) |
2025-05-05 12:00:27 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-05-05 12:12:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2025-05-05 12:12:20 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) acidjnk |
2025-05-05 12:12:43 +0200 | xacktm | (xacktm@user/xacktm) xacktm |
2025-05-05 12:21:17 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-05 12:21:17 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-05 12:21:38 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 12:23:10 +0200 | yellowbird | (~yellowbir@2601:1c2:4400:1080::9762) (Remote host closed the connection) |
2025-05-05 12:24:49 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2025-05-05 12:28:26 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
2025-05-05 12:35:40 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-05-05 12:35:47 +0200 | <haskellbridge> | <hellwolf> I guess not. |
2025-05-05 12:35:47 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/dolZnXkFYAXBLYxKUQwegjkx/PTvKIhbMoy4 (11 lines) |
2025-05-05 12:36:04 +0200 | euleritian | (~euleritia@dynamic-176-006-128-244.176.6.pool.telefonica.de) |
2025-05-05 12:41:01 +0200 | euleritian | (~euleritia@dynamic-176-006-128-244.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
2025-05-05 12:41:12 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 12:44:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-05 12:45:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
2025-05-05 12:45:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-05 12:46:13 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-05-05 12:46:42 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) |
2025-05-05 12:47:46 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-05-05 12:48:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-05-05 12:56:15 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) |
2025-05-05 13:01:50 +0200 | jespada | (~jespada@r167-61-122-73.dialup.adsl.anteldata.net.uy) jespada |
2025-05-05 13:06:58 +0200 | <[exa]> | is there any recommendation/howto/best practices on how to sensibly publish static binaries (like what ghcup/cabal does) ? |
2025-05-05 13:07:20 +0200 | <haskellbridge> | <maerwald> build or publish? |
2025-05-05 13:07:31 +0200 | tomsmeding | would scp to a public-html/ |
2025-05-05 13:08:39 +0200 | <[exa]> | like, the low bar is "build locally with -static and upload the blob to github". I might add gpg signature. Are there any obvious or desirable improvements to that? |
2025-05-05 13:09:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-05 13:09:06 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-05 13:09:07 +0200 | <haskellbridge> | <maerwald> build in CI for transparency |
2025-05-05 13:09:19 +0200 | <tomsmeding> | watch out that glibc does not actually support being linked statically, if you use certain APIs from it, things break |
2025-05-05 13:09:28 +0200 | <haskellbridge> | <maerwald> https://hasufell.github.io/posts/2024-04-21-static-linking.html |
2025-05-05 13:11:32 +0200 | <hellwolf> | | This approach has been used in GHCup since its rewrite in Haskell. |
2025-05-05 13:11:32 +0200 | <hellwolf> | what was it written in? |
2025-05-05 13:11:36 +0200 | <tomsmeding> | maerwald: have you ever tried doing your guide but with bwrap instead of docker? I tried and it didn't work for me |
2025-05-05 13:12:01 +0200 | <haskellbridge> | <maerwald> hellwolf: posix shell |
2025-05-05 13:12:02 +0200 | <tomsmeding> | (I don't recall the precise thing that went wrong -- I think it was related to bwrap not actually creating a functioning multi-user user space inside) |
2025-05-05 13:12:19 +0200 | <haskellbridge> | <maerwald> https://github.com/haskell/ghcup/blob/master/ghcup |
2025-05-05 13:12:23 +0200 | <haskellbridge> | <maerwald> glorious days |
2025-05-05 13:13:16 +0200 | <haskellbridge> | <maerwald> never tried bwrap for that |
2025-05-05 13:15:49 +0200 | <hellwolf> | wonderful, we all started with shell, isn't it. |
2025-05-05 13:16:02 +0200 | <haskellbridge> | <maerwald> so did git, yes |
2025-05-05 13:16:49 +0200 | <hellwolf> | I thought urban legend says Linus coded in one weekend, and I always assumed it was in C. |
2025-05-05 13:17:02 +0200 | <hellwolf> | that would have made it more of a legend for sure. |
2025-05-05 13:17:10 +0200 | <hellwolf> | but in shell, I can imagine. |
2025-05-05 13:20:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 13:21:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-05-05 13:25:24 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-05-05 13:25:35 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-05-05 13:25:42 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 13:25:51 +0200 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
2025-05-05 13:26:09 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 13:29:58 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
2025-05-05 13:33:40 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
2025-05-05 13:36:44 +0200 | kuribas | (~user@ptr-17d51em2ntfndqd2b01.18120a2.ip6.access.telenet.be) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2025-05-05 13:36:59 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 13:42:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-05 13:43:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-05 13:44:06 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-05-05 13:48:38 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 13:49:16 +0200 | <[exa]> | hellwolf: https://github.com/git/git/commit/e83c5163316f89bfbde7d9ab23ca2e25604af290 |
2025-05-05 13:49:34 +0200 | <[exa]> | I've got no clue why "the information manager from hell" branding didn't catch up |
2025-05-05 13:52:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
2025-05-05 13:53:37 +0200 | <[exa]> | maerwald: very useful post, thanks |
2025-05-05 13:55:34 +0200 | <hellwolf> | oh, wow, it was indeed in C, then |
2025-05-05 13:55:58 +0200 | <[exa]> | we're all lucky it wasn't perl |
2025-05-05 13:57:03 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-05-05 13:58:57 +0200 | aureness | (~hello@user/aureness) aureness |
2025-05-05 14:01:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-05-05 14:04:59 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
2025-05-05 14:05:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 14:07:56 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-05 14:12:58 +0200 | aureness | (~hello@user/aureness) (Quit: Bye!) |
2025-05-05 14:14:16 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 14:14:31 +0200 | aureness | (~hello@user/aureness) aureness |
2025-05-05 14:14:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-05-05 14:15:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-05-05 14:16:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-05-05 14:16:39 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-05 14:16:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-05-05 14:16:56 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 14:18:57 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-05-05 14:23:05 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-05 14:25:47 +0200 | jespada | (~jespada@r167-61-122-73.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-05-05 14:30:04 +0200 | jespada | (~jespada@r167-61-122-73.dialup.adsl.anteldata.net.uy) jespada |
2025-05-05 14:31:30 +0200 | Xe_ | (~Xe@perl/impostor/xe) Xe |
2025-05-05 14:31:36 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
2025-05-05 14:32:21 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
2025-05-05 14:32:36 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 265 seconds) |
2025-05-05 14:34:37 +0200 | TMA | (tma@twin.jikos.cz) TMA |
2025-05-05 14:34:55 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-05-05 14:42:08 +0200 | Xe_ | Xe |
2025-05-05 14:44:10 +0200 | aureness | (~hello@user/aureness) (Ping timeout: 244 seconds) |
2025-05-05 14:48:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 14:52:33 +0200 | aureness | (~hello@178.49.99.92) |
2025-05-05 14:52:33 +0200 | aureness | (~hello@178.49.99.92) (Changing host) |
2025-05-05 14:52:33 +0200 | aureness | (~hello@user/aureness) aureness |
2025-05-05 14:53:08 +0200 | aureness | (~hello@user/aureness) (Client Quit) |
2025-05-05 14:53:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-05 15:11:33 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-05-05 15:11:46 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 15:12:12 +0200 | <tomsmeding> | > Note on changesets: unlike real SCM's |
2025-05-05 15:12:15 +0200 | <tomsmeding> | humble beginnings |
2025-05-05 15:12:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-05-05 15:14:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 15:14:10 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
2025-05-05 15:21:39 +0200 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
2025-05-05 15:29:04 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
2025-05-05 15:29:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-05 15:29:36 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
2025-05-05 15:29:44 +0200 | Square2 | (~Square4@user/square) Square |
2025-05-05 15:31:38 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 15:32:04 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 15:32:19 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-05-05 15:33:34 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-05-05 15:46:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 15:46:55 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 15:57:06 +0200 | <Square2> | There's no function in base that gives me the number of digits of an "Int" value? |
2025-05-05 16:01:02 +0200 | <stefan-__> | Square2: "length . show" should work |
2025-05-05 16:01:13 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
2025-05-05 16:03:10 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-05 16:04:15 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 16:04:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
2025-05-05 16:05:32 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
2025-05-05 16:06:33 +0200 | <hellwolf> | what happens to the negatives |
2025-05-05 16:07:14 +0200 | <hellwolf> | length . show . abs :|) |
2025-05-05 16:07:15 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-05 16:08:23 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-05-05 16:11:16 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
2025-05-05 16:11:23 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 16:11:53 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 16:12:29 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-05 16:12:55 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) |
2025-05-05 16:15:30 +0200 | <tomsmeding> | is there a usecase where you want the number of numeric base-10 digits in an Int value, but where the possible '-' doesn't count? |
2025-05-05 16:17:03 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 16:29:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
2025-05-05 16:38:38 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 16:39:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 16:44:36 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-05-05 16:46:09 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
2025-05-05 16:48:12 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) acidjnk |
2025-05-05 16:51:36 +0200 | amir_ | (uid22336@user/amir) amir |
2025-05-05 16:52:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-05-05 16:54:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-05-05 16:54:57 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 16:55:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 16:57:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 16:59:00 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-05-05 17:02:26 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-05-05 17:04:54 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-05-05 17:04:54 +0200 | ChanServ | +v haskellbridge |
2025-05-05 17:04:54 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
2025-05-05 17:06:38 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-05 17:06:56 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-05-05 17:13:17 +0200 | jespada_ | (~jespada@r179-25-149-142.dialup.adsl.anteldata.net.uy) jespada |
2025-05-05 17:15:19 +0200 | jespada | (~jespada@r167-61-122-73.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-05-05 17:21:39 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:22:12 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:23:46 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-05-05 17:23:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 17:31:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-05 17:35:16 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-05-05 17:40:40 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 276 seconds) |
2025-05-05 17:43:32 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 17:44:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-05 17:47:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-05-05 17:50:47 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:51:14 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:52:58 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:53:25 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:57:57 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 17:58:22 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "Currying for lunch...") |
2025-05-05 17:59:13 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 18:00:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 18:03:17 +0200 | <EvanR> | my money was on "an Int value which for some reason is not negative" |
2025-05-05 18:03:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-05-05 18:04:03 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-05-05 18:07:30 +0200 | <hellwolf> | GHC.Num.Natural |
2025-05-05 18:07:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-05 18:08:08 +0200 | <hellwolf> | > (negate . fromInteger) 2 :: Natural |
2025-05-05 18:08:09 +0200 | <lambdabot> | *Exception: arithmetic underflow |
2025-05-05 18:09:12 +0200 | <EvanR> | Numeric.Natural if you're nasty |
2025-05-05 18:09:38 +0200 | <hellwolf> | > :info Natural |
2025-05-05 18:09:39 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
2025-05-05 18:09:50 +0200 | <EvanR> | % :i Natural |
2025-05-05 18:09:50 +0200 | <yahb2> | <interactive>:1:1: error: [GHC-76037] ; Not in scope: data constructor ‘Natural’ |
2025-05-05 18:10:02 +0200 | <hellwolf> | :p |
2025-05-05 18:10:10 +0200 | <hellwolf> | need collaboration between two bots |
2025-05-05 18:11:04 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-05-05 18:13:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-05 18:13:06 +0200 | FatherJack | (~FatherJac@ks392457.kimsufi.com) |
2025-05-05 18:13:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
2025-05-05 18:13:25 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-05-05 18:14:04 +0200 | <Digit> | ;p one of my haskell bots (i'll take it back out of here momentarily), FatherJack can answer any question your bot may have. isnt that right, FatherJack? |
2025-05-05 18:14:04 +0200 | <FatherJack> | yes |
2025-05-05 18:14:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-05 18:19:12 +0200 | <hellwolf> | FatherJack: do you live in iceland too? |
2025-05-05 18:19:12 +0200 | <FatherJack> | yes |
2025-05-05 18:19:24 +0200 | <hellwolf> | FatherJack: do you live in eestland too? |
2025-05-05 18:19:24 +0200 | <FatherJack> | yes |
2025-05-05 18:19:33 +0200 | <hellwolf> | FatherJack: you are not a total function. |
2025-05-05 18:19:43 +0200 | <hellwolf> | (silence) |
2025-05-05 18:20:44 +0200 | <EvanR> | not in the form of a question |
2025-05-05 18:20:57 +0200 | <hellwolf> | FatherJack: do you have partial functions? |
2025-05-05 18:20:57 +0200 | <FatherJack> | yes |
2025-05-05 18:21:02 +0200 | <EvanR> | FatherJack, ? |
2025-05-05 18:21:02 +0200 | <FatherJack> | yes |
2025-05-05 18:21:07 +0200 | <hellwolf> | FatherJack: are you only total functions? |
2025-05-05 18:21:07 +0200 | <FatherJack> | yes |
2025-05-05 18:21:23 +0200 | <hellwolf> | FatherJack: are you a shame in the age of LLM? |
2025-05-05 18:21:24 +0200 | <FatherJack> | yes |
2025-05-05 18:22:40 +0200 | euleritian | (~euleritia@77.23.248.47) (Read error: Connection reset by peer) |
2025-05-05 18:23:23 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-05-05 18:23:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-05-05 18:28:01 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 18:28:26 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 18:30:21 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-05-05 18:30:56 +0200 | jmcantrell_ | jmcantrell |
2025-05-05 18:42:21 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 244 seconds) |
2025-05-05 18:42:49 +0200 | alethkit | feep |
2025-05-05 18:42:56 +0200 | <Digit> | okies, sending FatherJack back to ##? before he gets drunk and irritating. surprised no open questions. |
2025-05-05 18:43:22 +0200 | feep | (23bd17ddc6@sourcehut/user/alethkit) (Killed (NickServ (GHOST command used by feep_!~feep@p200300d4ff0705005c0acd6546964ff0.dip0.t-ipconnect.de))) |
2025-05-05 18:43:31 +0200 | feep | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
2025-05-05 18:44:02 +0200 | FatherJack | (~FatherJac@ks392457.kimsufi.com) (Remote host closed the connection) |
2025-05-05 18:44:40 +0200 | feep | alethkit |
2025-05-05 18:45:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-05-05 18:46:02 +0200 | <hellwolf> | you need to demo it first |
2025-05-05 18:46:03 +0200 | <hellwolf> | :) |
2025-05-05 18:46:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 18:48:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 18:49:52 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 18:50:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
2025-05-05 18:50:53 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-05-05 18:54:08 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-05-05 18:56:54 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-05 19:03:55 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-05-05 19:05:42 +0200 | Digitteknohippie | (~user@69.47.7.51.dyn.plus.net) |
2025-05-05 19:06:40 +0200 | Digit | (~user@69.47.7.51.dyn.plus.net) (Ping timeout: 268 seconds) |
2025-05-05 19:11:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-05-05 19:27:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-05 19:34:58 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2025-05-05 19:37:18 +0200 | euleritian | (~euleritia@dynamic-176-000-054-130.176.0.pool.telefonica.de) |
2025-05-05 19:49:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e1a9:cd8e:4cbb:591b) (Ping timeout: 248 seconds) |
2025-05-05 19:50:35 +0200 | euleritian | (~euleritia@dynamic-176-000-054-130.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-05 19:51:04 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-05-05 19:54:21 +0200 | <hellwolf> | another compiled and worked experience. |
2025-05-05 19:54:36 +0200 | <hellwolf> | even with a big refactoring |
2025-05-05 19:57:49 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 260 seconds) |
2025-05-05 19:58:43 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-05 19:58:45 +0200 | euleritian | (~euleritia@dynamic-176-000-054-130.176.0.pool.telefonica.de) |
2025-05-05 20:00:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-05 20:07:23 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-05-05 20:07:23 +0200 | ChanServ | +v haskellbridge |
2025-05-05 20:09:36 +0200 | <monochrom> | Well, "do you live in eestland" is an open question. :) |
2025-05-05 20:10:34 +0200 | [exa] | just discovered `cabal man` |