asciilifeform woke up from dream where mircea_popescu finally showed him the antigravity glove. which was the only piece of tech he had brought from the distant future where ha had been born
phf: since everyone's sleeping, i'm going to bring wintermute down (in the flurry of pre-travel arrangements i managed to nuke my ssh key)
BingoBoingo: <pete_dushenski> though i'm still curious how mp obtained the same info using a pre-0.7 version of bitcoind << Likely with a pre-0.7 incarnation of the display peer info idea
phf: simple, cat /dev/mem > /dev/printer, and then make slave girls go over the result with pen until "get me all peers"
pete_dushenski: though i'm still curious how mp obtained the same info using a pre-0.7 version of bitcoind
phf: according to btcbase it depends on polarbeard_better_log_messages, which doesn't press cleanly (that was around the time when a bunch of things got reground, pbd meanwhile dropped out)
pete_dushenski: anyone remember what was wrong with polarbeard's crack at the getpeerinfo patch ? doesn't look like much happened after http://btcbase.org/log/2016-03-16#1434518 but my log searches may be imperfect
pete_dushenski , very late to the party, wishes for getpeerinfo in trb
pete_dushenski: speaking of the state of the network, mircea_popescu how did you produce this profile without getpeerinfo ? http://trilema.com/the-actual-state-of-the-bitcoin-network
ben_vulpes: time to update the banhammer?
a111: Logged on 2017-02-02 01:20 asciilifeform: (equivalent in commonlisp world would be a program that relies ~only~ on the ansi standard)
phf: http://btcbase.org/log/2017-02-02#1610863 << of course there's enough standard to do it, but nobody does it. even franz's inflate.cl depends on acl-compat (seems like mostly for asshattery like if*)
ben_vulpes: in other portlands: http://www.oregonlive.com/trending/2017/02/portland_woman_gets_snake_stuc.html
BingoBoingo: From the Petrus Report: http://www.breitbart.com/national-security/2017/02/01/muslim-mob-rapes-15-christian-women-revenge-attack-conversions/
ben_vulpes: i did write an article about the material changes from each version
ben_vulpes: pete_dushenski: the most i can imagine you'll learn about the differences between prb and trb without reading the source is that the latter doesn't have a gui
ben_vulpes: perhaps some day in peacetime i shall compare the hashes of the bins you sent over to my other archives
pete_dushenski: i might just get my hands dirty either way. not quite lead into gold but i highly doubt i'll learn ~nothing~
asciilifeform: pete_dushenski: 0.8.something was the last prb i had working
pete_dushenski: i have no such software in operation atm. though i may fire one up just to see what i can learn about the cuts trb ultimately made.
pete_dushenski: bv had asked for my archived copies a few weeks back, presumably with the intent to run on spare macware.
pete_dushenski: ben_vulpes: any progress updates on the 0.8.2 / 0.8.6 tests ? curious to see what hacks are needed, if any.
asciilifeform: ...the what?
shinohai: The sig campaign spam camp is that way >>>
asciilifeform: (equivalent in commonlisp world would be a program that relies ~only~ on the ansi standard)
asciilifeform: http://unzip-ada.sourceforge.net/za_html/index.htm << astonishingly readable literate-programming d00d. and he has a bunch of these.
shinohai: or whatever the fuck he calls it.
mircea_popescu: but something tells me there's going to be left very little of andressen's "nice going team" after a coupla years' worth of headwind.
mircea_popescu: time to find out exactly how much fat the "incubator that produced a hundred billion in new companies" actually has on the bones.
ben_vulpes: shinohai: they didn't even know it existed pre election
mircea_popescu: foregone conclusion anyway, i see zero possibility of outfits like iab / conde nast / the atlantic / new york times / guardian / etcetera borrowing in the future. they won't be able to finance ops, and so it's myspace time for them all.
shinohai: Was surprised they didn't do it pre election
mircea_popescu: didn;'t they ban pretty much everything non conde nast last year anyway ?
mircea_popescu: but are you the good guys ?
ben_vulpes: shinohai: it's simple, you just have to correctly price the paper that everyone else has mispriced.
shinohai: This model may require further research.
mircea_popescu: you'll be the lord exchequer
mircea_popescu: o brother.
mircea_popescu: "i wouldn't steal, honest!" "why are you wearing 48 wrist watches on your arms ?" "oh... that's the soviet fashion. they're... um... gifts!"
mircea_popescu: the fact that he failed to understand something (and failed SILENTLY!11) a mere five minutes prior gives him no pause, much like any other socialist retard, "trust me, i'm a good guy" with blood and guts all over.
a111: Logged on 2017-02-01 21:50 fromsiphnos: if, there is something which i don't understand , ( i did understand all you were saying til now ) , I .. will ask !
mircea_popescu: http://btcbase.org/log/2017-02-01#1610795 << prety lulzy how the delusion of "independence" and "in control of self and own destiny" works in retards, too. this schmuck actually imagines himself in a position to... recognize, by himself, for himself, when he didn't understand something.
Framedragger will meditate on http://trilema.com/2014/what-the-wot-is-for-how-it-works-and-how-to-use-it/#footnote_4_53927 some more, then act accordingly :)
fromsiphnos: if, there is something which i don't understand , ( i did understand all you were saying til now ) , I .. will ask !
fromsiphnos: are you guys the good guys ? or bad guys ?
shinohai pokes BingoBoingo awake to ask these questions.
Framedragger: fromsiphnos: you'll need to learn things, this is not a (completely) trivial hacker-kiddo thing, in the sense of finding a list of "hackable" IPs on a forum and then trying user/pass pairs. :) you'd need to be understand how public key based authentication works, and what the distinction between a server ssh key and a client ssh key is.
Framedragger: (what is nice is not bullshitting around and just providing raw data (at least as one of the options)).
Framedragger: (i must point out that these sorts of scans are nothing unique at all. https://scans.io/ offers data, for example, but i can't be arsed to make an account and check. mebbe sometime.)
Framedragger: so basically that's the kind of info available. more later, hopefully. there have been some scans of other ports on the ssh-broken (phucted, as in http://phuctor.nosuchlabs.com/ ) boxes, etc.; but no central place for those scans.
a111: Logged on 2016-11-17 16:02 Framedragger: in fact.. due to https://hdm.io/tools/debian-openssl/ correctly pointing out that "This flaw is ugly because even systems that do not use the Debian software need to be audited in case any key is being used that was created on a Debian system.", someone should attempt botnet-brute-login to all 13M+ (i forget lol) ssh hosts with rng-fucked client keys.
Framedragger: but good news, as asciilifeform et al. have pointed out before, a lot of client keys get generated on ssh servers. if random number generation or other things are broken on the latter, you can *derive* the (set of) the former, in some cases :)
Framedragger: (the siphnos datadrop (http://siphnos.mkj.lt/datadrop/) gives the banners ("banners" folder) and keys (in various formats), including raw ssh-keyscan output (*_scan.tar.bz2), as e,N,IP CSVs (e-N-IP*), a.k.a. tmsr format, and converted openpgp (rfc4880) format.)
Framedragger: good question, and yet another shameful instance of my backlog (in an ideal world, you would find an article in regards to that on the most esteemed news source, http://qntra.net/ )
Framedragger: the former (ssh-keyscan output) is basically, ssh-rsa public keys, plus ssh server banners (ssh hello's).
fromsiphnos: i am familiar yes ! but i was curious to find out, how did you managed to scan around 15 mil + ip's to find their banners and their keys
Framedragger: (the latter are in two files: http://siphnos.mkj.lt/datadrop/s1_ip.tar.bz2 and http://siphnos.mkj.lt/datadrop/s2_ip.tar.bz2 )
Framedragger: i suppose it's not documented anywhere properly as of yet, hm! fromsiphnos, are you by chance familiar with the `ssh-keyscan` tool (bundled in by default in the openssh package). it's basically output from that tool, plus a list of all IP addresses which can be connected to on port 22.
mircea_popescu: who might you be then ?
fromsiphnos: well , i was curious as to what kind of infos are there on the above site you mentionated
Framedragger: fromsiphnos: oh, are you the austrian dude who emailed fd@mkj.lt once? (given that you connected from vienna just now) :)
Framedragger: yes, *some*. but not enough automation, apparently; and not enough falsification in this case, as is very much apparent :/ should have been an obvious catch by either automated test or at least manual test. was (very shamefully) a wee bit too lazy with this last command.
mircea_popescu: trinque some people use the hos as a drivers.
ben_vulpes: or whatever put-puts they use in bsas
mircea_popescu: lyft is a cab in the sense urban slum dwellings are homes.
ben_vulpes: that poll booth operators have the money for cabs astonishes me
mircea_popescu: whatever the fuck "kieryn fartwater" has to say doesn't really belong written
ben_vulpes: contains rather than starts with
mircea_popescu: what's the bug ?
mircea_popescu: dunno if you care enough / have the patience.
mircea_popescu: the tmsr dns is getting ever meatier.
asciilifeform: thestringpuller: and 'new mexico' means: antarctica ..?
jhvh1: asciilifeform: The operation succeeded.
fromdeedbot: trinque: word, does the name plauche ring any bells?
trinque: fromdeedbot: well, if you want to let me know who, I might rate you. otherwise enjoy the logs.
jhvh1: shinohai: The operation succeeded.
fromdeedbot: trinque: i was actually looking around online to see what you were up to these days. its been a while
asciilifeform: then I'll be wrong. But I am not wrong."'
asciilifeform: elsewhere in heathendom, http://archive.is/kfQaT >> '"Leakedsource is down forever and won't be coming back," a person using the handle LTD wrote Thursday in an online forum. "Owner raided early this morning. Wasn't arrested, but all [solid state drives] got taken, and Leakedsource servers got subpoenaed and placed under federal investigation. If somehow he recovers from this and launches LS again,
trinque: per the rules of disorganized angry mob, trump guy lost
asciilifeform: the funniest bit is that 32-bit (1980s) sparc HAD trap-on-overflow instructions, and DITCHED them when upgraded to 64bit !
deedbot: http://trilema.com/2017/an-alan-smithee-film-burn-hollywood-burn/ << Trilema - An Alan Smithee Film : Burn Hollywood Burn
aseriousgogetta: Application Specific, so let's flash these ROM's to mine moar!
asciilifeform: http://btcbase.org/log/2017-02-01#1610604 << ftr none of the currently sold chips are in any important respect different from x86 re arithmetic.
aseriousgogetta: working my ass off to remember more then i forget. ;)
asciilifeform: (and on x86 that's ~all of them)
asciilifeform: and incidentally sanity checks that introduce branches, ANNIHILATE the pipeline
mircea_popescu: compiler must make all shift instructions shift by 1 then./
asciilifeform: sooo in other olds: x86 sets overflow flag during shifts (SHL/SHR) only if overflow on ~single~ bit shift.
mircea_popescu: heh. la florida, and other eastern places.
mircea_popescu: ownership of the means of production is hard work.
shinohai: It's hard to find interesting ideas for camgirl that refuses to use a dildo or other penetrative props
mircea_popescu: there's no talking girl into it.
mircea_popescu: talk therapy has its limits. from experience girl was either into bellydancing when she was 9, or else she either bellydances or gets the hose again.
mircea_popescu: and, amusingly enough, wikipedia thinks alla kushnir is a mediocre russian-jewish chess player from before the war.
mircea_popescu kinda loves the mutation of the advertising copy into a fake problems narrative, also. "oh there are problems but the valiant soviets!"
asciilifeform: the chlorophos given in mircea_popescu's 'bulldoze reddit' piece works equally well on all wotless insecta
mircea_popescu: yeah and there totally wasn't like, an article describing the policy years ago either.
mircea_popescu: ben_vulpes no that's ~exactly~ what they both earned and deserve. i wasn't kidding re memory holing the other day, the plan literally is for EVERYTHING empire made to get permanently lost. from wikipedia on.
mircea_popescu: phf you managed to go back to the 80s ?
jurov: !!deed http://therealbitcoin.org/ml/btc-dev/attachments/20170201/attachment.txt?sha1=41c6fd5bc887251867bff5577e5af04c66ce8a7d
jurov: deedbot: http://therealbitcoin.org/ml/btc-dev/attachments/20170201/attachment.txt?sha1=41c6fd5bc887251867bff5577e5af04c66ce8a7d
ben_vulpes: http://www.theregister.co.uk/2017/02/01/gitlab_data_loss/ << stuff of nightmares
BingoBoingo: They started with three [years], we came back with 15, and we expected to negotiate somewhere around seven to ten years.
mircea_popescu: likely story. your flimsy cover-up of the time travel technology is not convincing anyone mod6
a111: Logged on 2017-02-01 00:41 mod6: Ladies and Gentlemen of The Most Serene Republic; The latest State of Bitcoin Address: http://therealbitcoin.org/ml/btc-dev/2017-February/000246.html
ben_vulpes: > while etymologists concur, there is no b in plover
asciilifeform: (d00d who wrote https://archive.org/details/howtotellbirdsfr00wood among other works.)
ben_vulpes: asciilifeform: any idea who came up with the re-alloying trick?
asciilifeform: note, i had a spare board. but decided to try to repair the old one first.
ben_vulpes: nevertheless, a man in my wot republished it and so i did not have to go looking for it myself when the time came.
mircea_popescu: ah yeah, came same day. turns out he just runs the blog though
mod6: Ladies and Gentlemen of The Most Serene Republic; The latest State of Bitcoin Address: http://therealbitcoin.org/ml/btc-dev/2017-February/000246.html
BingoBoingo: Nah, very R-elephant. ACLUOMGWTFBBQ and all along with their donors have been spending, spending, spending these past 11 days. Their march to povertree is lulzy
ben_vulpes: the specifics are irrelephant
BingoBoingo: Well in their words, YCuminasser is teaching ACLU how to spend money
ben_vulpes: they probably need an app!
ben_vulpes: BingoBoingo: nono, i said it therefore it is
ben_vulpes: aah, i get it. ycombinator is buying their way out of the sins of refusing to disavow thiel by "funding" the aclu.
BingoBoingo: LOL, Wapo flunkies: American's Support Trump http://www.slate.com/blogs/the_slatest/2017/01/31/reuters_ipsos_muslim_ban_poll_finds_support_for_order.html
BingoBoingo: <mircea_popescu> also, amendments to the constitution aren't made by congress. << I think they are referring to section 4 of the 25th amendment, tis a mess
jurov suspects that all the alf-alikes just barfed at JO instruction "no we want trapping! and true pyrex glass!"
asciilifeform: there is deep wisdom in this here this.
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.
mircea_popescu: but look where the harping got him.
mircea_popescu: no. and also not the first copy of scheider.
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.
asciilifeform: first time i see the d00d mention shitlangs. but the overflow thing affects shitlangs just as much as sanelangs.
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: looks like ARM might be the culprit.
asciilifeform: but when you open the hood you discover that there are all kinds of idiocies that 'people live with' because 'what else can you do'
asciilifeform: the one thing it is, is ~familiar~.
asciilifeform: it is neither simple nor particularly cheap.
mircea_popescu: maybe. i'd have to see the scheme.
mircea_popescu: you understand, all this, cpu freq, bus aperture, words etc exist because simple and cheap solution to the clock problem
asciilifeform: rather than arbitrary constant N-wide bus.
asciilifeform: mircea_popescu: the correct parallelization scheme is N single-bit ALUs working in concert.
mircea_popescu: if you can't do that, they have a point.
mircea_popescu: the only way to make them wrong would be to make your cpu work without clock and bus cycles.
mircea_popescu: and someone somewhere is going to want to talk of it directly rather than haskelly, and so they will use the concept of... machine words.
asciilifeform: not single, but < the actual logical width, almost certainly.
asciilifeform: where, yes, you can add 0xFFF......FFF and 1 in constant time, but the cost is that now some numbers are 'special'
asciilifeform: this goes back to the 'dma' thread. large machine registers are an ad-hoc and clumsy form of parallelism.
asciilifeform: throw out the dumb speshulcases.
asciilifeform: and i 100% agree, it is blitheringly idiotic, let ALL arithm ops return 2wordz!!
mircea_popescu: myeah. but if i ever make a chip myself, there's not going to be fucking carry speshul bit.
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.
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: well yes, but as long as the job is "check for machine word fixed type", the carry will save you.
asciilifeform goes to the b00kz room to fetch 'ada 2012 rationale', to learn whether he is complete moron, or wat.
mircea_popescu: asciilifeform there's also fleshlights. i don't program on those.
mircea_popescu: well i don't see how you can get 3 words by multiplying 1 word with another word.
asciilifeform: but iirc the reason why we do not have this behaviour by default is that there are boxes that don't give you the upper bits of an overflowing mul. or set the carry.
asciilifeform: mircea_popescu has mega-point --- you CAN make range-checked (at least for upper bound of range not exceeding the native fixint size by more than factor of 2) behaviour on x86
mircea_popescu: yes but here is used conceptually, as the "top half of the result", be it 1 bit or 1 machine word.
mircea_popescu: ok. what's this to do with ada i dunno, but anyway, there it is.
asciilifeform: the top of the result, rather. but yes. on x64 you could!!! have the Right Thing bignumtron.
mircea_popescu: top half being, obviously, THE FUCKING CARRY.
mircea_popescu: ok, so the carry being set, you blew it.
asciilifeform: nope. x86 (and correspondingly x64) mul gives you ~two~ buswidth-sized results, the bottom and top half of the result.
mircea_popescu: so it just returns the same as 0x000000000 + 0x000000000 ?
asciilifeform: that doesn't set the carry on x86...
mircea_popescu: so you do 0x100000000 * 0x100000000 and get the carry set and you blew it.
mircea_popescu: so if the carry flag is set you blew it.
asciilifeform: for addition, this is actually simple on most chips, there is a 'carry' flag
asciilifeform: to make bounds checking happen, on whatever particular cpu, gotta emit not only the add instruction but a few others also
mircea_popescu: the cpu does bounds checking in your ada ?
mircea_popescu: i didn't realise the above high level math was stand-in for asm.
asciilifeform: the cpu NEVER DOES THIS omfg
asciilifeform: in this example. and it gotta signal the overflow.
asciilifeform: y is of the constrained type contemplated.
mircea_popescu: it's not clear how you represent the y ; but whatever, half questions ftw.
mircea_popescu: the test MAY NOT BE > 0 (or -1 ?) and < 0x10000000000000000. if the compiler does that the compiler is very, very stupid.
mircea_popescu: that is the test. all of it is representable.
asciilifeform: right! but in order for the machine to KNOW that it cannot, the ranges have to be representable.
mircea_popescu: if the compile rules do "add one and <" the compiler is wrong ; it should not add one ad <=.
asciilifeform: the thing will not, like idiot cpp does, emit some 'but he REALLY WANTED THIS...'
asciilifeform: mircea_popescu: if you write down a statement that is logically impossible to transform into compiled code, per the ground rules, it is a compiletime eggog.
mircea_popescu: indeed 0x10000000000000000 is not what the program stated ; and indeed the problem is that (if) the compiler adds one to what the program statyed ; it shouldn't do that.
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.
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 ?
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"
asciilifeform: you're stuck with 1 bit smaller quantities than the full bus width.
mircea_popescu: so then what are you on about ?
asciilifeform: in same language, program throws ~runtime~ exception if you EVER try to assign the 11, no matter how it was arrived at
mircea_popescu: because if the programmer said the number 10, the compiler is NOT at liberty to invent magic number 11.
asciilifeform: let's revisit the particular of how you can even end up with an X that no longer sits down in 64 bits, using an op on an A and a B which ~do~
mircea_popescu: and therefore question for type Foo is range 0 .. 10 must always be, is foo <= 10 ; not is foo < 11
asciilifeform: how do you compare to a bound that needs moar bits to represent than the number you are comparing ?
mircea_popescu: i'm not interested in picking anything. bound checking is to be done by comparing TO THE BOUND not to some other random value picked by the compiler.
mircea_popescu: so then why do you ?
asciilifeform: the fact won't go away if you put head in sand.
mircea_popescu: your choice is either < maxint + 1 or else <= maxint
asciilifeform: it implements it in the only way that is guaranteed to be invariant, and run in constant spacetime, on all iron.
asciilifeform: and other beautiful things.
asciilifeform: it is NOT the same as 'modular arithmetic', modular arithmetic is the behaviour of the native iron that we are going AWAY from here.
mircea_popescu: the thing is called modular exponentiation you know :D
mircea_popescu: cut the value to size
asciilifeform: mircea_popescu: what the fuck will a mod do ??
asciilifeform: mircea_popescu: in all fairness this was only a surprise to asciilifeform because he is a n00b; the b00k warns explicitly, in black on white letters.
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.
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 ?
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
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.
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: (2**64 -1 rather !!!!)
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)
ben_vulpes: compact size is an excellent example of a throwaway "engineering" decision that imposes rather a lot of costs on the future
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: 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: 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: 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
mircea_popescu: i'm sorry, "the gcc ada implementation"
a111: Logged on 2017-01-31 18:12 asciilifeform: motherfucking tards.
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?"