Newest at the top
| 2025-05-05 11:15:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 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:10:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 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:08:04 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 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:03:44 +0200 | yellowbird | (~yellowbir@2601:1c2:4400:1080::9762) |
| 2025-05-05 10:56:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-05 10:55:28 +0200 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2025-05-05 10:55:02 +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:51:14 +0200 | danza | (~danza@user/danza) danza |
| 2025-05-05 10:38:41 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-05-05 10:37:37 +0200 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-05-05 10:37:20 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-05 10:36:26 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-05 10:35:57 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 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:30:14 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-05-05 10:30:09 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-05-05 10:17:37 +0200 | kuribas | (~user@ptr-17d51em2ntfndqd2b01.18120a2.ip6.access.telenet.be) kuribas |
| 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:01:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 09:52:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 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:44:40 +0200 | <hellwolf> | Does it make sense? |
| 2025-05-05 09:42:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 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: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:39:53 +0200 | <hellwolf> | Minimal rebuilding of the wheels is the goal. |
| 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: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: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:09 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-05 09:36:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-05 09:36:03 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-05 09:33:10 +0200 | <tomsmeding> | perhaps? |
| 2025-05-05 09:33:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 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: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:24:10 +0200 | Lord_of_Life_ | 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:22:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-05 09:07:11 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-05-05 09:06:47 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2025-05-05 09:00:51 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-05 09:00:06 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-05 08:58:07 +0200 | <tomsmeding> | hellwolf: best way to learn |
| 2025-05-05 08:46:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-05 08:37:51 +0200 | kenran | (~void@user/kenran) kenran |