Logs: liberachat/#haskell
| 2026-02-07 11:55:07 | <ski> | (i was recently starting to formulate (optimized) CPS-transformation, first in lambdaProlog (which also has matching on HOAS, but not dependent types), then trying to do it in Twelf, for comparision .. ran out of steam, after a while, fighting with it to accept some parts, though) |
| 2026-02-07 11:58:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 12:00:30 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-02-07 12:05:22 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-07 12:06:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 12:06:07 | × | jreicher quits (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-02-07 12:06:59 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-07 12:17:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 12:23:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 12:26:10 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-02-07 12:30:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-07 12:31:41 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-02-07 12:32:25 | → | comonad joins (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 2026-02-07 12:32:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-07 12:35:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 12:37:14 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-07 12:40:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 12:43:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 12:44:23 | <mesaoptimizer> | jreicher: I am on #emacs but never read it |
| 2026-02-07 12:45:19 | × | comonad quits (~comonad@pd9e072e5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-02-07 12:46:17 | <mesaoptimizer> | gentauro: I'm trying to patch microhs / mcabal using Gemini 3 Pro to be able to build `http-conduit`, and I must say, I'm not impressed |
| 2026-02-07 12:47:55 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-07 12:48:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 12:48:39 | <mesaoptimizer> | int-e: recommended reading to understand SMT solvers? |
| 2026-02-07 12:56:14 | → | Square2 joins (~Square@user/square) |
| 2026-02-07 12:59:08 | trickard_ | is now known as trickard |
| 2026-02-07 12:59:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 13:00:58 | → | comonad joins (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 2026-02-07 13:03:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 13:11:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-07 13:14:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 13:15:14 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2026-02-07 13:15:39 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 2026-02-07 13:18:31 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-07 13:19:04 | <[exa]> | mesaoptimizer: might be way easier to just fix the error than try to explain it to a mechanical parrot |
| 2026-02-07 13:20:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-07 13:20:39 | × | yin quits (~zero@user/zero) (Read error: Connection reset by peer) |
| 2026-02-07 13:20:49 | → | yin joins (~zero@user/zero) |
| 2026-02-07 13:27:48 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2026-02-07 13:30:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 13:32:23 | → | qqq joins (~qqq@185.54.22.56) |
| 2026-02-07 13:35:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-07 13:37:52 | <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 13:39:03 | <mesaoptimizer> | I mean, it is great for teaching people! easy to set up on any OS, very tiny |
| 2026-02-07 13:39:38 | → | juri_ joins (~juri@84.19.175.187) |
| 2026-02-07 13:40:16 | <mesaoptimizer> | But I am pessimistic of an ecosystem of packages that makes it viable otherwise. |
| 2026-02-07 13:41:44 | <mesaoptimizer> | on that note, koka is very interesting, even if it seems like development has frozen for it. |
| 2026-02-07 13:42:57 | <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 13:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 13:49:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 13:54:31 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-02-07 13:58:14 | × | juri_ quits (~juri@84.19.175.187) (Ping timeout: 244 seconds) |
| 2026-02-07 13:58:53 | <[exa]> | mesaoptimizer: I have microhs in production :) |
| 2026-02-07 13:59:27 | <[exa]> | it's not supposed to be a replacement |
| 2026-02-07 13:59:53 | → | juri_ joins (~juri@212.86.45.136) |
| 2026-02-07 13:59:53 | × | juri_ quits (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 2026-02-07 14:00:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 14:01:57 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 14:02:22 | <__monty__> | For what sort of use case? |
| 2026-02-07 14:04:47 | <[exa]> | mesaoptimizer: a commandline tool on a mildly embedded system; turned out compiling for it by ghc was just overkill |
| 2026-02-07 14:04:55 | <[exa]> | oh __monty__ ^^ |
| 2026-02-07 14:05:03 | <[exa]> | (mis-highlight, sorry) |
| 2026-02-07 14:05:20 | <__monty__> | Mildly like embedded Linux? |
| 2026-02-07 14:06:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 14:06:59 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-02-07 14:07:32 | <[exa]> | not embedded per se, just a small linux on a mips board |
| 2026-02-07 14:08:01 | <__monty__> | And compiled locally to avoid cross complications? |
| 2026-02-07 14:08:01 | <[exa]> | needed a few tweaks to the compiler too but it just kinda works |
| 2026-02-07 14:08:41 | <[exa]> | nah I essentially produce the microhs' combinator blob on a normal computer and then cross-gcc it for mipsbe |
| 2026-02-07 14:09:56 | <[exa]> | spoiler: many manual tweaks :D |
| 2026-02-07 14:10:59 | <__monty__> | Oh, is it about the size of the GHC runtime then? |
| 2026-02-07 14:12:11 | <[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 14:12:43 | <[exa]> | with microhs you can just hammer it because it's simple... which is the main microhs point I guess |
| 2026-02-07 14:17:10 | <davean> | [exa]: Why that board? |
| 2026-02-07 14:17:35 | <[exa]> | I had it here from ye olden times |
| 2026-02-07 14:17:48 | <davean> | That is quite the olden times |
| 2026-02-07 14:17:51 | <[exa]> | yeah |
| 2026-02-07 14:17:55 | <[exa]> | 2012? |
| 2026-02-07 14:18:10 | <davean> | That recent? |
| 2026-02-07 14:18:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 14:18:14 | <[exa]> | I was with a local ISP back then |
| 2026-02-07 14:18:51 | <davean> | I'm pretty sure that went EoL before 2010 ... |
| 2026-02-07 14:19:24 | <davean> | Either way, impressively old HW |
| 2026-02-07 14:19:54 | → | emaczen joins (~user@user/emaczen) |
| 2026-02-07 14:20:12 | <davean> | What are you using it for? |
| 2026-02-07 14:20:26 | <[exa]> | wifi at home :D |
| 2026-02-07 14:20:44 | <davean> | ... you are murdering your wifi |
| 2026-02-07 14:21:37 | <davean> | If thats fast enough for you! I mean I'm sorry for any neigbors you have :-p |
| 2026-02-07 14:22:24 | <davean> | Man, you're really ok with 100Mbps peak? |
| 2026-02-07 14:22:52 | <[exa]> | yeah |
| 2026-02-07 14:23:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 14:23:17 | <davean> | Well as long as you don't have too many neigbors :) |
| 2026-02-07 14:23:32 | <davean> | so much stuff I do doesn't even work at that speed |
| 2026-02-07 14:25:17 | <[exa]> | it's a pretty much normal wifi, you have to limit the transmit power as with other routers |
| 2026-02-07 14:27:25 | <davean> | Partially depends on what card you have in it, but not really? Most wifi has actually data rates massively faster than the HW limits of that. If you're also using an old wifi card its not normal in how much of the spectrum it occupies (hence the neigbor comment_ |
| 2026-02-07 14:27:46 | <davean> | (since an old wifi card will slow down everything within a decently large radius_ |
| 2026-02-07 14:29:09 | <davean> | even 2009 era wifi moves more than 100Mbps |
| 2026-02-07 14:29:14 | <davean> | in real world conditions |
| 2026-02-07 14:29:50 | <[exa]> | yeah like, the 802.11n is from 2010-ish no? |
| 2026-02-07 14:30:00 | <davean> | 2009 |
All times are in UTC.