2026/02/07

Newest at the top

2026-02-07 15:22:24 +0100 <davean> Man, you're really ok with 100Mbps peak?
2026-02-07 15:21:37 +0100 <davean> If thats fast enough for you! I mean I'm sorry for any neigbors you have :-p
2026-02-07 15:20:44 +0100 <davean> ... you are murdering your wifi
2026-02-07 15:20:26 +0100 <[exa]> wifi at home :D
2026-02-07 15:20:12 +0100 <davean> What are you using it for?
2026-02-07 15:19:54 +0100emaczen(~user@user/emaczen) emaczen
2026-02-07 15:19:24 +0100 <davean> Either way, impressively old HW
2026-02-07 15:18:51 +0100 <davean> I'm pretty sure that went EoL before 2010 ...
2026-02-07 15:18:14 +0100 <[exa]> I was with a local ISP back then
2026-02-07 15:18:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-07 15:18:10 +0100 <davean> That recent?
2026-02-07 15:17:55 +0100 <[exa]> 2012?
2026-02-07 15:17:51 +0100 <[exa]> yeah
2026-02-07 15:17:48 +0100 <davean> That is quite the olden times
2026-02-07 15:17:35 +0100 <[exa]> I had it here from ye olden times
2026-02-07 15:17:10 +0100 <davean> [exa]: Why that board?
2026-02-07 15:12:43 +0100 <[exa]> with microhs you can just hammer it because it's simple... which is the main microhs point I guess
2026-02-07 15:12:11 +0100 <[exa]> the board is mikrotik rb433... I guess I could force ghc to cross-compile for it but I don't even know how to start
2026-02-07 15:10:59 +0100 <__monty__> Oh, is it about the size of the GHC runtime then?
2026-02-07 15:09:56 +0100 <[exa]> spoiler: many manual tweaks :D
2026-02-07 15:08:41 +0100 <[exa]> nah I essentially produce the microhs' combinator blob on a normal computer and then cross-gcc it for mipsbe
2026-02-07 15:08:01 +0100 <[exa]> needed a few tweaks to the compiler too but it just kinda works
2026-02-07 15:08:01 +0100 <__monty__> And compiled locally to avoid cross complications?
2026-02-07 15:07:32 +0100 <[exa]> not embedded per se, just a small linux on a mips board
2026-02-07 15:06:59 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-07 15:06:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-07 15:05:20 +0100 <__monty__> Mildly like embedded Linux?
2026-02-07 15:05:03 +0100 <[exa]> (mis-highlight, sorry)
2026-02-07 15:04:55 +0100 <[exa]> oh __monty__ ^^
2026-02-07 15:04:47 +0100 <[exa]> mesaoptimizer: a commandline tool on a mildly embedded system; turned out compiling for it by ghc was just overkill
2026-02-07 15:02:22 +0100 <__monty__> For what sort of use case?
2026-02-07 15:01:57 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-07 15:00:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-07 14:59:53 +0100juri_(~juri@212.86.45.136) (Read error: Connection reset by peer)
2026-02-07 14:59:53 +0100juri_(~juri@212.86.45.136) juri_
2026-02-07 14:59:27 +0100 <[exa]> it's not supposed to be a replacement
2026-02-07 14:58:53 +0100 <[exa]> mesaoptimizer: I have microhs in production :)
2026-02-07 14:58:14 +0100juri_(~juri@84.19.175.187) (Ping timeout: 244 seconds)
2026-02-07 14:54:31 +0100Square2(~Square@user/square) (Ping timeout: 244 seconds)
2026-02-07 14:49:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-07 14:44:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-07 14:42:57 +0100 <mesaoptimizer> algebraic effects is what we'd ideally have had in Haskell since the beginning (yes, one can use libs like bluefin now, I'm aware)
2026-02-07 14:41:44 +0100 <mesaoptimizer> on that note, koka is very interesting, even if it seems like development has frozen for it.
2026-02-07 14:40:16 +0100 <mesaoptimizer> But I am pessimistic of an ecosystem of packages that makes it viable otherwise.
2026-02-07 14:39:38 +0100juri_(~juri@84.19.175.187) juri_
2026-02-07 14:39:03 +0100 <mesaoptimizer> I mean, it is great for teaching people! easy to set up on any OS, very tiny
2026-02-07 14:37:52 +0100 <mesaoptimizer> [exa]: no, its a test. I'd write Haskell code by hand if I was doing something I cared about. microhs is... I think its an uphill battle to build a compiler and package manager that serves as a minimal GHC replacement
2026-02-07 14:35:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-07 14:32:23 +0100qqq(~qqq@185.54.22.56)
2026-02-07 14:30:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn