asciilifeform: there isn't, note, a haskellian runtime in the thing

asciilifeform: mircea_popescu: what'd that look like ?

asciilifeform: the nifty thing is that ada standard specifies own scheduler.

asciilifeform: then we can actually speak of useful wurk

asciilifeform: next thing will be to port my rtlink nic driver to ada (with minimum of asm)

asciilifeform: 512b blox. in, out.

asciilifeform: mircea_popescu: for a very narrow 'worx'

asciilifeform: mircea_popescu always grasps what i mean.

asciilifeform: presently i can load/store disk blox.

asciilifeform: objective is to let go of the whole shitstack.

asciilifeform: console i/o to serial (emulated, presently)

asciilifeform: i've been playing with a bare-metal (x86) ada build chain.

asciilifeform: i suppose possibly it might help if i reveal what i had in mind.

asciilifeform: but we could go on re this forever.

asciilifeform: anyway if you ain't captive your pit aint deep enough, is what i say.

asciilifeform: ah that rat.

asciilifeform: rats occasionally get on boats.

asciilifeform: flea, not rat

asciilifeform: mod6: what are you trying to do ?

asciilifeform: smoothest action i've ever felt. ☟︎

asciilifeform: the springs, would you believe, sound like shamisen strings when pressed.

asciilifeform: 1/2 cm thick steel pedestal and all.

asciilifeform: my 'ibm model F 122-key' is here.

asciilifeform: in other 'news',

asciilifeform hands hammer back to felipelalli

asciilifeform: that's all.

asciilifeform: but i did wonder what felipelalli was trying to accomplish by deedbotting a transaction with a fella having no mathematical identity.

asciilifeform: i fully grasp that it is none of my business

asciilifeform: does it follow from the fact of him holding the balls'n'hammer that he grasps ?

asciilifeform: just in case he doesn't grasp it.

asciilifeform: but it doesn't hurt to point out - once - that what the fella is holding is indeed his balls, and with other hand - hammer, nail.

asciilifeform: his - i suppose - own business.

asciilifeform: only to the extent i see a problem with a bloke nailing his balls to a wall with a ball peen hammer.

asciilifeform: picture 'i, 17215D118B7239507FAFED98B98228A001ABFFC7, hereby proclaim that i owe a quintillion zimbabwellars to the man in the grey coat!'

asciilifeform: but you don't publicly swear oaths to anon chix id'd by their stage namez

asciilifeform: it is cryptographically suffering from 'promisitis'

asciilifeform: no, this is fundemental, i can make this observation without knowing anything about felipelalli or BONITAO

asciilifeform: this is less of a cricitism of ' felipelalli wastes hdd space !111' but more of 'does he grasp that RHAMA BONITAO is not an entity on our planet '.

asciilifeform: mircea_popescu: how does this expand wot ?

asciilifeform: 'RHAMA BONITAO' doesn't look like a pgp pubkey to me...

asciilifeform: diagramação do manual da coldwallet da Walltime.

asciilifeform: infelizmente está fora da civilidade, no máximo 48h após a entrega da

asciilifeform: 'Declaro que devo transferir o equivalente a R$ 300,00 (segundo índice BRXBT do momento do envio) para o endereço 1BVkspu64adYhRP3cBvvxXbjyWFfyKyVGG que pertence ao RHAMA BONITAO, que

asciilifeform: also am i the only one who doesn't grasp the point of deedbotting dealings outside wot, with randos ...

asciilifeform: (yes.)

asciilifeform: CADADDR!

asciilifeform: CDR!

asciilifeform: it is interesting how auto figures in 'rich' fantasy of a ustard

asciilifeform: srsly, 'CAR' ?

asciilifeform: dontcha ?

asciilifeform: 'BENEFITS GIVEN TO NEW MEMBERS WHO JOIN ILLUMINATI. 1. A Cash Reward of USD $500,000 USD 2. A New Sleek Dream CAR...' << i find the ustard leper's bell ringing here

asciilifeform: i saw! fascinating:

asciilifeform: what is ~not~ trivial is to not build a house of cards that falls over when you try to do something useful.

