<<Prev Next>> Scroll to Bottom
Stuff goes here
L1[00:02:30] <Amanda> %choose is this enough productivity for meow?
L2[00:02:30] <MichiBot> Ama​nda: Why would you do that when you could do something else instead?
L3[00:02:48] <Amanda> I agree, this *is* enough productivity for meow
L4[00:03:28] * Amanda curls up atop Elfi, meows some stories to her now that she got tailscale set up to auto-start on her deck on boot, with zero write-unlocking thanks to https://github.com/tailscale-dev/deck-tailscale
L5[00:27:32] <Corded> > <Spider ​EveryOS> <https://github.com/quantoast/quantoast-kernel/blob/main/bu���
L6[00:27:32] <Ubu​s99> Hi, sorry for vanishing for a week like that after asking for help : D
L7[00:27:33] <Ubu​s99> I was kind of overwhelmed by your script, especially since I don't know LUA that well, but it did inspire me to write my own LUA linker in Python, which i am more familiar with.
L8[00:27:33] <Ubu​s99> It is still very limited, but today it is at a point where I feel confident to share it: https://github.com/Ubus99/PyLuaLinker
L9[00:30:56] <Izzy> is that for like, putting together EEPROM style stuff?
L10[00:36:54] <Corded> > <Ubu​s99> Hi, sorry for vanishing for a week like that after asking f…
L11[00:36:55] <Spider ​EveryOS> Ah, sorry that my script didn't work for you
L12[00:36:55] <Spider ​EveryOS> But glad that you managed to get a solution that did work out
L13[00:36:55] <Spider ​EveryOS> Was there anything in particular about my script that confused you?
L14[00:37:20] <Spider ​EveryOS> +(knowing would potentially help me improve code readability)
L15[00:46:38] <Corded> > <Iz​zy> is that for like, putting together EEPROM style stuff?
L16[00:46:38] <Ubu​s99> yes
L17[00:53:31] <Izzy> neat!
L18[00:54:03] <Izzy> I ended up doing some Awful Things to let me pack libraries into the PsychOS kernel
L19[00:55:46] <Izzy> https://git.shadowkat.net/izaya/OC-PsychOS2/src/branch/master/preproc.lua#L81-L83
L20[00:55:58] <Corded> > <Spider ​EveryOS> Ah, sorry that my script didn't work for you
L21[00:55:59] <Corded> But glad that …
L22[00:55:59] <Ubu​s99> Not really, it's just that it's a quite complicated program and not very well documented (which is fine, since you only wrote it for your own use)
L23[00:55:59] <Ubu​s99> I more or less decided to do this on a whim, since I don't know LUA all that well and writing this seemed more interesting than trying to understand your application : P
L24[00:55:59] <Ubu​s99> It was a great challenge, and I want to work on It some more later.
L25[00:56:49] <Izzy> hm, I guess line 62 to 83 would be more representative of Awful Things
L26[00:58:45] <Ubu​s99> at least it looks nicer than what i am doing : D my code also has the issue of being python, which i like more, but cant be run in-game easily
L27[00:58:55] <Ubu​s99> * can't be run in-game easily
L28[00:59:16] <Izzy> yeah, but it does seem quite comprehensive
L29[00:59:32] <Izzy> I wanted to make sure I could build PsychOS on PsychOS
L30[01:14:18] <Izzy> interesting different ... approaches? perspectives? though
L31[01:14:22] <Izzy> linker vs preprocessor
L32[01:22:40] <Amanda> Hrm
L33[01:22:58] <Amanda> Early zzzflop or put on a video
L34[01:25:51] <Corded> > <Iz​zy> interesting different ... approaches? perspectives? though
L35[01:25:51] <Ubu​s99> right, I call It linker because that's what i am used to from the C space, but I am definitely not an expert on stuff like this.
L36[01:50:15] <lunar_sam> i made a few different tools to roll multiple lua files into one
L37[02:23:28] ⇨ Joins: Michiyo_ (~Michiyo@50.53.80.88)
L38[02:24:36] ⇨ Joins: e (webchat@8-41-123-174.dynamic.skybest.com)
L39[02:25:05] *** e is now known as Guest54662
L40[02:25:45] ⇦ Quits: Michiyo (~Michiyo@50.53.80.88) (Ping timeout: 195 seconds)
L41[02:26:01] ⇦ Quits: Guest54662 (webchat@8-41-123-174.dynamic.skybest.com) (Client Quit)
L42[02:56:08] *** Michiyo_ is now known as Michiyo
L43[02:56:39] *** Michiyo is now known as Guest57833
L44[02:56:39] zsh sets mode: +o on Guest57833
L45[02:56:44] <Guest57833> ...
L46[02:57:45] <Amanda> G-g-guest!
L47[02:57:49] *** Guest57833 is now known as Michiyo
L48[02:58:35] <Amanda> Oh mi Michiyo
L49[02:58:42] <Amanda> Oh hi*
L50[02:58:49] <Michiyo> o/
L51[02:59:33] * Amanda flops onto Michiyo's lap with an elfi buried in her floof, decides it's zzzmews tine
L52[02:59:44] <Amanda> Got caught up collecting boxes in goat sim 3
L53[03:00:01] <Amanda> Night girls
L54[03:00:05] <Michiyo> Night
L55[04:02:41] <Izzy> oppm not supporting installing multiple packages in one command is pain
L56[04:22:20] <Forec​aster> %sip
L57[04:22:21] <MichiBot> You drink a serif rainbow potion (New!). Forecaster falls into a shaft and drop 3 floors!
L58[04:22:26] <Forec​aster> Ouch
L59[04:53:50] <Izzy> Anyone want to look over these PsychOS installation docs for me? https://shadowkat.net/tmp/690d.html
L60[06:20:02] <CompanionCube> Izzy: btw, after hdmi shenanigans pi400 firmware can now into 1440p on monitor, not just 1080p
L61[06:20:15] <Izzy> nice!
L62[06:22:49] <CompanionCube> (interestingly, the monitor's edid has a different year/serial number when connected to the rpi over hdmi vs desktop over dp)
L63[06:24:36] <CompanionCube> full kms just worked, but since you're got the firmware and VPU already, might as well let that do it with fkms.
L64[06:25:11] <Spider ​EveryOS> I like the name of boopu, sounds like *boop*
L65[06:25:26] ⇨ Joins: Hawk777 (~Hawk777@2001:569:7e40:1300:8076:c101:7708:99f4)
L66[06:38:46] <Izzy> *boops u*
L67[06:38:53] <Izzy> is the origin of the name
L68[06:39:01] <Izzy> but also BOOt Partition Updater
L69[06:39:32] <Izzy> CompanionCube: the number of displays that have normal EDID when connected over DP or DVI but some random bullshit when connected over VGA...
L70[06:40:02] <Izzy> if I had a dollar for every time I had to manually add a video mode for a TV's native resolution I'd have enough money to replace the TV with a competent display
L71[06:41:13] <CompanionCube> Izzy: in this case the edid is fine, but the firmware likes to pretend the mode isn't there
L72[06:41:34] <Izzy> as a sidenote, the same boopu executable runs on PsychOS and OpenOS unmodified
L73[06:41:51] <CompanionCube> supposedly it has thing about modes other than the standard ones
L74[06:42:17] <CompanionCube> which for whatever reason does not include 1440p
L75[06:42:25] <Izzy> wacky
L76[06:42:42] <Izzy> usually when I run into those issues the monitors only report 640x480, 800x600, and 1024x768
L77[06:48:53] <CompanionCube> iirc in hdmi-land there are more standard modes, like the 1080p it ends up using otherwise
L78[06:50:45] <Izzy> that makes sense
L79[06:52:17] <Izzy> another sidenote: I managed to get OpenOS to boot unmodified over the network with vcomponent-and-mtrpc-as-init, so I bet one could do OpenOS on rtfs almost as easily
L80[06:53:48] <CompanionCube> cool
L81[06:54:53] <Izzy> You'd just have to write a mini partman to intercept component_added/removed events and handle vcomponent generation, and fake the boot address
L82[06:55:19] <Izzy> and I guess load the init.lua
L83[06:55:32] <Izzy> but that could all live in ... 32K or less
L84[06:55:35] <Izzy> not bad for a bootloader
L85[06:57:24] <Izzy> a more minimal loader - one that only reads rtfs, not doing vcomponents or writing or handling events - could probably fit in 16k. maybe worth doing some time
L86[06:57:38] <Izzy> as it is, writing the PsychOS kernel to the boot partition works for my main usecase there
L87[07:20:10] <CompanionCube> Izzy: noticed something in a log: xorg considers it a 59.6hz mode, which is a weird calculation
L88[07:36:07] ⇨ Joins: Vexatos (~Vexatos@p200300eaef23a20091d2b8888b5e17e3.dip0.t-ipconnect.de)
L89[07:36:07] zsh sets mode: +v on Vexatos
L90[08:02:43] <SquidDev> @Kristo​pher38 Yeah, discriminated unions basically have a single value, so `type a = A of a * b` is a literal tuple, rather than two values like you'd see in OCaml
L91[08:03:33] <SquidDev> We decided we wanted constructors to be usable as first class functions (much like in OCaml), and that kinda forces you into this path.
L92[08:04:10] <SquidDev> There's an issue about changing it (https://github.com/amuletml/amulet/issues/127), but obviously not going to be fixed and time soon :p.
L93[08:04:11] <MichiBot> Title: Curried constructors | Posted by: Squi​dDev | Posted: Tue Oct 30 11:11:40 UTC 2018 | Status: open
L94[08:23:57] ⇦ Quits: Hawk777 (~Hawk777@2001:569:7e40:1300:8076:c101:7708:99f4) (Quit: Leaving.)
L95[08:42:10] ⇦ Quits: ernos (~ernos@47.188.242.235) (Read error: Connection reset by peer)
L96[09:35:34] <SoBi​nary> %tonk
L97[09:35:36] <MichiBot> Yay! SoBi​nary! You beat Ocawes​ome101's previous record of 17 hours, 27 minutes and 13 seconds (By 2 hours, 1 minute and 8 seconds)! I hope you're happy!
L98[09:35:37] <MichiBot> SoBinary's new record is 19 hours, 28 minutes and 21 seconds! SoBinary also gained 0.03636 (0.00202 x 18) tonk points for stealing the tonk. Position #8 => #6. (Overtook Liizzii) Need 0.02604 more points to pass TechT​astic!
L99[12:13:18] <Va​ur> %sip
L100[12:13:19] <MichiBot> You drink a punctual violet potion (New!). Someone just had some of Vaur's favourite food and they didn't get any!
L101[12:36:52] * Amanda meows and looks around
L102[12:44:43] <Amanda> Would you look at the time, it's time to %splash @Forecaster with mutable cyan potion
L103[12:44:44] <MichiBot> You fling a mutable cyan potion (New!) that splashes onto @Forecaster. @Forecaster turns into a diamond toad until Sozin's Comet returns.
L104[14:12:14] <Amanda> %choose cubes or try and be productive first
L105[14:12:14] <MichiBot> Ama​nda: I'm 40% "cubes"!
L106[16:09:29] <Forec​aster> I'm now super over valued
L107[16:53:36] ⇨ Joins: Hawk777 (~Hawk777@2001:569:7e40:1300:73fe:7caa:cb59:2ece)
L108[19:18:48] ⇨ Joins: Waxmen (~Waxmen@178.49.124.232)
L109[19:19:19] ⇦ Quits: Waxmen (~Waxmen@178.49.124.232) (Client Quit)
L110[20:18:10] ⇨ Joins: Waxmen (~Waxmen@178.49.124.232)
L111[20:22:15] ⇦ Quits: Waxmen (~Waxmen@178.49.124.232) (Client Quit)
L112[20:22:44] ⇨ Joins: Waxmen (~Waxmen@178.49.124.232)
L113[20:22:58] ⇦ Quits: Waxmen (~Waxmen@178.49.124.232) (Client Quit)
L114[21:57:29] ⇦ Quits: feldim2425 (~feldim242@2001:871:25a:84c7:f8e6:417a:e300:8937) (Ping timeout: 189 seconds)
L115[21:58:21] ⇨ Joins: feldim2425 (~feldim242@178-191-240-151.adsl.highway.telekom.at)
L116[22:42:40] <Amanda> Grr, bad nest! I don't need an ashy bee!
L117[23:14:48] ⇦ Quits: Vexatos (~Vexatos@p200300eaef23a20091d2b8888b5e17e3.dip0.t-ipconnect.de) (Quit: Insert quantum chemistry joke here)
L118[23:59:48] <Amanda> Finally, just had to yell at it
<<Prev Next>> Scroll to Top