Newest at the top
| 2026-07-07 10:39:07 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 251 seconds) |
| 2026-07-07 10:37:18 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-07 10:33:52 +0000 | leppard | (~noOne@ipservice-092-209-218-223.092.209.pools.vodafone-ip.de) Inline |
| 2026-07-07 10:32:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-07-07 10:28:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-07-07 10:26:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-07-07 10:25:49 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 265 seconds) |
| 2026-07-07 10:24:19 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-07-07 10:17:00 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-07 10:16:44 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-07-07 10:16:18 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-07-07 10:14:03 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-07-07 10:04:35 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 272 seconds) |
| 2026-07-07 09:58:54 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-07 09:58:26 +0000 | <Macrobe78> | sorry, I mean webHTML5! |
| 2026-07-07 09:58:07 +0000 | <Macrobe78> | Bonus points for one of the VMs being a browser and one of the OSes being HTML5 |
| 2026-07-07 09:57:19 +0000 | <Macrobe78> | Hey, maybe we can start out easy, by launching having a OS with running VM, that runs another OS, that runs a VM, that then is made to take over control of running the outside OS, and see what happens! O:-) |
| 2026-07-07 09:55:53 +0000 | Macrobe78 | uses Tardis monad. It’s super-ineffective! |
| 2026-07-07 09:54:07 +0000 | tomsmeding | waves them away with a metacircular interpreter |
| 2026-07-07 09:53:52 +0000 | tomsmeding | sees some circularity problems |
| 2026-07-07 09:52:48 +0000 | Macrobe78 | dreams at night of implementing glibc entirely in Haskell, using inline-asm, even for the functionality the runtime needs. :D |
| 2026-07-07 09:52:28 +0000 | RSBach | RMSBach |
| 2026-07-07 09:52:28 +0000 | RMSBach | (~RMSBach@24.210.2.24) (Ping timeout: 265 seconds) |
| 2026-07-07 09:51:33 +0000 | <tomsmeding> | nice |
| 2026-07-07 09:51:29 +0000 | <tomsmeding> | :D |
| 2026-07-07 09:51:29 +0000 | RSBach | (~RMSBach@24.210.2.24) RMSBach |
| 2026-07-07 09:51:23 +0000 | <Macrobe78> | tomsmeding: Well, I maintain a little library for terminal applications that is written entirely in … bash… So you can still feel good. :)- |
| 2026-07-07 09:51:21 +0000 | <tomsmeding> | was suggested :p |
| 2026-07-07 09:51:15 +0000 | <tomsmeding> | and all the power to you for realising that :) |
| 2026-07-07 09:51:14 +0000 | <merijn> | Macrobe78: If you want detailed control over array layout you can always just use a Storable vector |
| 2026-07-07 09:50:53 +0000 | <tomsmeding> | that's fair |
| 2026-07-07 09:50:15 +0000 | <Macrobe78> | IMHView, shame is not even a bad thing anyway. Its purpose is to tell you what to improve, and motivate you to do so. And improvement and motivation are definitely not bad things. I think the biological flaw is that it feels bad instead of hopeful. |
| 2026-07-07 09:49:41 +0000 | <tomsmeding> | I don't get to write much haskell these days, I won't pass up an opportunity to hack some haskell randomly :) |
| 2026-07-07 09:49:23 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-07 09:48:55 +0000 | <Macrobe78> | I know. I didn’t mean it that way. |
| 2026-07-07 09:48:55 +0000 | <tomsmeding> | because now you can do it for Vector yourself ;) |
| 2026-07-07 09:48:39 +0000 | <tomsmeding> | it wasn't meant to shame, it was meant to teach :) |
| 2026-07-07 09:48:27 +0000 | <tomsmeding> | :D |
| 2026-07-07 09:48:21 +0000 | <Macrobe78> | Wow. I would thank you a lot, if you didn’t also put me to shame with it. XD |
| 2026-07-07 09:47:51 +0000 | <tomsmeding> | to show that it's not so difficult :) |
| 2026-07-07 09:47:43 +0000 | <tomsmeding> | yes |
| 2026-07-07 09:47:34 +0000 | <Macrobe78> | tomsmeding: Did you just write that for me?? |
| 2026-07-07 09:47:33 +0000 | <tomsmeding> | I guess the assumption in toList could be removed |
| 2026-07-07 09:47:17 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 248 seconds) |
| 2026-07-07 09:47:12 +0000 | <tomsmeding> | it assumes some things by necessity, like the input being rectangular and (in toList) the array having origin (0,0), but it "works" |
| 2026-07-07 09:46:52 +0000 | Macrobe92 | (~Macrobe@2a02:3035:627:17fe:8446:12ed:de35:93b4) (Ping timeout: 245 seconds) |
| 2026-07-07 09:46:32 +0000 | <tomsmeding> | Macrobe78: https://play.haskell.org/saved/Zeh17bBJ |
| 2026-07-07 09:46:12 +0000 | <Macrobe78> | Is Unicode at least Turing-complete already? XYD |
| 2026-07-07 09:45:45 +0000 | tomsmeding | was going to shout "unicode!" |
| 2026-07-07 09:45:34 +0000 | <Macrobe78> | I know, I know… Unicode and its crazy code point combinations… |