asciilifeform: undergrad project. literally.

asciilifeform: it is also trivial to craft a scheme interp for same

asciilifeform: it is ~trivial~ to craft a toy os for x86.

asciilifeform: as motherfucking HOMEWORK.

asciilifeform: ~everything this hard-working fella did, i did IN SCHOOL

asciilifeform: because 'solution' that reduces to 'let's drop in this closed turd and pretend it does not exist' is NOT INTERESTING.

asciilifeform: i stopped reading here.

asciilifeform: 'I ported a USB driver, a network driver, an SD card reader and a low-level driver for the Pi's VideoCore IV GPU. '

asciilifeform: 'I developed a version of Interim (then called "Bomberjacket OS") that boots on a standard Intel x86 PC as well as a version that runs on the ARM-based Raspberry Pi low-cost computer. '

asciilifeform: 'Fast and simple Microcontrollers like Teensy 3.1 (based on Freescale ARM Cortex-M4 MPU) can be used as a "poor man's GPU" to generate VGA text or graphics output. '

asciilifeform: let's zoom into the pertinent bits in the link,

asciilifeform: understand, DESCRIPTIONS of the problem of complexity cancer ~abound~.

asciilifeform: or, even less interestingly, 'raspberry'.

asciilifeform: sbp: there is imho nothing interesting about yet another x86 os.

asciilifeform: $up sbp

asciilifeform: there is literally nothing on the market that does not fit this description.

asciilifeform: for ALL fpga.

asciilifeform: sbp: at present time, not only do you not know what is in the package, but the build chain is several dozen GB of closed x86 turd.

asciilifeform: that are worth the paper they're printed on.

asciilifeform: sbp ^ there ARE NO FPGA

asciilifeform: http://search.bitcoin-assets.com/?q=xilinx

asciilifeform: mircea_popescu et al: i'ma have to link to the old logz,

asciilifeform: sbp: where do you intend to get a usable fpga ?

asciilifeform: (ussr made perfectly serviceable pdp clones without understanding a whit of how the thing worked)

asciilifeform: realize that copying a chip mask is a vanishing fraction of the cost of baking an ic

asciilifeform: if it means that, given a $B another fella can attempt to replicate, this does not mean much.

asciilifeform: what does it mean to have an 'open hardware' ic ?

asciilifeform: you can put quartz window, eprom-style, but metal is opaque...

asciilifeform: sbp: how do you propose to bake an auditable ic ?

asciilifeform: (which is really a hardware embodiment of an interpreter, if built correctly)

asciilifeform: mircea_popescu: fexprs incur no penalty or otherwise problem in an interpreted lang, or, for that matter, a proper lispm

asciilifeform: see (surprisingly, not a bad summary) https://en.wikipedia.org/wiki/Fexpr

asciilifeform: mircea_popescu: a 'fexpr' is essentially a first-class macro.

asciilifeform: sbp: my conclusion re fexprs was that 'we can't compile this' is in ~all cases an 'epicyclic' restatement of 'our hardware is rubbish'

asciilifeform: an early lojban, you could even say.

asciilifeform: mircea_popescu: i am familiar with 'law french' aha

asciilifeform: all i saw was a buncha-'vexual'-style salad and a link to a very trivial proggy that de-enumerates the bits.

asciilifeform: yeah i was also not able to make sense of it.

asciilifeform: the claim of 'this key has fewer bits but more secure than rsa' is esp. galling, because there is NO PROOF of it available in the open literature

asciilifeform: and no i didn't hand-feed him.

asciilifeform: mircea_popescu: i don't know the fella at all, but he appears to read my www, that's all i know.

asciilifeform: aha.

asciilifeform: this 'deliberately don't reconnect' thing is mega-lame imho

asciilifeform: and i cannot link mircea_popescu to anything

asciilifeform: holy fuck phf log's been dead all this time

asciilifeform: sbp: what is asinine about, e.g, scheme's, hygienic macros ?

asciilifeform: (i do not own any of the ancient and unobtainable xerox lispm iron)