log☇︎
235300+ entries in 0.165s
asciilifeform: am quite certain , in fact, that there isn't one
mircea_popescu: there was a window, but i think it closed recently.
asciilifeform: fwiw i am still open to suggestions re 'the better ada'
mircea_popescu: which is true, too. republic grows by cleverness ; empire shrinks by it.
mircea_popescu: phf as per naggumg quote ; quite exactly my mind too : there not existing cleverness is more valuable to the empire-of-idiots than any gains from clevernesses they realise.
asciilifeform: mircea_popescu: on the contrary, it has a native compiler for x86. but i categorically am put off by the 'one implementation' thing.
phf: http://btcbase.org/log/2016-12-13#1582941 << i still think koi8-r was a great hack. i think cleverness of that kind is no longer popular because idiots ruined cleverness for everyone ☝︎
mircea_popescu: ocaml that ml which is ml in the sense javasCript is c.
asciilifeform: hardly anyone ever touches it today. no longer taught, afaik.
jurov: never touched ml
asciilifeform: (but not the former)
asciilifeform: ada suffers from the latter problem also
asciilifeform: but i very much dislike the 'no native compiler exists or can likely ever exist' part; and the 'there are 2 implementations ever made, and only 1 is quasi-usable' part.
asciilifeform: no, it reduces to ml
mircea_popescu: it's unclear if that language reduces then to ada, but i suspect not.
mircea_popescu: there's possibly a language under academia-haskell screaming to get out ; strong types and etc
asciilifeform: mircea_popescu: you can't actually program in haskell 'without using that part', not really
asciilifeform: (it is VERY attractive to academitards because it creates the kind of problems which they can later convert into papers)
mircea_popescu: asciilifeform i don't suspect he's using THAT part.
mircea_popescu: in other irrelevant home flavour, girl making zacusca (the proper ro thing, baked peppers, etc) "what do i do with the juice ?" "freeze it" "hmm... need to get bags we're out" "use an ice cube tray". now ima have veggie broth cubed, for soups!
asciilifeform: (and, unlike prolog, is quite massive per se, and not easy at all to implement, and there is ONE usable implementation...)
asciilifeform: it has the prolog disease.
mircea_popescu: apparently the "around here" is wider than previously thought.
mircea_popescu: ah then that's the answer : jurov's not published yet.
jurov: no it's actually quite suitable for bitcoin implementation, i have written performant simulation in it (but had to instrument it not to gobble memory for lazy computation)
jurov: ben_vulpes: haskell is too young
mircea_popescu: STRICTLY that ; nothing else.
mircea_popescu: ben_vulpes you don't get it : the "Reputation" bs is institutionalized oppression. in any system where group x has "reputation for y-bad" you know for a fact that a) group z is in charge ; b) group z is y-bad and c) group x is not.
ben_vulpes off to inject an urban food log down his throat
ben_vulpes: kinda interesting how haskell has yet to eke out a foothold around here.
a111: Logged on 2016-12-13 17:16 phf: davout: it's easier to find an instructor, than it is to "find any private pilot". plus you know asciilifeform objection "i don't know any private pilots"
mircea_popescu: http://btcbase.org/log/2016-12-13#1582749 << this is like saying "it's a lot easier to find call girl than incredibly hot girl bored out of her wits at every single party because every single dude is trained by figure 4 above to aim low and won't even talk to her." ☝︎
a111: Logged on 2016-12-13 16:59 phf: dc is kind of shitty that they (very few flight schools closebuy, with a lot of wealthy people learning to fly), but there was airport near philly where you could flag any of their instructors and they'd love to fly you around however long you want whether or not you commit to you "recreational" license
mircea_popescu: http://btcbase.org/log/2016-12-13#1582726 << beedog life is predicated on not being able to do things though! ☝︎
jurov: and that's also its purpose
jurov: davout: you can test the ground pin voltage against water pipes. there never should be any
davout: where i live "cold storage" means you won't die eating the chicken
asciilifeform: but better still to simply plug in the pocket-sized tool that does this, it costs maybe 1 $ where i live.
davout: (and try not to kill myself in the process)
davout: ok, so i try to measure resistance between the soil and ground prong, and should find small value
davout: ok, maybe i just suck at engrish, "prong" is either a hole, or a pin poking out of the socket, the poking out one, being connected to the "ground pin", said ground pin being in the soil?
asciilifeform: btw a decent ups has this test built-in, and will eggog if it finds that 3rd pin (ground) does not conduct to cold prong (or, worse, has + voltage on it..)
asciilifeform: which is what i thought davout was asking about.
asciilifeform: they are normally tied together, on an iron stake outside the house, yes
davout: isn't "cold prong" the "ground pin" ?
asciilifeform: no, b/w it and cold prong (i.e. the one without 220v on it)
davout: between the ground pin and the actual soil ?
asciilifeform: you cannot; can only try to measure resistance between it and the cold prong
davout: but if it's not connected to anything, how can i observe a tension between it and a socket hole?
asciilifeform: davout: it could (and in orc dwellings, often is) connected to nothing at all.
davout: what could it be connected to that's not the earth?
asciilifeform: davout: you can tell whether the ground is ~connected~, but that's more or less it
asciilifeform: Framedragger: this is in the logs
Framedragger: (no sources for this..)
Framedragger: reminds me of some guy who put a wire under his hand's skin, and made compass needle modulate the current (or somesuch). claims that after 2-3 weeks he had gained a genuinely new sense (of absolute direction)...
davout: while we're on the electricity topic: can i test the fact that my wall socket ground pin is correctly grounded by measuring the tension between said ground pin, and one of the plug holes?
asciilifeform: connect, some time, 2 9v batteries in series across your wrist, it will be similar.
davout: aha, as in 'really painful', probably not same thing then, body more concerned with "aaaah, injured" than "blergh, poisoned"
asciilifeform: probably on the principle of 'arm writhes in agony, can't think about also vomiting'
asciilifeform: thing even came with conductive grease, quite like what one finds in descriptions of electric chair, when head is shaved and lathered so as to conduct well
asciilifeform: somehow the pain switched off the motion-sickness circuit.
asciilifeform: a wristwatch-shaped thing that put current through left wrist
asciilifeform: at one time, when i actually had to ride this train every day, i found a barbaric voodoo cure that worked 100%
asciilifeform: now the train drives like a bus.
davout: i now have this mental image of you reading on a rollercoaster
asciilifeform: they used to work well, then there was some wreck (from poorly maintained equipment) and human drivers were introduced.
asciilifeform: the underground train in washington lurches, bumps, it is a very sad thing
davout: how does one get motion sickness on trains? it's like the dullest thing ever
asciilifeform: (only ever got motion sickness in meatspace, on trains, and even there, not always)
davout: "what's this world of warcraft thing?? how do i get in insert mode"
asciilifeform: interestingly i never got the headache.
davout: i also have old guy reactions to new video games
asciilifeform: my reaction is still 'very neato graphics', i am far behind the times
a111: Logged on 2016-12-13 18:32 davout: i have nfi about the US, but in france there's a specific ultralight license
ben_vulpes: http://btcbase.org/log/2016-12-13#1582844 << 'experimental' i don't think needs license. ☝︎
davout: so i mastered the demo. demo didn't have the wire extended for carrier-landing? after countless attempts i managed to fucking land on the carrier anyway
davout: THEY DID NOT HAVE IT IN THE SHOP
davout: i distinctly remember getting on the train to paris as a kid to go buy the full game
asciilifeform: i think mircea_popescu also had 'f19'
asciilifeform: and before that, 'f19'
davout: played the demo for hours and hours
asciilifeform: aaah the sim
asciilifeform: or (at the risk of sounding like complete idiot, because i did not play it) alchemy in eulora, it works there, but meatspace 'alchemy' is considerably more expensive, painful, and rewards -- few and far between, and most practitioners live and die without accomplishing ~anything... ☟︎
asciilifeform: and, while mircea_popescu played 'meat doom', it is not a pleasure available 'on tap' to everybody.
asciilifeform: so it only exists in imagination, in games, just like you cannot go and play 'meat tetris' very well by digging a real hole and throwing stones into it
asciilifeform: to briefly revisit orig. thread, the thing i found appealing about 'air shooters' as a boy, was not the abstract 'grease wank' of 'oooh, engines, and gears' but the quick-with-your-eyes-hands-feet-shootout aspect of the game, which is not something that exists today in meatspace even in actual air combat (where you program the rocket, fire, and go home)
davout: i have nfi about the US, but in france there's a specific ultralight license ☟︎
asciilifeform: and yes, requires that you stay out of everybody's way and die quietly and politely
davout: asciilifeform: you sure? it's kinda doubtful you don't at the ver least have to understand airspace class in general, and not get in the way of people trying to go somewhere in particular
asciilifeform: in usa this is even officially permitted, you can buy certain types of machine and fly unlicensed so long as you do it over the ocean where nobody has to clean up your smashed carcass
thestringpuller: the more traditional method when I was in school, was join Aviation club. Sit at desk give out free pizza, get free coupon for "lessons".
asciilifeform: thestringpuller: i dun think the crop duster farmer can Officially certify you etc.
asciilifeform: thestringpuller: if you have one already and can convince instructor to go up in it -- might be cheaper.
thestringpuller: Give a farmer some good booze he'll take you up in the cropduster.
asciilifeform: thestringpuller: it's generally the machine rental time that is 90% of the cost iirc.
davout: yeah! that stuff's pretty fascinating
thestringpuller: How do pilot lessons cost 10k?!? Perhaps having cohorts in the boondocks has its advantages such as farmers with planes...
asciilifeform: we had a neato inertial navigation thread, but i can't seem to find igt.
davout: no moving parts? measures a momentum? same thing!
asciilifeform: davout: is 'gyrolaser' where you live same thing as what english call 'ring gyro' ?