gnufan has quit [Quit: Leaving.]
pie_ has quit [Ping timeout: 240 seconds]
<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> You're talking about SVD
<azonenberg> Yes
<awygle> I am interested in what you come up with
<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]
cr1901_modern1 is now known as cr1901_modern
m_t has quit [Quit: Leaving]
gnufan has quit [Quit: Leaving.]