log☇︎
12900+ entries in 0.105s
asciilifeform: mircea_popescu: what sorta switches are you thinking of ? if it's ye olde DIPs, nobody cancelled'em, they're maybe a dime for a block of 8, and look today exactly as you remember then from yer 286
a111: Logged on 2018-10-27 18:32 mircea_popescu: asciilifeform no, don't you remember this thing ? some dood went off deep end, that there's a cvasi-magical virus in his usb stick. cca 2015 vintage logs
asciilifeform: mircea_popescu: http://btcbase.org/log/2018-10-27#1866787 << for the record >> http://trilema.com/2013/badbios-aka-badlydonedamagecontrol/ ☝︎☟︎
asciilifeform: mircea_popescu: needs diddled bios + the crown jewels of intel/amd, to diddle microcode (intel's is rsa'd, amd's simply obscure/undoc'd) , and if yer diddling bios can make much simpler trap. but yes, would work
asciilifeform: mircea_popescu: not meritless, but not a weapon, toy store water gun, is the idea.
asciilifeform: mircea_popescu: yes i recall very well. this one is genuine, tho, but one half of a rigged academi-demo, requires ~their~ microcode patch
asciilifeform: mircea_popescu: piltdown man
lobbesbot: mircea_popescu: 0.824016563118
asciilifeform: mircea_popescu: linked item alleges that if one divides 0xa1a2a3a4 by 0xb1b2b3b4 on x86, triggers magic nsa hole.
|\n: hello, was wondering if you've heard anything about this in particular https://webcache.googleusercontent.com/search?q=cache:https://github.com/RUB-SysSec/Microcode/blob/master/ff_div/fx_payload_exec_linux32_fx_50.0_set_eip.html
asciilifeform: mircea_popescu: i view block ciphertrons as a 'slightly better than nuffin' kind of tech -- would slightly rather lose a serpented disk to enemy than naked one; but that's about it
a111: Logged on 2018-10-26 16:08 asciilifeform: mircea_popescu: in re these lulz, at one point asciilifeform dug for 'anybody ever verilog-ified serpent?' and found a stack of 'papers'. any src ? mno. but plenty of 'discussion' of supposed 'implementation', in the traditional nadia henninger style .
asciilifeform: mircea_popescu: grr, typo, ~65~ not 25
asciilifeform: if i were baking asic ( not sure why anybody would blow 'orbit' moneys on serpent asic, but for the sake of arg ) would unroll the sbox invocation the way it is unrolled in the pc serpent diana_coman is using, there'd be no reason not to have 128 or what, independent copies. but in the tight space of ice40 this is out of the question.
asciilifeform: mircea_popescu: as in, whether it actually sboxates at the stated 25MHz ? notyet, gotta write a serial i/o thing for it, to do this. possibly later today.
asciilifeform: mircea_popescu: observe also that the sbox mechanism is 'bitsliced' (i.e. the bits move only 'vertically' there ) so potentially it can be shrunk at expense of speed . so the real puzzler isn't 'does serpent fit', it can almost certainly be shoehorned, but 'with how little/much unrollage' i.e. what resulting eating bitrate.
hanbot: mod6, ben_vulpes, et al: nicoleci sent 31 emails (as per http://btcbase.org/log/2018-10-13#1861765 ) to various news outlets last night, and will report any replies here. i expect more mail to go out this week, will update. ☝︎☟︎
a111: Logged on 2018-10-27 01:49 mircea_popescu: http://btcbase.org/log/2018-10-26#1866669 <<< this statement is too general. "which one has the largest first octet". that's it.
BingoBoingo: <mircea_popescu> BingoBoingo it was just a throway oneliner ic ame up with while walking off a steak, sadly no more there. << AH, I though maybe Tess Hollandaise died of excess mass and had been replaced as leader of the hamplanets by a younger, dumpier model
Mocky: mircea_popescu, do you have any interest in kuwait? if so I can keep this lead warm on the back burner while I work qatar
a111: Logged on 2018-10-26 21:09 diana_coman: basically "which one has a higher octet first if I walk them from left to right?"
a111: Logged on 2018-10-26 21:02 diana_coman: asciilifeform, I guess mircea_popescu has a point: one can choose just *what* has to go through the MPI swamp and what not
asciilifeform: it was a terrifing thing, i ran away from it. and buggy, also, per diana_coman's dig, and i'm not even convinced that we know the full extent of the buggism.
a111: Logged on 2018-10-26 20:57 diana_coman: mircea_popescu, uhm...no/
diana_coman: yes, c_wrappers that I wrote have a wrapper for precisely that mpi_compare thing among other stuff
diana_coman: asciilifeform, it even has mpi_compare
diana_coman: asciilifeform, it shits a shit: there is get_mpi_buffer and set_mpi_buffer that theoretically do that
asciilifeform: diana_coman: until you wrote the recent piece, i actually forgot that mpi ~didnt~ shit out ordinary octet arrays as-supplied
diana_coman: asciilifeform, I guess mircea_popescu has a point: one can choose just *what* has to go through the MPI swamp and what not ☟︎
asciilifeform: diana_coman: out of curiosity -- given what mircea_popescu said the other day re necessary speed of rsa ops, could potentially use the current (11) ffa ?
diana_coman: mircea_popescu, uhm...no/ ☟︎
mircea_popescu: diana_coman http://ossasepia.com/2018/10/25/smg-comms-chapter-4-c-wrappers-for-rsa-and-mpi/#selection-45.2-45.209 << couldn't just test top bit ?
a111: Logged on 2018-10-26 17:24 mircea_popescu: well, so in actionables : probably dusting off vdhl worth your time, see how it feels. possibly baking serpentdisk worth your time, tho at this point seems kinda soso.
asciilifeform: ( iirc there was an extended mircea_popescu piece re subj, but i cannot nao recall which )
a111: Logged on 2015-04-13 14:59 mircea_popescu: nubbins` for the record, traditional (european) cooking happened around this large flat table of very thick oak
asciilifeform: mircea_popescu: even the fundamental shit-into-toilet-not-pants of 'run gedankenexperiment before actually building' seems to be going away in heathendom
BingoBoingo: <mircea_popescu> with all the "coc" bs, i suspect ~0 white men remaining who even know how to run a technical discussion, or ot what end it is done. << Just gotta make the definition of "white men" more inclusive like the FBI is doing
asciilifeform: mircea_popescu: classical serpent eats 256bit key. but ( as illustrated in http://ossasepia.com/2018/02/22/eucrypt-chapter-11-serpent/ ) eats/shits 16 byte payload blox as it goes; a 4096 byte flash sector would need 8 of these, plus i suspect a 9th for the block # ( see earlier re 'known plaintext'ism etc )
asciilifeform: ( the https://blog.filippo.io/content/images/2015/11/Tux_ecb.jpg one )
asciilifeform: mircea_popescu: two block sizes ?
asciilifeform: mircea_popescu: in re the disk thing ? depends entirely on the serpentron. so open q.
asciilifeform: mircea_popescu: they're sorta fundamentally immiscible, verilog is not a procedural/algorithmic lang
a111: Logged on 2018-10-26 16:08 asciilifeform: mircea_popescu: in re these lulz, at one point asciilifeform dug for 'anybody ever verilog-ified serpent?' and found a stack of 'papers'. any src ? mno. but plenty of 'discussion' of supposed 'implementation', in the traditional nadia henninger style .
asciilifeform: mircea_popescu: nope, as in fact noted in the head of thread, http://btcbase.org/log/2018-10-26#1866343 ☝︎
asciilifeform: mircea_popescu: then errybody who likes it, pulls their roms and writes in ~that~ , neh.
asciilifeform: if mircea_popescu's pov was 'symmetric iron disk is worse than nuffin cuz symmetric ciphers are hokum' -- i'll buy
asciilifeform: mircea_popescu: nobody's even yet invented an approach to investigating strength of symmetrics. (only weakness)
asciilifeform: it is a kind of 'escherian', as mircea_popescu likes to describe, object.
asciilifeform: mircea_popescu: i suspect that there will not be a 'civilized' symmetric cipher, i.e. item with less voodoo flavour to it than 'serpent'
asciilifeform: mircea_popescu: symmetric crypter doesn't win from massive arithmetron tho
asciilifeform: mircea_popescu: i see plenty of merit in iron bignumtron, sure
asciilifeform: this was actually mircea_popescu's idea, originally, it was orig part of the cardano cocktail.
asciilifeform: mircea_popescu: in re these lulz, at one point asciilifeform dug for 'anybody ever verilog-ified serpent?' and found a stack of 'papers'. any src ? mno. but plenty of 'discussion' of supposed 'implementation', in the traditional nadia henninger style . ☟︎☟︎
asciilifeform: mircea_popescu: modern academitard 'publishing' is usually of the http://btcbase.org/log/2018-10-04#1857920 sort ☝︎
asciilifeform: relatedly, i've written a working replacement for Bounded_String .
a111: Logged on 2018-01-05 01:03 asciilifeform: mircea_popescu: the secondary stack thing worx correctly in modern-day gnat. but i banned it. ( because it makes reading disasmed binariolade harder; reasoning about the semantics of the latter -- also harder; and consumes very scarce, on small embedded chips, memory , imho needlessly )
asciilifeform: diana_coman: i happen to know that i'm not the only one who swore off secondarystack -- the 1990s space probes folx did also. but unsurprisingly they never published anyffing re how they filled the resulting cavity in functionality. ( at least they did not have to deal with linux kernel, afaik, ran on bare iron , so no To_C etc horrors )
asciilifeform: mircea_popescu: 'patch' is not the applicable name for the required ragnarok. whole kernel is like this, 9000 layers deep.
mats: https://www.eetimes.com/document.asp?doc_id=1333889
asciilifeform: ( bvt's point re inet_addr applies here -- the actual syscall in fact demands a tardstring, i.e. nulltermed )
a111: Logged on 2018-10-26 03:06 mircea_popescu: really, open() should be rewritten.
a111: Logged on 2018-10-26 02:18 asciilifeform: my current hypothesis is that we're literally the only folx ever to bake static libs (i.e. in .gpr, for Library_Kind use "static"; ) .
asciilifeform: 1 obvious solution, that iirc diana_coman at one point resorted to somewhere, is to discard the 'librariness' and make the thing a 'put this in your src' type of lib, rather than linkable one. but i ~like~ linkable/separately-compilable static libs.
asciilifeform: problem is that CPath : aliased C.Char_Array := C.To_C(Path); , in the glue, demands a String .
asciilifeform: diana_coman, phf , et al ^ invited to think/comment...
asciilifeform: in the old form, http://p.bvulpes.com/pastes/ZkkVC/?raw=true , observe that for Obj'Address use Maps.Open(.... gotta be a static value, per https://gcc.gnu.org/onlinedocs/gnat_rm/Address-Clauses.html ( logical )
asciilifeform: my current hypothesis is that we're literally the only folx ever to bake static libs (i.e. in .gpr, for Library_Kind use "static"; ) . ☟︎
asciilifeform: observe that E107 is undefined cuz it doesn't shit out a E107 : Short_Integer; pragma Import (Ada, E107, wherever); .
asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics ) ☟︎☟︎☟︎☟︎☟︎☟︎☟︎
a111: Logged on 2018-10-25 19:27 mircea_popescu: http://btcbase.org/log/2018-10-25#1866195 << to make more shit ? :D
a111: Logged on 2018-10-08 16:20 mircea_popescu: because no, the "i know ~exactly~ what the computer is doing" declaration is not optional. exactly like socrates' observation, "the man claiming no political system has political system", exactly so, whatever the claim, to run code on machine equals the declaration of having fully read and thoroughly understood. there's no wiggle room.
asciilifeform: ( and btw the actual amt of c spackle in udp lib , http://btcbase.org/patches/udp_fix_ip_nullchars/tree/udp/libudp/unix_udp.c , is 146 ln. )
asciilifeform: ( and yes it is catalogued, in various places, e.g. http://blog.rchapman.org/posts/Linux_System_Call_Table_for_x86_64/ , but to go to implementation takes moar sweat )
bvt: syscalltronic = based on direct invocation of linux syscalls? how this would be possible without haveing sockaddr_in in ada?
asciilifeform: i do not see how it would be improved by being 6000, if i were to try to adaize erry possible idjit unix's struct sockaddr_in .
asciilifeform: ( on bare iron, with , say, iron-control variables where e.g. Nic : Unsigned_32 ; for Nic'Address use 16#FF00ABCD#; etc )
bvt: Ada.Sequential_IO is wired straight into fopen/fread/fwrite, by the way.
asciilifeform: the funny/sad bit is that this is ALREADY in gnat, for e.g. http://btcbase.org/patches/ffa_ch8_randomism#L132 , but ~not exposed~ ! to user
asciilifeform: O_DIRECTORY might be a bitch in the fyootoor , i suppose
a111: Logged on 2018-10-25 17:01 mircea_popescu: http://bvt-trace.net/2018/10/vpatch-replacing-mktemp3/ << i quite enjoyed reading this btw.
a111: Logged on 2018-10-25 14:52 mircea_popescu: up to you whether to make a dir or not ; eventually these will end up in that http://btcbase.org/log/2018-10-23#1865314 -- but the only way that happens is if you try things and then productively disagree with people. i've nfi at the moment whether we do or we don't want single temp files in a tmp dir nevertheless, or anything else ; and i absolutely do not wish to ever do (or will ever permit anyone to) sit around and "think
asciilifeform: btw, ftr, subj : http://www.loper-os.org/pub/romburn_1.jpg http://www.loper-os.org/pub/romburn_2.jpg http://www.loper-os.org/pub/romburn_3.jpg http://www.loper-os.org/pub/romburn_4.jpg , in case anybody cares.
asciilifeform: ( i cant say i've ever programmed anyffing using http://www.loper-os.org/pub/podvig_radista.jpg method ... )
asciilifeform: mircea_popescu: re 'ion pump' upstack , in olden days when asciilifeform worked as academi-grunt in a bio lab, did many long hours of snore at electrophoretic 'blots', where chromatographic rubbish moves along a gel. and thought 'why not bake ic this day, what if you give it 2nd axis to steer the current' etc
asciilifeform: mircea_popescu: regularly there's word from some d00d who actually bought surplus gear ( see e.g. linked thread ) and 'omfg, i made a diode!' , typically as far as they get ( and it wasn't even because usg.dhs came for his flourine , afaik it did not )
asciilifeform: mircea_popescu: i'd even settle for something entirely like ice40 but with fuse/antifuse bridges
asciilifeform: and evidently even mircea_popescu's supply of screaming + patience was finite, the argentines ended up curing him of further attempts, not he -- them
asciilifeform: ( asciilifeform is not labouring under delusion , however, that 'if only they sold, i could be sitting in $50k mircea_popescu-grade castle', prolly mitsubishi would own'em all )
asciilifeform: mircea_popescu: 'родиной не торгую' (tm)(r)(stalin)
mircea_popescu: exactly http://trilema.com/2017/in-scams-today-disk-less-terminal-sa-dba-laesquinadelamazmorra/#footnote_3_72501 problem.
asciilifeform: mircea_popescu: i saw truly mindboggling number of unfinished-and-decaying half-built houses in timis
asciilifeform: mircea_popescu: lol, didja walk in with 5kg of green ? and reply 'here, assess this'
asciilifeform: mircea_popescu: see also http://btcbase.org/log/2018-10-18#1863686 thrd, yes ☝︎
asciilifeform: mircea_popescu: the sad bit is that conventional asic process , as available today in cn , tw, etc, is also like this. you are forced to use 'standard cells' supplied by vendor.
asciilifeform: mircea_popescu: this is actually how existing ic industry worx, a good half of the 'asics' are actually 'hard copy fpga', recall the early miner derps threads.
asciilifeform: mircea_popescu: for design that actually fits inside, you end with exactly 'slow asic', with the added win that it's a homogeneous object with no e.g. 'and here is where he will rsa and here is where the low bit of multiplier will live' sabotage target available to enemy mole in vendor plant.
a111: Logged on 2014-06-02 22:49 mircea_popescu: asciilifeform: jurov: smbx had perverse incentives (usg funding that appeared bottomless - until it died suddenly. reagan's 'star wars.') << best way to sink a good start-up is a bad revenue source early on.
asciilifeform: mircea_popescu: recall ice40 ? simple grid of LUTs, + matrix of programmable interconnects.
asciilifeform: mircea_popescu: i've outlined several items, historically. will summarize for the l0gz, in order of descending ( per asciilifeform's lights ) universality : 1) sane fpga 2) sane minimal cpu 3) 8192-bit arithmetizer ( a la ye olde weitek! but for ints ) 4) 2+3 , if somehow can be fit into 1 die 5) 1chip carrierless radio ( per thread ) 6) sane ethernet controller .
asciilifeform: mircea_popescu: let's suppose we make the req'd contact. what wouldja want to fab 1st ?