<lukegb>
I dunno if there's a explicitly private use thing
<lukegb>
something under 1.3.6.1.3.116 be your best bet
supersandro2000 has quit [Disconnected by services]
supersandro2000 has joined #nixos-chat
<drakonis>
i'm looking to get a new ereader
<drakonis>
but my only options are kindles
<joepie91>
drakonis: strong recommend for pocketbook
<joepie91>
I have a Pocketbook Touch HD (1), very happy with it
<joepie91>
no pushy "buy from our store" homescreen spam bullshit, no firmware that gets worse and slower with every update, and they don't break when you put them down a bit too hard like Kobos do :P
<cole-h>
Man, I want a reMarkable... But it's sooooooooo expensive
<drakonis>
same
<drakonis>
the issue is whether it ships to brazil and whether i'll pay insane taxes for it
<cole-h>
If you want the eraser and no "carry case", it's USD$500, pre-tax+shipping
<joepie91>
I wouldn't bother too much with pocketbook's site btw
<joepie91>
afaik it doesn't have a complete listing of retailers that sell them
<joepie91>
the obscure camera shop I bought mine from certainly didn't appear on their site :P
<drakonis>
lol
<drakonis>
the taxes will bump it to about uh
<drakonis>
1500 dollars
abathur has joined #nixos-chat
<drakonis>
ludicrous
<cole-h>
hahaha
<joepie91>
jesus
<cole-h>
That's insane
<joepie91>
"yeah I could pick between an e-reader or a house, I picked the e-reader"
<drakonis>
dont buy shit in dollars here
<drakonis>
ever
<drakonis>
imports are insane
<samueldr>
joepie91: camera obscura shop?
<cole-h>
Hehe
<drakonis>
oasis yay or nay?
<drakonis>
hmm no jailbreak
<drakonis>
bummer
<drakonis>
wanted to find a kobo around here but no go either
Dotz0cat has quit [Ping timeout: 272 seconds]
bridge[evilred] has joined #nixos-chat
<samueldr>
fun thing, if you want to obfuscate nix expressions
<samueldr>
> a:"a"
<{^_^}>
<LAMBDA>
<samueldr>
> a:''a''
<{^_^}>
"a:''a''"
<infinisil>
o.O
<samueldr>
look, I don't make the rules
<cole-h>
uh
<cole-h>
what
<samueldr>
LOOK, I DON'T MAKE THE RULES, cole-h
<cole-h>
WAIT WHAT
<cole-h>
What is this cursed magic
<samueldr>
I don't know why, but it looks like using counts as a space
<cole-h>
My head hurts
<samueldr>
> let y = a: a; in y"1"
<{^_^}>
"1"
<samueldr>
> let y = a: a; in y''1''
<{^_^}>
undefined variable 'y''1''' at (string):435:18
<samueldr>
this one I think is easier to wrap your head around
{`-`} has joined #nixos-chat
ornxka has quit [Quit: No Ping reply in 180 seconds.]
Dotz0cat has joined #nixos-chat
ornxka has joined #nixos-chat
kalbasit has joined #nixos-chat
waleee-cl has quit [Quit: Connection closed for inactivity]
kalbasit has quit [Ping timeout: 240 seconds]
cole-h has quit [Ping timeout: 265 seconds]
ece has joined #nixos-chat
<andi->
> a:b
<{^_^}>
"a:b"
<sphalerite>
riiiight because ' is a valid character in identifiers
<sphalerite>
and because of the URL syntax
<andi->
Yeah
<andi->
But that syntax depends on the features enabled for libstore
<sphalerite>
wait what!?
<sphalerite>
oh no.
da_dada has quit [Ping timeout: 256 seconds]
da_dada has joined #nixos-chat
thibm has joined #nixos-chat
FRidh has joined #nixos-chat
tokudan has quit [Read error: Connection reset by peer]
tokudan has joined #nixos-chat
vaibhavsagar has quit [Ping timeout: 260 seconds]
vaibhavsagar has joined #nixos-chat
da_dada has quit [Ping timeout: 256 seconds]
da_dada has joined #nixos-chat
<patagonicus>
Time to finally put NixOS on my laptop (after some more backups, just in case). :)
<etu>
patagonicus: Good luck! Have fun! Ask questions in here and #nixos if you need help :)
<patagonicus>
I already have NixOS on a few systems, the only problem was that a year ago when I got the laptop I couldn't boot anything other than the Ubuntu installer and didn't have time to mess around with it.
<makefu>
patagonicus: make sure to actually have a gateway to #nixos on some other device :)
<etu>
patagonicus: May be secure boot
<etu>
patagonicus: We don't support that yet
<patagonicus>
makefu: I have The Lounge running on a NixOS VM on a NixOS VM that I can access from a NixOS desktop, my phone and my tablet. :P
<ar>
some laptops have a funny efi setup
<patagonicus>
etu: No, SysRescCD and GRML also didn't work. Some got stuck right after the bootloader, some just got a black screen. Haven't really tried since.
<makefu>
patagonicus: maybe secure boot is activated?
<ar>
that doesn't allow booting anything but the "portable" efi loader path (\EFI\Boot\bootx64.efi) or windows loader path
<patagonicus>
Well, at the very least I managed to get one of those to boot the kernel, just after that everything went south. Let me finish my backups, then we'll see if current NixOS boots.
<etu>
ar: copying grub's efi file to windows efi location has worked fine on some really funky systems :D
<ar>
yeah
<etu>
ar: Or not supporting fat32 but working with fat16 :)
<patagonicus>
I think the NixOS installer managed to show the boot loader menu. But, yeah, it has been a while, so I'm not quite sure which Linux broke in which way.
<patagonicus>
Hmm. Thinking about it, I might have too many laptops. I currently have four, although half of those are for work and one of the remaining ones I'm going to sell/give away when I get around to it.
thibm has quit [Ping timeout: 240 seconds]
<makefu>
there is no such thing as "enough" laptops
<makefu>
same with VPS'
<sphalerite>
makefu: in what context? I don't really want any more laptops in my life
<makefu>
HERETIC
thibm has joined #nixos-chat
<patagonicus>
My laptops and desktops are basically just a device that allows human IO to a browser and a shell, usually through SSH. I only need a laptop because sometimes I want that away from my desk.
<patagonicus>
And, well, for work it's because I can't take my workstation home. But I swapped that for the second laptop, because redundancy.
<patagonicus>
I did want to order a Pinebook Pro, though, because ARM and because I like Pine64's ideas. But it was out of stock, so I ended up ordering a Pinephone instead.
<patagonicus>
Ok, this is not NixOS, but I have this one luks volume, with ext4 in it, and for some reason I can never cryptsetup close it, because it's "still in use". I wonder what's up with that. I did unmount the FS first and /dev/mapper/$name doesn't exist anymore.
<patagonicus>
Ah, no, the device node does still exist, was confused my tab completion since it's not mounted.
<etu>
ma27[m]: I would have missed that license thing as well and merged the nmap bump if I looked at that PR as well :)
<etu>
ma27[m]: Just wanted to mention that without cluttering the thread
<joepie91>
"We believe it is compliant with the Open Source Definition,"
<joepie91>
that's an, uh, interesting claim to make when your custom clause is almost exactly one of the "this is not allowed" examples in the OSD...
<joepie91>
actually the full quote is more interesting
<joepie91>
"We believe it is compliant with the Open Source Definition, but we haven't gone through their certification process (which requires an attorney). "
<joepie91>
this implies they don't have an attorney? so who drafted their custom license?
<patagonicus>
Anyone can write a license. But if it's actually enforceable is a different matter.
<joepie91>
wait, and they tried to roll the CLA into the license? that doesn't work that way...
<gchristensen>
I think it is the opposite, patagonicus
<gchristensen>
the question is: is the software *usable*
<joepie91>
yeah I'm pretty sure this license hasn't seen an attorney's desk from up close
<gchristensen>
b/c by default the code is owned by the author and no license is granted
<patagonicus>
gchristensen: Well. Yes. With custom licenses you basically have to ask a lawyer to see if you can use it or not.
<pie_>
does packet.net have public pricing somewhere
<supersandro2000>
someone once told me if websites/stores/etc do not have public pricing it is so expensive that a normal human being can't afford it and not normal ones do not care about the price
<pie_>
i accidentally into team lead and this is all going to go terribly
<pie_>
whats going to be interesting is besides me the other 3 team members are all webpoop people, and from what ive seen the nixos infra for that is lacking?
<pie_>
i want to go offline-first so....its probably going to be electron :I
<pie_>
joepie91: ^?
<pie_>
bbiab, errands
<pie_>
- can hetzner do nested virtualization?
<pie_>
i remember there was some related discussion months ago
<pie_>
the idea is if the perf isnt bad i can gain some agility
<pie_>
so the root does nothing more than handling vms
<pie_>
(this all only matters if we actually win the grant - its like 20kUSD equivalent - i definitely need advice for pulling stuff off)
<pie_>
(for 6 months)
<gchristensen>
you prob. want hetzner bare metal
<gchristensen>
server auctions $50eur/mo for big machines
<adisbladis>
The examples are literally just a `func main() {}` around a lib call
<adisbladis>
Thas a tad annoying
<gchristensen>
yup
<gchristensen>
*all* the examples are that way
<gchristensen>
I'm torn between suffering through go, or suffering through rust, for this particular project
<insep_>
d
<gchristensen>
suffer through d?
<insep_>
yes
<pie_>
is the problem that these are numeric instead of more semantic types? (some standard file handle type?) <gchristensen> (fh and generation being u64)
<gchristensen>
pie_: the problem being mixing up arguments is trivial
<pie_>
gchristensen: oh
<gchristensen>
«meme of str -> str -> str, stick-in-the bike»
<adisbladis>
__monty__: Very little, I can't really compare the two.
<gchristensen>
how is d-lang's x509 support
<adisbladis>
gchristensen: There are openssl wrappers, so pretty darn good
<patagonicus>
Yay. Looks like most of the driver problems I had a year ago were fixed, installing NixOS on my laptop was as simple as it should have been. However it doesn't seem to detect the touchpad correctly - the buttons work, but I can't move the cursor. Let's see what I can find.
<__monty__>
patagonicus: Is it an old laptop?
<patagonicus>
No, new. I'm guessing I need to just enable synaptics - haven't used NixOS on a laptop yet.
<patagonicus>
Dell XPS 13 7390 to be precise.
<__monty__>
I had to use synaptics on an old thinkpad. Afaik libinput is the way of the future though?
<patagonicus>
Well, synaptics seems to work, but let me try libinput.
<patagonicus>
Also works at first glance, guess I'll use that. ¯\_(ツ)_/¯
<das_j>
Does anyone know of a way to list issues that I get notifications for? Looks like I'll have to unsubscribe from a lot
<thibm>
das_j: they're a "repository" drop down on this page
<das_j>
nvm, I can just ignore the repo.
<das_j>
..
<das_j>
thibm: I know, but it lacks nixpkgs for me (at least the upstream repo)
<thibm>
OK, I misunderstood "I cannot filter the nixpkgs repo".
<das_j>
is it in the list for you?
endformationage has joined #nixos-chat
<thibm>
yes
<pie_>
is there any self hosted stuff that can replace discord? not sure i can convince my team to switch to jitsi for screen sharing + irc + mumble + something for file/image sharing + etc
<pie_>
i suppose a self hosted matrix would cover text/files/images?
rajivr has quit [Quit: Connection closed for inactivity]
<supersandro2000>
me wondering why this one package takes 20 minutes to build. Looking at the custom configure script. no -j supplied. Building with one thread....
MichaelRaskin has joined #nixos-chat
<patagonicus>
Nice, even wifi works out of the box. :)
<pie_>
patagonicus: \o/ :D
<MichaelRaskin>
Hmm. So despite disbelief by some, the student does want to do something cool around existing DVCSes
<MichaelRaskin>
I listed the stuff about bisect-but-not-stupidly-linear and bisect-but-with-cost-heuristics and some more
<patagonicus>
Guess that'll be it for today. Tomorrow I'll finally work on putting my i3wm config into home-manager. Shouldn't be too hard, my i3 is pretty standard.
<MichaelRaskin>
But if someone wants to add an enticing idea for the student to have more choice…
<gchristensen>
git signatures which don't use gpg but are reasonably usable?
<MichaelRaskin>
gchristensen: or is bisect-but-on-graph-structure and bisect-but-parallel-aware and bisect-but-cost-aware and bisect-but-with-realistic-status-list a good enough cover of your complaints?
<MichaelRaskin>
Signatures — what about no
<MichaelRaskin>
I mean, Monotone did stuff right
<MichaelRaskin>
Nobody noticed
<gchristensen>
that seems good enough to me to cover it
<MichaelRaskin>
So nobody will use signatures right if you add them to git
<MichaelRaskin>
The problem with signatures is: that is a BSc project, and the student is not specifically versed in cryptography
<patagonicus>
I've spent a bit of time thinking about doing bisection, but with more than one test point in parallel. I.e. split the region into five parts and then run four tests, one for each boundary, in parallel. Gets complicated quickly because for each test that finishes you might have to abort some other tests and then figure out how to best distribute
<patagonicus>
your newly free workers between the remaining, still running ones.
<MichaelRaskin>
I guess if the student wants either cost heursitic or graph awareness, list of hints will come up naturally
<MichaelRaskin>
On its own, well, if student wants to go towards integration and polish, I will try not to forget list-of-seed-commits option
<MichaelRaskin>
Otherwise it needs some larger cool goal
<gchristensen>
sounds great, MichaelRaskin :D
<cirno-999>
> pi
<{^_^}>
3.14159
<MichaelRaskin>
The point is I refuse to pressure the student, they asked for some topics, I provided some topics and did not push too much what to choose. Ended up stopping with DVCS direction, now further choice is still not mine, even if the range is smaller.
<cirno-999>
pie_: yes, you can also try rocketchat
<gchristensen>
> e
<{^_^}>
undefined variable 'e' at (string):435:1
<gchristensen>
> e = 2.71828
<{^_^}>
e defined
<gchristensen>
> pie = pi * e
<{^_^}>
pie defined
<cirno-999>
or convos.chat (no calls afaik, it's built on top of irc)
<MichaelRaskin>
So far I asked to skim (stressing skim-not-read-carefully part) the data models of Git, Mercurial, Fossil, Monotone, Darcs, Pijul, and SVN
<cirno-999>
> pie
<{^_^}>
8.53973
<cirno-999>
actually, convos does have video chat
<MichaelRaskin>
patagonicus: if «bisect but parallel aware» ends up being the direction, I think we could have at least some interesting experience, if not something usable
<MichaelRaskin>
But, BTW, bisect is not the only topic. «More history data mining», or «fancier merge helpers» or «wrapper to have VCS diff be more syntax aware» were also in my list of offers
<MichaelRaskin>
(Also, «rewrite history converting subdirectory to submodule»)
<MichaelRaskin>
Will be funny if the base VCS ends up being Mercurial or Fossil and not Git
<MichaelRaskin>
(I carefully wrote «your VCS of choice» throughout the list…)
<gchristensen>
:D
<MichaelRaskin>
I also put Git at the top of the list of data models to look at while remarking that its model of world is not that good
<pie_>
cirno-999: right
<pie_>
cirno-999: do you have any recommendations about whats more mature?/easier to deal with?
<cirno-999>
convos has a nice nixos service in options (that's how i learned about it)
<MichaelRaskin>
I wonder how hash-migration-ready Nix CA paths should be
<pie_>
hm matrix bridging also sounds interesting
<cirno-999>
pie_: bad question, matrix is very mature but also a huge pain to deal with :D
<pie_>
because i've been getting people to use signal
<pie_>
cirno-999: oof :D
<cirno-999>
each has pros and cons i think...
<MichaelRaskin>
On the user side, I deal Signal as an evern larger pain
<cirno-999>
convos pro is that it's built on top of irc
<cirno-999>
so people stuck in the 80s can still join :D
<pie_>
:D
<cirno-999>
rocketchat pro is that it's very user-friendly.
<pie_>
id just make people use irc but they dont want to juggle N+1 apps
<MichaelRaskin>
Which might be related to the fact that this «privacy oriented» messenger is not really usable on no-Google-Play devices, and also is Android-first
<pie_>
MichaelRaskin: how ironic
<MichaelRaskin>
I mean, Signal is just a list of basic «worse than Telegram» failures for many contexts
<pie_>
in 200 years it will be found out it was an NSA project all along
<cirno-999>
MichaelRaskin: I don't like it either, but it's very easy to get people onto it <for some reason>
<pie_>
and people will point fingers and say cmon guys i cant believe you were pushing this stuff :D
<cirno-999>
better than fb messenger, i guess?
<pie_>
but i wont be alive in 200 years
<pie_>
(probably)
<MichaelRaskin>
Like, in Telegram if you seize a phone you need to do work to get contact's numbers instead of just the account nicknames
<MichaelRaskin>
In Signa; you must deal in phone numbers
<pie_>
MichaelRaskin: really though wtf is up with signal
<MichaelRaskin>
Its only real use case is when you are dealing with someone critically untrustable to be competent
<cirno-999>
have you both heard of Briar? i love its principles
<cirno-999>
and it's suprisingly usable now (for plain text)
<pie_>
and why wont telegram just use signals actually good crypto
<MichaelRaskin>
You mean actually good crypto protocol
<MichaelRaskin>
Because implementation is not really reviewed, as far as I managed to find out
<pie_>
though really my goal right now is "get people to use something that isnt discord"
<MichaelRaskin>
It's also funny how Signal is an upgrade treadmill with non-upstream build use prohibited in ToS. Telegram is actually open source client with F-Droid build completely usable unless you want this month's new features
<pie_>
telegrams other irony is encryption is off by default
<MichaelRaskin>
Speaking of irony: «lightweight Linux VMs» post in NixOS-weekly is about containers
<MichaelRaskin>
Actually treating Matrix as setup-and-forget works pretty well if you either give it enough resources or nobody joins megarooms
<MichaelRaskin>
Synapse got better, even if there is quite a bit of room to improve efficiency (which will probably happen in Dendrite more than in Synapse)
<pie_>
i onky intend the instanc3 for this projec5
<samueldr>
something's hellishly wrong with github's notifications
<pie_>
wow jitsi meet is chonky. 80mb on fdroid
<samueldr>
it's showing things I've never read as read
<MichaelRaskin>
Everything is wrong with everything GitHub
<cole-h>
Heh, I've gained more followers in the past month on the fediverse than since I started using it
<MichaelRaskin>
I also like how notification links to no-longer-available commit
<cole-h>
(Mostly Nix-related follows, AFAICS)
<pie_>
looks like jitsi now supports screen sharing on android
<__monty__>
pie_: Wire also does everything you want except for screen sharing, I think.
<pie_>
right, wire is also an option given that i have a budget
<pie_>
it looks surprisingly cheap actually.
<pie_>
i thought its only paid but i think i saw something about a free version somewhere?
<__monty__>
Yeah.
<__monty__>
Free for individuals.
<__monty__>
And I was thinking the free version does everything you want.
<pie_>
huh.
<__monty__>
Minus screen sharing.
<pie_>
why isnt everyone using this
thibm has quit [Quit: WeeChat 2.6]
<__monty__>
Controversial because they're an OTR messaging app but all the crypto code is JS.
<__monty__>
And not fixed to a release.
<pie_>
uhuh.
<__monty__>
I'm also not sure whether group convos and voice/video calls are OTR or otherwise encrypted.
<__monty__>
I think they are but I don't use those features so I haven't looked into it.
<pie_>
why is some part of these apps always super sketchy :)
<__monty__>
It's so they can share the crypto code across all platforms I think.
<__monty__>
If you want to offer a web client you need a JS implementation, might as well use it everywhere if you have one anyway.
<__monty__>
I believe all the wire code is open source, just fyi.
<__monty__>
Both client and server.
disasm has quit [Quit: WeeChat 2.0]
<__monty__>
If only Telegram made it hard to disable encryption I think it'd be the best candidate.
disasm has joined #nixos-chat
<cirno-999>
pie_: the conspiracy theory is that they're all made by NSA ;P
<pie_>
yep
<pie_>
also its not like the crypto code should need to change a lot?
<pie_>
well i still dont get why wire isnt bigger
<cirno-999>
I don't think there is a single issue with briar tho
<cirno-999>
^^
<cirno-999>
pie_: sketchy company, i guess? some people complained about this
<pie_>
hpws threema and odk redphone? these days
<pie_>
*idk
<cirno-999>
threema is proprietary AF
<pie_>
oh right : p
<cirno-999>
never tried/paid much attention to redphone
<pie_>
brainfart
<cirno-999>
but i think its ded now lol
<cirno-999>
and just become Signal
<pie_>
maybe im thinking of something else.
<pie_>
huh briar hasnt gotten funding from nlnet yet? :p
<infinisil>
But the title is misleading. He's not proving program correctness, he's just throwing a random testing kit at a function, hoping it can find a counterexample
<infinisil>
Kind of a let down, I was hoping for some induction
<__monty__>
Only problem with Briar I know of is if your connection to the network goes through one/few nodes those nodes can censor what you see.
<supersandro2000>
when you debug a package for two hours and then it turns out a dependency is horrible out of date
<__monty__>
Let me rephrase, it's possible you don't get to see all the traffic you're interested in. Not sure whether they can actively block only specific things.
<cirno-999>
__monty__: what if you get your stuff from two nodes, and only one of these is rogue?
<__monty__>
cirno-999: The issue is opportunistic sharing of content. If a node isn't interested in certain content it won't share it. So if you're stuck behind nodes that aren't interested in the things you're interested in you miss out.
<pie_>
supersandro2000: ah yes
<supersandro2000>
still does not work...
<supersandro2000>
wxwidgets and wxpython are great libraries
<supersandro2000>
they have no where written what works with them and which versions you need
<supersandro2000>
just do pip install everywhere
FRidh has quit [Quit: Konversation terminated!]
<eyJhb>
supersandro2000: It is great, right?
<supersandro2000>
build takes 20 minutes and it fails in the last 10 seconds
<supersandro2000>
and I will find something even greater!
<eyJhb>
That is the most fun!
<eyJhb>
Had the something with a simulation tool
<supersandro2000>
I try like two or three more things and then annoy someone else with the problem
<eyJhb>
Matlab is so magic...
<eyJhb>
`load signal;` will create a var `s`. But I guess that is specified by the file that you load