--- title: Personal vault date: 2022-08-27T12:00:00+02:00 url: vault.html type: page draft: false --- ## Hi traveler! This is a repository of interesting things I have gathered over time and it also stores binaries etc of my personal projects. Be kind, this server is bandwidth limited. *Good luck!* --- - archive - [Building the Simplest Possible Linux System - Rob Landley.webm]() - [Go webserver, HTMX Integration, Template Fragments.webm]() - [Toybox vs BusyBox - Rob Landley, hobbyist.webm]() - plan9-videos - [9Front Basic Install.webm]() - [9Front on the Desktop; IRC, web, and video in plan9 terminals.webm]() - [A Quick Intro to C Programming, for Plan 9 and 9 Front.mp4]() - [Adding to the Grid; Listening to CO2 Levels and Speaking to Light Bulbs....webm]() - [Alternative 9Front Partition Schemes.webm]() - [Auth & File Server Setup, using 9Front.mp4]() - [Bonus Pipe Video; funny things you can do locally with named pipes in 9....webm]() - [Booting a Terminal off a USB drive, New User set up, and Disaster recov....webm]() - [Building a Better Grid with 9Front.mp4]() - [Consorting With Daemons! Running 9Front in bhyve on FreeBSD.webm]() - [Doing Custom Work. Basic Configuration Files in Plan9 ⧸ 9Front.webm]() - [Drivers Part 2; Doing some initial reads and writes to a USB device in 9....mp4]() - [Getting 9 Front to run on an Arm SBC, featuring the Pine A64 LTS.webm]() - [Getting Plan9 and Linux to play (audio) together & Bonus Rant!.webm]() - [Grave Robbing my way out of The Global Chip Shortage, feat; 9Front.webm]() - [Hot Time with 9Front on Arm.webm]() - [Intro to USB drivers for Plan9 and 9Front.webm]() - [Introduction to Grids; or, what can I do with all these Plan9 machines?.webm]() - [Introduction to getting around. The User Interface of Plan9 ⧸ 9Front.webm]() - [MIPS Rides Again; my presentation for the International Workshop on Plan 9.webm]() - [Making New Namespaces in Plan9 with auth⧸newns.webm]() - [Making Your Server Do More; Hosting services on your Plan9 server.webm]() - [Making a sythetic filesystem: making fake files for fun and profit on P....webm]() - [Meanwhile, In the Laboratory; finishing house chores and starting compu....webm]() - [PXE Boot 9Front.webm]() - [Plan9 File Server, pt. 1; Installing 9Front.mp4]() - [Plan9's rio, and how to modify it.webm]() - [Plan9, gpsfs & Raspberry Pi; Using 9Front to get the most out of Soviet ....mp4]() - [Planning a Plan9 Ethernet switch filesystem, feat: a stream of consciou....webm]() - [Raspberry Pi Plan9 Server; Using a Pi and 9Front to serve up sensor data.webm]() - [Raspberry Pi on your Plan9 Network, featuring 9Front on a Pi 3B.webm]() - [Reading from a USB Device with 9Front.webm]() - [Show and Tell; some stuff to throw 9Front at.webm]() - [Some Useful Tools in Plan9. Mouse Chording, VT, and Acme.mp4]() - [Still poking around a USB Device with 9Front.webm]() - [Using Bridges and Network Aliasing in Plan9 & 9Front.webm]() - [Using Drawterm to access your Plan9 server.webm]() - [Using Listen1 on Plan9 to Debug Networking Code.webm]() - [Using vmx; Running Linux Mint in a virtual machine on 9Front.webm]() - [When Tech Bubbles Burst & Other Strange Tales.webm]() - [Where to Find Kernel Code in 9front and Plan9.webm]() - [Why is Plan9 like this? An intermediate guide to namespaces with rio.webm]() - [Why is Plan9 like this? An introduction to Namespaces.webm]() - [Working with Kernels; Modifying and Installing a Kernel in 9Front.mp4]() - [Writing Plan9 Kernels; 9Front on the MT7688.webm]() - [wizfs: A 9Front file server for Wiz light bulbs.webm]() - audiobooks - [h-g-wells-the-time-machine.ogg]() - [philip-francis-nowlan-armageddon-2419-a-d.mp3]() - [philip-francis-nowlan-the-airlords-of-han.mp3]() - books - [Civilized to Death.pdf]() - [Common Sense.pdf]() - [History of UNIX programs, sycalls, etc.pdf]() - [The Maiden Who Travels The Planet.pdf]() - [The UNIX-HATERS Handbook.pdf]() - essays - [Bumbleton.pdf]() - [Bumbleton.tex]() - [Lorna the geologist.pdf]() - [Lorna the geologist.tex]() - haphazard - [acme.pdf]() - [antfarm.jpg]() - [ape.pdf]() - [asciitable.txt]() - [bakingonagrill.jpg]() - [carules.png]() - [ccompiler.pdf]() - [cellularintro.pdf]() - [changeresolution.txt]() - [cord.h]() - [dunescrescent.mp4]() - [elisp.pdf]() - [ewd-manuscripts.epub]() - [ewd-manuscripts.mobi]() - [ewd831.pdf]() - [graphca.pdf]() - [inspectorclay.jpg]() - [kaczynski2.pdf]() - [marionette.gif]() - [mk.pdf]() - [ncc-1701-a-engine-noise.ogg]() - [ownership-check-for-c.pdf]() - [p9assembler.pdf]() - [p9fileserver.pdf]() - [p9mkfiles.pdf]() - [p9whub.go]() - [plan9.pdf]() - [plantsystems.jpg]() - [rcshell.pdf]() - [rule126.png]() - [runonqemu.txt]() - [shred.go]() - [simulator.go]() - [standard-ml.pdf]() - [staticserver.txt]() - papers - affective-computing - [Theories-Methods-and-Current-Research-on-Emotions.pdf]() - [affective-computing.pdf]() - api_design - [api-design.pdf]() - artificial-intelligence - [3-bayesian-network-inference-algorithm.pdf]() - [efficient-selectivity-and-backup-operators-in-monte-carlo-tree-search.pdf]() - audio-comp-sci - [an-ethnographic-and-technological-study-of-breakbeats.pdf]() - [essentia.pdf]() - [marsyas.pdf]() - [real-time-chord-detection.pdf]() - [shazam-audio-search-algorithm.pdf]() - caching - [2q-a-low-overhead-high-performance-buffer-management-replacement-algorithm.pdf]() - [a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf]() - [a-program-optimization-for-automatic-database-result-caching.pdf]() - comp-sci-fundamentals-and-history - [axiomatic-basis-computer-programming.pdf]() - [early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf]() - [hints-for-computer-system-design.pdf]() - [recursive-functions-of-symbolic-expressions-and-their-computation-by-mac....pdf]() - [story-of-squeak-a-practical-smalltalk-written-in-itself.pdf]() - computational-creativity - [mexica-a-computer-model-of-a-cognitive-account-of-creativing-writing.pdf]() - computer-education - [framework-for-automated-generation-of-questions-across-formal-domains.pdf]() - computer-graphics - [digital_video_stabilization_and_rolling_shutter_correction_using_gyroscopes.pdf]() - [imaging_vector_fields_using_line_integral_convolution.pdf]() - [pushpull++.pdf]() - cryptography - [communication-theory-of-secrecy-systems.pdf]() - [ntru-prime.pdf]() - data-compression - [Error-Controlled_Lossy_Compression_Optimized_for_High_Compression_Ratios....pdf]() - [Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based....pdf]() - [data-compression.pdf]() - [fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf]() - [fixed-rate_compressed_floating_point_arrays.pdf]() - [fpc_a_high_speed_compressor_for_double_precision_floating_point_data.pdf]() - data-fusion - [a-new-approach-to-linear-filtering-and-prediction-problems.pdf]() - data-replication - [a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf]() - data-science - [tidy_data.pdf]() - data-structures - [b-trees-write-optimization.pdf]() - [epidemic-broadcast-trees.pdf]() - [ideal-hash-trees.pdf]() - [lca-revisited.pdf]() - [level-ancestor-simplified.pdf]() - datastores - [bigtable-a-distributed-storage-system-for-structured-data.pdf]() - [database-metatheory--asking-the-big-queries.pdf]() - [dynamo-amazons-highly-available-key-value-store.pdf]() - [elle-inferring-isolation-anomalies-from-experimental-observations.pdf]() - [flat-datacenter-storage.pdf]() - [freenet-a-distributed-anonymous-information-and-retrieval-system.pdf]() - [megastore-providing-scalable-highly-available-storage-for-interactive-se....pdf]() - [network-challenges-of-data-recovery-in-erasure-coded-distributed-storage....pdf]() - [rados-a-scalable-reliable-storage-service-for-petabyte-scale-storage-clu....pdf]() - [spanner-google's-globally-distributed-database.pdf]() - [spartan-a-distributed-array-framework-with-smart-tiling.pdf]() - [stasis-flexible-transactional-storage.pdf]() - [tao-facebook-distributed-datastore.pdf]() - [the-google-file-system.pdf]() - [transactional-storage-for-geo-replicated-systems.pdf]() - [warp-multi-key-transactions-for-key-value-stores.pdf]() - design - [out-of-the-tar-pit.pdf]() - digital-currency - [bitcoin.pdf]() - [peercoin.pdf]() - [primecoin.pdf]() - distributed-systems - [a-history-of-the-virtual-synchrony-replication-model.pdf]() - [a-hundred-impossibility-proofs-for-distributed-computing.pdf]() - [a-note-on-distributed-computing.pdf]() - [a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordere....pdf]() - [a-universal-modular-actor-formalism-for-artificial-intelligence.pdf]() - [a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overla....pdf]() - [beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-....pdf]() - [brewers-conjecture.pdf]() - [byzantine-chain-replication.pdf]() - [byzantine-fault-tolerant-distributed-commit-protocol.pdf]() - [chain-replication-for-supporting-high-throughput-and-availability.pdf]() - [commodifying-replicated-state-machines-with-openreplica.pdf]() - [consensus-in-presence-of-partial-synchrony.pdf]() - [consistent-global-states-of-distributed-systems-fundamental-concepts-and....pdf]() - [consistent-hashing-and-random-trees.pdf]() - [copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf]() - [dapper-a-large-scale-distributed-tracing-infrastructure.pdf]() - [distributed-snapshots-determining-global-states-of-distributed-systems.pdf]() - [eluding-carnivores-file-sharing-with-strong-anonymity.pdf]() - [end-to-end-arguments-in-system-design.pdf]() - [epidemic-algorithms-for-replicated-database-maintenance.pdf]() - [harvest-yield-and-scalable-tolerant-systems.pdf]() - [herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf]() - [high-level-specifications--lessons-from-industry.pdf]() - [how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf]() - [implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf]() - [impossibility-of-consensus-with-one-faulty-process.pdf]() - [in-search-of-an-understandable-consensus-algorithm.pdf]() - [ironFleet-proving-practical-distributed-systems-correct.pdf]() - [join-calculus.pdf]() - [kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory....pdf]() - [large-scale-incremental-processing-using-distributed-transactions-and-no....pdf]() - [life-beyond-distributed-transactions-an-apostates-opinion.pdf]() - [mapreduce-simplified-data-processing-on-large-clusters.pdf]() - [mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf]() - [oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-....pdf]() - [on-proof-and-progress-in-mathematics.pdf]() - [p5-a-protocal-for-scalable-anonymous-communication.pdf]() - [pastry-scalable-decentralized-object-location-and-routing-for-large-scal....pdf]() - [paxos-made-moderately-complex.pdf]() - [paxos-made-simple.pdf]() - [self-stabilizing-systems-in-spite-of-distributed-control.pdf]() - [sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf]() - [signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf]() - [simple-testing-can-prevent-most-critical-failures.pdf]() - [solution-of-a-problem-in-concurrent-programming-control.pdf]() - [sparse-partitions.pdf]() - [stronger-semantics-for-low-latency-geo-replicated-storage.pdf]() - [the-akamai-network.pdf]() - [the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf]() - [the-dining-cryptographers-problem.pdf]() - [tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-repl....pdf]() - [tor-the-second-generation-onion-router.pdf]() - [towards-a-cloud-computing-research-agenda.pdf]() - [understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf]() - [viewing-control-structures-as-patterns-of-passing-messages.pdf]() - [zab-high-performance-broadcast-for-primary-backup-systems.pdf]() - [zookeeper-wait-free-coordination-for-internet-scale-systems.pdf]() - economics - [online-ad-auctions.pdf]() - experimental-algorithmics - [a-theoreticians-guide-to-the-experimental-analysis-of-algorithms.pdf]() - faults-and-verification - [epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf]() - gamification - [gamification-in-education-what-how-why-bother.pdf]() - [why-students-engage-in-gaming-the-system-behavior-in-interactive-learnin....pdf]() - garbage-collection - [incremental_mature_garbage_collection_using_the_train_algorithm.pdf]() - [parallel_generational_copying_garbage_collection_with_a_block_structured....pdf]() - [the_lisp_ii_garbage_collector.pdf]() - information-retrieval - [authoritative-sources-in-a-hyperlinked-environment.pdf]() - [graph_of_word_and_tw_idf.pdf]() - [okapi-at-trec3.pdf]() - [the-pagerank-citation-ranking-bringing-order-to-the-web.pdf]() - information-theory - [a-mathematical-theory-of-communication-1948.pdf]() - languages-paradigms - functional_programming - [concatenative-programming-an-overlooked-paradigm.pdf]() - [equal-rights-for-functional-objects.pdf]() - [functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf]() - [optimal-purely-functional-priority-queues.pdf]() - [organizing-programs-without-classes.pdf]() - [purely-functional-data-structures.pdf]() - [why-functional-programming-matters.pdf]() - functional_reactive_programming - [a-survey-of-functional-reactive-programming.pdf]() - [deprecating-the observer-pattern.pdf]() - [frp-in-plt-scheme.pdf]() - [functional-reactive-animation.pdf]() - [ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf]() - new_paradigms - [cognitive-computing-programming-paradigm-corelet-language.pdf]() - languages-theory - [composable-and-compilable-macros-you-want-it-when.pdf]() - [fundamental-concepts-in-programming-languages.pdf]() - [on-understanding-types-data-abstraction-polymorphism.pdf]() - [predicate-dispatching.pdf]() - [principal-type-schemes-for-functional-programs.pdf]() - [programming-languages-application-and-interpretation.pdf]() - [propositions-as-types.pdf]() - [the-derivative-of-a-regular-type-one-hole-contexts.pdf]() - [theory-in-programming-practice.pdf]() - languages - clojure - [a-practical-optional-type-system-for-clojure.pdf]() - haskell - [a-poor-mans-concurrency-monad.pdf]() - [making-a-fast-curry-push-enter-versus-eval-apply-for-higher-order-languages.pdf]() - [tackling-the-awkward-squad-monadic-input-output-concurrency-exceptions-a....pdf]() - [scp91-felleisen.ps.gz]() - smalltalk - [Design-Principles-Behind-Smalltalk.pdf]() - [The-Early-History-Of-Smalltalk.pdf]() - logic-and-programming - [event-calculus.txt]() - [on-the-meanings-of-the-logical-constants.pdf]() - [representing-game-dialogue-as-expressions-in-first-order-logic.pdf]() - machine-learning - [General-self-similarity--an-overview.pdf]() - [Understanding-Deep-Convolutional-Networks.pdf]() - dimensionality_reduction - [a-sparse-johnson-lindenstrauss-transform.pdf]() - [toward-a-unified-theory-of-sparse-dimensionality-reduction-in-euclidean-....pdf]() - mathematics - [from-dominoes-to-hexagons.pdf]() - [graph-isomorphism-and-representation-theory.pdf]() - [intro-to-tropical-algebraic-geometry.pdf]() - [tilings.pdf]() - [transcendence-of-pi.pdf]() - memory-management - [making-lockless-synchronization-fast.pdf]() - [scatteralloc-massively-parallel-dynamic-memory-allocation-for-the-gpu.pdf]() - non-blocking-algorithms - [a-wait-free-queue-as-fast-as-fetch-and-add.pdf]() - [a-wait-free-stack.pdf]() - [efficient-lock-free-b+trees.pdf]() - operating-systems - [jails-confining-the-omnipotent-root..pdf]() - [solaris-zones-operating-system-support-for-consolidating-commercial-work....pdf]() - [therac.pdf]() - [unix-time-sharing-system.pdf]() - pattern-matching - [aho-corasick-string-matching.pdf]() - [compiling-pattern-matching-to-good-decision-trees.pdf]() - [extensible-pattern-matching-extensible-language.pdf]() - [warnings-for-pattern-matching.pdf]() - physics - [buridans-principle.pdf]() - [on-the-attraction-of-two-perfectly-conducting-plates.pdf]() - [on-the-electrodynamics-of-moving-bodies.pdf]() - processes - [communicating-sequential-processes-paper.pdf]() - [communicating-sequential-processes.pdf]() - quantum-computing - [advance_in_quantum_machine_learning.pdf]() - [grovers_algorithm.pdf]() - [shors_algorithm.pdf]() - security - [ids-evasion-ptacek-newsham.pdf]() - [macaroons-cookies-with-contextual-caveats.pdf]() - [sok-eternal-war-in-memory.pdf]() - software-engineering-orgs - [common-ground-and-coordination-in-joint-activity.pdf]() - sports-analytics - [2014-ssac-pointwise-predicting-points-and-valuing-decisions-in-real-time.pdf]() - sublinear-algorithms - [1985-Flajolet-Probabilistic-counting.pdf]() - [An-Elementary-Proof-of-a-Theorem-of-Johnson-and-Lindenstrauss.pdf]() - systematic-review - [systematic-review-in-software-engineering.pdf]() - time-series - [operators-on-inhomogeneous-time-series.pdf]() - [ts-asap.pdf]() - virtual-machines - [kvm-linux-virtual-machines-monitor.pdf]() - [live-migration-of-virtual-machines.pdf]() - public-projects - alternator - [alternator-1.0.0-linux-amd64.md]() - [alternator-1.0.0-linux-amd64.tar.gz]() - [alternator-1.0.0-linux-arm64.md]() - [alternator-1.0.0-linux-arm64.tar.gz]() - errand - [errand-0.1.0-darwin-arm64.md5]() - [errand-0.1.0-darwin-arm64.tar.gz]() - [errand-0.1.0-linux-amd64.md5]() - [errand-0.1.0-linux-amd64.tar.gz]() - [errand-0.1.0-linux-arm64.md5]() - [errand-0.1.0-linux-arm64.tar.gz]() - jbmafp - [jbmafp-v0.1.tar.xz]() - [jbmafp-v0.1.zip]() - simpleapi - [sapi-0.1.0-darwin-amd64.md5]() - [sapi-0.1.0-darwin-amd64.tar.gz]() - [sapi-0.1.0-darwin-arm64.md5]() - [sapi-0.1.0-darwin-arm64.tar.gz]() - [sapi-0.1.0-linux-amd64.md5]() - [sapi-0.1.0-linux-amd64.tar.gz]() - [sapi-0.1.0-linux-arm64.md5]() - [sapi-0.1.0-linux-arm64.tar.gz]()