gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<pie_[bnc]> a way to make sure even more that noone will ever believe anything unless it reinforces their biases :D
<pie_[bnc]> heh, we're still missing an easy plug and play unpackaged apps layer :P
<pie_[bnc]> i gotta get on that at some point...
abathur has quit [Quit: abathur]
<infinisil> From the idris 2 0.1 release notes: "Cumulative universes are not yet implemented."
<infinisil> Ah yes, cumulative universes
<julm> today I'm happy to see that public-inbox and sympa are now packaged in NixOS
<danderson> ... cumulative universes?
<julm> hm, and let's see where is the discourse package now..
<danderson> oh, it's a programming language. Of course it is.
<julm> looks like a new PR is tackling the discourse packaging https://github.com/NixOS/nixpkgs/pull/83438
<nix-build> #83438 (by sorki, 5 days ago, open): discourse: init at 2.4.1
<drakonis> cumulative universes...
<danderson> in this family of languages sometimes it's hard to tell if trolling or serious
<drakonis> same
<gchristensen> idris doesn't joke
<gchristensen> and if it does, you can bet it'll have a formal proof with it
<drakonis> hehhh
<danderson> idris doesn't joke, it offers a conclusive generalized treatment of levity theory as applied to human interaction
<danderson> (in cumulative universes, if necessary)
<gchristensen> hah
<julm> I've only crossed Idris in Conor McBride talks. The story about dependent types looked much cooler than in Haskell
<gchristensen> haskell isn't really designed for it, is it?
<drakonis> idris is a research haskell so to say
<gchristensen> yikes
<drakonis> that's how i've understood haskell and idris' relationship
<julm> it wasn't, but know a lot of work was done to improve the situation
<julm> now*
<drakonis> actually, idris is built on top of haskell
<drakonis> impressive.
<julm> yep
abathur has joined #nixos-chat
<colemickens> I have HA running on my RPi4 with a panel showing my parent's current security system status. Because why not.
<gchristensen> nice
<infinisil> And Idris 2 is built with Idris 1
<infinisil> Btw here are the release notes: https://www.idris-lang.org/idris-2-version-010-released.html
<infinisil> I think this is the first release for Idris 2
<infinisil> Exciting times :D
<julm> outch! knowing that the bootstrapping story of GHC is already not great: requiring very old GHC, AFAIK
<gchristensen> that is good actually, it is unpleasant to need to build many many many GHC's to get to a current one (the Rust model)
<julm> gchristensen: well then here Idris2 needs Idris1 which needs GHC which needs... in what sense is it better?
<gchristensen> bootstrapping is always complicated
<gchristensen> I dunno :)
<danderson> every time I look into bootstrapping, I just crawl into a corner and cry that objective reality basically doesn't exist
<danderson> all software recurses to "someone compiled a thing using whatever compiler binary they had at the time, and they forgot which one"
<gchristensen> guix has done a nice job of it: https://guix.gnu.org/manual/en/html_node/Bootstrapping.html
<gchristensen> but yeah
<drakonis> nice job isnt even enough to describe it
<drakonis> they won't include packages if they cannot bootstrap
<drakonis> so that rules out a significant amount of packages
<danderson> sometimes I daydream of doing hardcore bootstrapping: build a very simple computer by hand, hard-wire a machine code input routine to it, use that to input an assembler, use the assembler to write a C compiler barely smart enough to build a proper C compiler...
<julm> GOOD NEWS EVERYONE!, I've invented a new shining compiler (based upon a dusty one you mush fetch from this IP over Time address)
<danderson> ... or just close my eyes and believe in the universe
<drakonis> they also write build systems that go around the existing systems
<danderson> Building my Thing, step 1: locate a PDP-7, and...
<drakonis> haw.
<gchristensen> danderson: I won't believe you until you're starting from ben eater's kit
<danderson> gchristensen: that filthy casual uses integrated circuits
<danderson> THEY MIGHT NOT BE DOING WHAT HE THINKS THEY'RE DOING
<gchristensen> only later on... he starts without them!
<danderson> hard mode: first, build a working Analytical Engine
<danderson> use that to build the first computer
<gchristensen> lamo
<drakonis> lmao...
<julm> from the guix page: http://bootstrappable.org/
<danderson> "I have constructed this computer out of rocks, vine, driftwood, and a river. However, it occured to me that I could not determine whether or not the river's flow was being maliciously altered. Therefore..."
<drakonis> https://guix.gnu.org/manual/en/html_node/Build-Systems.html#Build-Systems i've seen people on the guix irc try to write a maven system
<drakonis> for building java packages
<danderson> (I kid, but I actually care about bootstrapping... I just tend to get stuck in an infinite recursion when I think about it too much)
<gchristensen> :)
<drakonis> that build system still hasnt gotten there
<danderson> build systems today are like PHP wikis in the early 2000s
<danderson> everyone and their dog wants to write one
<gchristensen> lol
<drakonis> tazjin was working on something like that
<gchristensen> hehehe: Sorry! You have reached the maximum number of m1.xlarge.x86 devices for this project (100).
<danderson> oops
<tazjin> drakonis: something like what?
<julm> "Apache Maven has support for reproducible builds."
<danderson> wow, a large boy
<gchristensen> its a big boy for sure
<drakonis> bazel-like build systems
<tazjin> I’ve written Nix based ones for Go and Lisp, not java though
<drakonis> have not implied such a thing
<tazjin> Rust is next on the list, but it’s tooling is not fun :(
<tazjin> s/‘//
<drakonis> ah, rust, how exciting.
<drakonis> these are fun things
waleee-cl has quit [Quit: Connection closed for inactivity]
<drakonis> haha damn.
<cole-h> I like to thing I'm the reason why ble.sh and oil first intersected. I was asking for fish-like autosuggestions, when the author of ble.sh chimed in (and the rest is history)
<cole-h> ;^)
tilpner_ has joined #nixos-chat
tilpner has quit [Read error: Connection reset by peer]
tilpner_ is now known as tilpner
<samueldr> ?!? github finally implemented a passable narrow view to some of their pages?
<samueldr> it has some weird warts though
<samueldr> but it's actually usable
<Irenes[m]> huh, nice
drakonis has quit [Quit: WeeChat 2.7.1]
endformationage has quit [Quit: WeeChat 2.6]
lovesegfault has quit [Ping timeout: 252 seconds]
cole-h has quit [Ping timeout: 265 seconds]
cole-h has joined #nixos-chat
<ashkitten> why does repo exist?
<ashkitten> aren't git submodules good enough?
cole-h has quit [Quit: Goodbye]
<ashkitten> it looks like it's pretty specialized for assisting the android development workflow... i don't see why other projects use it
Guest62967 is now known as sphalerite
<sphalerite> why does M-x tetris exist and come with emacs..?
<LnL> why does vim have :help 42?
<LnL> or :smile, which neovim refused to add :D
<srk> haha :D would make it bloated!
<adisbladis> sphalerite: Why not?
<adisbladis> sphalerite: M-x pong is nice too ;)
<etu> M-x snake :)
<adisbladis> etu: Was it you & me playing `M-x pong` before by attaching to the same emacs daemon?
<etu> adisbladis: I think so yes
<eyJhb> What is :smile LnL ?
<adisbladis> Emacs == peak multi player
<eyJhb> Who was it that was using coc? Keep forgetting
<qyliss> emacs -batch -l dunnet is the best Emacs game
<adisbladis> etu: Holy crap that was over 10 years ago :O
<qyliss> I wish we would pay more attention to bootstrapping in Nixpkgs...
<etu> adisbladis: Yep, time flies!
<adisbladis> qyliss++
<nix-build> qyliss's karma got increased to 43
* srk just discovered eternal-terminal
<qyliss> I feel like some decisions I've seen made have been actively anti-bootstrapping
<qyliss> (although I can't put my finger on any right now)
<qyliss> It is my dream to bootstrap Rust
<adisbladis> Mmm... I looked in to that about a year ago
<qyliss> It's doable!
<adisbladis> I seem to recall having to use many stages
<qyliss> (Obviously, I suppose, because Guix does it)
<qyliss> Yes, the latest version you can build with mrustc is 1.29, and we're on 1.42 now
<adisbladis> mrustc -> rustc-someversion -> rustc-someversion+1 -> rustc-someversion+2
<qyliss> mrustc is occasionally updated, though, so it shouldn't expand infinitely
<adisbladis> To be clear: I still think it's worth it :)
<qyliss> Good :)
<qyliss> I'd also like non-bootstrapped packages to be clearly marked.
<qyliss> (Ideally I'd like there not to be any, but suspect that's not going to fly ;))
<andi-> I have such a rust bootstrap branch somewhere.. Did work on that before the new year.. Just never completed it as the feedback cycle was insane
<qyliss> The first big contribution I ever did to Nixpkgs I did gradually, with long nightly builds that sometimes wouldn't be finished when I woke up
<qyliss> (Building LibreOffice on Darwin)
<qyliss> andi-: I'd be happy to have a go at continuing if you were interested?
<andi-> yeah, I just have to revive that old laptop that I haven't touched since December :)
<qyliss> ahhh
<andi-> I think I only ported mrustc and did some experiments with how to wire it into the bootstrapping of rustc (on supported platforms)
* andi- revives the device
<eyJhb> Anyone in need of a new laptop? I might get my hands on three Lenevo E520
<Taneb> I wouldn't say no... but I don't really need a new laptop rn
<eyJhb> What do you currently use?
<Taneb> A thinkpad E485
<andi-> qyliss: https://github.com/andir/nixpkgs/commits/mrustc maybe that helps, I opened https://github.com/thepowersgang/mrustc/issues/132 while I was on the wrong track. I was dead sure I made more progress after that but I can't find a branch :/
<nix-build> thepowersgang/mrustc#132 (by andir, 15 weeks ago, closed): Boostrap for 1.29.0 fails with "Unknown flag --manifest-path"
<ashkitten> now if only someone was giving away a free vr headset
<ashkitten> :p
<andi-> I can give you a nice 3D environment tip ;)
<Taneb> Which is probably beefier than the E520...
<eyJhb> Taneb: a lot better than this then :p But I will reach out in here, once confirmed. I have my three x230 :D
<eyJhb> A lot. This is i5-2420M I think
<Taneb> I think of my laptop as not very powerful, because it was the cheapest thinkpad available new that wasn't a chromebook when I got it
<ashkitten> if only the oculus rift s worked on linux i could afford one next week...
<ashkitten> frankly the rift s is better for my needs than the other headsets that need base stations mounted on the walls
<eyJhb> What did it cost Taneb ?
<Taneb> £587.59 (more than I remembered!)
<adisbladis> Oh god I dread the day when I have to get a new laptop...
<Taneb> And then it took me a year to get graphics working on it with NixOS...
<ashkitten> why?
<adisbladis> ashkitten: Because laptop keyboards nowadays are universally crap
<adisbladis> The range used to be `OK <> crap`
<ashkitten> i have rsi so i think any standard keyboard is crap :D
<adisbladis> Now it's `crap <> supercrap`
<andi-> I just gave up on all of them unless I must leave the house. The XPS13 I have makes my fingers hurt after typing on them for half a day :/
<eyJhb> adisbladis: you should try my custom keyboard ;)
<eyJhb> Taneb but not much anyway :D
<adisbladis> My next "laptop" may be a tablet
<adisbladis> And I'll just lug around a keyboard
<andi-> I rotate between two versions of the kinesis and then I only ever have troubles after like a 2-3 weeks of daily typing
<adisbladis> At least I got the last laptop with an ok-ish keyboard..
<ashkitten> my dream laptop keyboard is a split ergo that folds out when you open the lid, pop-up book style
<ashkitten> if anyone has the engineering ability to make this happen lmk
<joepie91> ashkitten: I have seen this...
<ashkitten> WHAT
<ashkitten> show meee
<andi-> adisbladis: just wait another ~20ish years for the next anniversary edition?
<adisbladis> joepie91: <3
<ashkitten> thats not an ergo keyboard tho
<joepie91> it's like one step removed from it though :P
<ashkitten> siiigh
<adisbladis> andi-: That's gonna celebrate their chiclet ones....
<ashkitten> my search continues
<joepie91> so this seems at least useful as proof that it can be done
<adisbladis> andi-: At that point they've likely transitioned into full touch screen
<joepie91> and might actually be useful as a reference to create a derived design...
<andi-> adisbladis: yiieeks. NO
<adisbladis> That keyboard is sooo nice
<adisbladis> I wish they revived the 701c
<adisbladis> I don't care about thin or sleek
<adisbladis> Just gimme a tiny laptop with a big fat keyboard with niiice long travel
<joepie91> ashkitten: I vaguely recall having seen a mechanical schematic of that butterfly keyboard, fwiw
<joepie91> in the service manual for that laptop maybe?
<ashkitten> hm
<adisbladis> 701c == porn
<joepie91> yes :P
<adisbladis> Imo that's peak laptop
<etu> I've read that System76 is building new keyboards for their laptops where they split up the spacebar for example
<etu> and that the keyboard will run QMK
<etu> That's pretty neat to be a laptop keyboard tbh
<ashkitten> i'm gonna stop thinking about this rn. i've got too many things i want and not enough money, and frankly at the top of the list of things i think would be beneficial to my life atm is a vr headset
<qyliss> adisbladis: I'm just going to keep buying Thinkpad x220/x230s forever
<ashkitten> which is not possible anytime soon
<joepie91> ashkitten: what's your motivation for a VR headset?
<ashkitten> eh, don't really prefer to talk about it atm
<joepie91> okay :)
<joepie91> (was meant as a curiosity question for the record, not a critical one)
<ashkitten> no, it's just a jumble of personal reasons
<ashkitten> i don't like discussing life things in public channels
<joepie91> understandable
<qyliss> andi-: thanks :)
<eyJhb> qyliss: my man! That is the reason I have stashed all my x230s
<adisbladis> etu: But will they have a trackpoint ?
<andi-> qyliss: feel free to keep me in the loop. I think bootstrapping properly and sources builds vs just some random binaries is really important :)
<adisbladis> qyliss: I've been very tempted to get a 51nb...
<etu> adisbladis: Probably not
<adisbladis> etu: I'll never get a laptop without a trackpoint :/
<etu> adisbladis: Same here.
<adisbladis> Touchpads == race to the bottom lowest common denominator crap
<adisbladis> https://knome.org/
<adisbladis> This is the best thing ever
<etu> We need a package now ;D
<joepie91> oh man, the jumping-around Download button
<joepie91> I haven't seen that since dubious dynamicdriver/jskit scripts back in the early 2000s
<joepie91> dynamicdrive*
<joepie91> I can really appreciate how someone went through the effort of getting that page right accessibility-wise; alt text for the unicorn divider, graceful degradation without JS...
<adisbladis> Knome is the epitome of good UX
<MichaelRaskin> adisbladis: and lowest on the wrong dimension! I am pretty sure that a 90's touchpad I have used would be cheaper to continue producing than all the clickpad garbage. And they worked better.
__monty__ has joined #nixos-chat
<adisbladis> MichaelRaskin: Mine is relegated to being scroll only
<adisbladis> As in you can _only_ use it for scrolling
<joepie91> adisbladis: you know, the KNOME site is genuinely better than either the GNOME or the KDE site in terms of appeal to potential users :P
<MichaelRaskin> It's a waste that they just do a rickroll
<srk> this
<srk> it even works in surf! but rickroll is a fail as youtube says that they'll soon stop supporting this browser xD
<MichaelRaskin> Should have linked to suckless.org
<srk> !!
tilpner has quit [Quit: tilpner]
tilpner has joined #nixos-chat
<ashkitten> ugh, so much spam like `shared:WARNING: object /run/user/1000/emscripten_temp_ed51J9_archive_contents/unicorn-2c633bb3266f7fb6.unicorn.5651kjk1-cgu.0.rcgu.o is not valid according to llvm-nm, cannot link`
<ashkitten> i should go to sleep and not try to run my 253 byte demo on the web using probably multiple megabytes of webassembly
<ashkitten> web-kvm when
<ashkitten> (never, ash. that's incredibly silly}
<ashkitten> lol, the wrapper program is 10 megabytes stripped (compiled for native x86)
<srk> lol!
<srk> haha, yeah JSLinux was proly the first :D
<ashkitten> fun fact: my demo doesn't work in qemu because uh, idk. vbios emulation broken?
<ashkitten> works on every hardware i've tested though
<ashkitten> plus it works in dosbox
<srk> :) what it does?
<srk> :D cool!
<ashkitten> thanks
<ashkitten> anyway i'd like to get the wrapdvd rust program to work on emscripten, if anyone can make it work thatd be fantastic lol
<ashkitten> maybe i should just write my own extremely minimal x86 emulator for the wrapper
<__monty__> What does wrapdvd do and what's the use case?
<joepie91> (realdvd)
<joepie91> ashkitten: ha, nice
<__monty__> I'm not getting it.
<__monty__> Could someone explain the answer to that last question?
<__monty__> I always assumed stamping DVDs is much faster and therefore more cost-effective?
qyliss has quit [Quit: bye]
qyliss has joined #nixos-chat
<sphalerite> __monty__: no, https://github.com/ashkitten/realdvd
<__monty__> Ah >.<
<tilpner> If it takes more than 20min to count my zfs snapshots, do I have too many?
<tilpner> (What is it doing, that it takes so long?)
<gchristensen> it might be trying to calculate stats, how are you listing?
<tilpner> Hmm, I'll try adding -o name to zfs list
<tilpner> So now it's zfs list -t snapshot -o name
<gchristensen> how many do you have? :P
<tilpner> I don't know yet, it's still counting
<gchristensen> nice
<tilpner> When setting up syncoid, I may have neglected to configure the backup dataset
<tilpner> So there's no pruning or thinning out of any kind
<gchristensen> hehehe
<gchristensen> speaking of ZFS, https://docs.google.com/document/d/1C8AgqoRodxutvYIodH39J8hRQ2xcP9poELU6Z6CXmzY/edit#heading=h.py7id9h0zkvg is pretty cool w.r.t. O_DIRECT support
<tilpner> I guess we can add "thank you! nixos is better than pr0n!" to our list of recommendations
<gchristensen> what? hah
<tilpner> See #nixos
<gchristensen> amazing
<etu> That's a testimonial for the website :p
<tilpner> Haha, 19.09 has a newer Nix than 20.03
<makefu> these testimonials would've made an awesome april's fool prank on the front page
jfroche has joined #nixos-chat
<ldlework> i was having a nix vs guix thing
<ldlework> and the other person linked the modules for bash for both
<ldlework> lol neither were particularly impressive
<ldlework> from a "look how beautiful this is!" perspective
<makefu> ldlework: by chance you were not in the nixos telegram group?
<__monty__> Should make a joke 20.04 release.
<ldlework> makefu: i was not
<eyJhb> __monty__: are you still on the old laptop?
<__monty__> Yeah.
<eyJhb> What was the reason for it again?
<__monty__> Not having access to anything else?
<eyJhb> I just seem to remember you had something else, and then something happened
<__monty__> Oh, yeah, the T400 died :"(
<eyJhb> Oh right, how did it die?
<__monty__> Very dramatically.
<__monty__> It took a couple days.
<__monty__> Messing up the display.
<__monty__> Then disabling it completely.
<__monty__> And then not starting up anymore.
<makefu> ldlework: i left this group because of the ignorance of some people there with regards to pulling on the same side instead of fighting against each other.
<gchristensen> ouch
<ldlework> makefu: i just thought it funny that they tried to demonstrate how much more beautiful lisp is than nix and both were pretty bad
<ldlework> the lisp was just one huge function
<ldlework> i have no idea why lisp programmers do this
<ldlework> so much of the emacs lisp code is this way
<ldlework> you literally have one of the most refactorable languages that exists and there's just these monster blobs everywhere O_O'
<makefu> :D
<ldlework> i tried to argue that nix also has functions and you can refactor it too
<ldlework> but it seems like "package managers" and "standard libraries" are just immune to a refactored style
<eyJhb> __monty__: no power at all? :(
<__monty__> eyJhb: Nop
waleee-cl has joined #nixos-chat
<eyJhb> Poor little thing. I might be able to provide you with a new one if 1. Shipping isn't too much and 2. All goes well
<eyJhb> The E520 I mentioned above
<eyJhb> But no clue if you are interested in that __monty__
<joepie91> ldlework: I have the same frustration about JS. the language is so well-suited to writing good abstractions, and yet the majority of people just slap together some jquery spaghetti monster and never bother with it
<joepie91> in the case of JS I can explain it with "a lot of people coming from other languages, using JS because they are required to, not bothering to learn it properly and just importing their habits from elsewhere" -- but lisps don't have that excuse...
<__monty__> eyJhb: Don't worry about it. I can manage with a desktop I have.
<__monty__> I'd expect it to be more about the number of inexperienced people that write JS.
<eyJhb> __monty__: up to you :) I will have three of them around, two at least
<tilpner> gchristensen: So, uhm, I just canceled the counting :/
<gchristensen> wow
drakonis has joined #nixos-chat
<tilpner> 56294
edef is now known as edeg
edeg is now known as edf0
edf0 is now known as edef
cole-h has joined #nixos-chat
__monty__ has quit [Ping timeout: 256 seconds]
<colemickens> I'm pretty stumped. My Android wireguard clients connect to my nixos wireguard host and everything works fine. But iOS and Windows clients don't seem to route traffic properly.
<tilpner> Did you check their issue trackers?
__monty__ has joined #nixos-chat
<colemickens> All I can find is the ML and I haven't found anything for the past several months.
<colemickens> Closest I feel like I've been was some ipv4/ipv6 stuff, but even disabling ipv6 everywhere I could didn't help.
<tilpner> #wireguard would probably know more than #nixos-chat
Jackneill has quit [Remote host closed the connection]
Jackneill has joined #nixos-chat
<colemickens> Maybe, I know there are some folks here that tinker. I didn't really get anywhere with #wireguard and the Matrix room is dead.
<colemickens> I was told if it was working from Android that the server must be fine.
<colemickens> I don't really have iOS or Windows networking chops.
<tilpner> Perhaps ${"infi"+"nisil"} can help
<tilpner> (But probably not)
<__monty__> colemickens: Maybe danderson can help, they're with tailscale.
<colemickens> "tinker" was not the right word, heh
qyliss has quit [Quit: bye]
qyliss has joined #nixos-chat
<colemickens> networking is fun. think I can solve this a few ways at least now
<andi-> anymore opinions on? https://github.com/NixOS/nixpkgs/pull/83881
<nix-build> #83881 (by edolstra, 1 day ago, open): Revert "nixos: default `environment.homeBinInPath` to false"
<das_j> andi-: totally on your side. Encouraging impurities like that should be kept to a minimum by default
<ashkitten> ftr i had no idea that that option even existed so how would i know to disable it?
<andi-> mind commenting? I don't want to be the judge here.. I am simply drawing attention.
<ashkitten> i don't have any strong opinion either way
<__monty__> joepie91: Has the quarantine maybe given you time to work on a markdown/mdx port of the documentation? Since they're still looking for one, https://discourse.nixos.org/t/tweag-nix-dev-update/6525
lovesegfault has joined #nixos-chat
<joepie91> __monty__: unfortunately not, the quarantine hasn't really changed anything for me (other than having *less* time, relatively speaking). I have been considering recently to work on that though, but not gotten around to it yet
<__monty__> Ok, no problem. Just figured I'd ping.
<julm> tilpner: regarding the lack of pruning of your ZFS snapshots, are you using sanoid? if yes then it may be a consequence of a NixOS bug I reported yesterday https://github.com/NixOS/nixpkgs/pull/83904
<nix-build> #83904 (by ju1m, 18 hours ago, open): sanoid: fix sanoid.conf generation
<tilpner> julm: Yes, the snapshots are created by sanoid on the source host
<tilpner> julm: No, the snapshots on the backup pool are created by syncoid
<julm> well then check the generated sanoid.conf
<tilpner> And I'm using my own sanoid module, from before nixpkgs had one
<tilpner> :/
<julm> beware that syncoid won't delete the snapshots it has not generated
<julm> I'm therefore running a sanoid on the backup juste to delete old snapshots imported by syncoid
<julm> just*
<tilpner> Yes, I expect that, it often makes sense to keep a different set of snapshots on the backup host than on the live that
<tilpner> But I haven't set any snapshotting policies for the backup pool, because I had the space
<julm> 'k
<tilpner> julm: Thanks for trying to help :)
<julm> yw :]
<pie_[bnc]> adisbladis: mfw your domain is nixos.expert
jfroche has quit [Ping timeout: 256 seconds]
<gchristensen> how hard is it to create sha256's with a specific 12 byte hex prefix?
<cole-h> Not exactly sha256, but https://github.com/prasmussen/git-vanity-hash for an idea
<tilpner> gchristensen: What depends on it?
<gchristensen> hrm? :)
<tilpner> What will you do differently, depending on the answer?
<gchristensen> I want to craft a docker image where, when you pull it, it lists fetching many layers all starting with 666420666420
<cole-h> :D
<gchristensen> (I'm an adult yes, why do you ask)
<eyJhb> gchristensen: bruteforce?
<tilpner> That is simultaneously reassuring and disappointing c.c
<gchristensen> oh?
<eyJhb> Well.. Wonder how each layer is sha256. Because using the daemon will take forever
<gchristensen> yeah
<eyJhb> Damn it gchristensen ... Wanted to finish up my firewall project, but now I am curious
<gchristensen> hehehe
<tilpner> approx. 7.0537894E18 d + 20 h + 52 min + 18.079508 s
<gchristensen> sounds hard
<tilpner> I'm not sure I calculated the right value, but it's the message I meant
<tilpner> Of course, we don't know your budget
<tilpner> Maybe you can get a large nation to buy into this Docker image if you sell it right
<MichaelRaskin> Hmm. And people haven't even started trying to remotely exploit Zoom, right?
<tilpner> "gchristensen: Hey Packet, I have this super secret project, but you trust me, right?"
<gchristensen> I already hit my max of 100 m1.xlarge's ....
<cransom> 'i need to run this other client for a bit instead of foldingathome'
<MichaelRaskin> I think _one_ 420666 per layer (cheap enough) but a ton of layers will look impressive anyway
<gchristensen> lol
<MichaelRaskin> I guess a remote exploit would leave Zoom above Sony rootkit in the hall of indelible shame; a virus exploiting Zoom holes locally for rootkit aims might be enough to reach parity, though.
<__monty__> tilpner: How did you get to that figure?
<tilpner> __monty__: Incorrectly, and then by finding the sha256 hashrate of any tesla gpu, because graham has (had?) one of those
<gchristensen> I have 1 and had 2 K80's and one K40 but I'm going to pretend I have 0 because I don't want to buy another new computer
<__monty__> Aiui, gchristensen is looking for a (partial) preimage attack. Which when brute-forced takes 2^n evaluations of the hash function, where n is the number of bits in the hash, in this case 12. 2^12 = 4096 evaluations. So depending on the size of what's hashed this sounds like a very feasible attack.
<gchristensen> a layer can be very small :)
<MichaelRaskin> gchristensen: also, are you sure they did not get critical damage anyway?
<tilpner> __monty__: 12 bytes, not bits
<gchristensen> MichaelRaskin: I'm not sure! it is quite possible they didn't
<MichaelRaskin> __monty__: 12 bits or 12 nibbles
<gchristensen> but I only plugged 2 in at the time, so at a maximum 1 is dead
<gchristensen> but I only plugged 1 in at the time, so at a maximum 1 is dead
<MichaelRaskin> Ah
<__monty__> Ah, right. That's a very different number : )
<tilpner> MichaelRaskin: Yeah, "a hex prefix that is 12 bytes long" or "a hex prefix for 12 bytes"
<tilpner> Not sure which was meant
<tilpner> Though the example suggests the former
<tilpner> In which case you're right, it's only 6 bytes
<adisbladis> pie_[bnc]: :D
<eyJhb> gchristensen: I want to create a 2*127 message and use the first 4 bytes as the message now
<eyJhb> `aad63a933944: Pull complete `
<eyJhb> 12 bytes for me
<__monty__> If it's nibbles bruteforcing'd still take 35k years : /
<tilpner> __monty__: With which hashrate?
<__monty__> 256 hash function evaluations per second.
<tilpner> That seems doable now
<tilpner> where "many" has the value of 2
<tilpner> As in, less than three days per layer, if the layers can be small enough
<MichaelRaskin> Small enough as in too small to have enough options to get a desired 12-nibble hash prefix?
<tilpner> (Probably still entirely wrong though)
<__monty__> I took the MB/s on an Ivy lake CPU from wiki and assumed 1MB for a layer was reasonable.
<MichaelRaskin> I think you could hash _most_ of the layer, then change a small piece in the end of the layer file
<MichaelRaskin> Put hash extension attacks to a good use!
<eyJhb> MichaelRaskin: that is the best way. But how the layer is hashed and what needs to be included is also important
<eyJhb> If I was a faster typer I could do more
jfroche has joined #nixos-chat
aminechikhaoui has quit [Quit: Ping timeout (120 seconds)]
aminechikhaoui has joined #nixos-chat
tilpner has quit [Read error: Connection reset by peer]
tilpner has joined #nixos-chat
<gchristensen> "The Massachusetts Nurses Association – the state’s largest nurses’ union – says almost 100 nurses at BMC are under quarantine for potential exposure to the virus, not all of whom worked in direct contact with COVID-19 patients."
ekleog has quit [Quit: WeeChat 2.7.1]
ekleog has joined #nixos-chat
leah2 has joined #nixos-chat
aranea has joined #nixos-chat
<cole-h> Trying to `nix-shell -p rabbitmq-server` starts me on a path to rebuild erlang 22.3, even though I set `nixpkgs-overlays=/var/empty` and the rabbitmq-server 3.8.3 build succeded :')
<kraem> just switched from font hack -> isoevka, how refreshing :)
<cole-h> Similar situation here, just switched from JetBrains -> Iosevka
rardiol has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
<kraem> don't know if it's because isoevka term's width is smaller or what it is but everything feels so crisp
<joepie91> whoop, I've further simplified the `through` construct in my query builder / relation thingem project: https://gist.github.com/joepie91/692e12c595e64917ed7221dd4e1499c1?ts=4#file-js-L32-L39
<__monty__> You guys like weird fonts.
<__monty__> Those are all so tall and narrow.
<__monty__> "Fit more *columns* on your screen?" Who even wants more columns? Lines is where it's at.
<cole-h> __monty__: tbh I'd be happier if Iosevka was a little wider
<cole-h> But I like that it's so dang configurable
<cole-h> The dotted zeroes in JBMono were bothering me (among other things). I prefer them slashed.
<kraem> cole-h: just dipped my toe in the rabbit whole of configuring isoevka and there seems to be an 'extended' version with more width
<__monty__> No fans of DejaVu?
<kraem> love deja vu for gui stuff
<cole-h> Same problem: dotted zeroes make me angry >:(
<cole-h> kraem: 👀 Really now
<__monty__> But cole-h, slashed 0's look so much like ∅
<cole-h> I don't use/speak any languages that use that, so I don't mind ^^
<__monty__> cole-h: You don't speak math? 🤨
<cole-h> Not typically :^)
<cole-h> kraem++ `Iosevka Custom Extended` looks very nice, thanks for informing me!
<nix-build> kraem's karma got increased to 1
<pie_[bnc]> > Iosevka is a monospace programming typeface, built declaratively using custom typeface generation software
<nix-build> error: syntax error, unexpected ',', expecting ')', at (string):293:44
<pie_[bnc]> huhhhh
<cole-h> It's already packaged, with a way to customize it :)
<kraem> cole-h: yay, thanks for the first karma 😊
rardiol has joined #nixos-chat
manveru_ has joined #nixos-chat
mog- has joined #nixos-chat
__monty__ has quit [Quit: leaving]
mog has quit [*.net *.split]
manveru has quit [*.net *.split]
manveru_ is now known as manveru
mog- is now known as mog
<gchristensen> thank god finally
<cole-h> 66.5k closed PRs exactly
<gchristensen> woo
<cole-h> ,tell __monty__ btw Iosevka has a 0 that looks different from empty set: cv93 https://i.imgur.com/41wE4Fg.png
<nix-build> cole-h: I'll pass that on to __monty__
jfroche has quit [Remote host closed the connection]