log☇︎
600+ entries in 0.322s
a111: Logged on 2018-06-11 21:14 asciilifeform: let's take an example of trustworthy iron : K573RF4 ( https://eandc.ru/pdf/mikroskhema/k573rf4.pdf )
asciilifeform: the only open documentation seems to be from semiconductor houses , there's some material from altera co, i did not bother to link ( who wants pdf ) , can prolly dredge it up again if somebody really wants
asciilifeform: state of art afaik re emp probe , https://www.usenix.org/system/files/conference/woot17/woot17-paper-cui.pdf ( sorry , pdf )
mircea_popescu: recall ? "put your pdf reader in a bot" "where are your microscopy shots" etc.
asciilifeform: let's take an example of trustworthy iron : K573RF4 ( https://eandc.ru/pdf/mikroskhema/k573rf4.pdf ) ☟︎
swiftgeek: https://www.gpo.gov/fdsys/pkg/USCOURTS-cand-5_14-cv-03586/pdf/USCOURTS-cand-5_14-cv-03586-10.pdf
asciilifeform: it was buried in a megalith standards committee pdf crapola.
shinohai: http://btcbase.org/log/2018-05-19#1815611 <<< warez available: http://btcinfo.sdf.org/library/ForrestMims3rdEdition.pdf ☝︎
asciilifeform: http://manualul.info/Abecedar_82/Abecedar_82.pdf << subj. ( compl. with the 'un vis' )
BingoBoingo: ben_vulpes: Here's the flyer the government publishes on the types of structures available here. www.uruguayxxi.gub.uy/guide/descargas/Set%20up%20a%20company.pdf
BingoBoingo: asciilifeform: http://aaronrogier.net/voy00.PDF.gpg << Send them this. Hopefully it saves a trip and get it here sooner.
a111: Logged on 2014-05-28 00:43 asciilifeform: http://www.pdfarchive.info/pdf/B/Br/Brunner_John_-_Stand_on_Zanzibar.pdf
zx2c4: https://zmap.io/paper.pdf looks like they did this in 2013 too
a111: Logged on 2016-05-10 18:09 asciilifeform: http://eprint.iacr.org/2015/1018.pdf << related.
zx2c4: here we go -- https://eprint.iacr.org/2015/1018.pdf
ckang: http://www.diva-portal.se/smash/get/diva2:849461/FULLTEXT01.pdf <-- sorry, pdf
trinque: http://web.mit.edu/alexmv/6.037/sicp.pdf << and also
trinque: http://www.cs.cmu.edu/~dst/LispBook/book.pdf << here, have one of these then.
danielpbarron: i'd like to eventually get Darwin's translation up as a html rather than the pdf it's currently in
a111: Logged on 2018-04-16 10:05 spyked: then moving from this approach you can systematically eliminate e.g. "pdf library" or e.g. "udev" or e.g. "protected mode" or everything else that is not *needed* for the system, not just userland (if there should be anything such as "a userland" at all in there)
spyked: then moving from this approach you can systematically eliminate e.g. "pdf library" or e.g. "udev" or e.g. "protected mode" or everything else that is not *needed* for the system, not just userland (if there should be anything such as "a userland" at all in there) ☟︎
a111: Logged on 2018-04-11 04:05 ckang: sorta related, but what do you think about this.. https://www.wireguard.com/papers/wireguard-formal-verification.pdf
a111: Logged on 2018-04-14 09:49 spyked: http://btcbase.org/log/2018-04-13#1798160 <-- I can definitely see this angle. my point is that by giving up the "general-purpose" pretense altogether, the system designer can qualitatively reduce the implicit trust in code running in the system. so yes, http://btcbase.org/log/2018-04-13#1798161 but moreover, one would not expect to find e.g. a pdf processing library in bitcoin node os, as "bitcoin node" can be specced all the way from
spyked: http://btcbase.org/log/2018-04-13#1798160 <-- I can definitely see this angle. my point is that by giving up the "general-purpose" pretense altogether, the system designer can qualitatively reduce the implicit trust in code running in the system. so yes, http://btcbase.org/log/2018-04-13#1798161 but moreover, one would not expect to find e.g. a pdf processing library in bitcoin node os, as "bitcoin node" can be specced all the way from ☝︎☝︎☟︎
spyked: http://btcbase.org/log/2018-04-12#1797811 <-- been there. and the kernel is not monstrous (paper: http://www.cs.ru.nl/~freek/courses/tt-2012/papers/sadhana.pdf -- funfact: a bastard version of mccarthy's "maxwell equations" lies buried somewhere in there), but attempting to use it to solve even simple problems from 7th grade mathbook can lead to huge codebase. and will inevitably bring the computer-aided mathematician to an existential ☝︎
a111: Logged on 2018-04-11 04:05 ckang: sorta related, but what do you think about this.. https://www.wireguard.com/papers/wireguard-formal-verification.pdf
ckang: the pdf goes a lot deeper but there some info on the site
ckang: sorta related, but what do you think about this.. https://www.wireguard.com/papers/wireguard-formal-verification.pdf ☟︎☟︎
a111: Logged on 2017-08-29 01:02 mircea_popescu: BingoBoingo do we have the famous pdf unicorn-coconut or whatever took to the inept competition instead of bringing to qntra, resulting in a jail term for her ?
mircea_popescu: ckang holy shit they put a pdf on a wordpress blog ?
ckang: https://blog.aheadworks.com/wp-content/uploads/2012/01/Optimizing_Magento_Performance_by_aheadWorks_eng.pdf
asciilifeform: ( proof lives sadly in this : https://eprint.iacr.org/2002/109.pdf turd )
seen_Xemist: Also, http://www.wlym.com/archive/oakland/docs/MarsProject.pdf page 86, lispm keyboard designer & Ginkgo Bioworks
ben_vulpes: http://pizarroisp.net/wp-content/uploads/2018/03/vulpes.pdf
a111: Logged on 2018-02-21 18:58 shinohai: https://www.emsec.rub.de/media/crypto/attachments/files/2011/04/becker_1.pdf <<< Paper on subject of merkle trees I found handy lobbes, for your perusal
shinohai: https://www.emsec.rub.de/media/crypto/attachments/files/2011/04/becker_1.pdf <<< Paper on subject of merkle trees I found handy lobbes, for your perusal ☟︎
mircea_popescu: asciilifeform http://trilema.com/wp-content/uploads/2018/01/Documents_of_the_Assembly_of_the_State_of_New_York_1838.pdf
NoSatoshisHear: There is a Romanian named Mircea Popescu that is registered with the IEEE... You are not him, correct? https://ias.ieee.org/images/files/CMD/2014/mircea%20popescu.pdf
a111: Logged on 2017-08-19 19:29 spyked: asciilifeform, found something (in romanian) http://www.atic.org.ro/ktml2/files/uploads/Masina%20DIALISP.pdf there's also a more detailed english version on ACM sci-hub http://dl.acm.org.sci-hub.cc/citation.cfm?id=802028#
asciilifeform: eh my printer eats ps, pdf.
phf: also the whole exercise only becomes worthwhile if i can also produce reasonable html out of the cweb source, since there's general allergy here to pdf/ps
amberglint: asciilifeform: I have a pdf somewhere, a quick look didn't notice anything Ivory-specific
fromloper: asciilifeform: someone uploaded "I-Machine Architecture Specification" to Bitsavers three days ago, I thought you might find it interesting: http://www.bitsavers.org/pdf/symbolics/I_Machine/I-Machine%20Architecture%20Specification.pdf ☟︎
a111: Logged on 2018-01-12 16:13 asciilifeform: meanwhile, in the americircus, http://btcbase.org/log/2018-01-08#1767259 <<< >>> http://wotpaste.cascadianhacker.com/pastes/fW7se/?raw=true ( orig https://www.courthousenews.com/wp-content/uploads/2018/01/Damore-Google-COMPLAINT.pdf has photoexhibits etc )
asciilifeform: meanwhile, in the americircus, http://btcbase.org/log/2018-01-08#1767259 <<< >>> http://wotpaste.cascadianhacker.com/pastes/fW7se/?raw=true ( orig https://www.courthousenews.com/wp-content/uploads/2018/01/Damore-Google-COMPLAINT.pdf has photoexhibits etc ) ☝︎☟︎
apeloyee: Meanwhile, one ardent quantum computerist, one John Preskill made a 'keynote speech' or whatnot https://arxiv.org/pdf/1801.00862.pdf "Even with fault-tolerant quantum computing still a rather distant dream, we are now entering a pivotal new era in quantum technology. For this talk, I needed a name to describe this impending new era, so I made up a word: NISQ . This stands for Noisy Intermediate-Sc
asciilifeform: ( https://eprint.iacr.org/2011/481.pdf )
apeloyee: possible reason for http://btcbase.org/log/2018-01-08#1766967 is NIST FIPS 186-4: " The exponent d shall be a positive integer value such that 2^(nlen/2) d < LCM(p–1, q–1)" (http://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf#page=62 ) ☝︎
mircea_popescu: http://www.flownet.com/gat/papers/lisp-java.pdf << item, if anyone's curious.
a111: Logged on 2018-01-07 14:25 asciilifeform: mircea_popescu: pdf is a graphics format ( and a quite horrifying one, a corruption of postscript, recall ) not a text. so not the right warcrime for comparison for the french thing
mircea_popescu: http://btcbase.org/log/2018-01-07#1766236 << pdf had a very similar "xml-like" containerized notation in the early days adobe was trying to push it on the world. this is what the problems with these samovars is : whether named adobe or olivetti, they're still samovars, and deducing one is harmless because it never got to grow up is at best naive. they all grow up into the same thing if given the chance ; so never give them an ☝︎
asciilifeform: ended up xml via similar process to how postscript ended up pdf
asciilifeform: mircea_popescu: pdf is a graphics format ( and a quite horrifying one, a corruption of postscript, recall ) not a text. so not the right warcrime for comparison for the french thing ☟︎
mircea_popescu: now, that the whole "french people can technology too!" olivetti-document-format went nowhere is, i think, neither surprising nor in anyone's estimation a bad thing ; but divorced from that, the claim that pdf-ttp would have been an improvement ?! wtf is this guy talking about ?
a111: Logged on 2018-01-05 19:12 trinque: he was almost, maybe, sort of going to do an archiver and pdf-to-texter
gabriel_laddel: never pdf to text, but yes, archiver, NN via FG, RSA impl in CL, yes linux distro
trinque: he was almost, maybe, sort of going to do an archiver and pdf-to-texter ☟︎
asciilifeform: meanwhile in other but not wholly unrelated non-news, http://boris.ryabko.net/published-engl.pdf ( sorry, no human version available. ) << actual work on otp , from 2014 , by not-anglotards
asciilifeform: pdf on linuxen typically goes in massive, nominally open (openssl-style, i.e. wholly unreadable) pile of shit called 'ghostscript'
a111: Logged on 2017-12-20 00:05 trinque: gconf, gsettings, various image nonsense, pdf support, it goes on.
mircea_popescu: http://btcbase.org/log/2017-12-20#1754963 << emacs has pdf support ?! ☝︎
asciilifeform: pdf?!
trinque: gconf, gsettings, various image nonsense, pdf support, it goes on. ☟︎
asciilifeform: https://eprints.soton.ac.uk/257577/1/funcgeo2.pdf << the orig, i think
asciilifeform: trinque: http://www.frank-buss.de/lisp/functional.html is modern rewrite , the original (linked) is an ancient pdf.
mircea_popescu: very halpful, look, a pdf.
jhvh1: asciilifeform: Xilinx DS065 XC9572 In-system Programmable CPLD Data Sheet: <https://www.xilinx.com/support/documentation/data_sheets/ds065.pdf>; XC9572 -15PQG100C Xilinx Inc. | Integrated Circuits (ICs) | DigiKey: <https://www.digikey.com/product-detail/en/xilinx-inc/XC9572-15PQG100C/122-1445-ND/966626>; XC9572 -15PC44I Xilinx Inc. | Integrated Circuits (ICs) | DigiKey: (1 more message)
a111: Logged on 2014-11-14 21:02 asciilifeform: http://home.engineering.iastate.edu/~alexs/classes/2011_Spring_585X/readings/02_Principles/AI_Meets_Natural_Stupidity.pdf
fromloper: asciilifeform, have you read this? http://www.textfiles.com/bitsavers/pdf/symbolics/I_Machine/
asciilifeform: elsewhere, https://cryptome.org/2017/12/papadopoulos-005.pdf ( sadly dun ocr really at all ) one papadopoulos, being tried by one 'chief judge beryl a howell' , for 'obstruction' of the 'russian stooges investigation'
jhvh1: asciilifeform: A plea for lean software - Computer: <https://cr.yp.to/bib/1995/wirth.pdf>; Niklaus Wirth : A Plea for Lean Software (1995) [pdf] | Hacker News: <https://news.ycombinator.com/item%3Fid%3D8301511>; Niklaus Wirth - A Plea for Lean Software .pdf - GitHub: <https://github.com/sysprv/demo-corporate-documentation-public/blob/master/Niklaus%2520Wirth%2520-%2520A%2520Plea%2520for%2520Lean%2520
asciilifeform: ( in other 'gangrene ? what gangrene?' horrors : 'LibTomCrypt is pretty nice to read (only bug found in last 10 years was in prime generation — failed to iterate Miller-Rabin)' -- from turd https://comsecuris.com/slides/slides-bignum-bhus2015.pdf re broken bignumatrons. cited line presented as a 'hey it's pretty good'... )
mircea_popescu: in other lulz from same source (ross anderson of cambridge) http://www.cl.cam.ac.uk/~rja14/Papers/tamper.pdf
a111: Logged on 2017-11-16 22:41 asciilifeform: !~later tell ben_vulpes https://github.com/threonorm/simulisp/blob/master/SCHEME-79/SCHEME-79%20Lisp%20on%20a%20chip.pdf << ( yes, pdf, it's an ancient scan, 1981 ) very spiffy review article by sussman re the famous scheme79 chip; also pertinent to anyone writing simple lisptrons of whatever kind
spyked: http://btcbase.org/log/2017-11-16#1739939 <-- neato! now digesting original paper (pdf: https://dspace.mit.edu/bitstream/handle/1721.1/6334/AIM-559.pdf ) ☝︎
asciilifeform: ' Electron-beam treated ground beef and poultry probably will be in supermarkets by late spring 2000' << from http://animalscience.psu.edu/extension/meat/pdf/IrradFctSheet.pdf , full lully at http://wotpaste.cascadianhacker.com/pastes/i1qmA/?raw=true
mircea_popescu: not just pdf, but a %20 plagued url like it's windows 95 all over again
asciilifeform: !~later tell ben_vulpes https://github.com/threonorm/simulisp/blob/master/SCHEME-79/SCHEME-79%20Lisp%20on%20a%20chip.pdf << ( yes, pdf, it's an ancient scan, 1981 ) very spiffy review article by sussman re the famous scheme79 chip; also pertinent to anyone writing simple lisptrons of whatever kind ☟︎
asciilifeform: meanwhile in 'can haz', https://www.nature.com.sci-hub.cc/articles/nature21698?WT.feed_name=subjects_electronic-devices# ( warning : pdf ) -- 'High-resolution non-destructive three dimensional imaging of integrated circuits' (march 2017) , with some quite impressive pics.
BingoBoingo: And we have a quote, extracting info from PDF
mircea_popescu: aaand in other "united states government what ? who are these schmucks nobody heard of ?" https://www.sec.gov/litigation/investreport/34-81207.pdf
asciilifeform: !~later tell phf http://bitsavers.trailing-edge.com/pdf/metheus/ << moar, apparently.
a111: Logged on 2017-10-27 22:29 mircea_popescu: thatg aside, the more pressing problem is that we don't have a proper pdf-decrufter, (random moron with delusions of self-impoirtance failed to be useful, as you prolly recall), and if we're going to do something by hand this'd be more sorely needed than that.
asciilifeform: http://btcbase.org/log/2017-10-27#1730023 << pdf decrufter is similar item to graphical-www archiver, it is turing-complete op, and requires either absolutely correct soft (e.g. adatronic 100%) or sacrificial publictoilet iron. ☝︎
lobbes: true. pdf converter top-priority
mircea_popescu: thatg aside, the more pressing problem is that we don't have a proper pdf-decrufter, (random moron with delusions of self-impoirtance failed to be useful, as you prolly recall), and if we're going to do something by hand this'd be more sorely needed than that. ☟︎☟︎
asciilifeform: i will not make rngs that DEMAND 2way protocol and usb micro ( with the rewritable firmware nonsense ACTIVE AT ALL TIMES , and 50MB pdf of liquishit spec with holes )
asciilifeform: ( orig. usg turd at https://assets.documentcloud.org/documents/4081446/Reality-Winner-Order-RE-Release-From-Custody.pdf ftr. )
asciilifeform: ( https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_svenda.pdf << equally dubious, and on top of it all plagiaristic, long ver )
asciilifeform: https://www.usenix.org/sites/default/files/conference/protected-files/security16_slides_svenda.pdf << the very dubious orig item. ( can skip straight to last pic )
a111: Logged on 2017-10-14 14:25 asciilifeform: apeloyee: iirc it was in middle of https://cr.yp.to/ecdh/curve41417-20140706.pdf ( which is largely about other, useless crud )
asciilifeform: apeloyee: iirc it was in middle of https://cr.yp.to/ecdh/curve41417-20140706.pdf ( which is largely about other, useless crud ) ☟︎
jhvh1: asciilifeform: phf was last seen in #trilema 2 days, 21 hours, 4 minutes, and 30 seconds ago: <phf> asciilifeform: that i figured out, the whole contraption reminds me of that ru anti-temper device pdf that you posted recently
mircea_popescu: in other lulz, the cia's own manual of recommendable interaction with the usg reich : https://www.cia.gov/news-information/featured-story-archive/2012-featured-story-archive/CleanedUOSSSimpleSabotage_sm.pdf
phf: asciilifeform: that i figured out, the whole contraption reminds me of that ru anti-temper device pdf that you posted recently
asciilifeform: https://sci-hub.cc/http://onlinelibrary.wiley.com/doi/10.1002/bbpc.19930970111 << 1333337w4r3z (pdf!) for aficionados.
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/NmbxE/?raw=true << somewhat miserable ocr of https://arstechnica.com/wp-content/uploads/2017/09/winnertranscript-1.pdf . lulzy.
a111: Logged on 2017-09-20 23:12 apeloyee: longmod procedure in linked pdf says "2^b < m <2^(b+1)" on page 9
apeloyee: longmod procedure in linked pdf says "2^b < m <2^(b+1)" on page 9 ☟︎
asciilifeform: barrett reduction >> http://www.loper-os.org/pub/barrett_1986.pdf << 1333337 w4r3z . yes, pdf, it's the original 1986 article, scan.