log☇︎
1700+ entries in 0.183s
lobbes: Interesting seeing teh different approaches. Instead of primality test, I just iterated through a static list/array of primes (I figure that list ain't changing anytime soon). Here's my potato code: http://wotpaste.cascadianhacker.com/pastes/X0jSt/?raw=true ☟︎
PeterL: it's a basic brute force primality test, what is wrong with it?
asciilifeform: omfg PeterL what is that primality test
mircea_popescu: it is also a very typical difference, symbolic enough to go on our fucking flag. "the empire makes a test and then goes through parts until it finds one that goes through ; the republic makes a part and tests it until it is certain to be correct."
mod6: all my test results and stuff are posted
mod6: i've had to learn ada just to keep up & read the thing. help test where I can.
PeterL: also, my question re crc32 yesterday, I meant to say: given a (random) string of 250 chars, what is the proability that (random four byte string) will pass the crc32 test? which I think is just 1/256^4
mod6: hmm, nice test though
mircea_popescu: and mind that m-r is a ~probabilistic~ test.
PeterL: so yes, using the fermat test would be bad
PeterL: I tested the fermat test, and with 100 numbers of 1024 bits deemed prime by the fermat test, 50 were found to be composite by miller-rabin
mircea_popescu: mod6 did a u160 test item end up stranded in there ?
mircea_popescu: http://btcbase.org/log/2017-08-08#1695453 << you have to. we'd be the first people to move to a cheaper test algo if this was feasible, in tmsr-pgp etc. but as he correctly points out, most of the keys you make are weak. an important point to consider here is weakness propagation : one weak key can potentially expose other key exchanges, resulting in a chain of (unknowingly) lost secrecy. the design will have it ablate over t ☝︎
asciilifeform: i understand what is meant by 'prototype', but an rsatron (ignoring for a moment the constant-time thing) that uses fermat's primality test as the sole probe, is analogous to a grenade with a half second fuse
asciilifeform: PeterL: are you aware of the limitations of this test ?
PeterL: fermat primality test
asciilifeform: also what is that primality test supposed to be
mats: putting it in production will test the massively inflated suburban and urban property values
BingoBoingo: last sync test WAS trb on linux
asciilifeform: in other noose, asciilifeform built 'icestorm', 'arachne-pnr', with plain gcc 4.9 ( the only concession to idiocy on the test machine was python3 ) . and even MOST of 'yosys' ( the last step in the ice40 open sores fpga toolchain ) built. in fact, whole thing built, but linker barfs
asciilifeform: mircea_popescu: re rsa, i'm looking forward to msdos ffa test.
asciilifeform: ( and that was the EASIEST bit. the console protocol, for instance, is still undocumented; and last time asciilifeform gave a shit, he did not - and still does not - have test equipment fast enough to sample the 200+MHz analogue waveform accurately )
pete_dushenski: !~ later tell BingoBoingo working on blackzilla-infant photo. in the meantime, please enjoy these other lawnmower solutions http://www.caranddriver.com/comparisons/mobility-scooters-comparison-test-whill-vs-pride-vs-golden-tech-comparison-test
asciilifeform: ( fortunately it is not used in rsa other than in primality test during key gen. but is quite irritating a fact )
BingoBoingo: Well, you've been join/parting for a while? Mebbe test your ability to talk every now and then.
BingoBoingo: !!up Birdman Are you ready to test the waters on this side of the Republic yet?
asciilifeform: ave1: neato, i'll test this today
mircea_popescu: ave1 which gnats did you test ?
asciilifeform: and introduced idea that test is even worth the bother.
jhvh1: asciilifeform: Marsh test - Wikipedia: <https://en.wikipedia.org/wiki/Marsh_test>; Marsh test | Infoplease: <https://www.infoplease.com/encyclopedia/science-and-technology/chemistry/chemistry-general/marsh-test>; The Marsh test - National Library of Medicine: <https://www.nlm.nih.gov/visibleproofs/galleries/technologies/marsh.html>
asciilifeform: !~google marsh test
shinohai: "Train your slave to test for radiator hose leaks with this one weird trick!"
a111: Logged on 2017-07-22 22:40 mircea_popescu: http://btcbase.org/log/2017-07-22#1689243 << depends what you mean by "rsa encrypted message". a) current rsa "encryption" as implemented by koch-gpg et al consists of encrypting a symmetric key. trivial to test this against a number of rsa keys. b) conceivably item will include a courtesy key fp to help you know.
mircea_popescu: http://btcbase.org/log/2017-07-22#1689243 << depends what you mean by "rsa encrypted message". a) current rsa "encryption" as implemented by koch-gpg et al consists of encrypting a symmetric key. trivial to test this against a number of rsa keys. b) conceivably item will include a courtesy key fp to help you know. ☝︎☟︎
BingoBoingo: user705: It's an iq test/spam filter element. If email address is an email address comment not marked spam on that point. Is email address used for anything else? no
phf: asciilifeform: so test chan is hard written in code, in a defvar, but there's a config (essentially a setq ...) that's supposed to override it. the config was missing (which i ~vaguely~ remember maybe accidentally doing myself). so in any case defvar should've stayed consistent no matter what. i'm not sure ~how~ it could get reset without a complete reload of an instance or an explicit setq
asciilifeform: ( test chan )
phf: http://btcbase.org/log/2017-07-18#1685822 << i'm not sure what happened. i initially misdiagnosed the issue, and lost the state necessary to figure out alternatives. i'm pretty sure though that the configuration parameters got reset (how??) and the bot was happily sitting on a random test channel ☝︎
mod6: this box does nothing else other than just test builds/dev for trb, and is currently idle. should be a decent test. albiet much slower than the metrics collected with alf's i7 box.
mod6: either way, think I should run the ffa_fact test?
mod6: ok, so i dropped on a binary install of adacore onto my gentoo environment here just to test...
mod6: <+asciilifeform> results of torture test: << thanks for posting your results.
asciilifeform: http://btcbase.org/log/2017-07-16#1684964 << there are no non-ascii chars in my input. i ran a test, of the makefile in the tarball, and ended up with http://wotpaste.cascadianhacker.com/pastes/Au741/?raw=true ☝︎
asciilifeform: results of torture test:
mircea_popescu very much recommends this test : pick random textfile, put it through the above code, see if you find a dismatching line.
mircea_popescu: put your test lines in the first file ; examine the results.txt file for the results.
sina: anyway I just wanted to test and make sure all of my things were working post upgrade
mod6: :!./ffa_test
a111: Logged on 2017-07-13 05:16 mod6: took me quite a while to gain the knowledge of how to write a test driver that creates the ffa generic package and the necessary compoents to make that possible.
mod6: took me quite a while to gain the knowledge of how to write a test driver that creates the ffa generic package and the necessary compoents to make that possible. ☟︎
mod6: :!./ffa_test
BingoBoingo: Sounds like a shit test
asciilifeform: iirc over in the heathen huts they call this stratagem 'shit test'
mod6: The Chi^2 test should be interesting to see what percentile it falls into and weather this butts up against Knuth's "suspicious" boundary.
mod6: indeed, did fail with some resonably expected outputs from each test. i'll have to try it again with doing like 100 consecutive 1's per Mb.
mod6: so one day, i did do a test of ent with like ~1gb worth of '1's in a file just to see if the testing tool would hork.
mircea_popescu: (note that in gypsy culture it is not a qualification for theft specifically. just independent operation, not being too dumb to live sorta thing. not a bad test for that, as it turns out.)
mod6: Perhaps for test hardware if they were in very good trust standing, they could send us keys to a host we could use. Not sure otherwise how we would receive such hardware.
asciilifeform: mircea_popescu: for just about any statistical test ( other than von neumann in/out proportion ) you need a buffer.
asciilifeform: but rather tests a proposed test of entropy.
asciilifeform: as i understand, this doesn't test entropy
asciilifeform: mircea_popescu: i actually considered something that is arguably a variant of your test, when designing FG,
asciilifeform: any test whatsoever, past or future.
asciilifeform: there is no mechanical test that, e.g., 'bitflipped digits of pi' does not also pass.
asciilifeform: so this's a 'meta' test of a given dh-style test ?
mircea_popescu: then we feed it into entropy-dependent processes (say the rabin miller test, as discussed yest) and see what comes out.
asciilifeform: which is frustrating because you can't resort to 'empirical test' here , because circular, there EXISTS NO 'gold rng'
asciilifeform reruns the test
trinque: ridiculous comparision, they *test each
asciilifeform: *deterministic primality test
asciilifeform: ( buncha d00dz published a polynomial time primality test in early 2000s. but try and use it. )
a111: Logged on 2017-07-04 03:09 asciilifeform: in other unsurprises, 'Corrupt data that accidentally flowed out of a NASDAQ systems test caused the share prices...'
asciilifeform: '"It's an exchange-side issue, where the Nasdaq disseminated bad data and traded corrupt messages to us during an exchange-side test of their systems," a Bloomberg spokeswoman told AFR, over the phone. ' didjaknow.
asciilifeform: in other unsurprises, 'Corrupt data that accidentally flowed out of a NASDAQ systems test caused the share prices...' ☟︎☟︎
asciilifeform: will fail boot test, but you can't have everything!1
sina: that might be a fairer blackbox test?
asciilifeform: and when test is 0x2fffffff.....ff * 0x4ffffffff....fff (8192 b.) so as no 0s to 'cheat' with, then they : 0.7s
shinohai: !~later tell mod6 New makefiles test went smooth ... If you aren't head-banging over Ada I have question regarding Vim setup when you have time.
erlehmann: i often have the problem that i describe a position and then people think i support it. i stopped describing moldbug's ramblings because of that, though i find urbit in particular a quite good idiot test.
mod6: <+asciilifeform> mod6: if you want to test, keep in mind that you gotta Foo : FZ(Bits) ; now, rather than Foo : FZ; << good to note. thanks
asciilifeform: mod6: if you want to test, keep in mind that you gotta Foo : FZ(Bits) ; now, rather than Foo : FZ;
erlehmann: also it does not include test results in the epigraph tree-builder
asciilifeform: wasn't half the point of the syria thing, from lizard pov, to test current ru equipment ..?
phillipsjk: I think it would be useful to be be able to resign patches after running a computer-assisted proof checker )or just test cases) against them.
sina: its a bounded model checker for C, you can use it to verify the correctness of whole programs but since it is a bit slow/brute force approach, normally you only can use it to test critical functions
sina: cos I test with "M = [1] * 32"
mod6: ' was getting complaints, so tried your commented out line of: M : Maps.PMap(Length => 0, Offset => 1); instead. 2) gnatmake doesn't like that procedure horse_test is in a file called 'test.adb', wants it to be in 'horse_test.adb'
asciilifeform: mod6: afaik only problem was with the i/o in the test proggy.
asciilifeform: in other noose, the (microscopic) ra-226 ( for MB/s 'gold standard' rng test ) came. asciilifeform was half-convinced that it'd get swallowed by the post
a111: Logged on 2017-06-08 15:48 asciilifeform: show me the 60y.o. who 'test me!1111'
asciilifeform: show me the 60y.o. who 'test me!1111' ☟︎
asciilifeform: comes with a small test routine, see horsecocks.adb.
asciilifeform: fact: FG would not exist if i had to design and test it on a winblowz box.
deedbot: test_1 voiced for 30 minutes.
mircea_popescu: !!up test_1
sina: and paste it somewhere for me to test
phf: i have nothing else to add to this conversation, i am though playing "have you heard this eurodance track" game with girl, where i play something that ~everyone~ danced to in the 90s, but didn't survive the test of time and see if she heard it
asciilifeform: mod6: play with the test clip on the scope ( the thing immediately to the right of ch4 bnc jack ) first
mod6: so i did one more while I was at it: http://www.mod6.net/fg/fg-test/20170602_155427.jpg
mod6: ok, here's one with both clk & out; http://www.mod6.net/fg/fg-test/20170602_153853.jpg