<<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> Amanda: 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
L6[00:27:32]
<Ubus99>
Hi, sorry for vanishing for a week like that after asking for help
: D
L7[00:27:33]
<Ubus99> 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.
L9[00:30:56] <Izzy> is that for like,
putting together EEPROM style stuff?
L10[00:36:54] <Corded> > <Ubus99>
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> > <Izzy>
is that for like, putting together EEPROM style stuff?
L16[00:46:38]
<Ubus99>
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
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]
<Ubus99>
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]
<Ubus99> 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]
<Ubus99> 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]
<Ubus99> 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]
<Ubus99> *
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> > <Izzy>
interesting different ... approaches? perspectives? though
L35[01:25:51]
<Ubus99>
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]
<Forecaster> %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]
<Forecaster> Ouch
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> @Kristopher38
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.
L93[08:04:11] <MichiBot>
Title:
Curried constructors
| Posted by: SquidDev
| 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]
<SoBinary>
%tonk
L97[09:35:36] <MichiBot> Yay! SoBinary!
You beat Ocawesome101'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
TechTastic!
L99[12:13:18]
<Vaur>
%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> Amanda: I'm 40%
"cubes"!
L106[16:09:29]
<Forecaster> 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