2026/02/04

Newest at the top

2026-02-04 14:37:49 +0100mjacob(~mjacob@adrastea.uberspace.de) (Ping timeout: 264 seconds)
2026-02-04 14:32:43 +0100emaczen(~user@user/emaczen) emaczen
2026-02-04 14:31:45 +0100AlexNoo(~AlexNoo@85.174.181.199)
2026-02-04 14:29:23 +0100Alex_delenda_est(~al_test@85.174.181.199)
2026-02-04 14:29:09 +0100AlexZenon(~alzenon@85.174.181.199)
2026-02-04 14:28:52 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-04 14:28:07 +0100AlexNoo__(~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds)
2026-02-04 14:27:40 +0100AlexNoo_(~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds)
2026-02-04 14:26:54 +0100zenstoic(uid461840@id-461840.hampstead.irccloud.com) zenstoic
2026-02-04 14:26:46 +0100AlexNoo(~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds)
2026-02-04 14:24:55 +0100AlexZenon(~alzenon@85.174.181.199) (Ping timeout: 240 seconds)
2026-02-04 14:23:53 +0100AlexNoo__(~AlexNoo@85.174.181.199)
2026-02-04 14:23:25 +0100qqq(~qqq@185.54.21.178) (Ping timeout: 264 seconds)
2026-02-04 14:23:09 +0100AlexNoo_(~AlexNoo@85.174.181.199)
2026-02-04 14:22:22 +0100AlexNoo(~AlexNoo@85.174.181.199)
2026-02-04 14:20:37 +0100AlexZenon(~alzenon@85.174.181.199)
2026-02-04 14:18:29 +0100xff0x(~xff0x@2405:6580:b080:900:5e48:b86:53c8:1c87)
2026-02-04 14:16:53 +0100merijn(~merijn@77.242.116.146) merijn
2026-02-04 14:15:39 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2026-02-04 14:04:04 +0100mange(~mange@user/mange) (Ping timeout: 246 seconds)
2026-02-04 14:00:56 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-02-04 13:59:52 +0100gentauroRust 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 +0100qqq(~qqq@185.54.21.178)
2026-02-04 13:56:46 +0100AlexNoo(~AlexNoo@85.174.181.199) (Quit: Leaving)
2026-02-04 13:56:37 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-04 13:54:52 +0100AlexZenon(~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 +0100vanishingideal(~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 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2026-02-04 13:37:27 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-04 13:37:25 +0100lucabtz(~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 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2026-02-04 13:32:46 +0100tomsmedingnow wonders if you can force-push to gists
2026-02-04 13:32:42 +0100machinedgod(~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 +0100wbrawner(~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