log☇︎
22000+ entries in 0.135s
diana_coman: precisely why I preferred to make a wrapper for it so I don't import the whole stinking pile further up
diana_coman: asciilifeform, it shits a shit: there is get_mpi_buffer and set_mpi_buffer that theoretically do that
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: key gen would be a bitch tho
asciilifeform: in later years asciilifeform's folx got a 'rocket' , long streamlined sucker that looked kinda like naval torpedo. after 5yo asciilifeform visited naval museum, then eyed thing with suspicion..
asciilifeform: it did! with the brushed coating. there was a whole story re the d00d who came up with that, but i've sadly misplaced.
mircea_popescu: tube section with a lid
asciilifeform: i have a vaguely buran-like chinese thing, with 2 holes, but it eats paper filters, typical modern sad
asciilifeform: it goes out of a grate, no hose hole
asciilifeform: there was also a 'typhoon' and various others, all on roughly same scheme.
asciilifeform: it had a mighty roar.
mircea_popescu: i was fucking scared of that thing, as a 5yo
mircea_popescu: my ~grandparents~ had a buran. though perhaps i said this
asciilifeform: there's a converter, but it smacks of ye olde c2fortran
asciilifeform: ( suxx when there is only 1 working example of a thing... )
BingoBoingo: I am going to ponder this while I run some errands, inevitably seeing at least two air cooled volkswagens buffered by a vast gulf of nothing seperating them from the late model Chinese plasticars
asciilifeform: when sov engineers knew how to make a konsoomer item 'eternal' -- they did. ( e.g. famous 'buran' vacuum cleaner, still shows up now and again on lulzbay, when i finally move my arse to 220v country, i'ma buy it ) . when they didn't know, they made eternally maintainable .
asciilifeform: was a sort of 'first swallow of spring' re asciilifeform's third eye opening .
BingoBoingo: Here in Uruguay lego (genuine or imitation) is a very recent arrival.
BingoBoingo: Youngest brother got a set with a "Mountain" made of two molded half pieces with standard lego dots as the centerpiece.
asciilifeform: BingoBoingo: the cloned brix were amazing, survived all kindsa mechanical abuse without so much as a scratch, much less brea
mircea_popescu: i had two trucks which together built a nice house.
asciilifeform: in retrospect i'm actually a bit surprised that they pulled off the fine molding
a111: Logged on 2017-09-02 20:04 phf: i'd say it's more like 80s lego and modern lego (if you haven't seen, now it's all >50% custom per-toy parts, that can be snapped to a traditional lego coupling, but otherwise non-universal)
asciilifeform: BingoBoingo: keep in mind that the lego you had as a boy, hasn't existed in decade+ , afaik, per http://btcbase.org/log/2017-09-02#1710146 ☝︎
BingoBoingo: It's the "lego" disease. Train kids to build shoddily and keep reusing the parts in a cycle of shanty town
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
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.
asciilifeform not a great luvvver of symmetricipherism in general, as amply illustrated in the l0gz, for this and other reasons -- there is no known approach to bake symmetricism from any sort of rational angle
mircea_popescu: myeah. now, if i could have a cipher that has 512 byte payload, the above "single block" thing'd be satisfied. see ?
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 )
a111: Logged on 2018-10-13 07:14 hanbot: anyway the idea is to have an exhaustive list of news outlets with their contact email made, after which i'll have her mail that blurb; i expect something like a week's turnaround, and will report when it's done.
asciilifeform: but if you actually touch the disk, it erases a 4096byte chunk
mircea_popescu: IF i had a workable understanding of block ciphers, we could bake a device-block-tailored cipher and at least have that to show god.
asciilifeform: vhdl is prolly worth a 2nd look, tho i currently suspect that it vs verilog aint a 'ada vs c' win, simply longer text that does same thing ( the only unit of data in fpgaism is really the bit, so 'types' dun exist )
asciilifeform: one potentially interesting variation on the theme is if a key block contained an offset-length into the drive. so pluggin in diff keys could give you diff 'disks', which are normally indistinguishable from noise.
asciilifeform: could simply make it a serial input, and let user decide what he likes, e.g. he has a vt100 he can plug in, or tape reader, or which.
asciilifeform: and yes a ciphrator that gives you a disk that runs at speed of msdos 5inch floppy, aint very sexy.
mircea_popescu: asciilifeform "what sort of speed hit" is also a topic.
asciilifeform: there actually exists an ada-flavoured variant, 'vdhl', but i never saw any win from it, loox rather like simply a moar verbose verilog. but! to be fair, that was 10y ago when i last dug, it was prior to asciilifeform's getting into adaism.
asciilifeform: it compiles into a gate netlist, rather than sequence of instructions for vonneumann cpu.
asciilifeform: it's a wiring diagrammator, if you like.
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 .
mircea_popescu: "hey guise ? i have a mathematical definition of blockchipher, and guess what comes for free with it."
mircea_popescu: yeah but suppose some bright kid walks into here one day with that item we all suspect is under a rock somewhere ☟︎
asciilifeform: ice40 eats config from a 8-legged spi rom thing, can socket it.
mircea_popescu: in short, because this winding discussion risks overwhelming buffers, the salient points are a) that i'm not ready to go to war over serpent, it's a meh-maybe item ; b) that building our spearheads around items we're not willing to die for may be how the converse of http://btcbase.org/log-search?q=bitcoin+corrupts altogether. ☟︎
mircea_popescu: (you did end up with a rewired computer on acct of throwing out that mouse, and you bemoan it daily, but soit.)
asciilifeform: $gedankenitem is just that, a 'dumb' peripheral
asciilifeform: simple peripherals are a thing
mircea_popescu: it seriously never fucking was meant to be gone over with a microscope, "oh satoshi how could you". fuck you i should wear a caliper attached to my pants in case i doodle in the restaurant also ?
asciilifeform: whereas it is not difficult to copy a block disk to a new one and burn the old
asciilifeform: bitcoin p2p net is moar of a living organism , it is not really upgradeable
mircea_popescu: IT WAS A PROTOTYPE
asciilifeform: it aint end of the world if we bake sumthing and then retire it in favour of moar-correct replacement ( a la orig v )
mircea_popescu: so yes, i fully expect they'll buy, and then admire the hole we've dug ourselves in : five years down the road, say, as a mental experiment, we've sold 100k of these units, they're 90% of all we've sold, and well... they're still blockshiters. and what's next ? say i utter a fatah against block "ciphering", for good technical reasons or just because i'm insane -- IT DOESNT MATTER, and lo there'll be a lordship schism because
mircea_popescu: i don't expect it'd be a bad thing to have. it's certainly way the fuck more than the whole "market" of the whole "security industry" slash barn.
asciilifeform: i was thinking moar along the lines of 'pistol that fires erry other round backwards is worse than a good knife'
mircea_popescu: that's what i mean, "a picture of its possible strength emerges from ample discussion of its possible weaknesses"
mircea_popescu: but as it stands, seems sending people to bring me a serpent hdd is not unlike sending people to bring be titted boars. why, can't use women ?
mircea_popescu: now, maybe after eulora's run for a half decade, and there's ACTUAL ~publshed~ research by ACTUAL humans re its strength, THEN i can revisit this discussion from a different hand
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: then it aint a fully volatile ciphertron tho. good % of the appeal, from my pov, was that it loses key if unplugged, and has no squirrelholes to somehow inadvertently retain key bits when off.
mircea_popescu: so keep it on a flash card etc.
asciilifeform: yer gonna hammer in a 4096 bit key erry time you uncork the thing ?
asciilifeform: ( it is not meaningful to speak of 'bitness' of fpga per se, it's just a bag of blocks, typically 4-6bit LUTs plus some arithmetizers )
asciilifeform: funnily enuff i dun know of a single commercial/heathendom fpga that could house something of this size.
asciilifeform: you have a box, that presents as e.g. usb drive on 'red' end, and eats a e.g. sd card on 'black' end, with a thing between the two that serpents and unserpents (how to key it, is a separate conversation, but it can be keyed sanely so long as it is done not from pc end )
asciilifeform: imho disk cipherer is an item that could be made, a la FG, without rebuilding all of civilization, and not have to be rebaked later. supposing folx wanted it.
a111: Logged on 2018-10-24 22:14 asciilifeform: ( for the l0gz : from asciilifeform's pov, 'sane disk crypter' is an item that gets keyed via onboard keyboard jack, e.g. serpents, the attached disk, and unkeyed when powered off or at the closing of a contact attached to $whatever )
mircea_popescu: obviously dood, the mainstay of adolescentine wank fiction is the shame, the burning, unyielding SHAME of "if dad knew would prolly a) laugh ass off and b) cut pecker off, "useless anyway".
BingoBoingo: Irony: Woman who would clearly recognize as laughable a man's attempts to boast about fapping boast about her own self pleasuring activities https://archive.is/xlEDb
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 . ☟︎☟︎
mircea_popescu has a good mind to edit all these people's graves, "here lies a schmuck, who published rien."
asciilifeform: relatedly, i've written a working replacement for Bounded_String .
asciilifeform: to continue in these lulz : ada std has a 'bounded string' type, that superficially is defined as exactly how i wanted to do 'path' type earlier. but! but! if actually invoked, it -- for no logical reason afaik -- prevents the invoking package from being declared stateless ( i.e. pragma Pure ), and this propagates ad infinitum , to caller.
asciilifeform: ( bvt's point re inet_addr applies here -- the actual syscall in fact demands a tardstring, i.e. nulltermed )
asciilifeform: and a full snobol interpreter.
asciilifeform: current gnat standard lib is a jawdropping zoo of broken shit. e.g didjaknow there is a sad bignum lib in there ?
a111: Logged on 2018-10-26 02:26 asciilifeform: my only remaining notion here is that possibly gotta implement a 'paths' lib ! i.e. would represent paths as arrays of permanently fixed length , 255 octets, iirc this is the max permitted on unixlikes.
mircea_popescu: http://btcbase.org/log/2018-10-26#1866276 << more like a wrapper on paths, i guess. though pretty sure you can have longer than 255 chars. ☝︎
asciilifeform: and errything else i've written worked a++ as them.
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: tho even if it existed, and i had memmap package eat a FD that it shat out on instantiation, this would be stupefyingly ugly still, because then memmap cannot be a troo finalized type (i.e. one that cleans up entirely after itself on death, incl. closing its fd)
asciilifeform: the braindamage of unix open()'s demand for a null-termed string, percolates all the way up.
asciilifeform: problem is that CPath : aliased C.Char_Array := C.To_C(Path); , in the glue, demands a String .
asciilifeform: my only remaining notion here is that possibly gotta implement a 'paths' lib ! i.e. would represent paths as arrays of permanently fixed length , 255 octets, iirc this is the max permitted on unixlikes. ☟︎
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: currently i'm in a zugzwang in re the mmap lib : the http://p.bvulpes.com/pastes/extOl/?raw=true invocation form is The Right Thing, but it requires passing in a String for Path, which dun work without secondarystackism;
asciilifeform: observe that E107 is undefined cuz it doesn't shit out a E107 : Short_Integer; pragma Import (Ada, E107, wherever); .
asciilifeform: what you end up with if you break this, is a linker eggog; inside instantiated main adb, loox like http://p.bvulpes.com/pastes/tbJta/?raw=true
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 ) ☟︎☟︎☟︎☟︎☟︎☟︎☟︎
asciilifeform: ( and at some point i'd like to set up a tarball mirror myself )
trinque: I could possibly have you a newer thing to try this weekend; that's the goal
asciilifeform: ( it takes most of a day to get to the barfpoint )
bvt: http://bvt-trace.net/2018/10/vpatch-replacing-mktemp3-take-two/ - please have a look
asciilifeform: http://btcbase.org/log/2018-10-25#1866222 << didja ask chix why , if snowden is a zero , e.g. colonel vetrov is 'hero' ? ☝︎
a111: Logged on 2018-10-25 20:45 Mocky: apparently kuwait computers are shit and one chick knows another chick who runs "cyber security" for a kuwaiti / iraqi company, has been in there for 30 years, knows everyone in the biz. promised me a kuwaiti business sponsor if I actually know anything about computer security, put her number in my phone for me, and texted her to expect contact from me