| 2024-06-18 00:01:10 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-18 00:03:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 00:04:48 +0200 | kuribas | (~user@ptr-17d51eokk4x6v7fmbmr.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-06-18 00:05:15 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 00:05:30 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 00:07:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-18 00:11:50 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-18 00:14:46 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-06-18 00:18:27 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc39d0437a9dd700f698.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-06-18 00:20:33 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 00:23:29 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-18 00:23:53 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-18 00:27:58 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-06-18 00:29:13 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-18 00:30:35 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-06-18 00:33:04 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-06-18 00:41:43 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-06-18 00:47:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-18 00:51:45 +0200 | ocra8 | (~ocra8@user/ocra8) (Quit: WeeChat 4.3.2) |
| 2024-06-18 00:55:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2024-06-18 01:01:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-06-18 01:02:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 01:04:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-18 01:05:34 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:381d:57ce:f49c:8828) |
| 2024-06-18 01:08:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2024-06-18 01:21:31 +0200 | pwug | (~pwug@user/pwug) |
| 2024-06-18 01:21:33 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-18 01:22:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-18 01:24:11 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-18 01:25:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 01:32:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 01:34:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 01:44:24 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-18 01:44:46 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-06-18 01:46:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-18 01:52:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2024-06-18 01:53:04 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-18 01:53:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 01:55:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-18 01:58:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-18 01:58:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 01:59:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2024-06-18 02:01:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 02:10:37 +0200 | madhavanmiui | (~madhavanm@2409:40f4:102d:54ba:8000::) |
| 2024-06-18 02:11:32 +0200 | madhavanmiui | (~madhavanm@2409:40f4:102d:54ba:8000::) (Client Quit) |
| 2024-06-18 02:14:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 02:18:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2024-06-18 02:24:15 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 02:25:38 +0200 | zzz | (~yin@user/zero) |
| 2024-06-18 02:28:40 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 02:33:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-18 02:34:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 02:34:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-18 02:34:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 02:34:39 +0200 | euleritian | (~euleritia@dynamic-176-003-080-103.176.3.pool.telefonica.de) |
| 2024-06-18 02:36:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-06-18 02:37:23 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-18 02:37:51 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-18 02:38:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 02:39:56 +0200 | euleritian | (~euleritia@dynamic-176-003-080-103.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-18 02:40:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 02:46:01 +0200 | <cheater> | what is currently the best way to get tags? |
| 2024-06-18 02:46:04 +0200 | <cheater> | ghc-tags seems broken |
| 2024-06-18 02:46:38 +0200 | <Axman6> | I feel like I've seen people use ctags recently... maybe Edsko on a Haskell Unfolder episode? |
| 2024-06-18 02:49:10 +0200 | <cheater> | universal-ctags (the best updated version of ctags) has kinda barebones haskell support |
| 2024-06-18 02:49:27 +0200 | <cheater> | like it will only identify functions, modules, types, and constructors |
| 2024-06-18 02:49:37 +0200 | <cheater> | eg if you want classes you're shit outta luck |
| 2024-06-18 02:49:44 +0200 | <cheater> | can hls generate tags? i have hls |
| 2024-06-18 02:53:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2024-06-18 02:54:30 +0200 | <geekosaur> | @hackage hasktags |
| 2024-06-18 02:54:30 +0200 | <lambdabot> | https://hackage.haskell.org/package/hasktags |
| 2024-06-18 02:55:21 +0200 | <geekosaur> | I don't think HLS either generates or uses tags files, it does its own indexing |
| 2024-06-18 02:56:10 +0200 | Square | (~Square4@user/square) |
| 2024-06-18 02:57:51 +0200 | <cheater> | is hasktags better/worse than ghc-tags-plugin? |
| 2024-06-18 02:58:10 +0200 | <cheater> | my job uses ghc-tags-plugin but i actually do need an executable and not just the output |
| 2024-06-18 02:59:16 +0200 | <geekosaur> | I would suspect that ghc-tags-plugin is somewhat better, but something that works is necessarily better than something that got broken by a compiler update |
| 2024-06-18 03:00:25 +0200 | <geekosaur> | also, hasktags is maintained by the ghc team, so it's probably pretty decent |
| 2024-06-18 03:00:44 +0200 | <geekosaur> | (I don't have direct experience since I haven't used tags in a while) |
| 2024-06-18 03:00:51 +0200 | <cheater> | i'm asking because there's a ghc-tags fork that uses whatever ghc-tags-plugin uses, but it's on github and so i'd have to compile it ... |
| 2024-06-18 03:01:05 +0200 | <cheater> | yeah i'm trying to get taglist.vim to be useful for haskell |
| 2024-06-18 03:02:46 +0200 | <geekosaur> | ghc-tags normally uses the GHC API, ghc-tags-plugin is a ghc plugin that runs at compile time and introspects your program's AST |
| 2024-06-18 03:03:24 +0200 | <geekosaur> | they _should_ be the same, except that the plugin API is somewhat more stable than ghc-api |
| 2024-06-18 03:03:35 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 03:06:19 +0200 | <cheater> | lmao @ universal ctags thinks module Foo.Bar.Baz is just called "Foo" |
| 2024-06-18 03:06:29 +0200 | <geekosaur> | right, ghc-tags-plugin's description links to the ghc-tags fork you mentioned 🙂 |
| 2024-06-18 03:06:40 +0200 | <cheater> | geekosaur: there u go |
| 2024-06-18 03:06:50 +0200 | <geekosaur> | and mentions that it uses the same ghc-tags-core library, unlike standard ghc-tags |
| 2024-06-18 03:06:51 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-06-18 03:09:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-06-18 03:09:32 +0200 | johnw_ | (~johnw@69.62.242.138) |
| 2024-06-18 03:09:47 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-06-18 03:10:28 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-18 03:10:33 +0200 | <cheater> | yup |
| 2024-06-18 03:13:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-06-18 03:13:52 +0200 | <cheater> | now if i could figure out what the different tag types mean in hasktags, and which types they have |
| 2024-06-18 03:14:42 +0200 | <cheater> | huh, marcweber is not on irc. that's funny, he's usually always everywhere at all times |
| 2024-06-18 03:18:12 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 03:22:47 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 03:22:49 +0200 | johnw_ | (~johnw@69.62.242.138) (Ping timeout: 256 seconds) |
| 2024-06-18 03:22:49 +0200 | johnw | (~johnw@2601:204:dc00:1db0:c08c:648c:ac3:ce1f) |
| 2024-06-18 03:23:39 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 03:28:24 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-18 03:34:17 +0200 | <cheater> | ugh, fuck. i just noticed that hasktags has a bug. |
| 2024-06-18 03:34:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 03:35:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-18 03:38:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 03:39:02 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Quit: Konversation terminated!) |
| 2024-06-18 03:43:47 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 256 seconds) |
| 2024-06-18 03:48:03 +0200 | <cheater> | yeah nah yeah i looked at the -x implementation and it's kind of half baked |
| 2024-06-18 03:48:11 +0200 | <cheater> | it's like he aborted working on it halfway through |
| 2024-06-18 03:49:00 +0200 | <cheater> | geekosaur: did you say marc weber is on the ghc team or something? |
| 2024-06-18 03:50:06 +0200 | <geekosaur> | no? |
| 2024-06-18 03:50:32 +0200 | <cheater> | you said hasktags is maintained by the ghc team |
| 2024-06-18 03:50:38 +0200 | <cheater> | hasktags is maintained by marc weber |
| 2024-06-18 03:50:56 +0200 | <cheater> | i guess andreas abel put in a patch recently |
| 2024-06-18 03:51:01 +0200 | <geekosaur> | got that slightly wrong, I see. it was _authored_ by the GHC team, it's apparently maintained by others now |
| 2024-06-18 03:51:10 +0200 | <cheater> | ahhh gotcha |
| 2024-06-18 03:51:22 +0200 | <cheater> | one of the classic blunders! |
| 2024-06-18 03:51:50 +0200 | <cheater> | the most famous of which is never engage in a land war in asia |
| 2024-06-18 03:53:10 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2024-06-18 03:53:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-18 03:56:39 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-06-18 03:57:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 03:58:49 +0200 | <cheater> | ah, there's a workaround for the bug at least |
| 2024-06-18 04:00:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2024-06-18 04:09:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a539:7039:59e2:58af) (Ping timeout: 268 seconds) |
| 2024-06-18 04:13:07 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-06-18 04:17:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 04:20:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 04:21:06 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-18 04:22:43 +0200 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-06-18 04:22:48 +0200 | madhavanmiui | (~madhavanm@2409:40f4:101b:de3e:8000::) |
| 2024-06-18 04:23:06 +0200 | madhavanmiui | (~madhavanm@2409:40f4:101b:de3e:8000::) (Remote host closed the connection) |
| 2024-06-18 04:24:36 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-18 04:33:25 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-18 04:33:55 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-18 04:35:20 +0200 | <cheater> | ooooof.... |
| 2024-06-18 04:43:05 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 04:47:39 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-18 04:47:49 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 04:50:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-18 04:51:52 +0200 | srk | (~sorki@user/srk) |
| 2024-06-18 04:52:46 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-18 04:52:54 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 2024-06-18 04:55:45 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-18 04:56:18 +0200 | johnw | (~johnw@2601:204:dc00:1db0:c08c:648c:ac3:ce1f) (Quit: ZNC - http://znc.in) |
| 2024-06-18 04:56:54 +0200 | johnw | (~johnw@2601:204:dc00:1db0:c08c:648c:ac3:ce1f) |
| 2024-06-18 04:57:19 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 04:57:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 04:58:41 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
| 2024-06-18 05:00:21 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-06-18 05:01:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 05:09:24 +0200 | johnw_ | (~johnw@69.62.242.138) |
| 2024-06-18 05:09:25 +0200 | johnw | (~johnw@2601:204:dc00:1db0:c08c:648c:ac3:ce1f) (Ping timeout: 268 seconds) |
| 2024-06-18 05:14:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 05:14:18 +0200 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-06-18 05:18:26 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-06-18 05:18:55 +0200 | k_hachig_ | (~k_hachig@65.94.221.127) (Ping timeout: 255 seconds) |
| 2024-06-18 05:20:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-18 05:20:48 +0200 | euleritian | (~euleritia@dynamic-176-003-081-111.176.3.pool.telefonica.de) |
| 2024-06-18 05:36:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2024-06-18 05:36:55 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2024-06-18 05:39:49 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:b400:dc6a:27f6:ff46:b676) |
| 2024-06-18 05:40:29 +0200 | aforemny_ | (~aforemny@i59F516FA.versanet.de) (Ping timeout: 240 seconds) |
| 2024-06-18 05:44:26 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 05:54:46 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 2024-06-18 05:57:48 +0200 | <cheater> | can i somehow set a buffer or window to always refresh a file if it's modified, without asking? |
| 2024-06-18 05:58:47 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 2024-06-18 06:00:13 +0200 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 2024-06-18 06:02:55 +0200 | <geekosaur> | `:set autoread`, if you mean vim |
| 2024-06-18 06:03:08 +0200 | <cheater> | oh. wrong channel again lmao |
| 2024-06-18 06:03:12 +0200 | <cheater> | thanks geekosaur |
| 2024-06-18 06:03:33 +0200 | <cheater> | i'm trying to get hasktags to work with taglist |
| 2024-06-18 06:03:35 +0200 | <cheater> | and i'm almost there |
| 2024-06-18 06:03:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-18 06:04:01 +0200 | <cheater> | the status bar display doesn't work yet. but the tag list shows up nicely and it's much richer than with u-ctags |
| 2024-06-18 06:05:23 +0200 | <cheater> | any clue what this is about? https://new.reddit.com/r/haskell/comments/1dhpieg/comment/l90zuut/?context=3 |
| 2024-06-18 06:11:03 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-18 06:12:22 +0200 | <monochrom> | If it's emacs, look into auto-revert-mode |
| 2024-06-18 06:16:50 +0200 | euleritian | (~euleritia@dynamic-176-003-081-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-18 06:17:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 06:23:44 +0200 | nkatte | (~nkatte@191.177.174.42) (Ping timeout: 268 seconds) |
| 2024-06-18 06:36:59 +0200 | tabemann | (~tabemann@50.202.131.11) (Ping timeout: 268 seconds) |
| 2024-06-18 06:41:03 +0200 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-06-18 06:41:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-18 06:45:00 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2024-06-18 07:01:28 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 07:02:21 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-18 07:02:22 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-06-18 07:02:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-18 07:03:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 07:12:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-18 07:13:22 +0200 | euleritian | (~euleritia@dynamic-176-003-081-111.176.3.pool.telefonica.de) |
| 2024-06-18 07:13:27 +0200 | danza | (~francesco@151.35.166.104) |
| 2024-06-18 07:15:55 +0200 | euleritian | (~euleritia@dynamic-176-003-081-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-18 07:16:12 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-18 07:18:51 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-18 07:20:14 +0200 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-18 07:22:59 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-06-18 07:27:33 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:1810:3a75:2e9f:3729) |
| 2024-06-18 07:27:33 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:1810:3a75:2e9f:3729) (Changing host) |
| 2024-06-18 07:27:33 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-18 07:28:11 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-18 07:29:25 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-06-18 07:30:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-18 07:30:21 +0200 | euleritian | (~euleritia@dynamic-176-006-022-230.176.6.pool.telefonica.de) |
| 2024-06-18 07:39:55 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44fcfbcb66e1510efc.dip0.t-ipconnect.de) |
| 2024-06-18 07:40:40 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 255 seconds) |
| 2024-06-18 07:45:18 +0200 | <edwardk> | cheater: have you tried fast-tags? |
| 2024-06-18 07:47:32 +0200 | <edwardk> | cheater: i've used it to pretty good effect, and it is by far the fastest haskell tag generator |
| 2024-06-18 07:47:48 +0200 | <edwardk> | (mainly because it cheats rather than use a full parser) |
| 2024-06-18 08:05:25 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:381d:57ce:f49c:8828) (Quit: Leaving) |
| 2024-06-18 08:06:15 +0200 | <Axman6> | ^(module (.+) (\(.+\))? where|^[a-z][a-zA-Z0-9_']*) |
| 2024-06-18 08:06:23 +0200 | <Axman6> | (that definitely won't work) |
| 2024-06-18 08:07:57 +0200 | <probie> | cheater: Re the reddit post: Vincent wrote a bunch of widely used Haskell libraries like cryptonite. Vincent has decided he doesn't want to maintain them any longer, but also won't hand over maintainership to other people (which IMO is perfectly reasonable). You can find the modern community fork of most of those packages under the name crypton |
| 2024-06-18 08:27:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 08:29:31 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Read error: Connection reset by peer) |
| 2024-06-18 08:30:40 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-06-18 08:34:34 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-06-18 08:35:27 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-18 09:07:28 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 246 seconds) |
| 2024-06-18 09:08:34 +0200 | euleritian | (~euleritia@dynamic-176-006-022-230.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-18 09:09:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 09:09:20 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-06-18 09:10:37 +0200 | mmaruseacph2 | (~mihai@mihai.page) (Ping timeout: 246 seconds) |
| 2024-06-18 09:12:19 +0200 | mmaruseacph2 | (~mihai@mihai.page) |
| 2024-06-18 09:15:09 +0200 | c_wraith | (~c_wraith@adjoint.us) (Ping timeout: 256 seconds) |
| 2024-06-18 09:16:50 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2024-06-18 09:18:19 +0200 | danza | (~francesco@151.35.166.104) (Ping timeout: 255 seconds) |
| 2024-06-18 09:20:57 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-06-18 09:22:52 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-18 09:25:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-18 09:27:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-18 09:45:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-18 09:49:13 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-18 09:53:15 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 2024-06-18 09:58:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-18 09:59:13 +0200 | andjjj23 | (~irc@107.170.228.47) (Ping timeout: 272 seconds) |
| 2024-06-18 10:05:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-18 10:20:13 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2024-06-18 10:21:57 +0200 | ak-1 | (~ak-1@149.50.189.14) (Quit: ak-1) |
| 2024-06-18 10:24:13 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-18 10:28:57 +0200 | glguy | (g@libera/staff/glguy) (Ping timeout: 612 seconds) |
| 2024-06-18 10:30:49 +0200 | chele | (~chele@user/chele) |
| 2024-06-18 10:53:05 +0200 | Guest97 | (~Guest97@2601:244:8401:b790:185:262d:4292:5aaf) |
| 2024-06-18 10:56:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-18 10:59:56 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) |
| 2024-06-18 11:08:58 +0200 | Guest97 | (~Guest97@2601:244:8401:b790:185:262d:4292:5aaf) (Quit: Client closed) |
| 2024-06-18 11:11:43 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-18 11:13:11 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f3c9:3256:4c54:e84a) |
| 2024-06-18 11:14:41 +0200 | <cheater> | lmao how does this even happen https://paste.tomsmeding.com/RB6UtcdQ |
| 2024-06-18 11:14:55 +0200 | <cheater> | i thought nix was supposed to be like. a good build system or something |
| 2024-06-18 11:15:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-18 11:16:23 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-18 11:16:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-18 11:17:26 +0200 | <tomsmeding> | however good a build system is, it's not any better than the packages that it is asked to build :) |
| 2024-06-18 11:18:05 +0200 | tomsmeding | doesn't know much about nix |
| 2024-06-18 11:18:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-18 11:18:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 11:19:06 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-18 11:23:00 +0200 | <cheater> | tomsmeding: so the problem with it is that a dependency for two packages is clashing |
| 2024-06-18 11:25:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 11:28:48 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-18 11:30:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 11:32:33 +0200 | <danse-nr3> | <monochrom> Denotational semantics focuses on whether there is a value and what the value is. It leaves open how (evaluation strategy) to get it, and therefore how much it costs |
| 2024-06-18 11:32:52 +0200 | <danse-nr3> | do you refer to haskell's den sem monochrom? |
| 2024-06-18 11:36:31 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 11:37:01 +0200 | <cheater> | danse-nr3: if you want evaluation strategy out of denotational semantics, you can generate operational semantics out of denotational semantics. |
| 2024-06-18 11:40:12 +0200 | <danse-nr3> | hmm interesting. I guess i had a misconception about what operational semantics mean. Cheers |
| 2024-06-18 11:41:49 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 272 seconds) |
| 2024-06-18 11:45:42 +0200 | <cheater> | why do you think that? |
| 2024-06-18 11:45:54 +0200 | <cheater> | lmao there's no fucking way ghc-tags actually just wrote to a file called - on my disk |
| 2024-06-18 11:48:09 +0200 | <Hecate> | cheater: to be frank, if it was passed "-f -" it will absolutely write a file called "-" |
| 2024-06-18 11:48:23 +0200 | <cheater> | yeah, that's wrong |
| 2024-06-18 11:49:34 +0200 | <Hecate> | looks like your expectations are wrong, the program is only doing what you tell it to do |
| 2024-06-18 11:50:39 +0200 | <cheater> | i'm sorry, i'm not getting into that right now, my expectations aren't wrong and i'm not getting gaslit about it or whatever |
| 2024-06-18 11:51:22 +0200 | <danse-nr3> | because i thought evaluation strategy was to be understood by a notation, while operational semantics was more about implementations. But probably i was wrong |
| 2024-06-18 11:51:31 +0200 | <cheater> | every single other tags generator understands -f - or -o - to be "output to stdout" as do a bunch of text editors |
| 2024-06-18 11:52:11 +0200 | <cheater> | danse-nr3: oh. well, if you're thinking in those terms, then neither of them are about evaluation strategy |
| 2024-06-18 11:52:29 +0200 | <cheater> | but, once you have operational semantics, you have *some* evaluation strategy |
| 2024-06-18 11:53:01 +0200 | <danse-nr3> | i see thanks |
| 2024-06-18 11:55:23 +0200 | <cheater> | ok so i don't really know what to make of the output of coot/ghc-tags. (i'm guessing it's the same as normal ghc-tags but just to make sure). some things are tagged as kind:lambda or kind:^ or kind:triple-equals and idk what those are supposed to mean |
| 2024-06-18 11:57:45 +0200 | <Hecate> | cheater: every single other tag generator does, until you find one that doesn't because nobody asked for it. |
| 2024-06-18 11:58:02 +0200 | <cheater> | why are you arguing about this? what's in it for you? |
| 2024-06-18 11:58:15 +0200 | <cheater> | idk why this conversation is hapening |
| 2024-06-18 11:58:20 +0200 | <cheater> | +p |
| 2024-06-18 12:00:29 +0200 | <Hecate> | cheater: well you literally started complaining, and also you accused me of gaslighting :)) |
| 2024-06-18 12:02:03 +0200 | <cheater> | right. take a step back and figure that one out rather than continue on the path of most resistance |
| 2024-06-18 12:03:54 +0200 | <Hecate> | it's alright, I've been using ghc-tags for a couple of years without feeling the needs to be sour on IRC, life's pretty good to me right now |
| 2024-06-18 12:04:31 +0200 | <cheater> | cool |
| 2024-06-18 12:05:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-06-18 12:06:05 +0200 | andjjj23 | (~irc@107.170.228.47) |
| 2024-06-18 12:06:49 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-18 12:08:45 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-18 12:17:02 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 12:18:32 +0200 | <haskellbridge> | <sm> how's haddock maintainership treating you Hecate ? |
| 2024-06-18 12:21:35 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2024-06-18 12:24:15 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-06-18 12:25:51 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-06-18 12:26:19 +0200 | <Hecate> | sm: not bad, thank you. Lots of cruft to remove, but also new people to onboard |
| 2024-06-18 12:28:30 +0200 | <haskellbridge> | <sm> excellent |
| 2024-06-18 12:28:48 +0200 | <haskellbridge> | <sm> thanks haddock hackers |
| 2024-06-18 12:40:36 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-06-18 12:43:36 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2024-06-18 12:44:42 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-18 12:45:13 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-06-18 12:46:59 +0200 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2024-06-18 12:47:00 +0200 | verde | (~user@user/verde) |
| 2024-06-18 12:49:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-06-18 12:49:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-18 12:52:10 +0200 | <danse-nr3> | right it moved to the ghci repo recently, correct? Has that helped? |
| 2024-06-18 12:52:17 +0200 | <danse-nr3> | ghc sorry |
| 2024-06-18 12:52:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-18 12:56:45 +0200 | Digitteknohippie | Digit |
| 2024-06-18 12:57:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 12:57:10 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-06-18 13:01:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-18 13:01:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 13:06:54 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 255 seconds) |
| 2024-06-18 13:08:56 +0200 | <Hecate> | danse-nr3: yep |
| 2024-06-18 13:09:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fd6a:2265:c425:f820) |
| 2024-06-18 13:09:30 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:7200:e6b9:7aff:fe80:3d03) |
| 2024-06-18 13:13:39 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) (Ping timeout: 255 seconds) |
| 2024-06-18 13:16:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 13:18:01 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 13:22:50 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2024-06-18 13:23:51 +0200 | TactfulCitrus | (al@gateway/vpn/protonvpn/tactfulcitrus) |
| 2024-06-18 13:25:28 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-06-18 13:28:39 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-06-18 13:29:17 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:e2d2:7213:77e6:ad6) |
| 2024-06-18 13:30:26 +0200 | Roy_Mustang | (A_D@libera/staff/dragon) |
| 2024-06-18 13:30:28 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-06-18 13:30:33 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-18 13:30:58 +0200 | teesquare_ | (~teesquare@user/teesquare) |
| 2024-06-18 13:31:27 +0200 | srk- | (~sorki@user/srk) |
| 2024-06-18 13:31:39 +0200 | bairyn_ | (~bairyn@50.250.232.19) |
| 2024-06-18 13:31:55 +0200 | dumptruckman_ | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 2024-06-18 13:31:58 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2024-06-18 13:32:27 +0200 | flounders_ | (~flounders@24.246.176.178) |
| 2024-06-18 13:32:41 +0200 | rosco_ | (~rosco@175.136.155.137) |
| 2024-06-18 13:33:25 +0200 | meooow_ | (~meooow@2400:6180:100:d0::ad9:e001) |
| 2024-06-18 13:36:41 +0200 | verde | (~user@user/verde) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | rosco | (~rosco@175.136.155.137) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | srk | (~sorki@user/srk) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | brett303 | (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | flounders | (~flounders@24.246.176.178) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | gorignak | (~gorignak@user/gorignak) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:41 +0200 | vizimajac | (vizimajac@shell.xshellz.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | bairyn | (~bairyn@50.250.232.19) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | A_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | teesquare | (~teesquare@user/teesquare) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | meooow | (~meooow@165.232.184.169) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 2024-06-18 13:36:42 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-06-18 13:36:45 +0200 | dumptruckman_ | dumptruckman |
| 2024-06-18 13:36:45 +0200 | srk- | srk |
| 2024-06-18 13:36:45 +0200 | JamesMowery4 | JamesMowery |
| 2024-06-18 13:37:38 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-06-18 13:38:43 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
| 2024-06-18 13:44:15 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-06-18 13:44:22 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Excess Flood) |
| 2024-06-18 13:44:22 +0200 | verde | (~user@user/verde) |
| 2024-06-18 13:44:22 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2024-06-18 13:44:22 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-06-18 13:44:22 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | vizimajac | (vizimajac@shell.xshellz.com) |
| 2024-06-18 13:44:22 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-06-18 13:44:22 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-06-18 13:44:22 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-06-18 13:44:22 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-06-18 13:44:22 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | xacktm | (xacktm@user/xacktm) |
| 2024-06-18 13:44:22 +0200 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
| 2024-06-18 13:44:22 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2024-06-18 13:44:22 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) |
| 2024-06-18 13:46:30 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-06-18 13:48:55 +0200 | Roy_Mustang | A_Dragon |
| 2024-06-18 13:55:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-18 13:58:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 14:01:54 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) |
| 2024-06-18 14:03:28 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-18 14:08:05 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) (Changing host) |
| 2024-06-18 14:08:05 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) |
| 2024-06-18 14:08:20 +0200 | aforemny_ | (~aforemny@2001:9e8:6cdf:6100:2338:8f16:3564:eee6) |
| 2024-06-18 14:09:00 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:b400:dc6a:27f6:ff46:b676) (Ping timeout: 268 seconds) |
| 2024-06-18 14:15:39 +0200 | verde | (~user@user/verde) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | vizimajac | (vizimajac@shell.xshellz.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2024-06-18 14:15:39 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 2024-06-18 14:17:07 +0200 | verde | (~user@user/verde) |
| 2024-06-18 14:17:07 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2024-06-18 14:17:07 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-06-18 14:17:07 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | vizimajac | (vizimajac@shell.xshellz.com) |
| 2024-06-18 14:17:07 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-06-18 14:17:07 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-06-18 14:17:07 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-06-18 14:17:07 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-06-18 14:17:07 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | xacktm | (xacktm@user/xacktm) |
| 2024-06-18 14:17:07 +0200 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
| 2024-06-18 14:17:07 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2024-06-18 14:17:07 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) |
| 2024-06-18 14:17:46 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Max SendQ exceeded) |
| 2024-06-18 14:19:15 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-06-18 14:20:10 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-06-18 14:21:09 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-18 14:31:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-06-18 14:32:43 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-18 14:33:40 +0200 | califax | (~califax@user/califx) |
| 2024-06-18 14:33:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-18 14:37:40 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-18 14:37:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-18 14:43:40 +0200 | <edwardk> | cheater: the irony here is evan, the author of fast-tags is the guy who maintained nix for us when i was at groq. ;) |
| 2024-06-18 14:44:14 +0200 | <cheater> | thank you for mentioning you were at groq. i had no idea |
| 2024-06-18 14:45:10 +0200 | zzz | (~yin@user/zero) |
| 2024-06-18 14:45:38 +0200 | <edwardk> | i was their head of software for a couple of years, (then moved on to head of technology & architecture because they needed more help on the chip design side) then left about a year ago to form my own company |
| 2024-06-18 14:46:28 +0200 | <edwardk> | now my business partner and i have https://www.positron.ai/ |
| 2024-06-18 14:48:27 +0200 | nkatte | (~nkatte@191.177.174.42) |
| 2024-06-18 14:53:23 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-06-18 14:53:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2024-06-18 14:53:48 +0200 | cheater_ | cheater |
| 2024-06-18 14:54:09 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-06-18 14:56:31 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) (Remote host closed the connection) |
| 2024-06-18 14:56:55 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) |
| 2024-06-18 14:59:03 +0200 | <hadronized> | monochrom: hm, I checked a bit on Koka (installed it, played a bit with it), and even Roc-lang |
| 2024-06-18 14:59:12 +0200 | <hadronized> | I’m not sure it will ever become something as serious as Haskell though |
| 2024-06-18 14:59:36 +0200 | <hadronized> | their Perceus idea looks interesting though |
| 2024-06-18 15:00:25 +0200 | danse-nr3 | (~danse-nr3@151.35.159.42) (Read error: Connection reset by peer) |
| 2024-06-18 15:00:36 +0200 | danse-nr3 | (~danse-nr3@151.37.172.249) |
| 2024-06-18 15:05:25 +0200 | <cheater> | hm |
| 2024-06-18 15:07:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 15:08:22 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection) |
| 2024-06-18 15:08:27 +0200 | <hadronized> | cheater: hm? |
| 2024-06-18 15:08:33 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2024-06-18 15:08:40 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-18 15:08:48 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-06-18 15:09:04 +0200 | <cheater> | my internet died |
| 2024-06-18 15:16:13 +0200 | danse-nr3 | (~danse-nr3@151.37.172.249) (Ping timeout: 268 seconds) |
| 2024-06-18 15:21:31 +0200 | <hadronized> | hm, also, koka not having typeclasses and suggesting to either do the dict-passing manually, or use effects, is redflag to me |
| 2024-06-18 15:21:43 +0200 | <hadronized> | it feels like typeclasses + implicit params is stronger |
| 2024-06-18 15:22:15 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-18 15:24:54 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-18 15:25:41 +0200 | td_ | (~td@i53870936.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-06-18 15:27:04 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-18 15:27:22 +0200 | <edwardk> | "koka"? |
| 2024-06-18 15:27:38 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-06-18 15:27:45 +0200 | <edwardk> | ah found it |
| 2024-06-18 15:27:49 +0200 | <yushyin> | https://koka-lang.github.io |
| 2024-06-18 15:28:33 +0200 | <edwardk> | ref counting, effect systems, uniqueness internals |
| 2024-06-18 15:29:29 +0200 | <hadronized> | yeah, the effect systems is something I’m not completely sure about |
| 2024-06-18 15:29:37 +0200 | <hadronized> | their reuse analysis thing sounds great though |
| 2024-06-18 15:29:45 +0200 | <hadronized> | it looks like it compiles down to C |
| 2024-06-18 15:29:59 +0200 | <edwardk> | yeah. i love uniqueness style updating |
| 2024-06-18 15:30:21 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-06-18 15:30:23 +0200 | <edwardk> | easy enough to do with 1-bit ref counting in all pointers, or if like in this case you go to global ref counting |
| 2024-06-18 15:30:57 +0200 | <hadronized> | I wonder whether Haskell could benefit from that Perceus thing |
| 2024-06-18 15:31:04 +0200 | rvalue- | rvalue |
| 2024-06-18 15:31:24 +0200 | <hadronized> | also, how are you doing edwardk? it’s been a super long time I haven’t heard or read anything from you (probably a Zurihack a long time ago) |
| 2024-06-18 15:31:32 +0200 | <hadronized> | (my old nickname was phaazon back then) |
| 2024-06-18 15:32:06 +0200 | <hadronized> | I’m hanging around here to try and convince myself to switch back from Rust to Haskell again, at least on my spare time projects (at least I can do a bit of Rust at work…) |
| 2024-06-18 15:32:27 +0200 | <hadronized> | the more I see how Rust becomes (async/await, etc.) the more IÂ feel something is going wrong with it haha |
| 2024-06-18 15:32:57 +0200 | <sprout> | rm -rf |
| 2024-06-18 15:33:00 +0200 | <edwardk> | i'm doing pretty well. went to zurihac recently and recharged my haskell batteries |
| 2024-06-18 15:35:04 +0200 | <edwardk> | re uniqueness style updates in a haskell like language, there's a lot one could do with a fully substructural heap subsystem and a lazy language. e.g. thunks convert uniqueness style updates to (optionally) regular ones and can hold unique resources, because they only get evaluated once. but you need to be a bit careful, if the resource is linear/relevant/strict you should evaluate it now, if its affine/unrestricted/lazy you want to keep |
| 2024-06-18 15:35:04 +0200 | <edwardk> | building up thunks. |
| 2024-06-18 15:35:21 +0200 | <edwardk> | this means that you wind up building up thunk chains when things are lazy rather than directly applying updates |
| 2024-06-18 15:35:43 +0200 | <edwardk> | so the uniqueness wins mostly add up in a language that has a strong strict sublanguage. |
| 2024-06-18 15:35:50 +0200 | <sprout> | I think you just described Clean |
| 2024-06-18 15:36:14 +0200 | <edwardk> | clean has uniqueness, but linearity, affinity, etc. are still useful. they are sort of opposite facing temporal modalities. |
| 2024-06-18 15:36:35 +0200 | <edwardk> | uniqueness says you haven't contracted a thing yet, linearity says you won't contract or weaken in the future |
| 2024-06-18 15:36:59 +0200 | <edwardk> | i want uniqueness _in addition_ to all the rest |
| 2024-06-18 15:37:38 +0200 | <edwardk> | and the problem with clean is its notion of uniqueness is purely is too weak. its based on compile time information. i want to recover it when other references to the object go away. the koka style rc based version get you that. |
| 2024-06-18 15:38:08 +0200 | <edwardk> | run-time uniqueness fires more often than the conservative over-approximation that is 'everything you can prove unique purely at compile time' |
| 2024-06-18 15:38:54 +0200 | <edwardk> | hence using refcounting, or polluting pointers with 1-bit tags indicating uniqueness that get recovered during GC like we do with dynamic pointer tagging |
| 2024-06-18 15:39:12 +0200 | <edwardk> | (its a bit of a different algorithm, but the idea of gaining missing info during gc is key) |
| 2024-06-18 15:39:54 +0200 | <cheater> | runtime uniqueness is like stm in C# |
| 2024-06-18 15:40:01 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) |
| 2024-06-18 15:40:49 +0200 | <edwardk> | nah. STM in C# has to interact with everything outside the system's control, which is why it basically died. runtime uniqueness is still locally contained to the process and just requires tracking a bit or so per pointer |
| 2024-06-18 15:41:12 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-18 15:42:04 +0200 | <mauke> | speaking of GC, is it normal for a GC to allocate while it runs? |
| 2024-06-18 15:42:36 +0200 | <edwardk> | well, if you are in a copying collector you may have to allocate the to-space for instance. |
| 2024-06-18 15:42:50 +0200 | <mauke> | I've been thinking about implementing refcounting + cycle collection, and the latter involves traversing the object graph multiple times |
| 2024-06-18 15:42:58 +0200 | <mauke> | which I don't know how to do without a stack or something |
| 2024-06-18 15:43:15 +0200 | <edwardk> | usually you grow the heap by doubling each time for instance (unless you read the membalancer paper, then you grow by sqrt n) |
| 2024-06-18 15:44:11 +0200 | <edwardk> | you can go all-scheme like and do in place tree traversal via pointer reversal, but using a stack for mark/sweep or mark/compact, etc. is pretty normal |
| 2024-06-18 15:45:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-06-18 15:55:49 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) (Quit: WeeChat 4.2.2) |
| 2024-06-18 15:58:00 +0200 | <dmj`> | anyone familiar with attempts to implement the haskell type system using minikanren or CHR (constraint handling rules) for unification - sort of like the french approach |
| 2024-06-18 15:59:54 +0200 | diagprov | (sid348783@user/diagprov) (Quit: Connection closed for inactivity) |
| 2024-06-18 16:02:41 +0200 | <edwardk> | question, the 'deep' or 'more' constructor in a fingertree needs to be lazy in order to get correct asymptotics. but the koka FP^2 paper just uses it as a strict field, lying and using ephemeral amortization in a functional setting. that doesn't seem correct. https://www.microsoft.com/en-us/research/uploads/prod/2023/05/fip-tr-v2.pdf i guess maybe one can assert that in the _fip_ case you only have one ref to the finger tree and it is |
| 2024-06-18 16:02:41 +0200 | <edwardk> | okay, but the general structure isn't a fingertree when you with O(1) cons when you drop it into their full language that opportunistically applies fip |
| 2024-06-18 16:03:22 +0200 | <edwardk> | dmj`: have you read adam gundry's dissertation? |
| 2024-06-18 16:03:48 +0200 | <edwardk> | dmj`: it gives you the shape of the environments you need to use to approach it 'french style' |
| 2024-06-18 16:04:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-18 16:07:26 +0200 | <hadronized> | edwardk: I think you understand all of that way more than me :D |
| 2024-06-18 16:07:45 +0200 | <hadronized> | I was just interested after monochrom’s comment mentioning it, and because it doesn’t have a GC and compiles down to C |
| 2024-06-18 16:07:56 +0200 | <hadronized> | which could mean using it for more realtime applications |
| 2024-06-18 16:08:11 +0200 | <hadronized> | (I still want to use Haskell / Haskell-like language to do intensive graphics / animation programming) |
| 2024-06-18 16:09:28 +0200 | <EvanR> | there's something which compiles to GPU |
| 2024-06-18 16:09:46 +0200 | <EvanR> | but something which effectively uses 16 cores would be nice |
| 2024-06-18 16:09:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-18 16:10:13 +0200 | <tomsmeding> | futhark compiles to GPU _or_ multicore CPU |
| 2024-06-18 16:10:22 +0200 | <EvanR> | duuuude |
| 2024-06-18 16:10:28 +0200 | <tomsmeding> | Accelerate also does |
| 2024-06-18 16:11:07 +0200 | <tomsmeding> | futhark has a bit more development effort behind it, and is a separate language that compiles to C that you can FFI into haskell; accelerate is embedded in haskell and maintained-ish |
| 2024-06-18 16:12:51 +0200 | jcarpenter2 | (~lol@96.78.87.198) (Ping timeout: 264 seconds) |
| 2024-06-18 16:13:03 +0200 | <dmj`> | edwardk: i'll take another look, "inch" adding dependent types etc. probably didn't consider it since I'm only looking to implement haskell98. THIH is pretty messy imo, french is better, but still messy in ghc at least (zonking, etc). I like the idea of expressing typing rules as constraints, and having a solver handle unification. Closest thing I've seen is chameleon https://gitlab.com/tony-fu/chameleon |
| 2024-06-18 16:13:44 +0200 | <dmj`> | which encodes typeclasses as CHR rules, and then solves them, lots of papers on it too |
| 2024-06-18 16:14:10 +0200 | <dmj`> | https://arxiv.org/pdf/cs/0006034 |
| 2024-06-18 16:14:59 +0200 | itaipu | (~itaipu@168.121.99.8) (Ping timeout: 264 seconds) |
| 2024-06-18 16:15:37 +0200 | <dmj`> | a version of THIH that used CHR rules would be pretty cool imo |
| 2024-06-18 16:15:46 +0200 | <int-e> | . o O ( s/pdf/abs/ ) |
| 2024-06-18 16:15:48 +0200 | rosco_ | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-18 16:19:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-06-18 16:20:09 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-06-18 16:20:23 +0200 | <cheater> | int-e: risky click of the day |
| 2024-06-18 16:21:27 +0200 | <dmj`> | http://constraint-handling-rules.org/ |
| 2024-06-18 16:21:30 +0200 | <int-e> | it's not even that, I want the meta data before looking at the paper |
| 2024-06-18 16:21:43 +0200 | <edwardk> | thih is missing all the witness/code generation side of things |
| 2024-06-18 16:23:58 +0200 | <EvanR> | Try and Download Constraint Handling Rules |
| 2024-06-18 16:24:10 +0200 | <EvanR> | Just Go Ahead and Try |
| 2024-06-18 16:24:14 +0200 | <dmj`> | https://github.com/atzedijkstra/chr |
| 2024-06-18 16:24:41 +0200 | todi_away | todi |
| 2024-06-18 16:26:32 +0200 | <edwardk> | dmj`: ghc zonking is because of the pointer-based manipulation of environments and substitution. the thing i like about gundry's dissertation is it makes clear where you are "committing" to using the environment in a non-reversible way. |
| 2024-06-18 16:27:47 +0200 | itaipu | (~itaipu@168.121.98.114) |
| 2024-06-18 16:30:05 +0200 | <dmj`> | edwardk: I admit I didn't full grok his dissertation, but will take a second look now. I'd like to separate the hairy details of substitution from expressing the logic / constraints of the type system, if possible. Pretty sure ghc still applies substitutions during constraint generation though. |
| 2024-06-18 16:30:51 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 260 seconds) |
| 2024-06-18 16:31:09 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-06-18 16:31:39 +0200 | <dmj`> | edwardk: re:witness codegen is missing yea, was thinking to not include existentials because haskell98 doesn't have them (pretty sure?), and then just do static monomorphization (inline + specialize all typeclasses), and polymorphic recursion would try to be done statically |
| 2024-06-18 16:32:45 +0200 | <dmj`> | should cut down on indirections a lot |
| 2024-06-18 16:32:47 +0200 | Xe | (~cadey@bras-base-orlnon0609w-grc-21-184-145-123-58.dsl.bell.ca) |
| 2024-06-18 16:33:04 +0200 | <edwardk> | gundry's dissertation is basically 'cleave apart type checking into precise manipulation of explicit environments' and then 'solve those environments using the least amount of cheating possible'. he starts with a base haskell 98ish type system, then does inch and dependent types. normally the former is just a preamble, making distinctions you don't need yet, but which pay out in the latter two sections, but if what you want is precisely |
| 2024-06-18 16:33:04 +0200 | <edwardk> | that environment, then you're all set |
| 2024-06-18 16:34:09 +0200 | <edwardk> | for me i want it because something like skalpel where you use those rules to give provenance tracking to each type error means you get fixup information that can better inform backtracking. |
| 2024-06-18 16:35:57 +0200 | <edwardk> | e.g. if what i was doing was converting fair coin flips into probabilistically weighted syntax trees (guanxi-style). then i run a bunch of variants through the typechecker after rejection using the skalpel style type error slicer to minimize the size of the provenance set, then i could restrict the local 'fix up' search to the region skalpel would color in red. these local changes can be mapped back into coinflip space as i go |
| 2024-06-18 16:36:46 +0200 | <edwardk> | in that way the logic programming framework can be informed by the structure of the typechecker in a way it otherwise can't see |
| 2024-06-18 16:40:52 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-06-18 16:47:54 +0200 | <dmj`> | edwardk: wow, so are you using this for program synthesis? also does guanxi have an implementation of skalpel |
| 2024-06-18 16:49:16 +0200 | <edwardk> | guanxi isnt there yet, but it is directionally where i'd like to go |
| 2024-06-18 16:49:45 +0200 | <edwardk> | my experiments with guanxi lately have mostly been about using LLMs to squish out entropy from the program search |
| 2024-06-18 16:50:17 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Read error: Connection reset by peer) |
| 2024-06-18 16:50:18 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-18 16:51:29 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-06-18 16:51:29 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-06-18 16:51:51 +0200 | <edwardk> | and that then invites me to consider how to do more interesting backtracking strategies because how i got there wasn't so exhaustive |
| 2024-06-18 16:52:09 +0200 | <edwardk> | keeping track of the guanxi bit-tree means it's still theoretically complete |
| 2024-06-18 16:53:03 +0200 | <edwardk> | you have to be careful with the language model. top p, top k, etc. all censor part of the search space, so you can at best do a 'soft top p' |
| 2024-06-18 16:55:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 16:56:48 +0200 | quantumish | (~user@user/quantumish) |
| 2024-06-18 16:57:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 16:59:00 +0200 | loirit0 | (~loirit0@gw-eduroam-alunos-134.fc.up.pt) |
| 2024-06-18 16:59:06 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 255 seconds) |
| 2024-06-18 16:59:21 +0200 | <dmj`> | so this prunes the state space for LLMs and increases accuracy of the next choice by informing them of the semantics of what they're searching via integrating on the incremental "inch" type checking |
| 2024-06-18 17:00:48 +0200 | <dmj`> | ok I'll try his thesis again |
| 2024-06-18 17:02:43 +0200 | itaipu | (~itaipu@168.121.98.114) (Read error: Connection reset by peer) |
| 2024-06-18 17:04:17 +0200 | <edwardk> | i don't use any of the inch stuff, just kind of the chapter before |
| 2024-06-18 17:04:37 +0200 | <edwardk> | and i'm still debating about "french vs. american (english?)" style |
| 2024-06-18 17:04:52 +0200 | <edwardk> | but if i want to integrate dependent types the french style seems sensible |
| 2024-06-18 17:05:09 +0200 | <edwardk> | i do have backtrackable references though |
| 2024-06-18 17:05:13 +0200 | <edwardk> | so i could go full on ghc style |
| 2024-06-18 17:05:41 +0200 | <__monty__> | Does French refer to something INRIA is doing or something? |
| 2024-06-18 17:06:40 +0200 | loirit0 | (~loirit0@gw-eduroam-alunos-134.fc.up.pt) (Changing host) |
| 2024-06-18 17:06:40 +0200 | loirit0 | (~loirit0@user/loirit0) |
| 2024-06-18 17:07:33 +0200 | danse-nr3 | (~danse-nr3@151.37.172.249) |
| 2024-06-18 17:10:24 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-18 17:11:14 +0200 | <dmj`> | __monty__: yea it's an approach ocaml used to do its inference (called HM(x)), basically inference is split up into two phases one for constraint generation and the other for constraint solving. GHC was inspired by this later w/ OutsideIn(x). |
| 2024-06-18 17:12:05 +0200 | <edwardk> | i think its mostly just that the first time i started seeing explicit environments of substitutions done that way it was there. there's a longish tradition of it. e.g. explicit substitutions https://www.irif.fr/~curien/ExplicitSub.pdf tons of CHR papers, etc. https://radar.inria.fr/report/2011/contraintes/uid50.html ocaml inference, etc. |
| 2024-06-18 17:16:19 +0200 | <dmj`> | edwardk: I was watching some of the guanxi talk from Poznan other day, you did mention reasoned schemer / minikanren, if you did mention CHR I missed it, but was curious your thoughts on that (CHR) for its use in type inference, if any. |
| 2024-06-18 17:16:36 +0200 | <dmj`> | edwardk: this paper in particular seemed really interesting https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=49e8ed4e9ac9a98959c9b2d3a0585d874a9… |
| 2024-06-18 17:17:33 +0200 | erty | (~user@user/aeroplane) |
| 2024-06-18 17:20:02 +0200 | echelon | (~echelon@gateway/tor-sasl/steerpike) |
| 2024-06-18 17:20:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 17:20:15 +0200 | echelon | (~echelon@gateway/tor-sasl/steerpike) () |
| 2024-06-18 17:20:59 +0200 | itaipu | (~itaipu@168.121.98.114) |
| 2024-06-18 17:23:29 +0200 | <edwardk> | i tend to default to writing type checkers with zonking and pointer-based structures |
| 2024-06-18 17:24:11 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:6c6a:2720:15ae:2197) |
| 2024-06-18 17:24:15 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:7200:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-06-18 17:26:01 +0200 | <edwardk> | compare even generating like a million or a billion guesses a second in a kanren search vs. a thousand with an LLM based search. kanren forces you to warp your probability distribution to fit its 'sort of fair' geometric series of attention. so if it would diverge it only diverges by halves |
| 2024-06-18 17:26:23 +0200 | <edwardk> | but for a million vs a thousand that's only 10 wrong guesses, 20 for a billion vs. a thousand |
| 2024-06-18 17:26:46 +0200 | <edwardk> | where those guesses would lead to divergence (e.g. exploring a lambda where you now have a big open explration space) |
| 2024-06-18 17:27:52 +0200 | <edwardk> | so under the assumption you are going to find the answer, the fact that a kanren style search incurs something that looks like O(2^KL_divergence(kanren search strategy, actual probability distribution)) means i should probably do the LLM-based search anyways |
| 2024-06-18 17:28:22 +0200 | <edwardk> | and if every guess is so damn expensive through the LLM i should wring everything i can out of a not-quite-right LLM guess |
| 2024-06-18 17:29:19 +0200 | <edwardk> | this make large assumptions that the space is large enough i'll probably not exhaust it and that the LLM distribution helps |
| 2024-06-18 17:29:25 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-06-18 17:29:37 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-18 17:30:21 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-18 17:31:02 +0200 | <edwardk> | it also forces a left to right tree expansion/variable selection order, but a guanxi search was going to force something like that anyways |
| 2024-06-18 17:32:50 +0200 | <edwardk> | beam searches can help a ton with kv cache utilization as well |
| 2024-06-18 17:33:31 +0200 | <edwardk> | and mostly correspond to playing in 'almost identical' typing contexts, so if you have an incremental programming framework in place for evaluating those branches in your logic program those can really speed things up |
| 2024-06-18 17:35:54 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-06-18 17:36:12 +0200 | <danse-nr3> | i am not familiar with these terms. Did not find many references about "kanren search" online |
| 2024-06-18 17:36:29 +0200 | <__monty__> | What's the motivation for LLM's specifically over other simpler ML techniques? |
| 2024-06-18 17:36:31 +0200 | <edwardk> | minikanren is a logic programming framework written in scheme |
| 2024-06-18 17:36:49 +0200 | <edwardk> | neurokanren was written, and kinda sucked |
| 2024-06-18 17:36:53 +0200 | <__monty__> | It's also an essential tool in the kit for Advent of Code participants : ) |
| 2024-06-18 17:37:32 +0200 | <edwardk> | and basically devolved to 'hey we have this sort of forced on us geometric series worth of attention being paid to our goals' please use a neural network to select variable expansion order and to choose goal reordering. |
| 2024-06-18 17:37:52 +0200 | <edwardk> | but if you look at the goal reordering it really did no better than just giving you the superpower to be able to specify the probability distribution to draw from! |
| 2024-06-18 17:39:00 +0200 | <edwardk> | so for guanxi i switched things over to that. feed random bits into an arithmetic decoder. decode whatever symbols you want out. then when you accept (or reject), make sure to mark off the entire interval of the numberline that was going to decode to the same thing. this separates generation which now is many to one with testing, but at least keeps stuff adjacent |
| 2024-06-18 17:39:14 +0200 | <edwardk> | now, i just need a good source of those probabilities |
| 2024-06-18 17:39:44 +0200 | <edwardk> | an LLM is a pretty damn good source, because after the softmax the logits become a bunch of numbers assigned to next tokens that are between 0 and 1 that sum to 1 |
| 2024-06-18 17:39:47 +0200 | ocra8 | (~ocra8@user/ocra8) (Quit: WeeChat 4.3.2) |
| 2024-06-18 17:39:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-18 17:40:04 +0200 | <danse-nr3> | thanks. Probabilistic logic programming? Had not expected that. I guess it's a specific part of logic programming |
| 2024-06-18 17:40:06 +0200 | <edwardk> | and i can bring back into my LLM-token selector information from the lexer to reject anything that wouldn't yield a lexically correct program |
| 2024-06-18 17:40:35 +0200 | <danse-nr3> | huh over my head ^^; |
| 2024-06-18 17:40:36 +0200 | <edwardk> | kanren is non-probabilistic logic programming. guanxi is probabilistic logic programming with drawing without replacement |
| 2024-06-18 17:40:56 +0200 | <edwardk> | danse-nr3: sorry half that answer was for __monty__ |
| 2024-06-18 17:41:09 +0200 | <danse-nr3> | oh right i see |
| 2024-06-18 17:41:35 +0200 | <edwardk> | __monty__: another reason for LLMs is i have a whole company making hardware that is good at generating tokens from them ;) |
| 2024-06-18 17:43:22 +0200 | <edwardk> | and i can sort of double dip on them in another way re: squishing out entropy |
| 2024-06-18 17:43:50 +0200 | <edwardk> | consider an environment, now ask the LLM to describe the environment, and ask it to generate terms in the target language using that description |
| 2024-06-18 17:44:32 +0200 | <edwardk> | "i want a program to .... <plain text>" along with a bunch of unit tests and laws. |
| 2024-06-18 17:44:50 +0200 | <__monty__> | I saw positron.ai, wasn't entirely clear on whether it's dedicated hardware or software to intelligently utilize general/semi-specialized hardware. |
| 2024-06-18 17:45:20 +0200 | <edwardk> | so you can squish out more entropy from that 2^KL(p,q) term than just 'make the program look like it was written by a human' |
| 2024-06-18 17:45:48 +0200 | <edwardk> | positron.ai is a pure dedicated hardware play. we sell you boxes that get you 4-10x the performance per $ of nvidia today |
| 2024-06-18 17:46:16 +0200 | <edwardk> | that you can install in your data center, today, without waiting 28 weeks for nvidia to deign to ship you something |
| 2024-06-18 17:46:42 +0200 | <edwardk> | there's absolutely some cleverness in the software, but its not this stuff i'm talking here |
| 2024-06-18 17:47:13 +0200 | <dmj`> | edwardk: where do I buy stock :P |
| 2024-06-18 17:47:25 +0200 | <dmj`> | edwardk: also, if guanxi operates on the reals, could it be used to mimic solvers like gurobi, and do optimization of functions w/ nonlinear constraints (quadratic programming, etc) |
| 2024-06-18 17:47:34 +0200 | <__monty__> | Is Haskell secretly involved through Clash or something to program FPGA's? |
| 2024-06-18 17:47:49 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-18 17:47:57 +0200 | <edwardk> | __monty__: no clash is used. no haskell even in the tech stack right now (shockingly enough) it was there early on though |
| 2024-06-18 17:48:33 +0200 | <edwardk> | clever algorithms and data structures, clever verilog, a whole bunch of supply chain optimization |
| 2024-06-18 17:49:17 +0200 | <edwardk> | we do a large chunk of our place and route ourselves though |
| 2024-06-18 17:50:04 +0200 | <__monty__> | Going up against NVidia does seem daring but I like the work smarter, not harder approach. |
| 2024-06-18 17:50:35 +0200 | <__monty__> | Is Guanxi a new name for Coda or is that a different project altogether? |
| 2024-06-18 17:51:14 +0200 | <edwardk> | guanxi is an old name for a logic programming framework i was working on back when i was at MIRI |
| 2024-06-18 17:51:19 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2024-06-18 17:51:34 +0200 | <edwardk> | guanxi is _basically_ designed as the tactic search engine for coda |
| 2024-06-18 17:51:52 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-18 17:51:57 +0200 | <edwardk> | instead of going too eagerly depth first, lets be clever |
| 2024-06-18 17:52:36 +0200 | <edwardk> | coda is split into syntax directed and extensional layers, and the search through the extensional parts would need to be managed by guanxi |
| 2024-06-18 17:53:26 +0200 | <edwardk> | for handling things like side-conditions about quotient type case analysis or non-trivial judgmental type equality checks that don't automatically resolve syntactically. |
| 2024-06-18 17:55:16 +0200 | <__monty__> | Can't say I understand all of it but it does sound interesting. |
| 2024-06-18 17:55:48 +0200 | xal | (~xal@mx1.xal.systems) () |
| 2024-06-18 17:56:23 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-06-18 17:56:25 +0200 | <__monty__> | Would Guanxi be a lab-bound kinda thing until most devices have dedicated LLM hardware? |
| 2024-06-18 17:56:54 +0200 | <edwardk> | well, most of it doesn't care about the LLM thing. |
| 2024-06-18 17:57:02 +0200 | <edwardk> | the LLM thing is a recent experiment |
| 2024-06-18 17:57:14 +0200 | <edwardk> | basically its me trying to unmothball the project |
| 2024-06-18 17:58:43 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-18 17:59:44 +0200 | <__monty__> | Is positron.ai designing ASICs or using FPGAs? Kinda wondering whether the process node you get to use is close to whatever TSMC's latest and greatest is or whether these are even more impressive efficiency results. |
| 2024-06-18 18:01:28 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-06-18 18:02:23 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-18 18:05:10 +0200 | nkatte | (~nkatte@191.177.174.42) (Quit: nkatte) |
| 2024-06-18 18:05:38 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-18 18:06:07 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-18 18:07:24 +0200 | <edwardk> | yes, and yes. |
| 2024-06-18 18:07:38 +0200 | <edwardk> | the current results are shown off an FPGA based system |
| 2024-06-18 18:08:05 +0200 | <edwardk> | but longer term ASICs are part of our cost reduction and performance improvement strategy |
| 2024-06-18 18:08:34 +0200 | <edwardk> | the FPGAs we use are on a 7nm process even |
| 2024-06-18 18:08:52 +0200 | <edwardk> | the trick is performance / $ |
| 2024-06-18 18:10:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-18 18:11:14 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 252 seconds) |
| 2024-06-18 18:12:39 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2024-06-18 18:13:50 +0200 | loirit0 | (~loirit0@user/loirit0) (Ping timeout: 250 seconds) |
| 2024-06-18 18:13:55 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) |
| 2024-06-18 18:14:19 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) (Client Quit) |
| 2024-06-18 18:14:44 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) |
| 2024-06-18 18:16:26 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-06-18 18:16:45 +0200 | <__monty__> | Very cool. |
| 2024-06-18 18:19:05 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-18 18:22:11 +0200 | Square | (~Square@user/square) |
| 2024-06-18 18:23:42 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 255 seconds) |
| 2024-06-18 18:24:44 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) (Quit: WeeChat 4.2.2) |
| 2024-06-18 18:28:08 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f3c9:3256:4c54:e84a) (Remote host closed the connection) |
| 2024-06-18 18:31:48 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) |
| 2024-06-18 18:31:51 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) (Remote host closed the connection) |
| 2024-06-18 18:31:52 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-06-18 18:33:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-18 18:39:06 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-18 18:43:01 +0200 | kyborg2011 | (~kyborg201@178.249.209.165) |
| 2024-06-18 18:46:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:6c6a:2720:15ae:2197) (Quit: Leaving) |
| 2024-06-18 18:52:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-06-18 18:52:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-18 18:54:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-18 18:59:39 +0200 | danse-nr3 | (~danse-nr3@151.37.172.249) (Read error: Connection reset by peer) |
| 2024-06-18 19:00:23 +0200 | danse-nr3 | (~danse-nr3@151.35.137.63) |
| 2024-06-18 19:08:52 +0200 | xal | (~xal@mx1.xal.systems) () |
| 2024-06-18 19:09:26 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-06-18 19:10:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-18 19:12:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 19:13:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-18 19:14:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-18 19:18:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 19:21:35 +0200 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 264 seconds) |
| 2024-06-18 19:23:04 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-06-18 19:23:36 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-18 19:27:12 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-18 19:28:38 +0200 | oyraa^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-06-18 19:28:47 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-06-18 19:33:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-18 19:37:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-18 19:38:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-06-18 19:42:35 +0200 | quantumish | (~user@user/quantumish) (Read error: Connection reset by peer) |
| 2024-06-18 19:43:06 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-18 19:43:06 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-18 19:43:06 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-18 19:43:30 +0200 | euleritian | (~euleritia@dynamic-176-006-027-049.176.6.pool.telefonica.de) |
| 2024-06-18 19:44:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-18 19:46:31 +0200 | <cheater> | fpgas are fun |
| 2024-06-18 19:46:38 +0200 | <cheater> | i made some semiconductors at home |
| 2024-06-18 19:46:42 +0200 | <cheater> | that was fun too |
| 2024-06-18 19:47:22 +0200 | <cheater> | can't wait for amd to get their shit together and put fpgas on their apus |
| 2024-06-18 19:48:25 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) |
| 2024-06-18 19:49:36 +0200 | myme | (~myme@2a01:799:d5c:5f00:9cc0:d0d4:9529:99cc) (Client Quit) |
| 2024-06-18 19:50:23 +0200 | <cheater> | handheld gaming devices will get soooo much better this way |
| 2024-06-18 19:50:38 +0200 | euleritian | (~euleritia@dynamic-176-006-027-049.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-18 19:50:48 +0200 | <cheater> | both fpga and apu in one box would kill everything else |
| 2024-06-18 19:50:52 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-18 19:51:55 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-18 19:52:20 +0200 | euleritian | (~euleritia@dynamic-176-003-083-064.176.3.pool.telefonica.de) |
| 2024-06-18 19:52:41 +0200 | euleritian | (~euleritia@dynamic-176-003-083-064.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-18 19:52:59 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-18 19:53:30 +0200 | <dmj`> | EvanR: do you have any experience w/ CHR as it relates to type inference |
| 2024-06-18 19:54:16 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-18 19:57:25 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-06-18 19:58:02 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-18 19:58:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-06-18 19:59:59 +0200 | danse-nr3 | (~danse-nr3@151.35.137.63) (Ping timeout: 264 seconds) |
| 2024-06-18 20:07:14 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-18 20:07:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-18 20:10:10 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-06-18 20:11:25 +0200 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-06-18 20:14:50 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-18 20:22:28 +0200 | <lxsameer> | hey folks, what property testing library do you recommend beside quickcheck? |
| 2024-06-18 20:22:39 +0200 | <cheater> | hedgehog |
| 2024-06-18 20:23:13 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-06-18 20:23:20 +0200 | <lxsameer> | thank you |
| 2024-06-18 20:23:58 +0200 | <cheater> | yw |
| 2024-06-18 20:24:07 +0200 | <cheater> | there's also smallcheck |
| 2024-06-18 20:24:12 +0200 | <cheater> | or smartcheck or whatever |
| 2024-06-18 20:25:20 +0200 | <lxsameer> | cheers |
| 2024-06-18 20:29:07 +0200 | <geekosaur> | it's smallcheck |
| 2024-06-18 20:29:38 +0200 | <geekosaur> | for things those don't handle there's hspec or tasty |
| 2024-06-18 20:29:48 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-18 20:30:20 +0200 | <geekosaur> | and you can integrate both quickcheck and smallcheck into both of those |
| 2024-06-18 20:32:02 +0200 | <lxsameer> | geekosaur: cheers, I'm using tasty already |
| 2024-06-18 20:32:13 +0200 | <lxsameer> | but to run my hunit tests |
| 2024-06-18 20:36:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 20:37:24 +0200 | <haskellbridge> | <sm> there's really a lot of testing-related packages, they need an overview |
| 2024-06-18 20:40:05 +0200 | <monochrom> | Someone probably already wrote it somewhere. |
| 2024-06-18 20:41:15 +0200 | <EvanR> | dmj`, no I just learned about it today thanks to you guys |
| 2024-06-18 20:41:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 20:42:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-06-18 20:45:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-18 20:46:25 +0200 | <dmj`> | EvanR: seems like a cleaner way to do type inference |
| 2024-06-18 20:50:38 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-06-18 20:55:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 20:57:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 21:17:10 +0200 | JamesMowery7 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-06-18 21:18:50 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 256 seconds) |
| 2024-06-18 21:18:50 +0200 | JamesMowery7 | JamesMowery |
| 2024-06-18 21:25:54 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-18 21:26:00 +0200 | califax_ | (~califax@user/califx) |
| 2024-06-18 21:27:17 +0200 | califax_ | califax |
| 2024-06-18 21:33:11 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-18 21:47:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-18 21:54:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-18 22:03:19 +0200 | verde | (~user@user/verde) (Quit: Leaving) |
| 2024-06-18 22:09:18 +0200 | tronchy | (~tronchy@lfbn-ren-1-1444-34.w90-27.abo.wanadoo.fr) |
| 2024-06-18 22:12:08 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-18 22:12:10 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-06-18 22:12:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-18 22:12:19 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-18 22:12:44 +0200 | kyborg2011 | (~kyborg201@178.249.209.165) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-06-18 22:18:02 +0200 | tronchy | (~tronchy@lfbn-ren-1-1444-34.w90-27.abo.wanadoo.fr) (Quit: leaving) |
| 2024-06-18 22:18:07 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection) |
| 2024-06-18 22:18:32 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-18 22:20:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 22:21:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 22:31:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 22:33:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 22:35:31 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-06-18 22:35:55 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-06-18 22:40:11 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2024-06-18 22:41:22 +0200 | juri_ | (~juri@implicitcad.org) |
| 2024-06-18 22:49:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-18 22:49:46 +0200 | <dmj`> | monochrom: I wonder if koka could express its type system with CHRs |
| 2024-06-18 22:51:13 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:7200:e6b9:7aff:fe80:3d03) |
| 2024-06-18 22:57:22 +0200 | <dmj`> | wonder what Daan Leijen thinks about CHRs |
| 2024-06-18 23:02:22 +0200 | <monochrom> | I haven't learned CHR so I don't know either. :) |
| 2024-06-18 23:03:40 +0200 | oyraa^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-06-18 23:04:11 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-06-18 23:06:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-18 23:07:21 +0200 | euleritian | (~euleritia@dynamic-176-003-069-120.176.3.pool.telefonica.de) |
| 2024-06-18 23:09:08 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-06-18 23:09:08 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-06-18 23:09:08 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-06-18 23:10:06 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-18 23:18:09 +0200 | erty` | (~user@122.161.50.232) |
| 2024-06-18 23:20:18 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 268 seconds) |
| 2024-06-18 23:25:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-06-18 23:26:36 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-06-18 23:30:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-18 23:32:15 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-06-18 23:33:15 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-06-18 23:33:35 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-06-18 23:38:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-18 23:40:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-18 23:43:25 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-18 23:47:17 +0200 | kyborg2011 | (~kyborg201@178.249.209.165) |
| 2024-06-18 23:54:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-18 23:54:37 +0200 | kyborg2011_ | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-18 23:56:03 +0200 | kyborg2011 | (~kyborg201@178.249.209.165) (Ping timeout: 264 seconds) |
| 2024-06-18 23:58:43 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |