log☇︎
218800+ entries in 1.069s
mircea_popescu: would be saner to add a mod at the tail of each op.
asciilifeform: (a set of comparisons gets inserted by compiler on any operation that could result in walking out of the bounds)
mircea_popescu: well good for it, but if it introduces it without providing it then ada's an idea man ; we have plenty of these up in wash dc. their product is called "unfunded mandates".
asciilifeform: they are necessarily implemented on top of machine fixints.
asciilifeform: but ada also introduces notion of sane (non-underflowing and non-overflowing, and in fact arbitrarily constrained) types.
mircea_popescu: so there's at least two "whole notion of fixnum is this"
asciilifeform: this comes with the territory of 'naked' register. in ada you have to explicitly ask for this horror, it is called 'modular type'. all c types are it.
mircea_popescu: that's a part of the thing. consider, why isn't "the whole notion of fixnum" that if you b = size+1 then b = 0 ?
asciilifeform: fixnum is the term of art for the mathematical object that you end up with when you arithmetize on registers of particular physical size.
mircea_popescu: why is this the whole notion of a fixnum ?
asciilifeform: whole notion of a fixnum, is this.
asciilifeform: think: you can cmp rax, 0xffffffffffffffff . but you cannot cmp rax, 0x10000000000000000 , it dun matter how much you want to.
mircea_popescu: it bloody well can't be 1 inch in all the ways
mircea_popescu: seems like a strange sort of fencing error. vaguely reminiscent of the whole "is 1 inch pipe 1 inch outside or inside ?" debacle for apprentice plumbers
asciilifeform: mircea_popescu: on no extant cpu can you apply range constraint predicate to a bus-wide fixnum. think about it.
mircea_popescu: machine's problems must be solved by machines ; software is the standard they are led to much like the erect cock is the standard women are held to.
mircea_popescu: asciilifeform i don't think "zero surprise compilation on all machines" is a notable or even desirable concern.
asciilifeform idly wonders if ye olde https://www.engadget.com/2015/05/01/boeing-787-dreamliner-software-bug/ was an instance of 'can't do 64bit unsigned int as constrained range type on any extant iron'
asciilifeform: we are looking at a real engineering constraint, flowing from the broken way in which c-machine implements the ring of integers.
a111: Logged on 2016-10-03 16:20 asciilifeform: i will give example here, to nail in the point:
asciilifeform: http://btcbase.org/log/2016-10-03#1551706 <<< directly related old thread. ☝︎
asciilifeform: as for mempool messages, we have , in current trb :
asciilifeform: pretty sure that nothing ever hits even 2**32-1.
asciilifeform: proposition: 'no valid bitcoingram contains a varint greater than 2**63 -1 ', let's say. tru?
asciilifeform: mircea_popescu ^ does this match your calculation ?
asciilifeform: that being said, my current understanding is that no bitcoin message containing a varint equalling 2**64 is ever possibly valid.
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: BUT! now an enemy can distinguish your node from satoshi node, by when the connection barfs. potentially.
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: (and then define the correct reader, writer, for streams, i am omitting these here for clarity)
asciilifeform: let's say we go type Btc_Varint is range 0 .. (2**63)-1;
asciilifeform: but this is small comfort
ben_vulpes: compact size is an excellent example of a throwaway "engineering" decision that imposes rather a lot of costs on the future
asciilifeform: now! IN PRACTICE! any bitcoin message with a 0xFFFFFFFFFFFFFFFF varint in it, is an eggog, because max message length is smaller than this.
asciilifeform: and the 'doctor, it hurts when i do that! --- so stop doing that!' option is NOT available, as bitcoin's protocol mandates a 'compactsize' variable-bitness integer idiocy that maxes out at unsigned 64bit. ( see http://btc.yt/lxr/satoshi/source/src/serialize.h?v=asciilifeform_add_verifyall_option#0192 ) .
asciilifeform: this is not as simple as 'gcc suxxxxx, let's fix gcc'. because i have nfi what The Right Thing looks like here.
asciilifeform: this is, as i see it, a philosophical problem, and i post it here for that reason.
asciilifeform: likewise default assumption in ada world is that there is not necessarily a heap. (safety-critical proggies typically use NO HEAP EVER)
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: seeeee this is what i mean when i say 'hardware is catastrophically retarded'
asciilifeform: but if there is no fixint superset, there cannot, apparently, exist the constrained type.
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: so it'll turn type Foo is range 0 .. 10; into type Foo is Integer range 0 .. 10 ;
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: it's an abstraction leak that is not trivially pluggable.
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: mircea_popescu: even this, is debatable
a111: Logged on 2017-01-31 18:12 asciilifeform: motherfucking tards.
mircea_popescu: Framedragger was planning to use it as a snide "you're leaking ip" for noobs' benefit
Framedragger: (is this to be expected, statistically speaking, and so on. but yes have logs, will check ~tomorrow or today)
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?"
mircea_popescu: http://btcbase.org/log/2017-01-31#1610191 << the aunt is right ; "latinos" don't belong in civilised society. see also http://btcbase.org/log/2017-01-30#1610004 ☝︎☝︎
Framedragger: the `ssh` command should take multiple IPs per msg, btw
Framedragger: will check later! main guess is that there's no actuall ssh server running on port 22 (or rather, there was none at time of scan.) would be great to know the overall statistics, yes.
asciilifeform guesses that they belong to luser boxes, i.e. konsoomer routers, no ssh
mircea_popescu: also this is very nice item.
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 15:07 asciilifeform: removal, but if Pence and half the cabinet declared Trump unfit, even a Republican-controlled Congress would likely fall in line.'
mircea_popescu: http://btcbase.org/log/2017-01-31#1610175 << pence and half the cabinet ?! what is this, our democracy ? ☝︎
mircea_popescu: they could use some howitzers ; they ain't got 'em.
mircea_popescu: asciilifeform iirc yeltsin won this dispute in practice.
mircea_popescu: jesus turns out the "our democracy" folk had been living in a full on play-by-the-ear dictatorship since the 70s ? they have nfi how anything works do they ?
asciilifeform: mircea_popescu: they dun need an amendment to dethrone president
shinohai: I like the "America's first use of nuclear weapons" part.
mircea_popescu: also, amendments to the constitution aren't made by congress.
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: http://btcbase.org/log/2017-01-31#1610174 << wtf are they smoking over at nytimes retreat ? vp is not involved in nucular deployments. ☝︎
deedbot: http://trilema.com/2017/lethargy-part-6/ << Trilema - Lethargy, part 6
asciilifeform: motherfucking tards. ☟︎
asciilifeform: but this gives you a C-style 'modular type' -- e.g., it can overflow and underflow.
asciilifeform: now, type U64 is mod 2**64; works
asciilifeform: because -- marvel of marvels, gcc has nfi how to generate bounded unsigned 64bit types in ada on x86-64.
asciilifeform: 'integer type definition bounds out of range'
deedbot: http://phuctor.nosuchlabs.com/gpgkey/B222AE99114C968292A3E25BF957904F867CAC0764829606CE8713E800CC79E7 << Recent Phuctorings. - Phuctored: 1770...5107 divides RSA Moduli belonging to '201.248.243.31 (ssh-rsa key from 201.248.243.31 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (201-248-243-31.dyn.dsl.cantv.net. VE)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/B222AE99114C968292A3E25BF957904F867CAC0764829606CE8713E800CC79E7 << Recent Phuctorings. - Phuctored: 1711...1857 divides RSA Moduli belonging to '201.248.243.31 (ssh-rsa key from 201.248.243.31 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (201-248-243-31.dyn.dsl.cantv.net. VE)
thestringpuller: ended up turning the place into almagamation of sweatshop and click farm...
thestringpuller: i've never seen h1b1 used for its "intended purpose". at first coal mine, director would hire h1b applicants over the norm due to cost.
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?" ☟︎
shinohai: All Unlimited is now superior to core things.
shinohai: haha ben_vulpes .... his tweets are just more of same butthurt and wtf since the "But he *is* satoshi* thing.
ben_vulpes: shinohai: that is a funny tweet from gavin
Framedragger: (i'm afraid i won't have much time to work on bot or anything for the next ~two months, though. will maintain things and slowly move ahead, tho.)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/DDE2BA903B5B33E79BA63AD7CD4401DB427E8E77C8E4A31789667B9AC97619BA << Recent Phuctorings. - Phuctored: 1377...9033 divides RSA Moduli belonging to '85.125.140.228 (ssh-rsa key from 85.125.140.228 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (85-125-140-228.static.upcbusiness.at. AT)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/DDE2BA903B5B33E79BA63AD7CD4401DB427E8E77C8E4A31789667B9AC97619BA << Recent Phuctorings. - Phuctored: 1373...5033 divides RSA Moduli belonging to '85.125.140.228 (ssh-rsa key from 85.125.140.228 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (85-125-140-228.static.upcbusiness.at. AT)
thestringpuller: BingoBoingo: funfact kindergarten cop is a textbook "comedic thriller"
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.' ☟︎
asciilifeform: removal, but if Pence and half the cabinet declared Trump unfit, even a Republican-controlled Congress would likely fall in line.' ☟︎
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: '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.'
BingoBoingo: shinohai: ty fxd
jhvh1: shinohai: The operation succeeded.
shinohai: !~later tell BingoBoingo http://wotpaste.cascadianhacker.com/pastes/agePU/?raw=true
a111: Logged on 2017-01-30 16:55 mircea_popescu: speaking of which phf you still working on that ?
phf: http://btcbase.org/log/2017-01-30#1609850 << i am, but it's in the list of things i need to accomplish. i want to wrap up "blame" next, and i can work no graphs after ☝︎
asciilifeform: hence the astonishing weight
asciilifeform: btw i nearly forgot, that pen box had 100% STEEL case
asciilifeform: 'snail trail'
mircea_popescu: the thing sucked.
mircea_popescu: i had a ~9 lb laptop cca 1995 that could almost play master of orion
asciilifeform: lulzily, the only i/o was... laplink!