Newest at the top
| 2026-02-04 13:38:30 +0100 | <tomsmeding> | /s |
| 2026-02-04 13:38:18 +0100 | <tomsmeding> | [exa]: here, the first weakness over arxiv spotted |
| 2026-02-04 13:37:38 +0100 | <haskellbridge> | <Morj> And a restriction on having directories which is annoying |
| 2026-02-04 13:37:35 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-04 13:37:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-04 13:37:25 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Client Quit) |
| 2026-02-04 13:37:24 +0100 | <haskellbridge> | <Morj> Yes you can, github gists are just a repository with a weird interface |
| 2026-02-04 13:34:20 +0100 | <opqdonut> | I'm pretty sure I've done it |
| 2026-02-04 13:33:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-04 13:32:46 +0100 | tomsmeding | now wonders if you can force-push to gists |
| 2026-02-04 13:32:42 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-04 13:32:34 +0100 | <tomsmeding> | [exa]: also gists have public edit history |
| 2026-02-04 13:32:32 +0100 | <int-e> | [exa]: you can always cits such things as "personal communcation" :P |
| 2026-02-04 13:31:51 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-02-04 13:28:59 +0100 | <[exa]> | int-e: <3 <3 <3 publishing on a non-public chat <3 <3 <3 never thought about the advantages |
| 2026-02-04 13:27:14 +0100 | <tomsmeding> | right, gists also have the obvious (?) advantage of being public |
| 2026-02-04 13:26:58 +0100 | <tomsmeding> | ^ |
| 2026-02-04 13:26:41 +0100 | <int-e> | Better than Discord. |
| 2026-02-04 13:25:39 +0100 | <tomsmeding> | at least gists have a unique ID |
| 2026-02-04 13:25:33 +0100 | <tomsmeding> | I've seen worse |
| 2026-02-04 13:25:32 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Remote host closed the connection) |
| 2026-02-04 13:20:52 +0100 | <[exa]> | I love how github gists serve as primary research communication vessel there |
| 2026-02-04 13:16:05 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2026-02-04 13:15:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-04 13:13:35 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-04 13:07:02 +0100 | <tomsmeding> | yeah |
| 2026-02-04 13:06:25 +0100 | <gentauro> | Account renamed to VictorTaelin.) |
| 2026-02-04 13:06:20 +0100 | <gentauro> | tomsmeding: it's the same person -> https://github.com/maiavictor ( |
| 2026-02-04 13:06:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-02-04 13:04:48 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-02-04 12:54:12 +0100 | <mesaoptimizer> | went from Haskell to Rust to C IIRC |
| 2026-02-04 12:54:11 +0100 | <tomsmeding> | well interaction nets is what it was all about anyway from the start |
| 2026-02-04 12:53:58 +0100 | <mesaoptimizer> | he's gotten very distracted rewriting his interaction nets compiler |
| 2026-02-04 12:53:56 +0100 | <tomsmeding> | name matches, in any case |
| 2026-02-04 12:53:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 12:53:41 +0100 | <mesaoptimizer> | https://xcancel.com/VictorTaelin/ do you mean this guy? |
| 2026-02-04 12:53:32 +0100 | <tomsmeding> | but this does fancy evaluation strategies + had a hype cycle a few years back, so fits your description |
| 2026-02-04 12:53:15 +0100 | qqq | (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 12:52:58 +0100 | <tomsmeding> | I dunno |
| 2026-02-04 12:52:49 +0100 | <[exa]> | but where's the explanation with the MAGIC gif |
| 2026-02-04 12:52:16 +0100 | <gentauro> | tomsmeding: yeah, that's who I'm thinking of |
| 2026-02-04 12:51:31 +0100 | <tomsmeding> | *over |
| 2026-02-04 12:51:25 +0100 | <tomsmeding> | yeah graph reduction evaluation strategies for asymptotic performance improvements of standard evaluation |
| 2026-02-04 12:51:07 +0100 | <gentauro> | Victor Maia is the guy doing crazy lambda calculus right? |
| 2026-02-04 12:50:11 +0100 | <tomsmeding> | oh right it was renamed, I guess HVM now |
| 2026-02-04 12:49:53 +0100 | <gentauro> | I know him :) |
| 2026-02-04 12:49:44 +0100 | <gentauro> | «Mads Tofte (Main architect of adding region support to the MLKit, co-developer of MLKit version 1)» |
| 2026-02-04 12:49:00 +0100 | <tomsmeding> | memory worked |
| 2026-02-04 12:48:58 +0100 | <tomsmeding> | Formality by Maia Victor |
| 2026-02-04 12:48:52 +0100 | <[exa]> | kinda looks like it disappeared from the internets, I'd say that confirms a hypothesis |