Newest at the top
| 2026-02-04 14:04:04 +0100 | mange | (~mange@user/mange) (Ping timeout: 246 seconds) |
| 2026-02-04 14:00:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-02-04 13:59:52 +0100 | gentauro | Rust before FP :'( |
| 2026-02-04 13:59:41 +0100 | <gentauro> | https://www.snoyman.com/ -> «With a deep passion for Rust and functional programming, …» |
| 2026-02-04 13:58:19 +0100 | <gentauro> | mesaoptimizer: yeah, it seems like Snoyman did that :( |
| 2026-02-04 13:56:57 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 13:56:46 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) (Quit: Leaving) |
| 2026-02-04 13:56:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 13:54:52 +0100 | AlexZenon | (~alzenon@85.174.181.199) (Quit: ;-) |
| 2026-02-04 13:50:43 +0100 | <int-e> | [exa]: sorry I can't pay attention unless it's a 30 second performative dance in 9:16 format |
| 2026-02-04 13:49:13 +0100 | <[exa]> | (I'm busy starting Lecture Gists in Computer Science) |
| 2026-02-04 13:48:59 +0100 | <mesaoptimizer> | btw, did the FP complete people create Stack, and then move on to Rust? |
| 2026-02-04 13:48:53 +0100 | <[exa]> | lovely |
| 2026-02-04 13:45:50 +0100 | <int-e> | [exa]: there's also this 4chan story: https://en.wikipedia.org/wiki/Superpermutation#Lower_bounds,_or_the_Haruhi_problem |
| 2026-02-04 13:44:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 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 |