log☇︎
153600+ entries in 0.121s
asciilifeform: apeloyee was right in that c is always 2^oneplusbitnessofx / m .
jhvh1: mircea_popescu: Error: There is no command "sexpr".
jhvh1: mircea_popescu: (help [<plugin>] [<command>]) -- This command gives a useful description of what <command> does. <plugin> is only necessary if the command is in more than one plugin. You may also want to use the 'list' command to list all available plugins and commands.
asciilifeform: i'ma stop trying to talk in 2 terminals nao, brb
asciilifeform: actually apeloyee http://btcbase.org/log/2017-10-05#1721256 << strike that, 8192 is correct ☝︎
mimisbrunnr: Logged on 2017-10-05 16:26 trinque: if folks are ashamed of not having time for the republic, there's more shame in being unable to say so.
ben_vulpes: http://logs.bvulpes.com/trilema?d=2017-10-5#216206 << i have acquired a few afk crises which have eaten a bunch of time since the move.
a111: Logged on 2017-10-05 16:06 asciilifeform: compute 'barrettoid' c for the current m : c := 2^4096 / p . this is done via the knuthian longdividotron, once per modexp.
apeloyee: http://btcbase.org/log/2017-10-05#1721060 << c := 2^4096 / p; i thought you only have integer division? ☝︎
mimisbrunnr: Logged on 2017-10-05 16:14 mircea_popescu: phf ben_vulpes Framedragger excepting deedbot from the "don't read out bods" ? feasible ?
ben_vulpes: http://logs.bvulpes.com/trilema?d=2017-10-5#216182 << pls to update http://trilema.com/2016/trilema-bot-spec/ , i forgot this log-spec-addenda; will implement.
apeloyee: ok, let m =2^4096 - 1. then c=1
asciilifeform: from the actual quotient.
asciilifeform: meant to say that it differs by from 0 to 4 multiple of m .
asciilifeform: range of m is 1 .. (2^4096) - 1 in this example.
asciilifeform: but yes, misprint, the 'p' oughta read 'm'
a111: Logged on 2017-10-05 16:06 asciilifeform: compute 'barrettoid' c for the current m : c := 2^4096 / p . this is done via the knuthian longdividotron, once per modexp.
apeloyee: I did register with nickserv, and identified to it just recently
mircea_popescu: and in other lulz, today we've seen 90 blocks in 18 hours. bitcoin working at half-capacity.
a111: Logged on 2017-08-18 23:01 asciilifeform: 'That followed the General Services Administration removing Kaspersky from an approved-vendors list in early July and a congressional push to pass a law that would ban Kaspersky from being used by the Department of Defense.'
asciilifeform: '...identifying the files through the contractor’s use of a popular antivirus software made by Russia-based Kaspersky Lab, these people said.' << lol re http://btcbase.org/log/2017-08-18#1700468 smear ☝︎
mircea_popescu: must be all them encrypted derpphones
asciilifeform: i'ma leave this as exercise, and if it stays unobvious, demonstrate laters.
asciilifeform: there is no way around this, if you proceed after div0, you are in neverneverland. fortunately writing pcode where div0 demonstrably never happens, is not difficult.
asciilifeform: a div0 does not have a defined result, and any program that attempts it is resultingly nonsense. the ancients got this right.
mircea_popescu: in that it terminating the program at a certain time it leaks... a certain time.
mircea_popescu: im not sure even this much is correct.
asciilifeform: terminates the program.
asciilifeform: however div0 trap cannot leak timing, because it is a fatal condition
asciilifeform: ( as is 0, and this costs us, because you gotta have the div0 trap )
mircea_popescu: well so then. yes over fucking integers.
asciilifeform: as in, i get to , e.g., r = x mod ( a - b ) for some a, b
asciilifeform: mircea_popescu: 'holes' in arithmetic suck, because they are inescapably branch conditionals. if i could not prove that div0 is impossible in the course of, e.g., modexp intermediate steps, ffa would be a wholly impossible thing.
asciilifeform: bad enuff that we gotta check every single motherfucking unknown integer for equality to 0, before feeding it into division or modulo
a111: Logged on 2017-09-20 20:27 asciilifeform: how about the 'every int has unique prime factorization' item ?
mircea_popescu: http://btcbase.org/log/2017-09-20#1716244 << consider that part. in order for 2+3 to be unique, it has to unpermit 2*1*1+0+3*1+0+0+0+0 ☝︎
asciilifeform: ( can you prove that cramer-shoup, or whatever we go with next yr, worx in yer alt-arithmetic, lol )
asciilifeform: ( i actually did consider, 'special case for x = 1 ' but now you've broken the constanttimealwaysandforeverness )
asciilifeform: recall, whole point is to make modexp that worx for all inputs
a111: Logged on 2017-10-05 16:08 asciilifeform: compute the quotient-guess q, q := (c * x) >> 4096
asciilifeform: continuing http://btcbase.org/log/2017-10-05#1721063 , this is not an ordinary mult, we only want the upper half of the bits . ☝︎
asciilifeform: will need asymmetric comba, too...
asciilifeform: ( we're talking about a 3fold speed difference )
a111: Logged on 2017-10-05 16:07 asciilifeform: note that this is a 4097-bit ( in actual ffa, 8192b ) constant.
asciilifeform: revisiting upstack, http://btcbase.org/log/2017-10-05#1721061 suggests that i'ma have to go back to the old karatsubatron, which did not insist on powers-of-two bitnesses ☝︎
mircea_popescu: either they use your money or else they don't get shit.
mircea_popescu: asciilifeform obviously, you didn'[t expect the actual USG has any resources ?
asciilifeform: btw re nypd, oct. 23 2014 : 'Thanks to a massive $160 million investment, the New York City Police Department is on its way to receive a combination of up to 41,000 smartphones and tablets. Known as the NYPD Mobility Initiative, which will be mostly financed by criminal asset funds provided by the Manhattan DA's Office, the goal is to provide the the city's law enforcement with tools that can improve and streamline their overall work
asciilifeform: nah that one's in usg proper
asciilifeform: ( issued to nomenklatura )
BingoBoingo: <asciilifeform> i dun think customs monkeys get terminals << Menial USG employment implies terminal for fucking off
mircea_popescu: 36 k smartphones at the cost of 4444 dollars each.
mircea_popescu: dja understand that had they paid 1k per phone, which a) the ipad never cost and b) volume discounts, they'd have justified less than ONE QUARTER of what they actually spent.
asciilifeform: meanwhile, in today's 'reality winnings', http://wotpaste.cascadianhacker.com/pastes/AwtB5/?raw=true
a111: Logged on 2017-09-05 13:25 asciilifeform: meanwhile, in monkeystan, https://archive.is/6t8bO >> 'The NYPD has to scrap the 36,000 smartphones it gave cops over the past two years because they’re already obsolete and can’t be upgraded, The Post has learned. The city bought Microsoft-based Nokia smartphones as part of a $160 million NYPD Mobility Initiative that Mayor Bill de Blasio touted as “a huge step into the 21st century.”'
mircea_popescu: where;'s that lulz about bloomberg's "beat cops need catpics, costs 200mn, throwaway in 3 years" nobody-goes-to-jail-for-buying-terminals thing ?
mircea_popescu: afaik they also do.
asciilifeform: nah, simply for same reason street sweepers don't -- if you give'em terminals, ~0 packages will get stamped
mircea_popescu: the terminals are the fucking point.
mircea_popescu: what's this, like soviets that don'\t get uniforms ?
asciilifeform: i dun think customs monkeys get terminals
mircea_popescu: maybe they googled both, one seemed like a corp.
asciilifeform: mircea_popescu: could easily be a matter of weight. iirc each of the prev. uk purchasers, got >1
cruciform: asciilifeform: tyvm - reading through atm
asciilifeform: plunder focuses on the human ones.
asciilifeform: i suspect that packages from amazon, etc. tend to get left alone.
cruciform: didn't get hit with import tax, unlike diana_coman
mircea_popescu: is this the first case of an actually molested package ?
cruciform: asciilifeform: only the device itself
asciilifeform: lemme guess, cruciform , you didn't get the paper manual ?
asciilifeform: i refreshed archive.is of all the major pages 2-3 day before dulap went ☟︎
mircea_popescu: there's prolly an archive.is version too
cruciform: is it OK to use waybackmachine for FG instructions?
mircea_popescu: that's the problem with mystery -- it's mysterious.
mircea_popescu: or maybe he just cashed in whatever was left and paid usg for a new mortgage, or maybe was actually shot and left to bleed somewhere, or or or.
trinque: if folks are ashamed of not having time for the republic, there's more shame in being unable to say so. ☟︎
asciilifeform: lol maybe mike_c found his new FG's to be a downer
trinque: Framedragger appears to be still connected, so maybe he'll check his bouncer and chime in.
mircea_popescu: and then...
a111: Logged on 2017-08-13 20:36 mike_c: i know, right. It's frustrating prioritizing time. Didn't have time to hang, definitely not to work, so felt weird dropping in once a month and saying "hey, haven't done anything, don't have time to do anything"
mircea_popescu: but then came back, and http://btcbase.org/log/2017-08-13#1697401 ☝︎
asciilifeform: iirc when mike_c vanished the 1st time, all possible explanations were on the table.
jhvh1: mircea_popescu: mike_c was last seen in #trilema 3 weeks, 3 days, 13 hours, 38 minutes, and 44 seconds ago: <mike_c> congrats! I did that a long time ago too. Good luck with it.
asciilifeform: the radio silence does suggest -- as mircea_popescu pointed out earlier -- that the fucking went in wrong direction.
mircea_popescu: if that means she'd at least put some fucking doing into the fucking, i'm all for it.
asciilifeform: hopefully new gf is not that isidora isis whorecraft or what was her name
mircea_popescu: by the way, since we're doing PSAs : how about NOT doing dumb shit like this, as a matter of well maintained policy, so we have a chance in hell of knowing whether you've been fucking kidnapped as opposed to you know, merely unreliable in the family way.
a111: Logged on 2017-07-14 16:39 Framedragger: [PSA, framedraggerish duties to resume soon and answers to irc pings to come (country move done nao, much win). talk soon]
mircea_popescu: phf ben_vulpes Framedragger excepting deedbot from the "don't read out bods" ? feasible ?
mircea_popescu: maybe it's legitimate to except deedbot from "bots" then, seeing how it'll never read loglines which is what the ocncern was.
trinque: I'm in the position to boop a qr code on an airgap machine for the signed tx
trinque: but all the stuff works, which is neat
trinque: shall yes, though there are still a few human steps in there today.
mircea_popescu: does it reference like that automatically ?
mircea_popescu: trinque bots are set to ignore bots currently.
mircea_popescu: why ty.
asciilifeform: i posted it in case meteorite falls on asciilifeform some time in next wk.
deedbot: http://trilema.com/2017/the-problems-of-today/ << Trilema - The problems of today
asciilifeform: anyway that's the whole thing.
a111: Logged on 2017-10-05 16:10 asciilifeform: so now we gotta r := x - q*m , from 1 to 4 times ( this is done via subtract and mux-on-carry , so it always happens 4 times, but when q becomes == to q' the mux stops changing the result )