Newest at the top
| 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 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-07 15:06:35 +0100 | merijn | (~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 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 15:00:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:59:53 +0100 | juri_ | (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 2026-02-07 14:59:53 +0100 | juri_ | (~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 +0100 | juri_ | (~juri@84.19.175.187) (Ping timeout: 244 seconds) |
| 2026-02-07 14:54:31 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-02-07 14:49:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 14:44:21 +0100 | merijn | (~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 +0100 | juri_ | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-07 14:32:23 +0100 | qqq | (~qqq@185.54.22.56) |
| 2026-02-07 14:30:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:27:48 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2026-02-07 14:20:49 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-07 14:20:39 +0100 | yin | (~zero@user/zero) (Read error: Connection reset by peer) |
| 2026-02-07 14:20:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-07 14:19:04 +0100 | <[exa]> | mesaoptimizer: might be way easier to just fix the error than try to explain it to a mechanical parrot |
| 2026-02-07 14:18:31 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-07 14:15:39 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-02-07 14:15:14 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2026-02-07 14:14:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:11:45 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-07 14:03:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 14:00:58 +0100 | comonad | (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 2026-02-07 13:59:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 13:59:08 +0100 | trickard_ | trickard |
| 2026-02-07 13:56:14 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-07 13:48:39 +0100 | <mesaoptimizer> | int-e: recommended reading to understand SMT solvers? |