ben_vulpes: trinque puzzlingly enough subclassing logbot and defining an ircbot-connect :after method to add the relevant hook (ctcp-action-message, in case anyone is looking for cl-irc action message hooks later) did not result in a hook landing in the connection object that the message-dispatcher would poop into
ben_vulpes: so the patch is currently sitting in logbot code
asciilifeform: 'A decentralized network system fully-utilizing Blockchain in every aspect, aims at solving current difficulties faced by key cryptocurrencies such as Bitcoin and Ethereum, preventing from frauds and money-laundering, ID management and being a mediator with taxing/administrative system in various countries.
asciilifeform: In this network system, Blockchain is used for managing development and release of game applications, players matching, game fairness and payment function.'
ben_vulpes: there is so much js on that page my poor computer cannot cope
trinque: ben_vulpes: I'd rather get some gossipd work rolling than put any more effort into hugging the IRC turd tighter
asciilifeform: 'Multiple vulnerabilities have been discovered in tcpdump, a command-line network traffic analyzer. These vulnerabilities might result in denial of service or the execution of arbitrary code.'
asciilifeform: in other monkeystan chatter, 'Pence is sane enough to oppose rash acts involving, say, the evisceration of all U.S. military alliances, or America's first use of nuclear weapons - and presumably, if things got bad enough, other Trump cabinet members might also be inclined to oust their boss and replace him with his vice president. Congress would have to acquiesce in a permanent 25th Amendment
asciilifeform: removal, but if Pence and half the cabinet declared Trump unfit, even a Republican-controlled Congress would likely fall in line.'
asciilifeform: and to top off the lulzfest, http://archive.is/jMArA : 'Microsoft Corp said it has been cooperating with the Washington State Attorney General's Office, which is suing in federal court to stop President Donald Trump's order restricting immigration from several Muslim countries.'
thestringpuller: BingoBoingo: funfact kindergarten cop is a textbook "comedic thriller"
shinohai: haha ben_vulpes .... his tweets are just more of same butthurt and wtf since the "But he *is* satoshi* thing.
shinohai: All Unlimited is now superior to core things.
asciilifeform: ben_vulpes: h1b from obummer's Badness Enumeration List ~= 0
shinohai: "I'm half-Latina, my mother full-blooded. My father is white. At Thanksgiving, I was having a discussion with another relative when my dad's aunt called me a Communist and started chanting 'Build that wall.' Should I write her off?"
a111: Logged on 2017-01-31 15:07 asciilifeform: in other monkeystan chatter, 'Pence is sane enough to oppose rash acts involving, say, the evisceration of all U.S. military alliances, or America's first use of nuclear weapons - and presumably, if things got bad enough, other Trump cabinet members might also be inclined to oust their boss and replace him with his vice president. Congress would have to acquiesce in a permanent 25th Amendment
mircea_popescu: also, amendments to the constitution aren't made by congress.
shinohai: I like the "America's first use of nuclear weapons" part.
asciilifeform: mircea_popescu: they dun need an amendment to dethrone president
scriba: ssh banner of 220.127.116.11 as seen on 2016-06-13: SSH-2.0-OpenSSH_6.0p1 Debian-4+deb7u2
mircea_popescu: this has been a random sampling of the ips leaked by people connecting today. Framedragger, any idea why only 1 in 4 is in your list ? evidently the ips are routable ; can you check if you talked to them and htey didn't respond, or just didn't talk to them ?
a111: Logged on 2017-01-31 17:38 shinohai: "I'm half-Latina, my mother full-blooded. My father is white. At Thanksgiving, I was having a discussion with another relative when my dad's aunt called me a Communist and started chanting 'Build that wall.' Should I write her off?"
a111: Logged on 2017-01-30 21:18 mircea_popescu: because, of course, "Sepan los nacidos y los que van nacer que nacimos para vencer y no para ser vencidos."
Framedragger: (is this to be expected, statistically speaking, and so on. but yes have logs, will check ~tomorrow or today)
mircea_popescu: Framedragger was planning to use it as a snide "you're leaking ip" for noobs' benefit
asciilifeform: i've been pondering subj for ~hour nao; it is not entirely clear that '100% machinewordsize-independent arithmetic' is compatible with 'zero-surprise compilation on all machines'
asciilifeform: it's an abstraction leak that is not trivially pluggable.
asciilifeform: as per ada standard, in order to have a constrained type (e.g., type foo is range 0 .. 10; ) the compiler must find a X such that X is representable on the machine as a fixint, and range of X is larger than asked-for range
asciilifeform: so it'll turn type Foo is range 0 .. 10; into type Foo is Integer range 0 .. 10 ;
asciilifeform: even type Foo is range 0 .. (2**63)-1; worx on x64, because there is a superset, i.e. range 0 .. 2**64 .
asciilifeform: but if there is no fixint superset, there cannot, apparently, exist the constrained type.
asciilifeform: seeeee this is what i mean when i say 'hardware is catastrophically retarded'
asciilifeform: and no, you can't gabriel_laddel over this boojum, and 'work around in software automagically', result will be a massive time AND space penalty at a seemingly arbitrary boundary (i.e. if you had bignumatron kick in above the can't-fixnum-no-moar threshhold)
asciilifeform: likewise default assumption in ada world is that there is not necessarily a heap. (safety-critical proggies typically use NO HEAP EVER)
asciilifeform: let's say we go type Btc_Varint is range 0 .. (2**63)-1;
asciilifeform: (and then define the correct reader, writer, for streams, i am omitting these here for clarity)
asciilifeform: this will never result in a block verification eggog (varints are used ONLY for counts of entitites, and no bitcointronic subentity contains 2**64 of anything, or could, by the classical rules)
asciilifeform: BUT! now an enemy can distinguish your node from satoshi node, by when the connection barfs. potentially.
asciilifeform: this, i suppose, is not a mega-discovery, it is just trivial fact that you cannot 100% match the semantics of a broken system without being broken in all of the exactly same ways (in this case, over/under-flowable arithmetic)
asciilifeform: that being said, my current understanding is that no bitcoin message containing a varint equalling 2**64 is ever possibly valid.
asciilifeform: mircea_popescu ^ does this match your calculation ?
mircea_popescu: so basically, what my mind has strained from this convo, is that ada implements bound checking badly ; in that it (wrongly) assumes that it can always source a larget item to compare to, like < size+1.
mircea_popescu: which fundamental reasons entirely consist of "alf the bee dog with his magical black and white spots vision managed to read the expliciting of the < vs <= difference SIX TIMES and ignore it every time"
mircea_popescu: are you saying the problem ISN'T after all that "the compiler can't find 0x10000000000000000" as you originalyl stated, but that it can't be arsed to compare to 0xffffffffffffffff instead ?
asciilifeform: comparing to 0xffffffffffffffff is not what the program stated, in the example. and since the compiler is sane, it does not substitute a semantically variant statement to what programmer wrote, under any circumstances.
asciilifeform goes to the b00kz room to fetch 'ada 2012 rationale', to learn whether he is complete moron, or wat.
mircea_popescu: well yes, but as long as the job is "check for machine word fixed type", the carry will save you.
mircea_popescu: incidentally this whole thing with mul add etc is a fine working example for the in band / out of band discussion.
mircea_popescu: ie, origin ally the philosophical minds prevailed, and a special wire was added (the carry). but then ww2 ended and saner minds prevailed ; thus double sized results on the same bus and the world went back to the peace and prosperity of everything in band.
asciilifeform: actually that second thing only half-happened, you only get a second machineword out of mul on any known chip
mircea_popescu: rust is pretty much the anti-language ; as someone explained "the red hat decided to present it as the thing and hope for all the idiots to contribute freely to make it the thing for this reason".
asciilifeform: first time i see the d00d mention shitlangs. but the overflow thing affects shitlangs just as much as sanelangs.
asciilifeform: if tomorrow knuth starts to harp about slow $shitlang, mircea_popescu will throw out his copy of aop ?
asciilifeform: regehr is (or at least was) solid thinker, and the problem being spoken of, actually exists. there are archs with no sane overflow handling. and hence why gcc doesn't use, apparently, carry flag.
mircea_popescu: idiots, and by this i mean specifically intelligent ones, benefit immensely from warnings
mircea_popescu: especially if they are then followes through with merciless, disfiguring beatings.
mircea_popescu: the best thing you can do for a pianist in general is take a hammer to the fingers of the "most talented piano player of his generation" so he can never as much as open a can of tuna with his own hands ever again.