<colemickens>
adisbladis: I actually just went down a rabbit hole, if you're on a laptop, you might check out throttled/intel_fix.
<colemickens>
We use it in nixos-hardware to override some overly conservative throttling on intel cpus that has to be re-issued every 5 seconds on most systems.
<colemickens>
And as I'm looking at it, it appears that it also can control undervolting.
<adisbladis>
colemickens: This is for a desktop, but I was just looking into undervolt yesterday :)
<joepie91>
my biggest customer appears to have gone out of business, so I suddenly have a lot more free time and a lot less income :P
<samueldr>
>>
<samueldr>
I specialize in solving unsolved, seemingly impossible problems.
<samueldr>
what about P=NP?
<samueldr>
;)
<adisbladis>
I'll bid 10 bucks for solving P=NP
<joepie91>
samueldr: not written for an academic audience :)
<joepie91>
not that kind of unsolved, generally :P
<joepie91>
more in the "hey there's no software and no obvious implementation approach for this problem yet" sense
<samueldr>
hmmm, how about "uber, but for solving P=NP"?
<joepie91>
samueldr: I mean, to be clear, I'll happily try to solve P=NPM for you, but you're probably going to be paying a lot of money for a lot of work with very few results by someone who isn't qualified to do it
<joepie91>
lol
<joepie91>
P=NP*
<samueldr>
P=NPM seems to be what you're solving already anyway
<samueldr>
and sorry, can't bring anything more than jokes :)
<joepie91>
but hey, if you want to pay me by the hour to accomplish a reasonably-impossible task, I'm all for it!
<joepie91>
:P
<joepie91>
also, additional sidenote: yes, I take on "please refactor/unfuck this JS codebase" projects, and I'll probably even enjoy doing it :P
<samueldr>
relevant to a discussion from yesterday
<samueldr>
>> However, this fix was never included in an Android monthly security bulletin
<samueldr>
>> the bug was never patched in many already released devices, such as Pixel and Pixel 2.
<samueldr>
this is absolu-hecking-tely impossible to foresee
<samueldr>
no one could have thought that forking multiple time the kernel tree during the development phase of a device
<samueldr>
that it would create horrible security practices...
<samueldr>
(forking multiple times meaning that OEMs use a fork from the BSP from the SoC vendor, which forks from the Android-specific fork, which forks from an LTS)
<samueldr>
cc ashkitten ^
<ashkitten>
lol fuck
<ashkitten>
er,
<ashkitten>
minus the swearing before i get a pm from graham
<samueldr>
:)
<samueldr>
had to rewrite one of those sentences
<samueldr>
and egoistically speaking, it makes my job harder :|
<ashkitten>
what does?
<samueldr>
kernels being horrible ball of messiness :)
<ashkitten>
oh yeah
<ashkitten>
this might be kinda out there... but what if... companies wrote good code?
<ashkitten>
and cared about their products
<colemickens>
is there really not one thing that manages throttling/scaling/undervolting and doesn't require all of python around? hmm.
<ashkitten>
(and i say company because i'm sure individual programmers would write good code if they were allowed the time/resources to do so)
<colemickens>
upower,tlp,throttled,thermald,lm_sensors, too many things.
<ashkitten>
samueldr: btw i might've asked this before but how is the state of telephony on linux and specifically nixos-mobile?
<samueldr>
all I have in my current research is "ofono"
<joepie91>
ashkitten: I'd add to that "... and knew where to learn more about doing so"
<samueldr>
well, not "all", but the important bits
<joepie91>
otherwise I totally agree :P
<ashkitten>
hmm
<samueldr>
this is the part of the overall project where I'm the least confident about the results
<samueldr>
but still positive
<ashkitten>
is kde plasma mobile still the only reasonable de for small screens?
<samueldr>
nop, but probably the best to get going at first
<ashkitten>
fair 'nuff
infinisi1 is now known as infinisil
drakonis_ has joined #nixos-chat
waleee-cl has quit [Quit: Connection closed for inactivity]
drakonis has joined #nixos-chat
drakonis1 has joined #nixos-chat
drakonis_ has quit [Ping timeout: 276 seconds]
drakonis1 has quit [Ping timeout: 250 seconds]
soju has quit [Quit: Connection closed for inactivity]
drakonis1 has joined #nixos-chat
<aleph->
samueldr: Having fun with mobile? :P
<samueldr>
I think you mean "working"
<samueldr>
just did my first boot to X11 on the pinephone devkit
<samueldr>
so it looks like it's close to being up to parity with the android-based devices
<colemickens>
gchristensen: we sorta touched on this the other day, but is python your usual go-to when you outgrow bash?
<colemickens>
I like types and find myself wondering if I'd be silly to write a few of these scripts in typescript because I can't take any more bash for a bit.
<drakonis>
colemickens: python is fairly easy to do anything with
<aleph->
colemickens: Tbh depends on the problem. At work I use python for API glue/automation and bash wrappers for most everything else
<aleph->
samueldr: Ah that one right
<aleph->
samueldr: So what just working on getting a basic setup before the rest of nix packaging and testing?
<aleph->
Was the pinePhone I was looking forward to the most for mobile nixOS
<samueldr>
not sure if you dropped some words from the question or if I'm misreading
<samueldr>
but soon its state will be the same as other Mobile NixOS device, not much special "phone-like" consideration
<samueldr>
but, it's a good thing, since the development work will be generic AFAICT
<samueldr>
progress will be the same for everything~ish
<samueldr>
then, there will be the specifics of the pinephone about telecommunication to tackle
<aleph->
To rephrase, what's your general plan for mobile nixOS currently? Is it getting just a core windowing system, init and the like setup before work on other features begins?
<aleph->
What's up with telecomms on the pinephone?
<samueldr>
not sure exactly, but likely things like "making it work" :)
<samueldr>
thinks like NixOS services
drakonis has quit [Quit: WeeChat 2.6]
<aleph->
Ahhh gotcha gotcha
buckley310 has joined #nixos-chat
<colemickens>
not impressed with python's ecosystem so far. bashing my head against the wall. All I want to do is script retrieving my bitlocker key and passing it to virsh send-keys.
<colemickens>
broken docs links, pypi pages with no links to docs, docs hosted on http pages
<colemickens>
:S
<samueldr>
I think one of the funnest part with NixOS at first, and even at seconds and thirds, is forgetting there's a firewall built-in
<samueldr>
a friend of mine has converted and is trolling himself with the firewall :)
<infinisil>
Ugh, these javascript navigation webpages are annoying
<infinisil>
They ever so often break
<infinisil>
Like just now, I clicked on a youtube video but clicked back right away. The video started playing despite that
<infinisil>
And every so often with GitHub, I click on the code tab of a PR but then click another tab quickly, but the other tab never gets loaded and I need to go back-and-forth again to load it
<clever>
infinisil: slack recently ruined the input box
<samueldr>
and in a way that deleted the changes from the ^Z history
<infinisil>
samueldr: I want a visual backup system, that constantly records your screen, deleting half the frames for video 1 min old, another half 10 min old, and so on
<samueldr>
mobile-nixos#53 :/ I had rewritten the whole description with much much more details :(
<infinisil>
I wonder if it would be possible to recover firefox's cached version of it through zfs snapshots
<samueldr>
wouldn't count on it, what are the chances it saves a textarea to disk?
<infinisil>
Hm probably low, but I feel like that's the kind of thing that would be saved to disk
<gchristensen>
colemickens: if it is going to be slightly larger than a bash script, then yeah python is my go-to.
<gchristensen>
colemickens: if it isn't slightly larger than a bash script, I am inclined to go for Rust
<clever>
colemickens: ah, i knew i had seen you in nixos channels, but i was looking for your matrix's name
<samueldr>
to quote the old meme: rust in the streets, python in the sheets?
<samueldr>
(or is that misused)
<infinisil>
Is there no nice sweet statically typed language useful for quick scripting?
<infinisil>
Probably lots, but I want to know what they are
<clever>
infinisil: you could pick a language that only has 1 type, like brainfuck! lol
<infinisil>
Genius
rardiol has quit [Ping timeout: 276 seconds]
endformationage has quit [Ping timeout: 276 seconds]
<ashkitten>
i thought the pi4 was supposed to work good with 4k
<ashkitten>
kodi is laggy af and it's struggling with 4k60 vp9 from youtube :<
<ashkitten>
did you know the pi4 has a hardware vp9 decoder? i didn't
<ashkitten>
sure isn't helping with this tho
<clever>
ashkitten: where does `top` say the cpu is going?
<clever>
ashkitten: 64bit or 32bit kodi?
<ashkitten>
uhh
<ashkitten>
whatever libreelec ships with?
<clever>
ashkitten: run `file` on the kodi binary
<ashkitten>
so i assume 64 bit
<clever>
gpu accel doesnt work on any 64bit stuff
<ashkitten>
i can see the codec it's using
<clever>
where do you see that?
<ashkitten>
decoder is ff-vp9-mmal (HW)
<ashkitten>
if you press a button on the video screen
<clever>
that does imply it should be working...
<ashkitten>
i think it's just struggling with 4k fsr
<ashkitten>
works fine at 1080p
<ashkitten>
it does pin one core at 100% while video is playing...
<clever>
that implies that something isnt hw accel'ing properly
<ashkitten>
hm
<ashkitten>
honestly i'd love to just solve the ui being low framerate
<clever>
last i saw, the gpu firmware doesnt deal with 64bit userland properly
drakonis1 has quit [Read error: Connection reset by peer]
<clever>
so nothing in 64bit can take advantage of the gpu
drakonis1 has joined #nixos-chat
<ashkitten>
:/
<clever>
but you can run a 32bit userland on a 64bit kernel
<clever>
you just wont have a binary cache to help build the 32bit versions
<ashkitten>
i don't want to dive too deep on that... there's a reason i'm using libreelec
<ashkitten>
(it's easy)
<etu>
Most distros in the past haven't even built 64bit images for the pis
<etu>
They have all been down on 32 bit, mostly because the first pis was only 32 bit
<ashkitten>
i can't even tell because libreelec doesn't include a `file` binary
<clever>
etu: rasbian also sticks to armv6l! so the image is fully backwards compat
<clever>
ashkitten: cat the /proc/PID/maps file for kodi
<etu>
ashkitten: "uname -a"
<clever>
that shows the virtual address space for everything
<etu>
ashkitten: if you have a 32bit kernel you're running 32bit everything
<clever>
uname will reveal the kernel bit width, but not the bit width of kodi (which may be lower)
<etu>
clever: yeah, which is very neat and cool. But not the best use of the boards or the architecture.
<clever>
etu: yeah
<ashkitten>
uname says armv7l
<clever>
then it can only run 32bit
<ashkitten>
ok
<ashkitten>
so do you think it's driver issues?
<clever>
either a driver issue or the codec is struggling
<clever>
any idea what the bitrate of the video is?
<clever>
what about the bit depth? 8bit? 10bit?
<ashkitten>
idk
<clever>
try things in the rasbian player, i forget the name
<ashkitten>
but keep in mind it's also struggling to render screen transitions in the kodi interface
<ashkitten>
i'm not running raspbian
<clever>
the player is likely still installed
<clever>
i just cant remember the name
<ashkitten>
libreelec is what it says, "just enough os for kodi"
<ashkitten>
there isn't even a desktop environment running
<etu>
Kodi is a perfectly fine graphical session
<etu>
If you only want kodi that is :p
<ashkitten>
i do only want kodi
<etu>
Yeah, that's quite common :)
<ashkitten>
i wouldn't even worry about the video decoding issues yet, since the laggy ui is starting to annoy me
<ashkitten>
honestly might just keep it at 1080p for the moment
<ashkitten>
unfortunately my tv doesn't support pixel doubling
<ashkitten>
at least the pi4 works better at 4k that the pi0w does at 1080p
<ashkitten>
than*
<etu>
pi0 is basically a smaller pi1
<ashkitten>
yep
<etu>
So... not powerful at all.
<ashkitten>
it's funny to see it struggle, though
* etu
remembers trying to build gentoo on a pi1
<ashkitten>
why on earth would you try to build it on the pi1 itself
<etu>
:D
<etu>
ashkitten: Because, I don't know. Wanted to try it :D
<ashkitten>
you're so valid
<ashkitten>
anyways enough messing about with that
<ashkitten>
when's someone gonna make nixos run on my tv tho
Jackneill has joined #nixos-chat
<tilpner>
Huh, sudo pkill dd is not a good idea
<tilpner>
Who'd have thought
<tilpner>
(I think it caught sddm too)
* tilpner
will use -x next time
<sphalerite>
tilpner: or pgrep -a dd then kill yourself to make sure you get the right one#
<sphalerite>
um. I meant "run kill manually". Not "kill yourself"
buckley310 has quit [Quit: Ping timeout (120 seconds)]
buckley310 has joined #nixos-chat
__monty__ has joined #nixos-chat
<andi->
grml, the AMD Linux support isn't really great it seems. The power management for newer CPUs has still not been merged in :/ https://patchwork.kernel.org/cover/11038797/
<tilpner>
sphalerite: Pfft, where's the fun in that? Killing sddm and losing progress is exciting!
rardiol has joined #nixos-chat
<fpletz>
andi-: I feel your pain, I've been using a lenovo a485 for over a year a year and it sucks more than 15W in idle (browser, email open etc.)
<andi->
fpletz: try applying that patch. I haven't yet bought a new machine because it all seems to be in a bit of limbo mode.
<fpletz>
when I got it, the linux kernel would panic very early in the boot process and needed a few kernel parameters with hex addresses and stuff
<fpletz>
I'll definitely try that, thanks!
<clever>
andi-: about a year ago, i had issues with my amd desktop going into thermal shutdown
<clever>
andi-: and while trying to diagnose it, i discovered that linux at full cpu load, pulls enough amps on the cpu, to literally go off the charts
<clever>
andi-: but windows stays fairly low
waleee-cl has joined #nixos-chat
rardiol has quit [Ping timeout: 265 seconds]
pie_ has quit [Quit: No Ping reply in 180 seconds.]
<ashkitten>
infinisil: i just had a long conversation last night about how he puts out these weird designs not for people to actually buy but to maintain his image as some sort of scifi willy wonka and distract people from him being a rich asshole with military contracts
drakonis has joined #nixos-chat
drakonis has quit [Read error: Connection reset by peer]
<__monty__>
Yeah, definitely but it's Cornelis *Vrees*wijk in dutch.
<adisbladis>
Oh, Wikipedia tells me he's actually dutch but moved to sweden early on
<__monty__>
eyJhb: Well, I don't actually speak swedish, or is this danish? Doesn't help that what they say has almost no correlation to the text as written though >.<
<eyJhb>
__monty__: that is danish :p It is somewhat a common song in Jylland to sing when you are waaaay too drunk. I have NO clue why
<eyJhb>
Or if I have just been unlucky and have been forced to it
<eyJhb>
But if you learn that song __monty__ , then you can come to Aalborg and join me in Jomfru Ane Gade (a street with only bars - pretty much)
<__monty__>
Thanks for the invitation. Not big on alcohol though, tbh.
<__monty__>
We have cantus culture. So I do know the joys of singing together.
<eyJhb>
There is also non-alcohol as well! And there are a pizza bars at each end :D
<__monty__>
Yeah, but non-alcoholic usually means sodas or juices or other hypersweet stuff and I don't like more than a glass of it.
<__monty__>
And you can't keep up with people drinking alcohol if you go water.
<eyJhb>
I would be all-in for drinking water with you + eating pizza
<eyJhb>
+ you have somewhat lots of fun if some of the drunks do stupid stuff :p
<eyJhb>
I want pizza now...
psyanticy has quit [Quit: Connection closed for inactivity]
drakonis_ has quit [Read error: Connection reset by peer]
drakonis_ has joined #nixos-chat
drakonis has joined #nixos-chat
drakonis1 has joined #nixos-chat
drakonis_ has quit [Ping timeout: 265 seconds]
drakonis has quit [Ping timeout: 276 seconds]
<ashkitten>
huh.. i didn't realize that composite video had a standard to signal if it was meant for widescreen or not. apparently it's not in ntsc tho lol
drakonis has joined #nixos-chat
drakonis1 has quit [Ping timeout: 276 seconds]
drakonis1 has joined #nixos-chat
drakonis1 has quit [Client Quit]
drakonis1 has joined #nixos-chat
__monty__ has quit [Quit: leaving]
lovesegfault has joined #nixos-chat
<lovesegfault>
infinisil: o/
<infinisil>
\o
<lovesegfault>
There _is_ an alternative to beets btw
<infinisil>
lovesegfault: meta transfer between where?