gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
drakonis has quit [Ping timeout: 252 seconds]
drakonis has joined #nixos-chat
waleee-cl has quit [Quit: Connection closed for inactivity]
wildtrees has quit [Quit: Leaving]
Synthetica has quit [Quit: Connection closed for inactivity]
vdemeester has quit [Read error: Connection reset by peer]
savanni has quit [Read error: Connection reset by peer]
savanni has joined #nixos-chat
vdemeester has joined #nixos-chat
jared-w has quit [Read error: Connection reset by peer]
jared-w has joined #nixos-chat
ctp has quit [Ping timeout: 258 seconds]
ctp has joined #nixos-chat
<samueldr> jtojnar++ on wiki rampage
<{^_^}> jtojnar's karma got increased to 24
<jtojnar> can we get rid of the locks for the https links on wiki?
<jtojnar> imho people should read the Nix manual fist
<samueldr> yeah, locks serve nothing in this https-first era
<jtojnar> just the syntax section at least
<samueldr> nah, everywhere imo
<samueldr> (fixing it)
<jtojnar> hmm, actually the pills do have a syntax chapter https://nixos.org/nixos/nix-pills/basics-of-language.html
<jtojnar> so IDK on the order
<samueldr> the nix-1p thing might be helpful too
<samueldr> I don't "own" much on the wiki outside of nixos on arm and the homepage :)
<samueldr> in whatever time it takes for all caches to purge locks should be gone from https links
<samueldr> aaah, there are two locks because mediawiki somehow makes an empty link with the current (wrong) markup
<samueldr> (abusing headers for bigger text)
<jtojnar> found an issue, did not report it
<samueldr> :/
<samueldr> the lock icons are gone now on my side
<jtojnar> cool, thanks
drakonis has quit [Ping timeout: 260 seconds]
drakonis has joined #nixos-chat
andi- has quit [Remote host closed the connection]
andi- has joined #nixos-chat
emily has quit [Remote host closed the connection]
emily has joined #nixos-chat
endformationage has quit [Ping timeout: 240 seconds]
drakonis has quit [Ping timeout: 248 seconds]
aria has quit []
aria has joined #nixos-chat
__monty__ has joined #nixos-chat
kraem has joined #nixos-chat
<eyJhb> I think I will beging to regret having run another half marathon in a couple of hours
<eyJhb> Already halfway there
<eyJhb> Can anyone think of a good and simple system, for having a key which is used to validate other keys? It needs to be XOR simple pretty much, as it should be implemented on a embeded system. Currently I just have a 6 int key, which I use to XOR the input with and then shift between addition and substraction between each XOR, and if the final value is 0, then it is OK
<eyJhb> Which yields something like this (7 instead of 6) - Valid codes in 7 keyspaces is 1000005/30686, so 84 years before I need to replace the keybox as key reuse should not be allowed
<__monty__> That sounds like a whole lot of nothing tbh.
<eyJhb> __monty__: it is :p But it is simple and somewhat works
<__monty__> Does it?
<eyJhb> Why wouldn't it __monty__ ?
<eyJhb> Change the key, and the codes no longer works etc.
<__monty__> I don't understand what your goal even is?
<__monty__> XORing digits and then alternating sum and difference sounds like AND would be more straightforward.
<eyJhb> __monty__: basically creating a small embeded device, which can function as a keybox. So I can give a code out to someone e.g. 1234567, they enter it into the box and it opens which reveals a key to my apartment
<eyJhb> But it would be nice to have them time based as well
<__monty__> If you're gonna allow about half the keyspace as valid keys what's to keep random people out?
<eyJhb> It is 3% of the valid keyspace
<eyJhb> >>> (100/1000005)*30686
<eyJhb> 3.068584657076715
<adisbladis> eyJhb: Don't you just want TOTP?
<eyJhb> adisbladis: basically, just not sure how "easy" it is to implement on a microcontroller
<__monty__> TOTP sounds terrible though. That's only good when the key is generated by a device.
<eyJhb> __monty__: depends on the lifespan of the token I guess
<eyJhb> But yeah
joepie91 has quit [Ping timeout: 272 seconds]
drakonis has joined #nixos-chat
drakonis has quit [Client Quit]
infinisil has quit [Quit: Configuring ZNC, sorry for the joins/quits!]
infinisil has joined #nixos-chat
<clever> ,tofu
<{^_^}> To get a sha256 hash of a new source, you can use the Trust On First Use model: use probably-wrong hash (for example: 0000000000000000000000000000000000000000000000000000) then replace it with the correct hash Nix expected. See: tofu-vim
NinjaTrappeur has quit [Quit: WeeChat 2.7]
NinjaTrappeur has joined #nixos-chat
<__monty__> clever: Don't like stdenv.lib.fakeSha256? Or the 0's the number of cards in a deck mnemonic.
<clever> __monty__: longer to type out :P
<clever> forgot about 52
<__monty__> It's longer to type but asking an irc bot and copy pasting is surely more work?
<clever> lol
<qyliss> It just occurred to me that I could do C-u C-u C-u a in Emacs and get a valid probably-wrong hexadecimal sha256
<qyliss> that's way quicker than using fakeSha256, which I've been doing up til now
<clever> i usually just clone a nearby hash and 0 a few digits
<__monty__> qyliss: A hex sha256 isn't the correct length though.
<clever> but this fine didnt have one
<clever> __monty__: nix accepts hashes in both base16 and base32
<__monty__> Ah
<clever> but base16 can be confusing, because it converts it to base32 when displaying the wrong-hash error
<clever> so you cant find the hash it complains about, anywhere
<__monty__> Oh, great, hashes aren't confusing enough as-is >.<
<__monty__> What I like about fakeSha256 is how clearly it shows intent.
<clever> thats why i replace a few digits with 0's
<clever> hashes have too much entropy to get 000's in a row
<__monty__> That's erroneous thinking.
<clever> moar zeros!
<__monty__> 000 is just as likely as any other 3 character substring.
<qyliss> but any given sufficiently long substring is unlikely
<clever> but 000 vs 001 vs 002 ....
<clever> its more about the digits matching, then the digits themselves
<qyliss> clever never said zeros were especially unlikely
<clever> yeah
<qyliss> If I do 4x C-u I get a base 2 sha256 :P
<__monty__> I was talking about the entropy statement specifically.
<__monty__> I know clever's not stupid.
<qyliss> it's right there in their name!
<qyliss> :P
<clever> lol
<clever> lately, ive been working on rpi firmware stuff, and i'm starting to notice some distinct holes in documentation
<clever> the rpi3 has 3 i2c controllers, but the documentation only say which pins 0&1 use
<clever> and its so poorly documented, that several people in the community think it only has 2 i2c controllers
<__monty__> Lol, I assumed you were complaining about nixos docs >.<
<clever> the rpi4 for example, is even more obvious
<clever> it explains i2c controllers, 0, 1, 3, 4, 5, 6
<clever> its clear that they skipped one :P
<__monty__> Maybe it's in use for something already?
<clever> yes, its used for things like the power supply communication, and the i2c gpio expander
<clever> which the firmware must talk to
<clever> i'm writing my own firmware, so i have to implement that
<__monty__> They probably want to avoid people messing with that.
<clever> my current angle of attack, is to just enable every alt mode that is missing from the chart, and see what happens, lol
<clever> each gpio pin, can be configured to one of 6 alt modes, or the regular in or out
<clever> gpio 46 alt3 and gpio47 alt3 is a fishy "internal" spot
<clever> but ive not gotten any reaction out of it yet
<clever> __monty__: oh!!
<clever> progress!!
<clever> __monty__: if i set 46/47 to alt3, AND plug something into hdmi, i get a response from i2cdetect
<__monty__> o.O
<__monty__> You must be one patient man.
<__monty__> Or woman, I don't discriminate.
<clever> last i checked, i was still a dude :P
<gchristensen> "person" works just as well =}
<clever> the results of i2cdetect
drakonis has joined #nixos-chat
<clever> ive also found a post from 2013, saying the rpi has a 4th i2c module, that is even less documented
<clever> and somehow used for the camera
<__monty__> >.<
<eyJhb> gchristensen: living lifeform?
<eyJhb> clever: sounds like a fun hunt you have going ;)
<eyJhb> Debating whether or not I should 1. Continue on cleaning up 2. Program for my exam project that I need to handover 3. Do the 11 reminders/todos that I have neglected to do for some time
<eyJhb> btw. clever why are you writing your own firmware?
<clever> eyJhb: to replace the closed-source firmware, and open up the option of making the VPU do more jobs
<eyJhb> clever: no one has done that so far?
<eyJhb> Also, do you have anything up atm?
<clever> eyJhb: there is a repo on github, that claims it could boot linux on an older rpi
<clever> eyJhb: but i had to mod it for a week before i could get it to boot to a usable shell
<clever> currently, linux can boot to a shell over the serial port, and the SD card adapter works, thats it
<clever> i'm also testing on the rpi4, but that one isnt able to bring the arm cpu online
<eyJhb> Hmm, seems like a tricky task. guessing you have experience in the field?
<clever> not really, lol
<clever> for the rpi3, this can just barely boot linux
<clever> https://github.com/cleverca22/lk/tree/vc4 and this is a port of a kernel to the rpi4
drakonis has quit [Ping timeout: 272 seconds]
<clever> i'm also seeing conflicting data
drakonis has joined #nixos-chat
<eyJhb> clever: seems like a forever project when there is conflicting data :p
<clever> eyJhb: the official docs claim pins 46/47 are for the switch mode power supply
<clever> eyJhb: but my testing confirms its the i2c eeprom in the monitor
malSet has joined #nixos-chat
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
drakonis has quit [Quit: WeeChat 2.6]
* samueldr sighs
<samueldr> it would be a much better world if their firmware was open
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Remote host closed the connection]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
<clever> samueldr: even just documenting the hardware better, would help
wildtrees has quit [Remote host closed the connection]
<clever> just explaining why those pins are reserved, would help
<etu> meh, buggy hardware is only fixed in firmware anyways ;D
<__monty__> Hmm, kinda weird. RPi foundation's a non-profit, right? And Arduino's a for-profit? While the former's not open and the latter is? 🤨
<clever> eyJhb: the i2c controllers in the rpi, also glitch the clock line when clock stretching is in use, which can cause problems firmware cant fix
<yorick> __monty__: RPi schematics are also incomplete
<clever> yorick: there is a much more complete schematic in the github history of the repo
<clever> but they have since replaced it with a redacted one, to match the other models
<yorick> very sad.
<yorick> also, the camera DRM
<clever> yorick: ive heard of a project called raspiraw, that may help in that region
<clever> this appears to drive the camera interface, without any firmware help
<samueldr> nice, someone's taking the time to reverse engineer and document the keyboard/touchpad firmware for the pinebook pro https://github.com/jackhumbert/pinebook-pro-keyboard-updater/tree/master/firmware
<clever> in theory, that would let my custom firmware, without camera support, to have camera working
joepie91 has joined #nixos-chat
wildtrees has joined #nixos-chat
wildtrees has quit [Client Quit]
wildtrees has joined #nixos-chat
wildtrees has quit [Remote host closed the connection]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
wildtrees has quit [Max SendQ exceeded]
wildtrees has joined #nixos-chat
<joepie91> anyone here who's had issues with a Hetzner VPS magically losing their IP? 'fixable
<joepie91> oops
<joepie91> 'fixable' by running dhclient*
<joepie91> (not specifically NixOS)
wildtrees has quit [Quit: Leaving]
wildtrees has joined #nixos-chat
<sphalerite> joepie91: classic VPS, not hetzner cloud?
<joepie91> sphalerite: hetzner cloud
<sphalerite> joepie91: hm ok, I have two hetzner cloud servers but haven't experienced that yet
drakonis has joined #nixos-chat
<joepie91> hm, weird
<tilpner> joepie91: Never had a problem with ipv4 networking on HC
<tilpner> Check config and imports for non-default network settings, and perhaps paste those if you keep having trouble
__monty__ has quit [Quit: leaving]
drakonis has quit [Ping timeout: 272 seconds]
kraem has quit [Quit: outta here]