<matthewcroughan>
They're out of stock, hence the price.
<gchristensen>
I caused a lot of problems once by having unlimited authority to spend money in a marketplace where they marked things as out of stock if the price was 100x usual price
<MichaelRaskin>
Hm. I wonder if «dropping priority rules for J&J» in Germany means anything, given that they currently only allow it for 60+, and hopefully anyone in priority group 60+ & extra conditions have had a chance to get some vaccine by now, let alone by the first shipment of J&J.
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-chat
<philipp>
At this point I'm just confused what vaccine is meant for whom here.
<Taneb>
I'm reasonably confident that right now, none are meant for me
rj has quit [Ping timeout: 240 seconds]
<hodapp>
come to the US, we've enough people that are convinced it's either a giant hoax or 'just the flu' that a lot of areas have huge surpluses of the vaccines
endformationage has joined #nixos-chat
rj has joined #nixos-chat
<philipp>
Oh, we also have a fair bunch of those people.
<adisbladis>
hodapp: Someone told me that you can just go to the US and they don't even check if you're a citizen or anything
<adisbladis>
Just handing out vaccines
<hodapp>
adisbladis: in my own state the checks done were pretty minimal
<adisbladis>
That's a good thing I think
<adisbladis>
Imagine if illegals couldn't get vaccinated
<hodapp>
the place I went to was mostly volunteer-run and they were far more interested in making sure vaccines didn't expire and go to waste
<hexa->
lmao here they seem to verify you are actually living or working nearby
kini has joined #nixos-chat
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-chat
rj has quit [Remote host closed the connection]
rj has joined #nixos-chat
philipp has quit [Remote host closed the connection]
philipp has joined #nixos-chat
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-chat
rj has quit [Ping timeout: 240 seconds]
cole-h has joined #nixos-chat
rj has joined #nixos-chat
<samueldr>
here you don't need to be under the ("state") medical insurance either
<supersandro2000>
> this vulnerability has no real-world implications
<{^_^}>
undefined variable 'this' at (string):494:1
<__monty__>
That's obviously what someone actively exploiting a CVE would say!
<hyperfekt>
i'm sure some bank still runs on that
<hodapp>
only if mainframes & COBOL run it
<hodapp>
can tell you at least one large bank is still on mainframes for near everything, as my wife works at one and I've seen her screen from time to time
<gchristensen>
how many ping pong balls (40mm diameter) do I need to fill a ~30cm x ~60cm x ~100mm space?
<samueldr>
gchristensen: no
<gchristensen>
okay :(
<samueldr>
packing problems are forbidden
<joepie91>
lol
<gchristensen>
does it help that they're floating in water and I can buy in quantities of 12?
<samueldr>
I'm saying this as, according to maths people, these are hard problems
<gchristensen>
that is why I'm asking some of the smartest people I know! :)
<samueldr>
like writing important papers problems
<samueldr>
though since it's spheres
<hodapp>
pretty sure optimal packing with spheres is known
<samueldr>
those might be kind of solved
<samueldr>
but then "floating in water" might be causing issues?
<hodapp>
then you just apply a fudge factor for edges and imperfect packing, and call it done
rj has quit [Ping timeout: 240 seconds]
<gchristensen>
hodapp: so how many? :)
<hodapp>
is your space definitely 100mm high, not 100cm? as you switched units at the end
<gchristensen>
100mm
rajivr has quit [Quit: Connection closed for inactivity]
<MichaelRaskin>
How rigid you want the packing to be?
<MichaelRaskin>
samueldr: for identical spheres you can just take the canonical optimal packing though?
<samueldr>
MichaelRaskin: probably, you can probably model it off or cows
<gchristensen>
hah
<philipp>
I have a terrible unmathematical solution: Best you can hope for is apparently 74% volume filled. You have 18000cm^3 volume and one ball has a lolume of 33.51cm^3 so 18000/(0.74*33.51) = 725 is your upper limit.
<samueldr>
but still, your follow-up question shows why it should be forbidden! it's a hard problem! :)
<MichaelRaskin>
I am not sure if three layers will fit well
<philipp>
Or I might be way off. I just hope that some mathematician sees this and cringes really hard.
<gchristensen>
I don't know if it was on purpose, but I like the idea of "lolume" for seat-of-the-pants estimates
rj has joined #nixos-chat
<hodapp>
so your area is 30*60*(100/10)=18000 cm^3, a ping-ping ball is pi*((40/10)/2)^3 ~= 33.5 cm^3; theoretical limit is that 0.74048 of your space volume is usable, thus 13,328.6 cm^3, or ~397.87 ping-pong bolls
<MichaelRaskin>
philipp: not really an upper limit because three layers
<hodapp>
philipp: I believe you divided the volume by the 0.74, not multiplied
<hodapp>
then take my answer and do +- 50% because it pertains to the real world
<hodapp>
just buy 1000 ping-pong balls and do something with the rest
<gchristensen>
tragically I don't have a budget for so many, I'll use soda cans instead
<MichaelRaskin>
Are you sure you cannot get smaller balls? I think I have seen a lot of various toy marble-sized stuff of empty plastics
<gchristensen>
(or time to wait for delivery)
<hodapp>
fill it with bitcoins instead
<MichaelRaskin>
But sounds like a usecase for a can of building foam
<MichaelRaskin>
Not sure how it is properly called in English
<gchristensen>
building foam works for me
<philipp[m]>
hodapp: yes, you are right
<gchristensen>
thanks for the help y'all :) I'll have to budget for 400 ping pong balls for next month :P
<hodapp>
just use golf balls
<hodapp>
you can get them free if you know where to look
<gchristensen>
haha
<joepie91>
I am simultaneously concerned and intrigued
waleee-cl has joined #nixos-chat
<MichaelRaskin>
What is the desired property set of this filling?
<abathur>
if it is a contest, crush them first
<gchristensen>
providing some insulation, catch evaporation and let it drip back in to the hot water bath I'm cooking pulled pork to be in
<matthewcroughan>
Tvix is the Draculian fork of Nix.. intersting.
<das_j>
> In addition, the upstream Nix project is diverging from the opinions of some community members via the introduction of concepts such as Nix flakes.
<{^_^}>
error: syntax error, unexpected ',', expecting ')', at (string):494:12
<lovesegfault>
Any ideas on how to stress test a TCP server that speaks a custom protocol?
<lovesegfault>
I basically just want to send a bunch of messages and see what happens
<lovesegfault>
limitation: the client sending the data needs to be reading & dumping responses
<lovesegfault>
(I want to test the codepath for when clients _aren't_ too slow
<infinisil>
lovesegfault: Generate a buttload of semi-random byte streams?
<infinisil>
Or are you asking more concretely what tools to use for that?
<lovesegfault>
infinisil: Yeah, asking about tooling
rj has joined #nixos-chat
<lovesegfault>
like, I can write code to do this, but I'm sure something exists?
<lovesegfault>
I looked at tcpkali, but it won't listen for replies
<MichaelRaskin>
socat from whatever generator to /dev/null?
<infinisil>
lovesegfault: I'm thinking that since you have all your types represented in your program already, it shouldn't be too hard to create some random generators for those types and turn them into bytestreams
<infinisil>
That's probably what I'd do
<lovesegfault>
I extracted the main handle_client(state: State, stream: TcpStream, addr: SocketAddr) function that gets called when a user connects and hooked it up to afl for fuzzing
<lovesegfault>
but I figured it be nice to also test the server as a whole
<andi->
aflnet then. Not sure how nicely that integrates. I got it to run once after heavy refactoring of some tool.
<__monty__>
Either ping pong balls are tennis ball sized nowadays or cms have shrunk. 33 cm^3 in a ping pong ball?!
<MichaelRaskin>
Cubic centimeters are pretty small, though
<MichaelRaskin>
30 ping-pong ball for a liter of pure-ball volume
rj has quit [Ping timeout: 240 seconds]
<samueldr>
reminder that 1cm³ is 1ml
<joepie91>
human brain just cannot third dimension
<samueldr>
since I can't shut up about booting on ARM, I wrote some words
<samueldr>
and did some things
__monty__ has quit [Quit: leaving]
<elvishjerricco>
samueldr: Very nice. So if you put it in SPI flash, then the board basically becomes a normal UEFI system?
<samueldr>
yes!
<elvishjerricco>
That sounds so very nice
<elvishjerricco>
Also, what is SPI flash? Is it like nvram or something?
<samueldr>
while I might sound like a broken record... yes!
<samueldr>
SPI flash is a common misnomer for a form of SPI addressable storage
<samueldr>
nvram sometimes is stored similarly
<samueldr>
AFAIUI they're all a family of terminology that is wrong and right
<elvishjerricco>
Does the rpi4 have anything like that to put this on? Making my cm4 use UEFI sounds cool
<samueldr>
the main thing to understand from it is that it's a dedicated location for the firmware, separate from the storage where your operating system and data lives
<samueldr>
elvishjerricco: you could install Tow-Boot to it
<samueldr>
but it only can use the "shared media" strategy
<samueldr>
ahh poo! forgot to upload a release
<elvishjerricco>
So there's no on-board place to store it? I'd have to put it on external media?
<samueldr>
not on the Raspberry Pi family
<samueldr>
not sure about CM
<samueldr>
"external" not necessarily, eMMC (for some CM4) or SD card
<elvishjerricco>
samueldr: There is some firmware stored on an eeprom that can be updated by the user. Is it possible to put tow-boot there?
<samueldr>
if the CM4 is like the Pi 4 family, no, it's used for their own things, and way too small
<elvishjerricco>
got it
<elvishjerricco>
makes sense
<samueldr>
not really
<samueldr>
they could have done away with their awful boot chain
<hodapp>
is this enough EEPROM to just stick in something that behaves like a normal bootloader?
<hodapp>
e.g. u-boot
<samueldr>
the issue is that all the files you put on the FAT32 partitions needs to be available for the board to behave
<samueldr>
and the program they put in that EEPROM is basically the firmware for USB, and the minimum required code to read that FAT32 partition on either SD or USB
<samueldr>
(a bit more, since it also is used to show a minimal user interface for reporting status)
<samueldr>
it would be enough for U-Boot if it wasn't for all those support files required
<hodapp>
I guess it'd help if I had any clue how large u-boot is...
<clever>
hodapp: the eeprom on the pi4 is 512kb, the official start4.elf is 2.2mb, u-boot is another 2.6mb
<samueldr>
U-Boot's size is really variable
<clever>
have fun getting over 4mb of data into half a mb of flash
<samueldr>
Tow-Boot (so with more than bare U-Boot) is 610K for the pi4
<clever>
when using the official firmware, you must rely on the closed start4.elf stage, so that stage is your first problem
<clever>
-rw-r--r-- 1 clever users 777K Mar 15 09:02 start4cd.elf
<clever>
oh wait, wow
<samueldr>
but U-Boot (and thus Tow-Boot) assumes the official boot chain initialized a lot of things
<clever>
this is the "cut down" firmware for the pi4
<clever>
that almost fits!
<hodapp>
huh
<samueldr>
clever: don't forget the EEPROM must hold what already is in the EEPROM too
<clever>
samueldr: yep, *looks*
<samueldr>
which AFAIUI now includes the VLSI thing firmware
<clever>
> 61.0 + 3.8 + (21 * 8)
<{^_^}>
232.8
<clever>
samueldr: prior to that vl805 being added, you had 232kb of firmware
<samueldr>
I intend to produce better documentation
<samueldr>
as in, a site with the rendered docs
<samueldr>
I also intend to ship a README.html file within the tar archive that explains things
<clever>
hodapp: a second problem with custom firmware in the spi flash, is that the 1st-stage loader (brings ram up, loads second stage) cant load the 2nd-stage from spi
<clever>
hodapp: so, i cant just make a custom smaller 2nd-stage, i have to start with a custom 1st-stage
lunc has quit [Ping timeout: 246 seconds]
lunc has joined #nixos-chat
supersandro2000 has quit [Killed (verne.freenode.net (Nickname regained by services))]