<rqou>
why is seemingly everybody talking about those weird creepy kids videos recently?
<rqou>
sure, it's weird, but so what?
<rqou>
welcome to the internet
<Bike>
because there was a long article about how welcoming kids to the internet that way might not actually be cool
<rqou>
i believe i read that article, and none of the example videos were really that disturbing?
<rqou>
sure, it's weird and abusing the ad system, but ¯\_(ツ)_/¯
<qu1j0t3>
rqou: it hit all the memetic buttons i guess. i haven't bothered to read it.
<rqou>
yeah i guess
<rqou>
there seems to be a lot of exaggerated(?) claims of "this is abusive!!!111oneone"
<jn__>
tl;d*: sociopolitics is hard
teepee_ has joined ##openfpga
teepee has quit [Ping timeout: 248 seconds]
teepee_ is now known as teepee
<qu1j0t3>
it has the whiff of TEDtalk Important Insight.
digshadow has quit [Ping timeout: 248 seconds]
Bike has quit [Quit: Lost terminal]
digshadow has joined ##openfpga
<cyrozap>
Anyone here know of any register documentation generators? I'm looking for something better than "just a poorly formatted text file", that can maybe generate a PDF/HTML document. Also, it needs to be FOSS for obvious reasons ;)
<azonenberg>
cyrozap: arm has a standard that's XML based if memory serves me right
<azonenberg>
But i have not used it myself
<azonenberg>
i cant remember the acronym
<azonenberg>
i have my own Doxygen based syntax i use in Antikernel projects but this is for remote procedure calls, not registers
<azonenberg>
since antikernel doesnt really use register based interfaces for things
<awygle>
TI has an SVD analog as well, if that's the kind of thing you're looking for
<azonenberg>
I think i may put my timing characterization work on hold until i have time to do more starshipraider stuff
<azonenberg>
i feel like time delay measurements would fit very nicely as a starshipraider instrument
gnufan has joined ##openfpga
m_t has joined ##openfpga
Hootch has joined ##openfpga
pie_ has joined ##openfpga
qu1j0t3 has quit [Ping timeout: 246 seconds]
qu1j0t3 has joined ##openfpga
<pie_>
awygle, the fuck lol: " Common Criteria's highest evaluation level (EAL7) requires formal refinement proof down to low-level design model only, with informal links between the model and the source code, and no requirement to verify compilation correctness. " https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf "Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations" >_>
<pie_>
btw are there any 100% formally verified processors on the market?
Bike has joined ##openfpga
teepee has quit [Ping timeout: 252 seconds]
teepee has joined ##openfpga
eduardo_ has joined ##openfpga
eduardo__ has quit [Ping timeout: 248 seconds]
teepee has quit [Ping timeout: 240 seconds]
teepee has joined ##openfpga
Hootch has quit [Quit: Leaving]
ZipCPU|Laptop has joined ##openfpga
<awygle>
ugh i hate the web. "this library only uses the username and password you EXPLICITLY GAVE IT if the web page returns a 401 BUT NOT A 403. hey what's the difference again? OH THERE'S NO BROAD AGREEMENT GREAT"
nrossi has quit [Quit: Connection closed for inactivity]
<qu1j0t3>
well.
<qu1j0t3>
i'm not aware of any confusion on that point
<qu1j0t3>
403 means forbidden and there's no point in retrying. 401 means you need to supply authorisation.
<qu1j0t3>
(if you go ahead and supply authorisation, you might then receive a 403 of course.)
<awygle>
jenkins, specifically, returns a 403 for an unauthorizeed user
<awygle>
i assume because "anonymous" is a valid user, and just doesn't have permissions to (in this case) install plugins
<awygle>
err. unauthenticated user.
Hootch has joined ##openfpga
Hootch has quit [Quit: Leaving]
cr1901_modern1 has joined ##openfpga
cr1901_modern has quit [Ping timeout: 240 seconds]
ZipCPU|Laptop has quit [Ping timeout: 248 seconds]