00:41 |
feedbot |
http://verisimilitudes.net/2020-07-15 << A Syndication of Verisimilitudes -- A Review of ``Building High Integrity Applications with SPARK'' by McCormick and Chapin |
| |
↖ |
| |
~ 10 hours 21 minutes ~ |
11:03 |
asciilifeform |
!w poll |
11:03 |
watchglass |
Polling 12 nodes... |
11:03 |
watchglass |
205.134.172.26:8333 : Alive: (0.082s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 |
11:03 |
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) |
11:03 |
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) |
11:03 |
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 |
11:03 |
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 |
11:03 |
watchglass |
143.202.160.10:8333 : Alive: (0.160s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 |
11:03 |
watchglass |
213.109.238.156:8333 : Could not connect! |
11:03 |
watchglass |
208.94.240.42:8333 : Alive: (0.166s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 |
11:03 |
watchglass |
192.151.158.26:8333 : Alive: (0.188s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=639518 |
11:03 |
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) |
11:03 |
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 |
11:03 |
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 |
| |
~ 4 hours 51 minutes ~ |
15:54 |
shinohai |
https://www.tigerdroppings.com/rant/o-t-lounge/this-is-allegedly-the-twitter-hacker-from-today/90936731/ |
15:55 |
shinohai |
xD |
15:55 |
asciilifeform |
shinohai: did they break him on the wheel at time square yet ? |
15:57 |
shinohai |
He's being raped by transgender furries in a CIA safehouse as we speak until he cracks. |
| |
~ 57 minutes ~ |
16:54 |
BingoBoingo |
lol, "Sam Hyde did it" is a Weev-Anglin daily stormer meme |
16:55 |
BingoBoingo |
He's done every school shooting, etc |
16:56 |
shinohai |
^__________^ |
16:57 |
shinohai |
I've probably gotten 500 QTards spreading on twitter today, anything with hint of conspiracy and they stay busy all day. |
| |
~ 59 minutes ~ |
17:56 |
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 |
17:57 |
asciilifeform |
shinohai: wat's a 'qtard' ? |
17:59 |
asciilifeform |
BingoBoingo: lulzy: i recall as a boy, '87-88, seeing the opening shots of that war on b&w tv |
18:00 |
BingoBoingo |
A qtard is a special variety of sucker hallucinating Trump is personally their secret best friend |
18:00 |
asciilifeform |
lol! these not 100% extinct yet ?? |
18:01 |
* |
asciilifeform inevitably recalls mp's 'trumpreich will starve clitler in gitmo!' etc |
18:01 |
BingoBoingo |
Not quite yet. They just keep imagining Trump adds more and more dimensions to his game of chess |
18:03 |
shinohai |
asciilifeform: here is example of a Qtard https://twitter.com/the1111code/status/1281573631408197634 |
18:03 |
asciilifeform |
shinohai: is that a biblicalism or wat |
18:03 |
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) |
18:04 |
shinohai |
biblicism? No idea. |
18:04 |
asciilifeform |
in usa, \d\d\:\d\d tends to be a biblical wank iirc |
18:05 |
asciilifeform |
( tho normally they prefix the $verse with $chapter ) |
18:05 |
BingoBoingo |
Qtardation can take a biblical flavor, but it isn't a necessary requirement for being a Qtard |
18:05 |
shinohai |
Greater majority of Qtards have spent week with torches and pitchforks outside Chrissy Tiegens account, wishing her death for being a pedo. |
18:06 |
asciilifeform |
shinohai: i've nfi who that is/was |
18:06 |
shinohai |
She's some swimsuit model that looks like she got hit in the face with a pan. |
18:07 |
asciilifeform |
dafuq is a female 'pedo' anyway...? analogous to dog-biting man ? |
18:09 |
shinohai |
https://twitter.com/TaraLaRosa/status/1283614906823118849/photo/3 |
18:13 |
asciilifeform |
shinohai: i can't resist to ask, where do you even find these |
18:19 |
BingoBoingo |
In cultural revolution lol https://www.unz.com/isteve/the-smithsonian-explains-white-culture/ |
18:21 |
shinohai |
I just watch what flies by on the screen, sometime u catch lulz |
18:22 |
shinohai |
BingoBoingo: didja read where town in NC is gonna offer reparations to its PoC ? |
18:22 |
BingoBoingo |
That kinda fell into the noise |
18:23 |
shinohai |
Kamala Harris calling for 18 months socialized housing for all. America is now land-of-the-free. |
18:27 |
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 ? |
| |
↖ |
| |
~ 32 minutes ~ |
19:00 |
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 !) |
19:00 |
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 |
19:02 |
* |
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 . |
19:02 |
asciilifeform |
it'd sell ~3 copies, i suspect . |
19:06 |
asciilifeform |
!q seen-anywhere bvt |
19:06 |
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. |
19:07 |
asciilifeform |
!q seen-anywhere ave1 |
19:07 |
snsabot |
ave1 last seen in #ossasepia on 2020-04-06 04:23:33: So could you try to build with single worker? |
19:07 |
asciilifeform |
RIP. |
19:12 |
asciilifeform |
wb PeterL |
19:12 |
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 |
19:13 |
asciilifeform |
iirc sanders also still in senate. is where they typically get the 'technicals', what of it. |
19:15 |
asciilifeform |
'lever of power' are anywhere but in the washingtonistan swamp. |
19:15 |
PeterL |
sanders has been speaking the same communist drivel for 40 years, it looks like some of it might be finally starting to stick |
19:16 |
PeterL |
well, new laws do have to go through the senate, so they have a tiny bit of say there |
19:16 |
asciilifeform |
PeterL: usa has been under this same ad-hoc communism since fdr. |
19:18 |
PeterL |
but the people are more "socially justice aware" now, or something |
19:18 |
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 |
19:19 |
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) |
19:21 |
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 |
19:22 |
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? |
19:23 |
asciilifeform |
PeterL: for a coupla days there was a buncha join/part spamola from ???randos |
19:23 |
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. |
19:24 |
PeterL |
heh, I wonder why? (rhetorical question, no real way to know) |
19:24 |
asciilifeform |
they were a pestilence in ye olde #t similarly |
19:28 |
asciilifeform |
PeterL: how's the organiker biz these days ? |
19:29 |
PeterL |
keeps me busy, so I guess it's OK |
19:31 |
PeterL |
anyway, I have to run now, but I still keep up with reading the logs |
19:31 |
asciilifeform |
aite, laters |
| |
~ 3 hours 53 minutes ~ |
23:25 |
asciilifeform |
meanwhile, in misc. finds. |