log☇︎
67900+ entries in 0.035s
BingoBoingo: To update the binder hole count, Uruguay is a two hole binder country
asciilifeform: mircea_popescu: observe that a TB of ecc ram costs approx same as tb of quality ssd.
asciilifeform: flash disk really oughta be simply a thing that kicks in when the power fails and box runs from capacitor and saves state.
asciilifeform: really machine oughta have 1 addr space, and keep it hygienic, this is physically possible with 2000s tech
asciilifeform: mircea_popescu: i wrote about this on my www in the past, whole concept of 'file system' is consequence of the nonvolatile memory poverty that gave us the orig ram/disk split
mircea_popescu: ie, not "all things are files", but "the only way you can access the disk is through this mangled malloc"
mircea_popescu: and the deeper issue might be that there is in fact no os, just a maldesigned, half-impelemented, thoroughly buggy process emulator shoehorned into describing a disk.
mircea_popescu: right. but this wasn't because "nobody thought of file names like, ever". it was fucking because "nobody CAN think of file names, because there's a deeper issue"
asciilifeform: several threads iirc
mircea_popescu: if you recall that convo.
mircea_popescu: asciilifeform previous run into this was with the "what's a file's name" ambiguity i axed into "fully specified paths inclued". but that wasn't the problem, that was a random symptom of the fact nobody ever thought about files in unix.
a111: Logged on 2013-12-22 16:56 asciilifeform: 'what people “want” is a function of what they learn is available. e.g., do Americans want three-ring binders, and Europeans four-ring binders? or do they want binders and take whatever number of holes they come with? or do they want something that can help them organize their papers and take whatever is available? or do they really want a less cluttered office and ease of storage and retrieval of the infor
asciilifeform: ( http://btcbase.org/log/2013-12-22#429394 for the l0gz/n00bz ) ☝︎
mircea_popescu: just because they all point to the coconut shop dun mean coconut shop is either a club or a place you'd take the whores.
mircea_popescu: or rather, the item all the locals point to when asked about bar/club/disco/where the fuck do you take the whores ?!?!?
asciilifeform: mircea_popescu: observe that current subj is a classic '4 ring binder' . we arent actually looking for file lock, file lock simply happens to be the only available ~working tool for machinewide-semaphore
mircea_popescu: so the situation may actually be that no computer system currently deployed actually has a file system.
asciilifeform: ( locking, permissions, variant semantics ( nfs somehow permitted to behave strangely ) , etc
mircea_popescu: most terrifying part being that i can readily review history to the point where this would very much have been exactly the implicit assumption, because fuck tape.
bvt: it seems that 'c strings' in ada are still controlled by ada mechanisms, i.e. they are ada strings (with bounds checking), just with null byte in the end
mircea_popescu: s a file system AT ALL, and the "all things are files" is just a thin wraper on a turd sausage made out of "we have no data model beyond ram and our disk doesn't actually work". ☟︎
a111: Logged on 2018-10-15 19:15 asciilifeform: bvt: i find it mind-boggling that there is not a standard , portable , machine-wide locking mechanism. but apparently this is so.
mircea_popescu: http://btcbase.org/log/2018-10-15#1863091 << at present i believe the ~entire file model~ in unix might have been subtly broken since the very beginning, and that breakage has in turn informed the way people think about the fs/os interface so as to not notice it. because it's as you see, a widening breach, what started with atomic creation moved on to permissions, and in general... in a word, it's not directly evident unix ha ☝︎
bvt: i have my own painful experience with them
bvt: http://btcbase.org/log/2018-10-15#1863102 -- well they moved to another file, with tempfile implementation. i guess ave1 knows a total cure ☝︎
mircea_popescu: bvt you asking for a primer on the longstanding hatred of c strings here, or found on own ?
a111: Logged on 2018-10-15 19:11 bvt: btw, now vpatch.adb does not require Interfaces.C/Int.C.Strings for anything, they will go away in the revised vpatch.
bvt: yes, these lockfiles are just a big mess.
a111: Logged on 2018-10-15 19:10 bvt: should set everything up till the end of the week. i didn't rent a rk; but already tested pressing mp-wp locally.
BingoBoingo: mircea_popescu: Looking superficially at the law for it, it seems like a way to attract crowdfund stuff
a111: Logged on 2018-10-15 18:44 BingoBoingo: In new interesting to asciilifeform mod6 and other Pizarro folks, Uruguay is about to roll out a new type of corporate structure. Sociedad de Acción Simplificadas, going to look into it and see if it is at all interesting.
mircea_popescu: http://btcbase.org/log/2018-10-15#1863069 << seems likelty one of those right wing "pay low tax get economy going" things. sometimes they're used as bait and switch by govt. ☝︎
asciilifeform: uses a framework such as Gtk+ or Qt or any of the module-based APIs such as NSS, PAM, ... forget about about POSIX locking. If you care about portability, don't use file locking.' etc
asciilifeform: '...If you want to lock a file in $HOME, forget about it as $HOME might be NFS and locks generally are not reliable there. The same applies to every other file system that might be shared across the network. If the file you want to lock is accessible to more than your own user (i.e. an access mode > 0700), forget about locking, it would allow others to block your application indefinitely. If your program is non-trivial or threaded or
asciilifeform: bvt: i find it mind-boggling that there is not a standard , portable , machine-wide locking mechanism. but apparently this is so. ☟︎
a111: Logged on 2018-10-15 14:00 asciilifeform: http://btcbase.org/log/2018-10-15#1862785 << a working 'atomic' create-or-fail-if-exists by definition excludes this scenario. linux claims to offer one, http://btcbase.org/log/2018-10-11#1860739 , but i've nfi yet whether it worx as printed on the crate
bvt: http://btcbase.org/log/2018-10-15#1862867 -- i'd bet this is file-system- and linux-version-specific. at least in the NFS case lack of support for some versions is explicitly advertised. ☝︎
bvt: ave1, can you expand on getting rid of string allocations? I see a way to get rid of it for Mode, but not for the Path argument. i can move its c-string from heap to stack, but that would be it. anyhow, i will revise this aspect. ☟︎
a111: Logged on 2018-10-15 03:01 mircea_popescu: bvt "Ada exposes no functions that have 'exclusive open' semantics, so I imported C
bvt: http://btcbase.org/log/2018-10-15#1862638 -- i agree that this solution is not that great. however, other alternatives have problems of their own. ☝︎
bvt: btw, now vpatch.adb does not require Interfaces.C/Int.C.Strings for anything, they will go away in the revised vpatch. ☟︎
bvt: that's what I think as well
BingoBoingo: bvt: I think when he made that comment he confused you with the other promising newcomer
bvt: re naming: i agree that it clashes with Ada naming convention. will rename to Temporary_File.
a111: Logged on 2018-10-15 01:53 phf: oh i guess i see why that would be tricky, because of the specialization. i don't know enough ada yet to know how to fix that... perhaps just renaming it to Temporary_File is sufficient
bvt: http://btcbase.org/log/2018-10-15#1862604 -- specialization was exactly the issue for me ☝︎
a111: Logged on 2018-10-15 01:42 phf: bvt: your patch has "Binary files..." at the very end of it. i assume it wasn't made with vdiff
bvt: http://btcbase.org/log/2018-10-15#1862597 -- good catch, you must be right. i'll check that. ☝︎
bvt: should set everything up till the end of the week. i didn't rent a rk; but already tested pressing mp-wp locally. ☟︎
a111: Logged on 2018-10-15 03:02 mircea_popescu: http://btcbase.org/log/2018-10-14#1862295 << bootstrapping problem, he has to get vtools compiled to press mp-wp to install it on the rk he already bought.
bvt: http://btcbase.org/log/2018-10-15#1862641 -- mircea_popescu, diana_coman, i'm in the process of getting some btc currently, after that will get pizarro shared hosting. ☝︎
BingoBoingo: Found out it is a thing just now through an invitation to be fed breakfast at an event discussing the thing.
BingoBoingo: In new interesting to asciilifeform mod6 and other Pizarro folks, Uruguay is about to roll out a new type of corporate structure. Sociedad de Acción Simplificadas, going to look into it and see if it is at all interesting. ☟︎
asciilifeform: i expect at some point standard usa toilet will switch into reverse gear and disgorge geisers of shit if you miss a payment
BingoBoingo: <asciilifeform> re structure -- they're rolling out ipnoje-style cars, that brick if they dun get keepalive from server << These have been a thing in the US for a while with the pay by week specialist dealer/lenders
mircea_popescu: here it's mostly toyotas.
asciilifeform: i expect at some point they'll get up an' drive themselves back to vendor if default
asciilifeform: cheaper 'repo', the idea
asciilifeform: re structure -- they're rolling out ipnoje-style cars, that brick if they dun get keepalive from server
asciilifeform: always pictured it as a usa thing, where they have extensive structure for beating the money out of idjits who default
mircea_popescu: it'll be the lulz of all time, once THIS groupon goes the way of the other, and all these tards are left paying the loans. will paraguay invade us to extract reparatios for its scaqmmed citizenry ?
asciilifeform: i had nfi that autos-on-credit were a thing in orcistans
mircea_popescu: asciilifeform item entirely exists to get idiots to undertake private loans to finance corp. which orc morons ALOS do.
mircea_popescu: kinda how xtianity was built, too. mary magdalene bigger deal than the other mary whore.
mircea_popescu: the sort of imbecile moron who http://trilema.com/2017/the-day-of-failure-trilemma/#selection-403.0-407.140 can always be hit for a small bill for "the hope" that "saviour".
asciilifeform: partnered with some lender thing
asciilifeform: twist : ( at least in usa ) they demand that the car be no older than 3y. and given as typical cabbie is not particularly creditworthy, they give the chump '0% until missed payment' loans to buy'em
mircea_popescu: this rarely works, but the fact that it works at all...
mircea_popescu: so they get stuck in traffic, and she tries on her best 12yo moves, with the eyelids and shit, and figures out how to tell him later she's got a 2yo in tow, notwithstanding she's barely 20something.
mircea_popescu: and in the orclands, its utility is 100% as a dating site, "hey girly [working for "corporation" aka call center, nursing batshit insane delusions as to how you're a sorta hilary and anyone gives a shit about what yo ufished out of your belly button] : would you rather walk, or would you rather save and occasionally ask for a hot young boy who owns his own car take a half hour look at you ?
asciilifeform: ( and they've put in a sort of unofficial gamble component, often enuff the car will have no one but 1 )
mircea_popescu: i dunno it ever had any utility or any userbase in us. 100% "high5" item, "big in pakistan!" sorta thing.
asciilifeform: btw on usa end, they've turned into a kind of ~bus~ service, client pays 3-4x less if he is willing to sit in a car fulla randos (which naturally makes loops , to put'em in the correct places)
asciilifeform: for the privilege of using the app? lol!
mircea_popescu: i don't know it has any other revenue than these orc donations.
mircea_popescu: asciilifeform as far as i know, item exists 100% as orcistan theft, because the local morons will pay the usg corp a chunk of their local income.
mircea_popescu: so no, nobody in right mind would ~advertise~ they're faggots.
asciilifeform: rright but it's a pantsuit production, this thing. i had nfi that they had 'lite' variant for orcs
mircea_popescu: this idea that pantsuitism is well regarded abroad is a very narrowly in-group wank.
mircea_popescu: they don't use the stickers here, people beat them up.
mircea_popescu: used the app ?
asciilifeform: interesting, possibly what mircea_popescu saw wasn't even an actual 'uber' cabbie, but just some d00d with the sticker for no reason
mircea_popescu: here, they just take 20% of their revenue and send it to washington so washington can pretend like it's a place.
asciilifeform: in usa, uber client is a pnoje proggy, and demands CC #; to be 'cabbie', requires acct and linked bank thing, and they file 'form 1040' for tax db
mircea_popescu: yuou hand the man at the wheel some bills and move on. how else ?
asciilifeform: maybe in orcistans ? how does this work, they have physical offices ?
asciilifeform: so moneys move usgistically, rather than 'terroristically'
asciilifeform: uber worx exactly like the 'reliable' wu -- they force chump to register bank acct etc
mircea_popescu: ie, usg undergoing exact same process argentina was, back when old whore still thought she can be president whether i say ok or not.
mircea_popescu: also -- SOMEHOW -- uber doesn't have bingoboingo's problem. for THEM it is a-ok to terrorist money all over the world.
a111: Logged on 2018-10-12 23:36 mircea_popescu: asciilifeform it meanwhile dawned on me. why the fuck would wu even be part of this conversation.
mircea_popescu: just, they don't pay it via WU, as per http://btcbase.org/log/2018-10-12#1861440 item. ☝︎
mircea_popescu: nah, whole fuckling point is that cab services work well in orclands, and the orcs pay tax already.
BingoBoingo: asciilifeform: It's not just USG. All fiat wanna be sovereigns are inclined to capturing tax from undocumented traditional activities.
asciilifeform: one of'em, imho , is 'all those folx driving unofficial cabs, make'em pay tax'
asciilifeform: mircea_popescu: it's several distinct things
mircea_popescu: asciilifeform uber is rather "we'll produce an alt-frontend dating site for orclands, where the morons will pay usg to use it". very much mercantilism desperation on usg.blue part.
asciilifeform: BingoBoingo: usg is on an 'embrace & extend' tack. not simply the pot thing, either -- consider, 'uber', 'airbnb', etc through lens of 'attempts to make unemployed zeks, driven into piecework, to document income & pay tax'
BingoBoingo: asciilifeform: Gulag inmates have to be cool in some way, however trivial to end up in gulag. Legal pot smokers face no such barrier to entry.
asciilifeform: BingoBoingo: lol, rolling cigs is sumthing even gulag inmates had down to an exact science