feedbot: http://verisimilitudes.net/2020-07-15 << A Syndication of Verisimilitudes -- A Review of ``Building High Integrity Applications with SPARK'' by McCormick and Chapin
asciilifeform: !w poll
watchglass: Polling 12 nodes...
watchglass: 205.134.172.26:8333 : Alive: (0.082s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 205.134.172.27:8333 : Alive: (0.084s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 (Operator: asciilifeform)
watchglass: 108.31.170.3:8333 : (pool-108-31-170-3.washdc.fios.verizon.net) Alive: (0.106s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 (Operator: asciilifeform)
watchglass: 205.134.172.6:8333 : (172-6.core.ai.net) Alive: (0.091s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 205.134.172.4:8333 : (172-4.core.ai.net) Alive: (0.114s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 143.202.160.10:8333 : Alive: (0.160s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 213.109.238.156:8333 : Could not connect!
watchglass: 208.94.240.42:8333 : Alive: (0.166s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 192.151.158.26:8333 : Alive: (0.188s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 176.9.59.199:8333 : (static.199.59.9.176.clients.your-server.de) Alive: (0.340s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=235842 (Operator: jurov)
watchglass: 188.121.168.69:8333 : (rev-188-121-168-69.radiolan.sk) Alive: (0.363s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
watchglass: 103.36.92.112:8333 : (terebe.ns01.net) Alive: (0.665s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518
shinohai: https://www.tigerdroppings.com/rant/o-t-lounge/this-is-allegedly-the-twitter-hacker-from-today/90936731/
shinohai: xD
asciilifeform: shinohai: did they break him on the wheel at time square yet ?
shinohai: He's being raped by transgender furries in a CIA safehouse as we speak until he cracks.
BingoBoingo: lol, "Sam Hyde did it" is a Weev-Anglin daily stormer meme
BingoBoingo: He's done every school shooting, etc
shinohai: ^__________^
shinohai: I've probably gotten 500 QTards spreading on twitter today, anything with hint of conspiracy and they stay busy all day.
feedbot: http://mvdstandard.net/2020/07/deadly-clashes-on-armenia-azerbaijan-border-pro-war-protests-in-baku-clash-with-police/ << The Montevideo Standard -- Deadly Clashes On Armenia-Azerbaijan Border, Pro-War Protests In Baku Clash With Police
asciilifeform: shinohai: wat's a 'qtard' ?
asciilifeform: BingoBoingo: lulzy: i recall as a boy, '87-88, seeing the opening shots of that war on b&w tv
BingoBoingo: A qtard is a special variety of sucker hallucinating Trump is personally their secret best friend
asciilifeform: lol! these not 100% extinct yet ??
asciilifeform inevitably recalls mp's 'trumpreich will starve clitler in gitmo!' etc
BingoBoingo: Not quite yet. They just keep imagining Trump adds more and more dimensions to his game of chess
shinohai: asciilifeform: here is example of a Qtard https://twitter.com/the1111code/status/1281573631408197634
asciilifeform: shinohai: is that a biblicalism or wat
shinohai: (You can show them a mole shaped like a number on someone's ass and they will spend entire day poring over wayback machine looking foe clues)
shinohai: biblicism? No idea.
asciilifeform: in usa, \d\d\:\d\d tends to be a biblical wank iirc
asciilifeform: ( tho normally they prefix the $verse with $chapter )
BingoBoingo: Qtardation can take a biblical flavor, but it isn't a necessary requirement for being a Qtard
shinohai: Greater majority of Qtards have spent week with torches and pitchforks outside Chrissy Tiegens account, wishing her death for being a pedo.
asciilifeform: shinohai: i've nfi who that is/was
shinohai: She's some swimsuit model that looks like she got hit in the face with a pan.
asciilifeform: dafuq is a female 'pedo' anyway...? analogous to dog-biting man ?
asciilifeform: shinohai: i can't resist to ask, where do you even find these
BingoBoingo: In cultural revolution lol https://www.unz.com/isteve/the-smithsonian-explains-white-culture/
shinohai: I just watch what flies by on the screen, sometime u catch lulz
shinohai: BingoBoingo: didja read where town in NC is gonna offer reparations to its PoC ?
BingoBoingo: That kinda fell into the noise
shinohai: Kamala Harris calling for 18 months socialized housing for all. America is now land-of-the-free.
asciilifeform: shinohai: wat diff does it make what a 'technical candidate' (in the ukr sense, y'know, the folx who were hired to put on a show of 'there's an election, with candidates') says ?
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2020-07-16#1016334 << verisimilitude : i read this book coupla yrs ago, and found unsatisfying for same reason you did -- 0 'live-fire' examples. problem in common with most other programmaculature from recent 20y+. (unlike e.g. armstrong's original 'erlang' guide, which featured excerpts from ericsson's actual pbx !)
snsabot: Logged on 2020-07-16 00:41:50 feedbot: http://verisimilitudes.net/2020-07-15 << A Syndication of Verisimilitudes -- A Review of ``Building High Integrity Applications with SPARK'' by McCormick and Chapin
asciilifeform in fact considered to write a dead-tree ada text w/ ffa as the base material. but from commercial pov such projects are massively -ev .
asciilifeform: it'd sell ~3 copies, i suspect .
asciilifeform: !q seen-anywhere bvt
snsabot: bvt last seen in #ossasepia on 2020-05-25 05:15:47: if i liked that code, i would have just released the vpatch immediately with performance benchmark, so i agree with 'case against'. i will look into improving the error reporting code -- this should be possible (with slightly more code in v.sh), though the precise loop analysis would take approximately the same amount of ada code as went into that experimental vpatch.
asciilifeform: !q seen-anywhere ave1
snsabot: ave1 last seen in #ossasepia on 2020-04-06 04:23:33: So could you try to build with single worker?
asciilifeform: RIP.
asciilifeform: wb PeterL
PeterL: asciilifeform: Kamala Harris (unlike some of the many, many candidates) still sits in the Senate, so is at least nominally close to the levers of power
asciilifeform: iirc sanders also still in senate. is where they typically get the 'technicals', what of it.
asciilifeform: 'lever of power' are anywhere but in the washingtonistan swamp.
PeterL: sanders has been speaking the same communist drivel for 40 years, it looks like some of it might be finally starting to stick
PeterL: well, new laws do have to go through the senate, so they have a tiny bit of say there
asciilifeform: PeterL: usa has been under this same ad-hoc communism since fdr.
PeterL: but the people are more "socially justice aware" now, or something
asciilifeform: PeterL: they're fed manufactured drivel to distract from e.g. 'yer grandfather worked in a mine and bought a brick house and grew 7 sons, while you work in 'tech' circus and can barely pay for a room in communal flat' etc
PeterL: well, we have Netflix now to keep us happy and distracted, what did he do? (and don't say spend time with yer grandmother, that is too easy)
asciilifeform: PeterL: asciilifeform had very interesting time reading vintage ameri-pubs e.g. 'popular mechanics', 1940s-50s, re 'what did he do', was a++ e.g. 'how to pour foundation for yer new brick house to cost < 2 cars' etc
PeterL: asciilifeform: just noticed the topic is different from the last time I was speaking (now says unknown lurkers will be banned) have you actually banned any lurkers?
asciilifeform: PeterL: for a coupla days there was a buncha join/part spamola from ???randos
asciilifeform: imho to 'i'ma hang for a day, see what chan is about' when there's a clearly fucking marked log www going back yrs, is evidence not only of poor netiquette but diagnosable mental retardation.
PeterL: heh, I wonder why? (rhetorical question, no real way to know)
asciilifeform: they were a pestilence in ye olde #t similarly
asciilifeform: PeterL: how's the organiker biz these days ?
PeterL: keeps me busy, so I guess it's OK
PeterL: anyway, I have to run now, but I still keep up with reading the logs
asciilifeform: aite, laters
asciilifeform: meanwhile, in misc. finds.