Logs: liberachat/#haskell
| 2026-02-04 11:38:46 | <gentauro> | seems too much |
| 2026-02-04 11:41:33 | <[exa]> | seems a bit too much like the "works by MAGIC!!!!" 100% better FP compiler that we had here like 1 year ago (what was the name btw) |
| 2026-02-04 11:41:34 | × | _JusSx_ quits (~jussx@78.210.76.107) (Ping timeout: 256 seconds) |
| 2026-02-04 11:41:41 | <[exa]> | with extra LLM flavor on top |
| 2026-02-04 11:42:05 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 11:42:18 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 11:43:29 | → | _JusSx_ joins (~jussx@37.161.247.165) |
| 2026-02-04 11:44:17 | <gentauro> | the one that spawned from Elm? |
| 2026-02-04 11:44:59 | <gentauro> | https://www.roc-lang.org/examples/ElmWebApp/README <- this one? |
| 2026-02-04 11:45:23 | <gentauro> | not to confuse with https://en.wikipedia.org/wiki/Rocq (rename of Coq) |
| 2026-02-04 11:46:05 | <gentauro> | https://www.roc-lang.org/ <- this link instead |
| 2026-02-04 11:46:10 | <mesaoptimizer> | gentauro: MLton and Poly/ML are rock solid though |
| 2026-02-04 11:46:16 | <tomsmeding> | gentauro: do you mean this? https://elsman.com/mlkit/ |
| 2026-02-04 11:46:25 | <mesaoptimizer> | I think the MLkit links are broken but IIRC they still have a github |
| 2026-02-04 11:46:44 | <mesaoptimizer> | tomsmeding: yes. https://github.com/melsman/mlkit |
| 2026-02-04 11:47:20 | <[exa]> | gentauro: nah it was some weirder one, unrelated to elm, it claimed it has waaaaaay better evaluation method than stg |
| 2026-02-04 11:47:54 | <gentauro> | xD |
| 2026-02-04 11:48:03 | <tomsmeding> | I know which you mean but names |
| 2026-02-04 11:48:12 | <gentauro> | tomsmeding: yes |
| 2026-02-04 11:48:27 | <[exa]> | yes |
| 2026-02-04 11:48:37 | <tomsmeding> | lol |
| 2026-02-04 11:48:39 | trickard_ | is now known as trickard |
| 2026-02-04 11:48:52 | <[exa]> | kinda looks like it disappeared from the internets, I'd say that confirms a hypothesis |
| 2026-02-04 11:48:58 | <tomsmeding> | Formality by Maia Victor |
| 2026-02-04 11:49:00 | <tomsmeding> | memory worked |
| 2026-02-04 11:49:44 | <gentauro> | «Mads Tofte (Main architect of adding region support to the MLKit, co-developer of MLKit version 1)» |
| 2026-02-04 11:49:53 | <gentauro> | I know him :) |
| 2026-02-04 11:50:11 | <tomsmeding> | oh right it was renamed, I guess HVM now |
| 2026-02-04 11:51:07 | <gentauro> | Victor Maia is the guy doing crazy lambda calculus right? |
| 2026-02-04 11:51:25 | <tomsmeding> | yeah graph reduction evaluation strategies for asymptotic performance improvements of standard evaluation |
| 2026-02-04 11:51:31 | <tomsmeding> | *over |
| 2026-02-04 11:52:16 | <gentauro> | tomsmeding: yeah, that's who I'm thinking of |
| 2026-02-04 11:52:49 | <[exa]> | but where's the explanation with the MAGIC gif |
| 2026-02-04 11:52:58 | <tomsmeding> | I dunno |
| 2026-02-04 11:53:15 | × | qqq quits (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 11:53:32 | <tomsmeding> | but this does fancy evaluation strategies + had a hype cycle a few years back, so fits your description |
| 2026-02-04 11:53:41 | <mesaoptimizer> | https://xcancel.com/VictorTaelin/ do you mean this guy? |
| 2026-02-04 11:53:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-04 11:53:56 | <tomsmeding> | name matches, in any case |
| 2026-02-04 11:53:58 | <mesaoptimizer> | he's gotten very distracted rewriting his interaction nets compiler |
| 2026-02-04 11:54:11 | <tomsmeding> | well interaction nets is what it was all about anyway from the start |
| 2026-02-04 11:54:12 | <mesaoptimizer> | went from Haskell to Rust to C IIRC |
| 2026-02-04 12:04:48 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-02-04 12:06:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-02-04 12:06:20 | <gentauro> | tomsmeding: it's the same person -> https://github.com/maiavictor ( |
| 2026-02-04 12:06:25 | <gentauro> | Account renamed to VictorTaelin.) |
| 2026-02-04 12:07:02 | <tomsmeding> | yeah |
| 2026-02-04 12:13:35 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2026-02-04 12:15:55 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-04 12:16:05 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2026-02-04 12:20:52 | <[exa]> | I love how github gists serve as primary research communication vessel there |
| 2026-02-04 12:25:32 | × | wbrawner quits (~wbrawner@129.146.105.153) (Remote host closed the connection) |
| 2026-02-04 12:25:33 | <tomsmeding> | I've seen worse |
| 2026-02-04 12:25:39 | <tomsmeding> | at least gists have a unique ID |
| 2026-02-04 12:26:41 | <int-e> | Better than Discord. |
| 2026-02-04 12:26:58 | <tomsmeding> | ^ |
| 2026-02-04 12:27:14 | <tomsmeding> | right, gists also have the obvious (?) advantage of being public |
| 2026-02-04 12:28:59 | <[exa]> | int-e: <3 <3 <3 publishing on a non-public chat <3 <3 <3 never thought about the advantages |
| 2026-02-04 12:31:51 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 2026-02-04 12:32:32 | <int-e> | [exa]: you can always cits such things as "personal communcation" :P |
| 2026-02-04 12:32:34 | <tomsmeding> | [exa]: also gists have public edit history |
| 2026-02-04 12:32:42 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-04 12:32:46 | tomsmeding | now wonders if you can force-push to gists |
| 2026-02-04 12:33:53 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2026-02-04 12:34:20 | <opqdonut> | I'm pretty sure I've done it |
| 2026-02-04 12:37:24 | <haskellbridge> | <Morj> Yes you can, github gists are just a repository with a weird interface |
| 2026-02-04 12:37:25 | × | lucabtz quits (~lucabtz@user/lucabtz) (Client Quit) |
| 2026-02-04 12:37:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-04 12:37:35 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2026-02-04 12:37:38 | <haskellbridge> | <Morj> And a restriction on having directories which is annoying |
| 2026-02-04 12:38:18 | <tomsmeding> | [exa]: here, the first weakness over arxiv spotted |
| 2026-02-04 12:38:30 | <tomsmeding> | /s |
| 2026-02-04 12:44:44 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-02-04 12:45:50 | <int-e> | [exa]: there's also this 4chan story: https://en.wikipedia.org/wiki/Superpermutation#Lower_bounds,_or_the_Haruhi_problem |
| 2026-02-04 12:48:53 | <[exa]> | lovely |
| 2026-02-04 12:48:59 | <mesaoptimizer> | btw, did the FP complete people create Stack, and then move on to Rust? |
| 2026-02-04 12:49:13 | <[exa]> | (I'm busy starting Lecture Gists in Computer Science) |
| 2026-02-04 12:50:43 | <int-e> | [exa]: sorry I can't pay attention unless it's a 30 second performative dance in 9:16 format |
| 2026-02-04 12:54:52 | × | AlexZenon quits (~alzenon@85.174.181.199) (Quit: ;-) |
| 2026-02-04 12:56:37 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-04 12:56:46 | × | AlexNoo quits (~AlexNoo@85.174.181.199) (Quit: Leaving) |
| 2026-02-04 12:56:57 | → | qqq joins (~qqq@185.54.21.178) |
| 2026-02-04 12:58:19 | <gentauro> | mesaoptimizer: yeah, it seems like Snoyman did that :( |
| 2026-02-04 12:59:41 | <gentauro> | https://www.snoyman.com/ -> «With a deep passion for Rust and functional programming, …» |
| 2026-02-04 12:59:52 | gentauro | Rust before FP :'( |
| 2026-02-04 13:00:56 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-02-04 13:04:04 | × | mange quits (~mange@user/mange) (Ping timeout: 246 seconds) |
| 2026-02-04 13:15:39 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-02-04 13:16:53 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-04 13:18:29 | → | xff0x joins (~xff0x@2405:6580:b080:900:5e48:b86:53c8:1c87) |
| 2026-02-04 13:20:37 | → | AlexZenon joins (~alzenon@85.174.181.199) |
| 2026-02-04 13:22:22 | → | AlexNoo joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 13:23:09 | → | AlexNoo_ joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 13:23:25 | × | qqq quits (~qqq@185.54.21.178) (Ping timeout: 264 seconds) |
| 2026-02-04 13:23:53 | → | AlexNoo__ joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 13:24:55 | × | AlexZenon quits (~alzenon@85.174.181.199) (Ping timeout: 240 seconds) |
| 2026-02-04 13:26:46 | × | AlexNoo quits (~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds) |
| 2026-02-04 13:26:54 | → | zenstoic joins (uid461840@id-461840.hampstead.irccloud.com) |
| 2026-02-04 13:27:40 | × | AlexNoo_ quits (~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds) |
| 2026-02-04 13:28:07 | × | AlexNoo__ quits (~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds) |
All times are in UTC.