Show Idle (>14 d.) Chans


← 2016-12-12 | 2016-12-14 →
00:01 asciilifeform davout: while you're awake i gotta ask, unrelatedly, re earlier thread! are decent joysticks for flight sims extinct? you're just the fella to know the answer
00:02 davout i don't flightsim
00:04 davout i tried a couple of times, which all ended in "wtf is this?!"
00:06 BingoBoingo !~b2
00:06 jhvh1 BingoBoingo: Error: "b2" is not a valid command.
00:20 BingoBoingo !~ticker --market all
00:20 jhvh1 BingoBoingo: Bitstamp BTCUSD last: 774.44, vol: 4525.67234621 | BTC-E BTCUSD last: 768.26, vol: 4443.87892 | Bitfinex BTCUSD last: 775.13, vol: 8920.65795881 | BTCChina BTCUSD last: 786.921471, vol: 3406782.80100000 | Kraken BTCUSD last: 775.57, vol: 1295.08062686 | Volume-weighted last average: 786.845782871
~ 16 minutes ~
00:37 asciilifeform this actually makes sense:
00:37 asciilifeform i imagine that flight sim for davout would be like if mircea_popescu fucked a hole drilled in an old tree
~ 37 minutes ~
01:14 davout asciilifeform: why'd you want simming anyway? go to your local airport and get a couple hours, flying is cheap in the US
~ 54 minutes ~
02:08 ben_vulpes "fly from bed!"
02:09 ben_vulpes asciilifeform: clojure folks have a variant of this, "fireplace"
02:09 davout missing "sleep ad lib." required dependency
~ 3 hours 30 minutes ~
05:39 mircea_popescu asciilifeform hey, i know where he's coming from. all the kids excited about counterstrike gave me about the same impression originaly
05:40 mircea_popescu "o, it's realistic ? dude, really ?"
05:54 mircea_popescu http://btcbase.org/log/2016-12-13#1582433 << you know z80 editor was modal. caps shift an' symbol shift beotch!!1
05:54 a111 Logged on 2016-12-13 04:54 asciilifeform: i also fucking ~loathe~ modal editors
05:56 mircea_popescu and speaking of routing, holy shit was the zx board a nightmare.
06:01 mircea_popescu http://btcbase.org/log/2016-12-13#1582453 << he makes an excellent point. sign up for a class, you get someone to be there with you who can actually fly the thing, and also get to fuck with the controls. best of both worlds, and it's very much in the $50 for 5 minutes range, just gotta commit to a few hours' worth.
06:01 a111 Logged on 2016-12-13 06:14 davout: asciilifeform: why'd you want simming anyway? go to your local airport and get a couple hours, flying is cheap in the US
06:01 mircea_popescu but if you think one's worth every penny, you prolly think the other's worth every penny too.
~ 33 minutes ~
06:35 Framedragger http://log.mkj.lt/trilema/20161211/#7
06:35 scriba Something went wrong while attempting to read the log.
06:35 scriba Exception: ['utf-8' codec can't decode byte 0x93 in position 8122: invalid start byte]
06:35 Framedragger oh ffs. sec.
06:35 Framedragger (also removing debug log)
06:36 mircea_popescu !!key usman
06:36 deedbot No such key.
06:37 Framedragger test with new log reader http://log.mkj.lt/trilema/20161211/#7 test
06:37 scriba Logged on 2016-12-11: [01:15:36] <mats> i was remorseful, things change
06:37 Framedragger ^ ok, finally fixed. took forever. >.<
06:37 Framedragger phf: thanks for pointing me in the right direction. scriba now reads log as byte sequence, tries decoding each line as utf-8, if that fails, then does latin-1. seems to be fine.
06:38 mircea_popescu nice Framedragger
06:38 Framedragger encoding, fml
06:38 mircea_popescu heh
06:38 Framedragger good education tho
~ 27 minutes ~
07:05 mircea_popescu !!key usman
07:05 deedbot http://wotpaste.cascadianhacker.com/r/VilKx/?raw=true
07:20 Framedragger !#s postgrest
07:20 a111 5 results for "postgrest", http://btcbase.org/log-search?q=postgrest
07:20 Framedragger ^ just discovered this. "remove the CRUD", serve APIs directly from postgres. includes user/role/cookie management etc. pretty neat.
07:21 Framedragger http://btcbase.org/log/2015-07-11#1197431 << :(
07:21 a111 Logged on 2015-07-11 02:26 trinque: becoming a features katamari shitshow
07:22 mircea_popescu sql-to-api thing is actually not half a bad idea.
07:22 trinque very useful thing.
07:22 mircea_popescu mysql for isntance tries with their permissions model, but it's crud.
07:22 trinque it just needs to be written by someone with a brain.
07:23 mircea_popescu and afaik not one actually includes proper metering
07:23 trinque emphatically not as "lets translate SQL to whatever a URL is allowed to do"
07:23 mircea_popescu ie, can i allocate up to 0.1s /day per user ?
07:23 Framedragger does postgrest still use 'basic auth'? :/
07:23 Framedragger that kind of metering would be neat to have..
07:24 mircea_popescu trinque incidentally, auth should be handled via rsa. user passes api two variables : one is a request encrypted to its key ; the other is the request + a server-provided salt hashed.
07:24 mircea_popescu this allows server to allocate all requests to hashes, and that's the "username"
07:24 mircea_popescu then just keep a master table of allowed hashes and their usage.
07:25 mircea_popescu AND whether they may acquire locks ; and how often. etc.
07:25 mircea_popescu (ie, who says all users can acquire locks ?)
07:26 Framedragger as long as the 'check hash' operation is quick enough, otherwise DoS magnet (that's a very alf'y comment i guess)
07:27 mircea_popescu i guess you ip-whitelist if it gets bad.
07:27 trinque doubtful check hash is going to be a significant proportion of "run query" for a reasonably large query
07:27 mircea_popescu and on this model, you can expose all the dbs directly.
07:27 trinque this whole thing actually describes something I have been working on for quite some time.
07:28 mircea_popescu "you want access to X data store ? ask Y for a salt ; see api docs here"
07:28 trinque not nearly done, nor fully conceptualized
07:28 mircea_popescu no more of this should it be json or sexpr and pass via urls bs
07:28 trinque but it is what the web *ought* to have been made atop
07:28 mircea_popescu yes.
07:28 Framedragger ah yeah, i recall you mentioning 'sql explorer' (for phuctor data iirc) trinque. ambitious but delicious project
07:29 mircea_popescu #tmsr-parc
07:29 mircea_popescu all ur ideaz r belong.
07:30 jurov asciilifeform: slime for vim is named slimv, i have tried it and it had almost all the functionality of emacs one... when it worked :( needs more eyeballs.
07:31 trinque Framedragger: problem is that SQL was designed by cancerous fags just like Python.
07:31 mircea_popescu well by the time the libtards are done fucking emacs, it'll work better than it anyway.
07:31 jurov since the vim plugin is written in python, one needs to be wizard in both py and lisp to fix it
07:31 mircea_popescu lol wait wait. c-implementation of lisp glued to vim via python ?
07:31 mircea_popescu can i put in a feature request at this juncture ?
07:32 jurov it's not implementation of lisp
07:32 jurov just an debugger using slime protocol
07:32 mircea_popescu ah
07:32 Framedragger i'd actually like to see a coherent and all-in-one-place SQL / RDBMS-as-a-general-model critique some time. maybe it exists. usually it's mongodb hipsters complaining randomly, so i'd developed a (too-)generic "ignore 'em all" filter :p
07:32 trinque which brings me to my next point: no fucking seams in the internet db thing.
07:32 trinque Framedragger: they are not equivalent
07:32 trinque SQL was an "end user programming" idiocy, python idem
07:32 mircea_popescu Framedragger afaik trinque is a great afficionado of the whole "db everything"
07:33 Framedragger trinque: right right, so you're talking about SQL as a language, fair enough
07:33 mircea_popescu jurov pity, because i'd have asked for "all strings are unicode strings". should have fixed it right and proper.
07:34 trinque Framedragger: I'll give you a morsel to chew while I make coffee
07:35 trinque why the fuck can't I name and reuse "joins" in SQL ?
07:35 mircea_popescu iirc you can via temporary tables neh ?
07:35 trinque you can create views, yes, but relationships aren't separate, defined things you can invoke at will
07:36 Framedragger can materialized views use joins in the way you want to? i haven't looked into them for some time, so dunno.
07:36 trinque you make the view customers_with_addresses_and_ratings
07:36 trinque rather than "select customers with addresses, ratings"
07:36 mircea_popescu well maybe not that far, but yes, materialized views
07:38 trinque Framedragger: my criticism is that I specify what constitutes the relationship between customers and addresses each time I use the relationship.
07:38 trinque and this is given as a general whiff of endless haphazardness in SQL
07:38 Framedragger aha right, you sort of define it upon every use, which sucks balls and is an example of stupid inflexibility
07:39 trinque makes traversing lots of relationships at once harder to fit in head
07:39 Framedragger yeah, aliasing is an important mental-compression operation. i see what you mean
07:39 Framedragger (there's lack of general flexibility, it's full of baked-in developer-choices so to speak, etc.)
07:41 trinque the language was pulled in the direction of "user interface" by some, "programming language" by others, ended up neither.
07:42 trinque see also: https://www.python.org/doc/essays/cp4e/
07:43 trinque when you try to design for the novice, you must leave essential parts of the problem out, then hope to hide it, inevitably failing.
07:44 Framedragger "there are always leaks." yeah, i mean, no objections i guess.
07:45 Framedragger the "UI/programming-language" juxtaposition is quite apparent when writing pl/pgsql. i dunno, it's a weird feeling.
07:49 mircea_popescu i wouldn't say you must. "when you design for the novice in the sense of trying to lie to them about their inferiority, you are stuck with that lie and it gets ever more expensive to maintain"
07:50 trinque better put, yeah.
07:55 mircea_popescu kinda how the entire modern insanity came about. "oh, people are more productive when they THINK they're good, irrespective of how good they are" "yeah, but telling people who aren't good that they're good convincingly has a cost" "well, what if we try and arbitrage the delta-productivity from the first against the marginal-cost from 2nd ?!" "dude what" "no really, if we made all the tools really shitty ? and mass production
07:55 mircea_popescu ? and the corporation ? and government regulation ? and ?" "dude go fuck your mother."
07:57 mircea_popescu possibly the most amply researched stupid idea in the history of human science ; "is there life other than on earth" didn't receive 1% of 1% of the attention.
08:04 trinque if they're only measuring shit by volume, they're going to say great success.
08:05 trinque seems a guy like guido has a particularly bad case of delusional narcissism, too.
08:05 trinque "I can create this smart-guy talisman and bless The People with my disembodied smart."
08:06 trinque idiot I worked for in Portland was always talking about "untapped creativity" in re: end user programming
08:10 mircea_popescu sigh.
08:11 mircea_popescu idiots keep giving new names to "the god who'll give me manna"
~ 1 hours 6 minutes ~
09:18 asciilifeform http://btcbase.org/log/2016-12-13#1582453 << i can see this pov, 'instead of playing race game for a few hrs, i'ma buy harley and go to the desert and train for 10 years'
09:18 a111 Logged on 2016-12-13 06:14 davout: asciilifeform: why'd you want simming anyway? go to your local airport and get a couple hours, flying is cheap in the US
09:19 Framedragger asciilifeform: except you're not paying for the full retail price of a harley, and you don't need to train for 10 years? :)
09:19 asciilifeform http://btcbase.org/log/2016-12-13#1582456 << i sleep ad lib nao, thus far using it to make s.nsa output solidity rather than getting flattened in esoteric vehicles, but who knows, might go and do the latter also at some point
09:19 a111 Logged on 2016-12-13 07:09 davout: missing "sleep ad lib." required dependency
09:19 asciilifeform Framedragger: if you want to do acrobatics, you'd better study for years
09:19 asciilifeform *solidify
09:20 asciilifeform http://btcbase.org/log/2016-12-13#1582462 << the other puzzler, where do i take space battle class !111111
09:20 a111 Logged on 2016-12-13 11:01 mircea_popescu: http://btcbase.org/log/2016-12-13#1582453 << he makes an excellent point. sign up for a class, you get someone to be there with you who can actually fly the thing, and also get to fuck with the controls. best of both worlds, and it's very much in the $50 for 5 minutes range, just gotta commit to a few hours' worth.
09:20 Framedragger i don't know how it is in the .us and it's prolly *quite* a bit more complicated than that, also i had the lucky chance of having a relative who'd invite to fly with him and show me basic flight control stuff, but are you not able to get lessons as a total noob?
09:21 asciilifeform Framedragger: you can, it's 10-20k usd or so.
09:21 asciilifeform around here.
09:21 asciilifeform and generally done by folks who aim to buy the machine and have actual places to go in it etc
09:21 Framedragger aite, that's a chunk of money for sure, i'd've thought it to have been lower than that :(
09:22 asciilifeform though possibly what mircea_popescu was describing for fiddybux was a tourism sort of thing, different.
09:22 asciilifeform but no, you don't even get to touch airplane for fiddybux in usa. insurance for your so much as farting on it, is a hundy.
09:23 Framedragger well, iac it's a shame no decent game controllers are available, true that :/
09:23 asciilifeform and that's per fart.
09:23 mircea_popescu nah it's safe, you get a trainer with you there.
09:23 mircea_popescu it's pretty much like fucking - dun much matter if YOU're a virgin.
09:23 asciilifeform well yes, naturally you get trainer. he charges 200/hr
09:23 asciilifeform (for cheap one)
09:24 mircea_popescu sometghing like that.
09:26 asciilifeform it isn't that this is useless thing to study! but there is distinct flavour of 'why play 'doom', instead go to the recruiter post and go to afghan, die of scurvy and boredom'
09:26 asciilifeform fwiw i had a colleague who was in iraq and pointedly played 'call of duty: iraq' while there.
09:26 mircea_popescu at the time it was, go to serbia shoot muslims and have grateful sex with the rescued hussies.
09:27 asciilifeform that one ^ beats 'doom', i can see.
09:27 mircea_popescu very much better than anything on tap these days.
09:33 asciilifeform better, i picture, than anything on tap any time since caesar.
09:34 asciilifeform but not exactly a weekend project.
09:40 asciilifeform http://btcbase.org/log/2016-12-13#1582517 << holy FUCK and i'm supposed to take it seriously !?
09:40 a111 Logged on 2016-12-13 12:31 jurov: since the vim plugin is written in python, one needs to be wizard in both py and lisp to fix it
09:41 asciilifeform what next, plugins that require perl scripts to run when i press tab ?
09:41 asciilifeform http://btcbase.org/log/2016-12-13#1582459 << that's not what 'modal' means
09:41 a111 Logged on 2016-12-13 10:54 mircea_popescu: http://btcbase.org/log/2016-12-13#1582433 << you know z80 editor was modal. caps shift an' symbol shift beotch!!1
09:41 asciilifeform modal means you can get stuck in some mode where text isn't going on the screen
09:42 mircea_popescu technically it's what modal means yes
09:42 asciilifeform term of art in editordom
09:42 asciilifeform refers specifically to the idiocy of vi
09:43 asciilifeform ... it made some kind of sense with 300 baud modem, yes. but i dun have one.
09:43 mircea_popescu yes, but it means "you can press keys and nothing is printed". which matches.
09:43 asciilifeform 1 key, 1 press
09:43 asciilifeform not same.
09:43 mircea_popescu huh ?
09:43 asciilifeform well i have here a keyboard with two whole extra rows of prog f keys that dun display to screen
09:43 asciilifeform they ain't a 'mode'
09:44 mircea_popescu nono. on old sinclair, first you get the "cursor" into the right mode, THEN you type.
09:44 mircea_popescu what did it have C, K, E
09:44 mircea_popescu L iirc
09:44 asciilifeform ah this - yes, vi-like
09:44 mircea_popescu well so then what are you talking about! modal.
09:44 asciilifeform btw another idiocy, arrow keys! they exist ! i WILL use them
09:44 asciilifeform idiocy of c,k,e that is
09:45 mircea_popescu so map them.
09:45 asciilifeform it is mindblowing that vi, that abortion, still is in use. i can only grasp this in light of the alternative being emacs, equally horrid in exactly opposite ways.
09:45 jurov incidentally, arrow keys do work regardless of mode. or i dunno what vim-from-hell alf ran into?
09:45 mircea_popescu "de" = ctrl+shift+left then delete. cmon.
09:45 asciilifeform jurov: i'm thinking of classic vi
09:46 mircea_popescu classic vi is from like 1976!
09:46 asciilifeform well yes.
09:46 jurov next time all will get into white-hot rage about ed? let's go buy popcorn
09:46 mircea_popescu so a) use vim ; b) there's a humongo economy of strokes, at the cost of muscle memory, if youy care. if you don't car,e go ahead.
09:47 asciilifeform whereas modern vi, if you were to roll in all of the pieces i actually use in daily life (e.g., correct autoindent AND colourization for 50+ languages) it will probably weigh what emacs weighs
09:47 mircea_popescu yes yes, editor wars exist because previous investment, i know i know.
09:48 asciilifeform hey if it had theoretical economy, i'd consider it (periodically i go and actually consider, and find that i have to press literally 500x more button)
09:48 mircea_popescu depends what you use it for. if you msotly use an editor to create de novo text, not good fit. if you mostly use editor to adnotate other people's text, very good fit.
09:49 asciilifeform ^ yes
09:49 asciilifeform fwiw a sysadmin uses ~100% vi...
09:49 mircea_popescu insert "you are an idiot!" 500x times in five pages ? vim!
09:49 asciilifeform absolutely.
09:49 mircea_popescu so then.
09:51 * mircea_popescu mostly uses nano these days, so whatevs!
09:52 Framedragger asciilifeform: quick unrelated q: in phuctor, do the phuctored debianized keys appear in /phuctored ? from what i recall and understand, all of them are there. and one wouldn't have to look at /sadmods or /dupes - correct?
09:52 asciilifeform Framedragger: absolutely all
09:53 Framedragger aha okay, good to know, thx.
09:58 asciilifeform http://btcbase.org/log/2016-12-13#1582504 << this sounds like a terrible idea. directly expose what amounts to 100s of MB of crapolade code by heathens, rather than 1pg by actual person ?
09:58 a111 Logged on 2016-12-13 12:27 mircea_popescu: and on this model, you can expose all the dbs directly.
10:00 asciilifeform http://btcbase.org/log/2016-12-13#1582523 << consider this, if there were a non-idiotic db system, it would be your filesystem also!
10:00 a111 Logged on 2016-12-13 12:32 Framedragger: i'd actually like to see a coherent and all-in-one-place SQL / RDBMS-as-a-general-model critique some time. maybe it exists. usually it's mongodb hipsters complaining randomly, so i'd developed a (too-)generic "ignore 'em all" filter :p
10:01 asciilifeform and would be reasonable candidate for replacing www also.
10:01 trinque yes, I mentioned all that.
10:01 * asciilifeform slowly eating the log
10:02 trinque sad that SQL the horror squatted such useful space.
10:03 asciilifeform it's roughly same type of fecal mass as emacs
10:03 mircea_popescu the point holds though - correct db should also be fs
10:04 asciilifeform http://btcbase.org/log/2016-12-13#1582531 << because it's an abortion full of nonorthogonality
10:04 a111 Logged on 2016-12-13 12:35 trinque: why the fuck can't I name and reuse "joins" in SQL ?
10:06 asciilifeform sql, emacs, vi, similar animals, survive indefinitely not the least because they are relics - for all their flaws - from the age of men; and have ~ 0% monkeycode
10:06 trinque terribly so
10:07 trinque speaking of relics, I just dug up WORDS
10:07 trinque William Whitaker's
10:08 asciilifeform http://btcbase.org/log/2016-12-13#1582549 << naggum had piece on literally this
10:08 a111 Logged on 2016-12-13 12:49 mircea_popescu: i wouldn't say you must. "when you design for the novice in the sense of trying to lie to them about their inferiority, you are stuck with that lie and it gets ever more expensive to maintain"
10:09 mircea_popescu link ?
10:09 * asciilifeform contemplates a 'naggumbot'
10:10 mircea_popescu srsly.
10:10 asciilifeform http://www.xach.com/naggum/articles/3087632126807915@naggum.no.html << and elsewhere
10:11 asciilifeform http://www.xach.com/naggum/articles/3128224612301670@naggum.no.html
10:13 asciilifeform and http://www.xach.com/naggum/articles/3241654125513898@naggum.no.html .
10:15 * asciilifeform wonders how much of 'naggumism' actually exists in the written word, and how much -- as a synthesis in his head
10:15 mircea_popescu aha!
10:16 mircea_popescu "had an article about exactly this! here's 3 kinda related!"
10:16 asciilifeform it remains possible that it was there -- and i lost it.
10:17 mircea_popescu certainly.
10:18 trinque something very v-tronic in there, separation between man and "the source code"
10:18 trinque Naggum the god vs naggum the man
10:19 asciilifeform 'bbbbut in what volume of lenin was this!111'
10:20 mircea_popescu big part of problem was that he was writing his stuff as email answers to idiots
10:20 asciilifeform usenet. but yes.
10:21 asciilifeform he left behind very few ab-initio works ('long and painful history of time' is afaik more or less it)
10:21 asciilifeform most of the d00d's life happened offline, in commercial world, is my understanding.
10:21 mircea_popescu something apologizing for sgml also
10:21 mircea_popescu i suspect most of dood's life happened inside his skull. because that's the proboem with "make it easy for beginnertards" : it NECESSARILY also makes it hard for naggums.
10:22 asciilifeform iirc he had law degree in his country.
10:23 asciilifeform he also vagabonded around usa as a young man, was involved in aynrandism, then was cured, and left.
10:25 Framedragger [that reminds me, i bought a postcard of ayn rand and am yet to send this to a friend who is in full hate mode of her stuff. need to get this done for the festive season...]
10:25 Framedragger s/this//
10:25 asciilifeform iirc he realized what was happening to his profession and began to work to leave it, the hard way, by learning an actual 'liberal profession' etc. but ended up leaving it 'the easy way'
10:25 asciilifeform by dying of untreated ulcer.
10:26 asciilifeform Framedragger: what other obscure american crackpots does your friend hate
10:34 Framedragger hehe, don't know particulars, but it should be noted that he studied philosophy and in some of the circles he had to have business with, ayn rand sorta-has a place as a non-crackpot. hence the (arbitrary, otherwise) particular object of hate
10:35 Framedragger (undergrad student circles, etc.; luckily those fall out of relevancy/radar as one ages)
10:38 asciilifeform there are probably somewhere circles where mark karpeles 'has business in as noncrackpot'
10:38 asciilifeform if you look hard enough.
10:40 mircea_popescu " on the Net, people argue about whether year 2000 is a leap year or not, so it's not as if you can rely on the answers you get."
10:41 jurov if only randists. there are plenty of kokeshists.
10:41 mircea_popescu and what prythee is a kokeshist!
10:45 asciilifeform 'Kokesh has called for a "new American revolution" and has announced plans to run for President in 2020 on the platform of an "orderly dissolution of the federal government."' << pediwik
10:45 asciilifeform him??
10:45 mircea_popescu o.O
10:45 jurov yes, him: https://www.amazon.com/FREEDOM-Adam-Kokesh-ebook/dp/B00KR9V03K?ie=UTF8
10:46 asciilifeform apparently d00d has a dope problem..?
10:46 mircea_popescu see alf, all these people proposing an end to usg are such lunatics and dope fiends.
10:47 asciilifeform why not do same thing but sober. so hard?
10:47 * jurov falls down
10:47 asciilifeform supposing he even took dope at all
10:47 asciilifeform and not simply helpfully 'given' by helpful-people prior to arrest.
10:52 davout http://btcbase.org/log/2016-12-13#1582484 <<< this looks pretty awesome actually
10:52 a111 Logged on 2016-12-13 12:20 Framedragger: ^ just discovered this. "remove the CRUD", serve APIs directly from postgres. includes user/role/cookie management etc. pretty neat.
10:53 mircea_popescu "to advance it is at serious odds with the massive glorification of youth. As marketing found itself unable to expand without encroaching upon our childhood, the intense drive to capture the minds of the youngest among us has tended to make people believe that 30 years of experience can be replaced by the young looks of rank novices. This is made worse by the management schools that make it possible for people who have yet
10:53 mircea_popescu to grow enough facial hair to need to shave daily not only to show off their insufficient beard growth as "hip" but to fill "leadership" positions where they feel threatened by anyone significantly older than themselves and where the inability to /lead/ is replaced by their simple skills at /managing/.
10:53 mircea_popescu I believe it takes all kinds to make a working world, but what I find among the modern novices is that they do not feel the same way about the experts -- they want an expert-free world where their ignorance is not painful, where their inexperience is not used against them, where they get all the jokes, where nobody uses literary references that elude them, where every one of their ideas is accepted by their peers as just as n
10:53 mircea_popescu ovel as they think it is, where they can make mistakes without being corrected by people who do know better, where they can reap all the benefits early in life instead of having to work for 40 years first."
10:53 mircea_popescu ^ that part gotta be in the logs.
10:59 * Framedragger did a bit of privileged-teen-mode some years ago. "paying for life expenses with money earned from doing work" helpz
~ 15 minutes ~
11:15 asciilifeform http://arstechnica.co.uk/business/2016/12/lockheed-martin-stock-trump-tweet-wipes-2-billion-dollars/ << in other lulz
11:17 mircea_popescu http://btcbase.org/log/2016-12-13#1582487 << to expand on this : such a model would actually do away with the browser altogether ; just discuss with servers in something like an extended irc client. (yes yes i know, emacs.)
11:17 a111 Logged on 2016-12-13 12:22 mircea_popescu: sql-to-api thing is actually not half a bad idea.
11:17 mircea_popescu for what it's worth, could be a lengthy pile of perl just as well.
11:18 mircea_popescu asciilifeform were you asking for him to hit the lizzards where it hurts ?
11:20 trinque http://btcbase.org/log/2016-07-28#1510793 << not quite this, but a start.
11:20 a111 Logged on 2016-07-28 15:33 mircea_popescu: if trump had any sense, lockheed, northrop & friends are FULLY defunded the same day, and are allowed the mercy to perhaps beg for SOME SMALL PORTION of re-funding, maybe, someday.
11:20 mircea_popescu hey, no buttons yet.
11:20 asciilifeform i suspect they can more easily cancel him, than him -- them
11:20 trinque sure, he's ahead of schedule really
11:20 mircea_popescu yes, but so far babione is not "cancelling" anyone.
11:21 mircea_popescu as it stands right now, lm can not confront its obligaitons to creditors (aka, bankruptcy) if it loses as little as 20% of us expenses.
11:21 mircea_popescu this being the destructive idiocy of eating bad money - you're left without a company.
11:26 asciilifeform lockheed, grumman, general dynamics, et al, were creatures of usg from day1
11:26 asciilifeform (boeing is the one exception i know of, it had a genuine history earlier, even a brief airline monopoly -- but then absorbed also)
11:27 thestringpuller http://btcbase.org/log/2016-12-13#1582703 >> p. sure this is related http://trilema.com/2013/youre-the-guy-who-wasnt-good-enough-to-sling-dope/
11:27 a111 Logged on 2016-12-13 15:53 mircea_popescu: ^ that part gotta be in the logs.
11:29 mircea_popescu so it is.
~ 27 minutes ~
11:56 phf http://btcbase.org/log/2016-12-13#1582570 << you also have "intro classes" that'll run you $150 or so with a reputable firm for half hour. i'm sure those same instructors would bring up the plane more than once under similar circmustances: you get to sit in the cockpit and "hold the joystick" at cruising
11:56 a111 Logged on 2016-12-13 14:21 asciilifeform: Framedragger: you can, it's 10-20k usd or so.
11:58 asciilifeform phf: i can watch dashcams on youtube for 0 $
11: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
11:59 asciilifeform actually i live literally across the street from amateur airport.
11:59 deedbot http://trilema.com/2016/postcards-from-nutland/ << Trilema - Postcards from Nutland
12:00 phf ha, then i know where you are
12:00 asciilifeform i've lived in roughly same town for decade +
12:01 asciilifeform anyway original thread was about games. and yes, why play racing game, go instead to truck driving school.
12:01 asciilifeform (not that there is anything wrong with studying how to drive big rig)
12:01 phf but anyway, it's fun. not quite the same as a sim, i've no idea what these people are on about, but worth it if you have the cash. in fact if you can stretch 10k over a year, getting a license is not a bad idea
12:02 asciilifeform i can do the study, hell, buy the machine, but i've nowhere to go in it. at some point might do it anyway when i get sufficiently bored and tired of living.
12:02 phf "get to fly every weekend!1"
12:05 asciilifeform traveling in straight line for hours!111 what marvelous fun
12:09 asciilifeform if a 50k rusty 'cessna' could go across ocean, that'd be one thing.
12:10 asciilifeform but it typically costs ~same to go to 1000km in it, as in a passenger liner.
12:11 phf sort of my thinking about flight sims. only reason i have xplane is for practice
12:11 asciilifeform if you were to go ~every week~ (why???) then yes, save a few pennies. but then your life expectancy is a few years.
12:11 asciilifeform as mircea_popescu once pointed out.
12:13 asciilifeform phf: you have the joystick, pedals, etc. also ?
12:13 asciilifeform (some folks spend almost what real machine costs, on practice pit, i found out)
12:14 davout if you just want to hold the stick at cruise, and do some turning and going up and down, you can just go with any private pilot
12:15 davout no need to find yourself an instructor
12:15 asciilifeform at uni i roomed with an old friend, who dreamed of flying, ended up practicing with xplane, studying like maniac, paid his 20k, got the license, then bought, instead of airplane... a ship. which is afaik rusting in port still.
12:15 trinque there's also the difference in experience: walk into hangar, leave. some factor the anal examination into the cost of going by airline.
12:15 davout they won't even be legally allowed to charge you more than splitting the airplane rental costs
12: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"
12:16 asciilifeform actually i used to know one !
12:16 asciilifeform but he died
12:16 asciilifeform (of old age, not in machine)
12:17 asciilifeform and, theoretically, the d00d mentioned earlier -- also. but he had no plane. and last i knew had taken 'vow of poverty', became academic.
12:17 davout i'm sure you could easily find someone anywhere in the US by hopping onto #pilots or /r/flying
12:17 phf asciilifeform: i don't have any peripherals. i use it for their instrument challenges, and they also have a mode where they randomly fail something in the plane and you need to figure out what do. that sort of stuff
12:17 asciilifeform lol!!
12:17 asciilifeform is there also an 'old car' simulator ?
12:18 asciilifeform where various parts fail...
12:18 davout asciilifeform: there's a big difference between "simming" and "playing"
12:18 asciilifeform davout: yes, but not only in the direction you mentioned, but in the other.
12:18 davout simming == what does this button do? does this work if i do the approach this way? what's that instrument?
12:18 davout playing == yeeeeha
12:18 asciilifeform right
12:19 asciilifeform realistic sim is to study for exam (and, once you passed exam, to increase your life expectancy at the wheel)
12:20 asciilifeform this is why i was bewildered at the answers to this thread, i specifically mentioned 'contemplated playing games again after decade+', 'unwind'
12:20 davout aha
12:21 asciilifeform rather than 'where do i learn to pass exam for driving serious machine'
12:21 phf ah
12:21 asciilifeform to this last question, i know the answer very well, it is not a mystery
12:21 phf i have same reaction to sims as mircea_popescu to counter strike, so when you say sim i think xplane, or precusors like mfs (that i hear some still swear by !!1)
12:22 asciilifeform it is like if someone asked about mining in eulora, and you lot instead answered where he can find actual coal mine to work in
12:22 davout hey! i still use ms word as a vim simulator!!!11
12:23 asciilifeform davout imho is correct! vim needs a sim! to train on, so as not to die in the real deal.
12:23 asciilifeform last time i used vim, i landed on a wing and burned to a cinder.
12:24 davout maybe you should stop trying to vim with joysticks
12:25 asciilifeform lel
12:28 davout but seriously, you're a lucky bastard if you live accross the street from an airport
12:29 davout there is like one cessna on this fucking island, and it's used by skydivers
12:38 asciilifeform i for some reason thought that davout had own machine
12:39 davout flying is financial insanity, having one's own machine is double the financial insanity
12:39 asciilifeform and having own auto is not insanity ?
12:39 davout probably not as bad
12:40 davout aeronautic maintenance is horribly expensive, parts are horribly expensive
12:40 davout 100LL gas is double the price of regular gas, and machine swallows four times more
12:40 davout and that's for the two seater cessna 150
12:41 davout i guess having one's own machine can make sense in some cases, mine's not one of them
12:41 asciilifeform four times more per what ? per km ??
12:41 davout if you find a flight school that's also renting it from you or something like that
12:41 davout per hour
12:42 davout cessna 15 drinks roughly 22L/h
12:42 asciilifeform yeah but who the hell counts ~hours~ when using transport ??
12:42 asciilifeform you count per km
12:42 davout s/15/150/
12:42 asciilifeform horse -- eats even less than auto, say.
12:42 davout reasonable car does what? 100km in an hour, drinks roughly 6~7L
12:44 davout and remember that cessna runs on 100LL, which in my understanding is regular petrol, just dried up further to prevent carb icing
12:44 davout is also 2x more expensive
12:45 davout i'm quite curious about the rental rates where you live
12:46 davout around paris, a 150 with gas, and instructor will cost you 140€/hr
12:48 davout i'm kinda considering getting myself a professionnal licence, to fly the big guys
12:51 davout speaking of financial insanity...
~ 21 minutes ~
13:12 asciilifeform davout: afaik that's about as much fun as being a bus driver... but iirc it pays well.
13:13 asciilifeform (no sleeping ad libitum, however, then. your liner might have to fly at 3 in the morning, or whenever.)
13:13 davout my impression is actually the opposite
13:14 asciilifeform hm?
13:14 davout fun, but low pay (unless 30 years experience and a380 captain for air france/ba/lufthansa)
13:14 deedbot http://thewhet.net/2016/argentina-comicon-bonbon/ << The Whet - Argentina Comicon Bonbon.
13:16 asciilifeform davout: understandably this is a matter of taste; but out of curiosity, where is the fun ? computer -- does ~all of the actual piloting
13:16 asciilifeform and even if it did not, nobody's doing acrobatics in a 400 tonne barge full of schmucks
13:20 davout i don't think it's the "piloting" part that's attractive to me, but more the "let's go see the sun" when all the other derps are stuck under a shitty stratus shittus overcast layer
13:21 asciilifeform could just move to mircea_popesculandia. plenty of sun.
13:22 davout also the "maybe it's a really boring job, maybe it's really cool" question that could conclusively be answered with "let's fucking try"
13:22 asciilifeform this - true.
13:23 davout also i already moved to sunville!
13:23 asciilifeform it's an honest trade. my criticism was strictly re the 'oooh yeee haw' part.
13:23 davout ah yeah, i don't think there's much of that to be had
13:24 asciilifeform the 'bus', from what i can tell, mostly drives itself.
13:24 davout i've borrowed a bunch of theory books too, and tbh the learning process itself seems pretty cool too
13:24 davout i had no idea such a thing as a gyrolaser existed
13:24 asciilifeform the theory, i found appealing since childhood, yes
13:25 davout i now understand why it makes sense to have speed shown in knots AND mach number fraction
13:25 davout etc.
13:25 asciilifeform davout: is 'gyrolaser' where you live same thing as what english call 'ring gyro' ?
13:26 davout probably
13:26 davout does it have lasers? :D
13:26 davout no moving parts? measures a momentum? same thing!
13:27 asciilifeform we had a neato inertial navigation thread, but i can't seem to find igt.
13:27 asciilifeform *it
13:27 thestringpuller How do pilot lessons cost 10k?!? Perhaps having cohorts in the boondocks has its advantages such as farmers with planes...
13:27 davout yeah! that stuff's pretty fascinating
13:27 asciilifeform thestringpuller: it's generally the machine rental time that is 90% of the cost iirc.
13:27 davout thestringpuller: amount really depends on personal ability
13:28 thestringpuller Give a farmer some good booze he'll take you up in the cropduster.
13:28 asciilifeform thestringpuller: if you have one already and can convince instructor to go up in it -- might be cheaper.
13:28 davout you can become a private pilot for 5k$ if you're good and do homework between each lessaon
13:28 davout lesson
13:28 asciilifeform thestringpuller: i dun think the crop duster farmer can Officially certify you etc.
13:29 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".
13:29 davout "certified as long as you don't get caught"
13:30 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
13:31 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
13:31 asciilifeform iirc it was called 'ultralight'
13:31 asciilifeform and yes, requires that you stay out of everybody's way and die quietly and politely
13:32 davout i have nfi about the US, but in france there's a specific ultralight license
13:33 davout that for some unknown reason you don't automatically get along with your private pilot license
13:33 asciilifeform IANAL, so i've nfi.
13:40 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)
13:41 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
13:42 asciilifeform and, while mircea_popescu played 'meat doom', it is not a pleasure available 'on tap' to everybody.
13:44 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...
13:53 davout asciilifeform: get yourself F/A-18 hornet
13:53 davout old but gold
13:54 asciilifeform a bit out of my price range...
13:54 davout http://www.old-games.com/screenshot/4238-2-f-a-18-hornet-3.jpg
13:54 asciilifeform aaah the sim
13:54 davout not *a* f/a-18 hornet duh
13:54 asciilifeform looks nifty, very '90s
13:55 davout i had lots of fun playing it
13:55 davout played the demo for hours and hours
13:55 asciilifeform i had much earlier 'aces of pacific'
13:55 davout no internet == no full game
13:55 asciilifeform and before that, 'f19'
13:55 asciilifeform i think mircea_popescu also had 'f19'
13:55 davout i distinctly remember getting on the train to paris as a kid to go buy the full game
13:55 davout THEY DID NOT HAVE IT IN THE SHOP
13:57 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
13:59 asciilifeform neato
14:10 ben_vulpes http://btcbase.org/log/2016-12-13#1582772 << i use ms excel as msfs simulator!
14:10 a111 Logged on 2016-12-13 17:22 davout: hey! i still use ms word as a vim simulator!!!11
14:12 ben_vulpes http://btcbase.org/log/2016-12-13#1582844 << 'experimental' i don't think needs license.
14:12 a111 Logged on 2016-12-13 18:32 davout: i have nfi about the US, but in france there's a specific ultralight license
14:14 davout ben_vulpes: needs balls of steel
14:14 davout exclusive republican army footage -> https://www.youtube.com/watch?v=4ZvF3M7vhSs
14:14 davout "let's shoot some fiatliners"
14:17 asciilifeform my reaction is still 'very neato graphics', i am far behind the times
14:17 asciilifeform 'woah, svga!'
14:22 davout i also have old guy reactions to new video games
14:22 davout "too much graphics! headache!"
14:22 asciilifeform interestingly i never got the headache.
14:22 asciilifeform or motion sicknesses, etc.
14:22 davout "what's this world of warcraft thing?? how do i get in insert mode"
14:22 asciilifeform (only ever got motion sickness in meatspace, on trains, and even there, not always)
14:23 davout how does one get motion sickness on trains? it's like the dullest thing ever
14:23 asciilifeform by reading
14:23 davout are you doing backflips while reading ?
14:23 asciilifeform the underground train in washington lurches, bumps, it is a very sad thing
14:24 asciilifeform they used to work well, then there was some wreck (from poorly maintained equipment) and human drivers were introduced.
14:24 asciilifeform union labour.
14:24 davout i now have this mental image of you reading on a rollercoaster
14:24 asciilifeform now the train drives like a bus.
14:24 asciilifeform stop, go, stop, go...
14:25 asciilifeform at one time, when i actually had to ride this train every day, i found a barbaric voodoo cure that worked 100%
14:26 asciilifeform a wristwatch-shaped thing that put current through left wrist
14:26 asciilifeform somehow the pain switched off the motion-sickness circuit.
14:27 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
14:29 davout acupuncture principles mebbe?
14:29 asciilifeform i have monumentally nfi how. but -- worked.
14:29 asciilifeform probably on the principle of 'arm writhes in agony, can't think about also vomiting'
14:30 davout aha, as in 'really painful', probably not same thing then, body more concerned with "aaaah, injured" than "blergh, poisoned"
14:31 asciilifeform it wasn't even acutely painful, just same sensation as if you had sat on your hand for a while
14:31 asciilifeform but quite unplesant.
14:31 asciilifeform *unpleasant
14:32 asciilifeform connect, some time, 2 9v batteries in series across your wrist, it will be similar.
14:36 Framedragger gotta admire your industrious approach asciilifeform...
14:37 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?
14:37 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)...
14:37 Framedragger (no sources for this..)
14:38 asciilifeform Framedragger: this is in the logs
14:38 Framedragger oh. ...of course
14:38 asciilifeform but it wasn't a wire, it was a small neodymium magnet
14:38 Framedragger ah.
14:38 asciilifeform no electronics involved
14:38 asciilifeform just magnet.
14:39 * davout can never remember learning about cryptomnesia
14:39 asciilifeform davout: you can tell whether the ground is ~connected~, but that's more or less it
14:39 davout what could it be connected to that's not the earth?
14:39 asciilifeform the resistance between ground and 'cold' pin should be immeasurably small, in a properly built socket
14:39 asciilifeform davout: it could (and in orc dwellings, often is) connected to nothing at all.
14:40 davout but if it's not connected to anything, how can i observe a tension between it and a socket hole?
14:40 asciilifeform you cannot; can only try to measure resistance between it and the cold prong
14:41 davout between the ground pin and the actual soil ?
14:41 asciilifeform no, b/w it and cold prong (i.e. the one without 220v on it)
14:42 davout isn't "cold prong" the "ground pin" ?
14:42 asciilifeform they are normally tied together, on an iron stake outside the house, yes
14:42 asciilifeform but outside of africa mains socket has ~3~ prongs
14:42 asciilifeform which is what i thought davout was asking about.
14:43 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..)
14:43 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?
14:44 asciilifeform pin
14:44 asciilifeform and yes
14:44 davout ok, so i try to measure resistance between the soil and ground prong, and should find small value
14:45 davout (and try not to kill myself in the process)
14:45 asciilifeform first measure b/w cold ('neutral') and ground
14:45 asciilifeform but better still to simply plug in the pocket-sized tool that does this, it costs maybe 1 $ where i live.
14:45 asciilifeform and has handy eggog lamps.
14:45 davout aha
14:46 davout where i live you don't just "buy stuff"
14:46 davout where i live "it's complicated"
14:46 asciilifeform aaah yes
14:47 davout where i live "cold storage" means you won't die eating the chicken
14:54 * Framedragger just discovered how phuctor's 404 page looks like: http://nosuchlabs.com/asdf - appreciates
14:55 asciilifeform l0l
~ 53 minutes ~
15:49 jurov davout: you can test the ground pin voltage against water pipes. there never should be any
15:50 jurov and that's also its purpose
15:57 mircea_popescu http://btcbase.org/log/2016-12-13#1582726 << beedog life is predicated on not being able to do things though!
15:57 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
15:58 ben_vulpes http://www.cs.yale.edu/publications/techreports/tr1049.pdf << cute
15:58 ben_vulpes figure 4: subjective evaluations by review panel is particularly amusing
16:00 ben_vulpes in specific grading a lisp 'c' for 'prototyping support' (review panel completely ignorant of repls i suppose) and 'c' for 'high level structuring' (macros don't exist i guess?)
16:01 ben_vulpes what/ever/
16:01 mircea_popescu lol!
16:02 ben_vulpes and lisp weenies get a reputation for smugness
16:02 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."
16:02 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"
16:02 ben_vulpes kinda interesting how haskell has yet to eke out a foothold around here.
16:02 * ben_vulpes off to inject an urban food log down his throat
16:03 ben_vulpes put it in mah face hole
16:03 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.
16:03 mircea_popescu STRICTLY that ; nothing else.
16:03 jurov ben_vulpes: haskell is too young
16:05 mircea_popescu ben_vulpes jurov haskell is domain specific for domains we're not as of yet interested in ?
16:06 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)
16:06 jurov just not stable yet
16:07 jurov 10y old haskell code not worky
16:07 mircea_popescu ah then that's the answer : jurov's not published yet.
16:07 mircea_popescu apparently the "around here" is wider than previously thought.
16:09 asciilifeform ben_vulpes: fwiw i programmed in it
16:09 asciilifeform it has the prolog disease.
16:10 asciilifeform (and, unlike prolog, is quite massive per se, and not easy at all to implement, and there is ONE usable implementation...)
16:10 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!
16:11 asciilifeform 'lazy computation' is -- like it or not -- a horrendous idea.
16:11 mircea_popescu asciilifeform i don't suspect he's using THAT part.
16:11 asciilifeform (it is VERY attractive to academitards because it creates the kind of problems which they can later convert into papers)
16:12 asciilifeform mircea_popescu: you can't actually program in haskell 'without using that part', not really
16:12 mircea_popescu there's possibly a language under academia-haskell screaming to get out ; strong types and etc
16:12 mircea_popescu it's unclear if that language reduces then to ada, but i suspect not.
16:12 asciilifeform no, it reduces to ml
16:12 asciilifeform specifically.
16:12 asciilifeform i considered ml as a very, very close contender for 'an ada'
16:12 mircea_popescu this is possible yes.
16:13 mircea_popescu "typed lisp" w/e
16:13 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.
16:13 asciilifeform ada suffers from the latter problem also
16:13 asciilifeform (but not the former)
16:13 mircea_popescu jurov did you consider and discard ml for your application incidentally ?
16:13 jurov never touched ml
16:13 mircea_popescu ah.
16:14 asciilifeform hardly anyone ever touches it today. no longer taught, afaik.
16:14 asciilifeform it was 'replaced' with haskell in academiland, and with ocaml in heavy industry
16:14 asciilifeform (the latter has ONE IMPLEMENTATION, by some fr d00dz)
16:14 mircea_popescu ocaml that ml which is ml in the sense javasCript is c.
16:14 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
16:14 a111 Logged on 2016-12-13 19:54 Framedragger just discovered how phuctor's 404 page looks like: http://nosuchlabs.com/asdf - appreciates
16:15 asciilifeform mircea_popescu: on the contrary, it has a native compiler for x86. but i categorically am put off by the 'one implementation' thing.
16:15 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.
16:15 asciilifeform phf: i still have multi-GB stash of koi8
16:16 mircea_popescu which is true, too. republic grows by cleverness ; empire shrinks by it.
16:16 asciilifeform fwiw i am still open to suggestions re 'the better ada'
16:16 asciilifeform because ada per se is very, very hairy hair shirt.
16:16 asciilifeform but afaik is not escapable, no.
16:16 mircea_popescu that open-ness is imaginary at best ; minigame will use ada rsa for example.
16:17 asciilifeform theoretically open.
16:17 asciilifeform i don't expect an answer.
16:17 mircea_popescu there was a window, but i think it closed recently.
16:17 asciilifeform am quite certain , in fact, that there isn't one
16:20 asciilifeform as someone who ~likes~ 'functional' languages, etc., i still must point out that it is a highly questionable business to use a language where there is not a simple, kindergarten correspondence b/w each line of the program and what the machine physically does, for safety-critical equipment.
16:20 asciilifeform of the type-safe/bounds-safe languages, ada is the only one which fills this description.
16:20 asciilifeform afaik.
16:21 asciilifeform (there is also pascal, but there exists , afaik, no reasonably cross-arch compiler today for it. and ada is a variation on the pascal theme anyway...)
16:21 mircea_popescu there's to my mind two different and unduly conjoined at the hip in practice meanings of "computer". ONE is "i need this tool to amplify my searching - false positives are not a concern, false negatives are very much a concern" ; but THE OTHER is "i need this machine to reliably do boring task for me - false positives are CATASTROPHIC, false negatives not so big a deal".
16:21 phf i would learn pascal if only because it was spoken by knuth (c)
16:22 mircea_popescu as per the first, returning "nothing there" wrongly when i scan hill will result in wolf eating me; returning "wolf" when nothing there will just result in more checks, no biggy.
16:22 asciilifeform i caught the tail end of the pascal era in american school.
16:22 mircea_popescu this kind-of mirrors the two functions of brain discussed in neuroscience, the fuzzy and the sharp state
16:23 asciilifeform mircea_popescu: taken literally, the first can simply take the form of 'iswolf(...) { return 1 ; } ' !
16:23 mircea_popescu in wetware these are stress-switched (which is why "stress" even exists in mammals) ; but i don't expect hardware to be able to reconfigure my machine from one to the other - just as long as it does either well i can buy two machines.
16:23 asciilifeform which is probably not what you want.
16:23 mircea_popescu asciilifeform that's a 2 take of 1.
16:23 mircea_popescu no, not what i want.
16:24 phf ru still uses pascal, at least at msucmc when i did evening math school kuryachiy taught everyone C, which i later learned was a kind of rebelling. dept proper uses pascal for all course material
16:25 mircea_popescu same here, except what, decades ago o.O
16:27 mircea_popescu http://btcbase.org/log/2016-12-13#1582787 << no, he means per hour.
16:27 a111 Logged on 2016-12-13 17:41 asciilifeform: four times more per what ? per km ??
16:28 mircea_popescu his life after all comes in hour slices.
16:28 asciilifeform (to briefly revisit upstack, for log readers, 'prolog disease' is when a language is designed in such a way that in the course of normal operation, you routinely ask the machine questions which may well be np-hard to answer; and at any rate the correspondence between the algorithmic complexity of your proggy as-written and the resulting instruction stream physically as-executed, is something other than obvious)
16:29 mircea_popescu http://btcbase.org/log/2016-12-13#1582795 << you live in an alt world. i don't think ANY car in buenos aires EVER averaged 50/hr over a whole day of its entire its lifetime.
16:29 a111 Logged on 2016-12-13 17:42 davout: reasonable car does what? 100km in an hour, drinks roughly 6~7L
16:30 mircea_popescu http://btcbase.org/log/2016-12-13#1582806 << he's right, at that.
16:30 a111 Logged on 2016-12-13 18:14 davout: fun, but low pay (unless 30 years experience and a380 captain for air france/ba/lufthansa)
16:36 mircea_popescu http://btcbase.org/log/2016-12-13#1582807 << ahaha hanbot quite! "dale, entonces somos todos artistas!" is just about buenos airtards in their heart of hearts.
16:36 a111 Logged on 2016-12-13 18:14 deedbot: http://thewhet.net/2016/argentina-comicon-bonbon/ << The Whet - Argentina Comicon Bonbon.
~ 3 hours 28 minutes ~
20:04 deedbot http://phuctor.nosuchlabs.com/gpgkey/EC80FC1B2390AB3C5EA9393F79810BCB53F44349D3A18F84B64C942AF5A42CF9 << Recent Phuctorings. - Phuctored: 1033...0847 divides RSA Moduli belonging to '74.45.228.197 (ssh-rsa key from 74.45.228.197 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown US)
20:04 deedbot http://phuctor.nosuchlabs.com/gpgkey/E9178835F46E18E120A90B7408D74FB435B55D42500C3B8AD1FE339402F41BF5 << Recent Phuctorings. - Phuctored: 2749...0911 divides RSA Moduli belonging to '80.82.156.20 (ssh-rsa key from 80.82.156.20 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown CZ)
~ 18 minutes ~
20:22 deedbot http://phuctor.nosuchlabs.com/gpgkey/EC80FC1B2390AB3C5EA9393F79810BCB53F44349D3A18F84B64C942AF5A42CF9 << Recent Phuctorings. - Phuctored: 1033...0847 divides RSA Moduli belonging to '74.45.228.197 (ssh-rsa key from 74.45.228.197 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown US)
20:22 deedbot http://phuctor.nosuchlabs.com/gpgkey/9CA2F617FF1AE07F810319A1B5FA7482903D44720FB605C30F46B965933EDB7B << Recent Phuctorings. - Phuctored: 1033...0847 divides RSA Moduli belonging to '74.45.228.248 (ssh-rsa key from 74.45.228.248 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown US)
20:34 phf well, definitely not moving to argentina
20:36 thestringpuller !~later tell davout http://wotpaste.cascadianhacker.com/pastes/xPu3G/?raw=true
20:36 jhvh1 thestringpuller: The operation succeeded.
~ 39 minutes ~
21:16 mod6 !~tslb
21:16 jhvh1 mod6: Time since last block: 37 minutes and 39 seconds
~ 47 minutes ~
22:03 deedbot http://trilema.com/2016/mps-heroes-of-might-and-magic-vii-for-blood-and-honor-early-walkthrough-guide/ << Trilema - MP's Heroes of Might and Magic VII (For Blood and Honor) Early Walkthrough & Guide.
~ 40 minutes ~
22:44 BingoBoingo http://thewhet.net/2016/argentina-comicon-bonbon/ << This may be the literary piece of the year
~ 19 minutes ~
23:04 mod6 i lel'd
23:12 BingoBoingo hanbot has a gift with the verbal venom
~ 37 minutes ~
23:49 hanbot aw, shucks ;)
23:52 deedbot http://phuctor.nosuchlabs.com/gpgkey/E9178835F46E18E120A90B7408D74FB435B55D42500C3B8AD1FE339402F41BF5 << Recent Phuctorings. - Phuctored: 1574...0837 divides RSA Moduli belonging to '80.82.156.20 (ssh-rsa key from 80.82.156.20 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown CZ)
23:57 * BingoBoingo suspects it was the years in the forum slop helped to hone hanbot's craft
← 2016-12-12 | 2016-12-14 →