From 2417a6b7603524dc5cd30d29b153f91024b9443d Mon Sep 17 00:00:00 2001 From: Mitja Felicijan Date: Wed, 1 Nov 2023 22:54:27 +0100 Subject: Move to Jekyll --- content/pages/vault.md | 405 ------------------------------------------------- 1 file changed, 405 deletions(-) delete mode 100644 content/pages/vault.md (limited to 'content/pages/vault.md') diff --git a/content/pages/vault.md b/content/pages/vault.md deleted file mode 100644 index d25c9d2..0000000 --- a/content/pages/vault.md +++ /dev/null @@ -1,405 +0,0 @@ ---- -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!* - ---- - -- 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-machine-parti.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_of_Scientific_Datasets.pdf]() - - [Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.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-services.pdf]() - - [network-challenges-of-data-recovery-in-erasure-coded-distributed-storage-systems.pdf]() - - [rados-a-scalable-reliable-storage-service-for-petabyte-scale-storage-clusters.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-ordered-communication.pdf]() - - [a-universal-modular-actor-formalism-for-artificial-intelligence.pdf]() - - [a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf]() - - [beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.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-mechanisms.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-and-background-overhead.pdf]() - - [large-scale-incremental-processing-using-distributed-transactions-and-notifications.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-backbones.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-scale-peer-to-peer-systems.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-replication.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-learning-environments.pdf]() - - garbage-collection - - [incremental_mature_garbage_collection_using_the_train_algorithm.pdf]() - - [parallel_generational_copying_garbage_collection_with_a_block_structured_heap.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-and-foreign-language-calls-in-haskell.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-space.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-workloads.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]() -- video - - [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 with Plan9.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 9Front.webm]() - - [Booting a Terminal off a USB drive, New User set up, and Disaster recover, for Plan9 using 9Front.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 9Front.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 Plan9 and 9Front.webm]() - - [Meanwhile, In the Laboratory; finishing house chores and starting computer projects.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 Technology.mp4]() - - [Planning a Plan9 Ethernet switch filesystem, feat: a stream of consciousness.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]() - -- cgit v1.2.3