<IdleBot_6d92ac96>
pie_: re: typed ABI… what counts and what does not for you? Does Lisp Machine or maybe Smalltalk or maybe Oberon count? Does internal quasi-OS of planets in the old Bussard instantiation count (it is all on top of Lua; technomancy dropped it and started a rewrite in Fennel and… crickets)
<IdleBot_6d92ac96>
For a currently developed Common Lisp OS, Mezzano boots in Qemu…
<pie_>
fwiw theres an irc channel though ircnet is a bit of a pain to connect to
bqv has quit [Quit: WeeChat 2.9]
bqv has joined #spectrum
bqv has quit [Quit: WeeChat 2.9]
bqv has joined #spectrum
bqv has quit [Client Quit]
bqv has joined #spectrum
tilpner has joined #spectrum
bqv has quit [Quit: WeeChat 2.9]
bqv has joined #spectrum
<hyperfekt>
"cortex m3" most likely an sc300, classic
<hyperfekt>
wait or is it not
<hyperfekt>
i'm reading stuff about epoxy etc?? is this just a betrusted that's half as good?
<hyperfekt>
or maybe better put as 'betrusted' but near term lol
<hyperfekt>
okay so the sc300 is a cortex m3 AND a secure element so i really don't get the FAQ of this project
<hyperfekt>
basically the redeeming feature is that this thing is waterproof so i can put it in a holster i wear under my clothes and keep it there all the time
<hyperfekt>
like it makes sense to have a screen and keyboard on a device that stores the passwords but it's insanely hard to do so well
<pie_>
im relaying messages back and forth so meh but;
<pie_>
also translating
<pie_>
<stf> and also costs about 5x as much
<pie_>
<stf> betrusted is kinda pitchfork v2.0
<pie_>
<stf> and its not much more trustworthy hw-wise es kozben nem sokkal biztonsagosabb hw-ileg a betrusted
<pie_>
s/es kozben .*///
<hyperfekt>
i would agree that the betrusted isn't MUCH more trustworthy than a pitchfork but still very significantly so. the I/O matters
<hyperfekt>
i think the x5 price is a precursor thing
<pie_>
being asked what is an sc300
<hyperfekt>
arm securcore 300. basically a cortex m3 but with the usual smartcard ic tamper-resistance
<hyperfekt>
available as st33 for example
<pie_>
in your pocket." - e.g for key exchange or whatever and the button presses cant be physically observed, iirc that was the point there
<pie_>
"both are exceptional. pitchfork pro: anyone can put it together right now at home, cheap, everthing is public. betrusted pro: much more profesisonal box, fpga, fancy crypto instructions in ISA - contra much more expensive. everything else is approx the same, well, the betrusted has a bigger display and its keyboard being like that is a matter of taste, but imho the guitarhero chording input of the pitchfork is better if you want to unlock it
<hyperfekt>
i think they're confusing the betrusted with the precursor
<hyperfekt>
indeed, the main advantage seems to be: it's here now.
<hyperfekt>
which probably also biases towards an unprotected chip because the st33 is much harder to get and thus you can't put your own together
<pie_>
re sc300 "ah, well if you want the nda and totally closed smartcard experience. but this isnt part of the thread model, the device is designed to provide its guarantees only if you maintain constant physical contact. "
<hyperfekt>
yeah, i think that's the crux here
<hyperfekt>
could be made a tad more explicit
<hyperfekt>
when i read about potting and disabling pins etc i think it wants to be able to do more than that
<hyperfekt>
but also i have bad reading comprehension lol so that might be partly to blame
<pie_>
iunno my basic premise for all this stuff is i just assume im retarded
<hyperfekt>
lmao that's admirable
nicoo has quit [Remote host closed the connection]