aboutsummaryrefslogtreecommitdiff
path: root/content/pages
diff options
context:
space:
mode:
authorMitja Felicijan <mitja.felicijan@gmail.com>2023-11-01 22:54:27 +0100
committerMitja Felicijan <mitja.felicijan@gmail.com>2023-11-01 22:54:27 +0100
commit2417a6b7603524dc5cd30d29b153f91024b9443d (patch)
tree9be5ea8e5baba96dd9159217da6badf6157fb595 /content/pages
parent89ba3497f07a8ea43d209b583f39fcc286acc923 (diff)
downloadmitjafelicijan.com-2417a6b7603524dc5cd30d29b153f91024b9443d.tar.gz
Move to Jekyll
Diffstat (limited to 'content/pages')
-rw-r--r--content/pages/curriculum-vitae.md99
-rw-r--r--content/pages/vault.md405
2 files changed, 0 insertions, 504 deletions
diff --git a/content/pages/curriculum-vitae.md b/content/pages/curriculum-vitae.md
deleted file mode 100644
index f768d58..0000000
--- a/content/pages/curriculum-vitae.md
+++ /dev/null
@@ -1,99 +0,0 @@
1---
2title: Curriculum Vitae
3date: 2022-08-27T12:00:00+02:00
4url: curriculum-vitae.html
5type: page
6draft: false
7---
8
9<style>
10 img {
11 width: auto !important;
12 left: initial !important;
13 margin: initial !important;
14 border: 0 !important;
15 }
16</style>
17
18<div class="cv-picture">
19
20![](/posts/cv/avatar.gif)
21
22</div>
23
24<script>
25 window.addEventListener('load', async () => {
26 // flip CV image on mouse over
27 const cvImage = document.querySelector('.cv-picture img');
28 if (cvImage) {
29 setInterval(() => {
30 cvImage.style.transform = cvImage.style.transform === 'scaleX(1)' ? 'scaleX(-1)' : 'scaleX(1)';
31 }, 1000);
32 }
33 });
34</script>
35
36**Mitja Felicijan**
37
38Email me at *[m@mitjafelicijan.com](mailto:m@mitjafelicijan.com?subject=Website+CV+Contact)*
39
40## Technical experience
41
42- **Key languages:** C, Golang, Lua, Python, Bash.
43- **Platforms:** GNU/Linux, macOS.
44- **Interests:** Zigbee, KNX, Modbus, Machine to Machine, Embedded systems, Operating systems, Distributed systems, IOT, RDBMS, Algorithms, Database engine design, SQL, NoSQL, NewSQL, Big data analytics, Machine learning, Prediction algorithms, Realtime analytics, Systems automation, Natural language processing, Bioinformatics, Game development.
45
46## Major projects
47
48- SMS marketing system (2007)
49- Yacht management software (2008)
50- Smart Home Gateway (2009)
51- Moxa UPort 1130 USB to RS485 Universal Linux driver (2009)
52- Remote management of electricity meter (2009)
53- Remote management of blood pressure monitor (2010)
54- Infomat automation system (2010)
55- GPS Tourist - GIS Software (2011)
56- Minimal GNU/Linux distribution for embedded platforms (2011)
57- Digital Jukebox system (2012)
58- NanoCloudLogger - Machine to Machine (2012)
59- Street Lightning System (2012)
60- Smart cabins with hardware sensor management (2013)
61- Contextual advertising server (2015)
62- Network accessible database engine for caching and in-memory storage (2016)
63- Tick database engine specifically designed for storing and processing large amount of sensor data with high write throughput (2016)
64- Wireless industrial lighting management system - hardware and software (2016)
65- Minimal configuration reverse proxy (2017)
66- Industrial IOT platform for deployment on on-premise (2018)
67- Custom Platform as a service based on Docker Swarm (2018)
68- Toolkit for encoding binary data into DNA sequence (2019)
69- Minimal configuration reverse proxy with load balancing and rate limiting (2019)
70- E-ink conference room occupancy display, hardware and software solution (2019)
71- Caching module for Apache web server (2022)
72- Task runner for the command line (2022)
73- World of Warcraft Tweaks and Enhancements Addon (2023)
74
75## Employment history
76
77- Freelancer (2001 – Present)
78- Software developer at Mobinia (2005 – 2007)
79- Senior Software Engineer at Milk (2007 – 2009)
80- Co-Founder of UTS (2009 – 2015)
81- Senior Software Engineer at TSmedia (2015 - 2017)
82- Senior Software Engineer at Renderspace (2017 - 2019)
83- Senior Software Engineer at Digg (2019 - Present)
84
85## Awards
86
87- Regional Award for Innovation by Chamber of Commerce and Industry of Slovenia for project Intelligent system management and regulation of Street Lighting, 2010
88- National Award for Innovation by Chamber of Commerce and Industry of Slovenia for project Intelligent system management and regulation of Street Lighting, 2010
89
90## Key responsibilities
91
92- Embedded platform development.
93- Hardware design and driver development.
94- Designing, developing and testing systems.
95- Implementation of the systems.
96- Writing and maintaining user and technical documents.
97- Development and maintenance of the project.
98- Code revision, testing and output.
99- Work on the enhancement suggested by the customers and fixes the bugs reported.
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 @@
1---
2title: Personal vault
3date: 2022-08-27T12:00:00+02:00
4url: vault.html
5type: page
6draft: false
7---
8
9**Hi traveler!**
10
11This is a repository of interesting things I have gathered over time and it also
12stores binaries etc of my personal projects.
13
14Be kind, this server is bandwidth limited.
15
16*Good luck!*
17
18---
19
20- audiobooks
21 - [h-g-wells-the-time-machine.ogg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/audiobooks/h-g-wells-the-time-machine.ogg>)
22 - [philip-francis-nowlan-armageddon-2419-a-d.mp3](<https://mitjafelicijan.fra1.digitaloceanspaces.com/audiobooks/philip-francis-nowlan-armageddon-2419-a-d.mp3>)
23 - [philip-francis-nowlan-the-airlords-of-han.mp3](<https://mitjafelicijan.fra1.digitaloceanspaces.com/audiobooks/philip-francis-nowlan-the-airlords-of-han.mp3>)
24- books
25 - [Civilized to Death.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/books/Civilized to Death.pdf>)
26 - [Common Sense.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/books/Common Sense.pdf>)
27 - [History of UNIX programs, sycalls, etc.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/books/History of UNIX programs, sycalls, etc.pdf>)
28 - [The Maiden Who Travels The Planet.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/books/The Maiden Who Travels The Planet.pdf>)
29 - [The UNIX-HATERS Handbook.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/books/The UNIX-HATERS Handbook.pdf>)
30- essays
31 - [Bumbleton.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/essays/Bumbleton.pdf>)
32 - [Bumbleton.tex](<https://mitjafelicijan.fra1.digitaloceanspaces.com/essays/Bumbleton.tex>)
33 - [Lorna the geologist.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/essays/Lorna the geologist.pdf>)
34 - [Lorna the geologist.tex](<https://mitjafelicijan.fra1.digitaloceanspaces.com/essays/Lorna the geologist.tex>)
35- haphazard
36 - [acme.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/acme.pdf>)
37 - [antfarm.jpg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/antfarm.jpg>)
38 - [ape.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ape.pdf>)
39 - [asciitable.txt](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/asciitable.txt>)
40 - [bakingonagrill.jpg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/bakingonagrill.jpg>)
41 - [carules.png](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/carules.png>)
42 - [ccompiler.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ccompiler.pdf>)
43 - [cellularintro.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/cellularintro.pdf>)
44 - [changeresolution.txt](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/changeresolution.txt>)
45 - [cord.h](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/cord.h>)
46 - [dunescrescent.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/dunescrescent.mp4>)
47 - [elisp.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/elisp.pdf>)
48 - [ewd-manuscripts.epub](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ewd-manuscripts.epub>)
49 - [ewd-manuscripts.mobi](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ewd-manuscripts.mobi>)
50 - [ewd831.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ewd831.pdf>)
51 - [graphca.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/graphca.pdf>)
52 - [inspectorclay.jpg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/inspectorclay.jpg>)
53 - [kaczynski2.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/kaczynski2.pdf>)
54 - [marionette.gif](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/marionette.gif>)
55 - [mk.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/mk.pdf>)
56 - [ncc-1701-a-engine-noise.ogg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ncc-1701-a-engine-noise.ogg>)
57 - [ownership-check-for-c.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/ownership-check-for-c.pdf>)
58 - [p9assembler.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/p9assembler.pdf>)
59 - [p9fileserver.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/p9fileserver.pdf>)
60 - [p9mkfiles.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/p9mkfiles.pdf>)
61 - [p9whub.go](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/p9whub.go>)
62 - [plan9.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/plan9.pdf>)
63 - [plantsystems.jpg](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/plantsystems.jpg>)
64 - [rcshell.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/rcshell.pdf>)
65 - [rule126.png](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/rule126.png>)
66 - [runonqemu.txt](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/runonqemu.txt>)
67 - [shred.go](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/shred.go>)
68 - [simulator.go](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/simulator.go>)
69 - [standard-ml.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/standard-ml.pdf>)
70 - [staticserver.txt](<https://mitjafelicijan.fra1.digitaloceanspaces.com/haphazard/staticserver.txt>)
71- papers
72 - affective-computing
73 - [Theories-Methods-and-Current-Research-on-Emotions.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/affective-computing/Theories-Methods-and-Current-Research-on-Emotions.pdf>)
74 - [affective-computing.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/affective-computing/affective-computing.pdf>)
75 - api_design
76 - [api-design.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/api_design/api-design.pdf>)
77 - artificial-intelligence
78 - [3-bayesian-network-inference-algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/artificial-intelligence/3-bayesian-network-inference-algorithm.pdf>)
79 - [efficient-selectivity-and-backup-operators-in-monte-carlo-tree-search.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/artificial-intelligence/efficient-selectivity-and-backup-operators-in-monte-carlo-tree-search.pdf>)
80 - audio-comp-sci
81 - [an-ethnographic-and-technological-study-of-breakbeats.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/audio-comp-sci/an-ethnographic-and-technological-study-of-breakbeats.pdf>)
82 - [essentia.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/audio-comp-sci/essentia.pdf>)
83 - [marsyas.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/audio-comp-sci/marsyas.pdf>)
84 - [real-time-chord-detection.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/audio-comp-sci/real-time-chord-detection.pdf>)
85 - [shazam-audio-search-algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/audio-comp-sci/shazam-audio-search-algorithm.pdf>)
86 - caching
87 - [2q-a-low-overhead-high-performance-buffer-management-replacement-algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/caching/2q-a-low-overhead-high-performance-buffer-management-replacement-algorithm.pdf>)
88 - [a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/caching/a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf>)
89 - [a-program-optimization-for-automatic-database-result-caching.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/caching/a-program-optimization-for-automatic-database-result-caching.pdf>)
90 - comp-sci-fundamentals-and-history
91 - [axiomatic-basis-computer-programming.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/comp-sci-fundamentals-and-history/axiomatic-basis-computer-programming.pdf>)
92 - [early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/comp-sci-fundamentals-and-history/early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf>)
93 - [hints-for-computer-system-design.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/comp-sci-fundamentals-and-history/hints-for-computer-system-design.pdf>)
94 - [recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/comp-sci-fundamentals-and-history/recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf>)
95 - [story-of-squeak-a-practical-smalltalk-written-in-itself.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/comp-sci-fundamentals-and-history/story-of-squeak-a-practical-smalltalk-written-in-itself.pdf>)
96 - computational-creativity
97 - [mexica-a-computer-model-of-a-cognitive-account-of-creativing-writing.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/computational-creativity/mexica-a-computer-model-of-a-cognitive-account-of-creativing-writing.pdf>)
98 - computer-education
99 - [framework-for-automated-generation-of-questions-across-formal-domains.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/computer-education/framework-for-automated-generation-of-questions-across-formal-domains.pdf>)
100 - computer-graphics
101 - [digital_video_stabilization_and_rolling_shutter_correction_using_gyroscopes.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/computer-graphics/digital_video_stabilization_and_rolling_shutter_correction_using_gyroscopes.pdf>)
102 - [imaging_vector_fields_using_line_integral_convolution.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/computer-graphics/imaging_vector_fields_using_line_integral_convolution.pdf>)
103 - [pushpull++.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/computer-graphics/pushpull++.pdf>)
104 - cryptography
105 - [communication-theory-of-secrecy-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/cryptography/communication-theory-of-secrecy-systems.pdf>)
106 - [ntru-prime.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/cryptography/ntru-prime.pdf>)
107 - data-compression
108 - [Error-Controlled_Lossy_Compression_Optimized_for_High_Compression_Ratios_of_Scientific_Datasets.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/Error-Controlled_Lossy_Compression_Optimized_for_High_Compression_Ratios_of_Scientific_Datasets.pdf>)
109 - [Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.pdf>)
110 - [data-compression.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/data-compression.pdf>)
111 - [fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf>)
112 - [fixed-rate_compressed_floating_point_arrays.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/fixed-rate_compressed_floating_point_arrays.pdf>)
113 - [fpc_a_high_speed_compressor_for_double_precision_floating_point_data.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-compression/fpc_a_high_speed_compressor_for_double_precision_floating_point_data.pdf>)
114 - data-fusion
115 - [a-new-approach-to-linear-filtering-and-prediction-problems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-fusion/a-new-approach-to-linear-filtering-and-prediction-problems.pdf>)
116 - data-replication
117 - [a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-replication/a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf>)
118 - data-science
119 - [tidy_data.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-science/tidy_data.pdf>)
120 - data-structures
121 - [b-trees-write-optimization.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-structures/b-trees-write-optimization.pdf>)
122 - [epidemic-broadcast-trees.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-structures/epidemic-broadcast-trees.pdf>)
123 - [ideal-hash-trees.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-structures/ideal-hash-trees.pdf>)
124 - [lca-revisited.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-structures/lca-revisited.pdf>)
125 - [level-ancestor-simplified.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/data-structures/level-ancestor-simplified.pdf>)
126 - datastores
127 - [bigtable-a-distributed-storage-system-for-structured-data.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/bigtable-a-distributed-storage-system-for-structured-data.pdf>)
128 - [database-metatheory--asking-the-big-queries.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/database-metatheory--asking-the-big-queries.pdf>)
129 - [dynamo-amazons-highly-available-key-value-store.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/dynamo-amazons-highly-available-key-value-store.pdf>)
130 - [elle-inferring-isolation-anomalies-from-experimental-observations.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/elle-inferring-isolation-anomalies-from-experimental-observations.pdf>)
131 - [flat-datacenter-storage.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/flat-datacenter-storage.pdf>)
132 - [freenet-a-distributed-anonymous-information-and-retrieval-system.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/freenet-a-distributed-anonymous-information-and-retrieval-system.pdf>)
133 - [megastore-providing-scalable-highly-available-storage-for-interactive-services.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/megastore-providing-scalable-highly-available-storage-for-interactive-services.pdf>)
134 - [network-challenges-of-data-recovery-in-erasure-coded-distributed-storage-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/network-challenges-of-data-recovery-in-erasure-coded-distributed-storage-systems.pdf>)
135 - [rados-a-scalable-reliable-storage-service-for-petabyte-scale-storage-clusters.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/rados-a-scalable-reliable-storage-service-for-petabyte-scale-storage-clusters.pdf>)
136 - [spanner-google's-globally-distributed-database.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/spanner-google's-globally-distributed-database.pdf>)
137 - [spartan-a-distributed-array-framework-with-smart-tiling.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/spartan-a-distributed-array-framework-with-smart-tiling.pdf>)
138 - [stasis-flexible-transactional-storage.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/stasis-flexible-transactional-storage.pdf>)
139 - [tao-facebook-distributed-datastore.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/tao-facebook-distributed-datastore.pdf>)
140 - [the-google-file-system.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/the-google-file-system.pdf>)
141 - [transactional-storage-for-geo-replicated-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/transactional-storage-for-geo-replicated-systems.pdf>)
142 - [warp-multi-key-transactions-for-key-value-stores.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/datastores/warp-multi-key-transactions-for-key-value-stores.pdf>)
143 - design
144 - [out-of-the-tar-pit.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/design/out-of-the-tar-pit.pdf>)
145 - digital-currency
146 - [bitcoin.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/digital-currency/bitcoin.pdf>)
147 - [peercoin.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/digital-currency/peercoin.pdf>)
148 - [primecoin.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/digital-currency/primecoin.pdf>)
149 - distributed-systems
150 - [a-history-of-the-virtual-synchrony-replication-model.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-history-of-the-virtual-synchrony-replication-model.pdf>)
151 - [a-hundred-impossibility-proofs-for-distributed-computing.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-hundred-impossibility-proofs-for-distributed-computing.pdf>)
152 - [a-note-on-distributed-computing.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-note-on-distributed-computing.pdf>)
153 - [a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordered-communication.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordered-communication.pdf>)
154 - [a-universal-modular-actor-formalism-for-artificial-intelligence.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-universal-modular-actor-formalism-for-artificial-intelligence.pdf>)
155 - [a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf>)
156 - [beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.pdf>)
157 - [brewers-conjecture.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/brewers-conjecture.pdf>)
158 - [byzantine-chain-replication.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/byzantine-chain-replication.pdf>)
159 - [byzantine-fault-tolerant-distributed-commit-protocol.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/byzantine-fault-tolerant-distributed-commit-protocol.pdf>)
160 - [chain-replication-for-supporting-high-throughput-and-availability.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/chain-replication-for-supporting-high-throughput-and-availability.pdf>)
161 - [commodifying-replicated-state-machines-with-openreplica.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/commodifying-replicated-state-machines-with-openreplica.pdf>)
162 - [consensus-in-presence-of-partial-synchrony.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/consensus-in-presence-of-partial-synchrony.pdf>)
163 - [consistent-global-states-of-distributed-systems-fundamental-concepts-and-mechanisms.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/consistent-global-states-of-distributed-systems-fundamental-concepts-and-mechanisms.pdf>)
164 - [consistent-hashing-and-random-trees.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/consistent-hashing-and-random-trees.pdf>)
165 - [copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf>)
166 - [dapper-a-large-scale-distributed-tracing-infrastructure.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/dapper-a-large-scale-distributed-tracing-infrastructure.pdf>)
167 - [distributed-snapshots-determining-global-states-of-distributed-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/distributed-snapshots-determining-global-states-of-distributed-systems.pdf>)
168 - [eluding-carnivores-file-sharing-with-strong-anonymity.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/eluding-carnivores-file-sharing-with-strong-anonymity.pdf>)
169 - [end-to-end-arguments-in-system-design.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/end-to-end-arguments-in-system-design.pdf>)
170 - [epidemic-algorithms-for-replicated-database-maintenance.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/epidemic-algorithms-for-replicated-database-maintenance.pdf>)
171 - [harvest-yield-and-scalable-tolerant-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/harvest-yield-and-scalable-tolerant-systems.pdf>)
172 - [herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf>)
173 - [high-level-specifications--lessons-from-industry.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/high-level-specifications--lessons-from-industry.pdf>)
174 - [how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf>)
175 - [implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf>)
176 - [impossibility-of-consensus-with-one-faulty-process.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/impossibility-of-consensus-with-one-faulty-process.pdf>)
177 - [in-search-of-an-understandable-consensus-algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/in-search-of-an-understandable-consensus-algorithm.pdf>)
178 - [ironFleet-proving-practical-distributed-systems-correct.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/ironFleet-proving-practical-distributed-systems-correct.pdf>)
179 - [join-calculus.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/join-calculus.pdf>)
180 - [kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory-and-background-overhead.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory-and-background-overhead.pdf>)
181 - [large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf>)
182 - [life-beyond-distributed-transactions-an-apostates-opinion.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/life-beyond-distributed-transactions-an-apostates-opinion.pdf>)
183 - [mapreduce-simplified-data-processing-on-large-clusters.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/mapreduce-simplified-data-processing-on-large-clusters.pdf>)
184 - [mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf>)
185 - [oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-backbones.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-backbones.pdf>)
186 - [on-proof-and-progress-in-mathematics.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/on-proof-and-progress-in-mathematics.pdf>)
187 - [p5-a-protocal-for-scalable-anonymous-communication.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/p5-a-protocal-for-scalable-anonymous-communication.pdf>)
188 - [pastry-scalable-decentralized-object-location-and-routing-for-large-scale-peer-to-peer-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/pastry-scalable-decentralized-object-location-and-routing-for-large-scale-peer-to-peer-systems.pdf>)
189 - [paxos-made-moderately-complex.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/paxos-made-moderately-complex.pdf>)
190 - [paxos-made-simple.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/paxos-made-simple.pdf>)
191 - [self-stabilizing-systems-in-spite-of-distributed-control.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/self-stabilizing-systems-in-spite-of-distributed-control.pdf>)
192 - [sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf>)
193 - [signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf>)
194 - [simple-testing-can-prevent-most-critical-failures.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/simple-testing-can-prevent-most-critical-failures.pdf>)
195 - [solution-of-a-problem-in-concurrent-programming-control.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/solution-of-a-problem-in-concurrent-programming-control.pdf>)
196 - [sparse-partitions.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/sparse-partitions.pdf>)
197 - [stronger-semantics-for-low-latency-geo-replicated-storage.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/stronger-semantics-for-low-latency-geo-replicated-storage.pdf>)
198 - [the-akamai-network.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/the-akamai-network.pdf>)
199 - [the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf>)
200 - [the-dining-cryptographers-problem.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/the-dining-cryptographers-problem.pdf>)
201 - [tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-replication.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-replication.pdf>)
202 - [tor-the-second-generation-onion-router.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/tor-the-second-generation-onion-router.pdf>)
203 - [towards-a-cloud-computing-research-agenda.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/towards-a-cloud-computing-research-agenda.pdf>)
204 - [understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf>)
205 - [viewing-control-structures-as-patterns-of-passing-messages.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/viewing-control-structures-as-patterns-of-passing-messages.pdf>)
206 - [zab-high-performance-broadcast-for-primary-backup-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/zab-high-performance-broadcast-for-primary-backup-systems.pdf>)
207 - [zookeeper-wait-free-coordination-for-internet-scale-systems.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/distributed-systems/zookeeper-wait-free-coordination-for-internet-scale-systems.pdf>)
208 - economics
209 - [online-ad-auctions.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/economics/online-ad-auctions.pdf>)
210 - experimental-algorithmics
211 - [a-theoreticians-guide-to-the-experimental-analysis-of-algorithms.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/experimental-algorithmics/a-theoreticians-guide-to-the-experimental-analysis-of-algorithms.pdf>)
212 - faults-and-verification
213 - [epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/faults-and-verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf>)
214 - gamification
215 - [gamification-in-education-what-how-why-bother.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/gamification/gamification-in-education-what-how-why-bother.pdf>)
216 - [why-students-engage-in-gaming-the-system-behavior-in-interactive-learning-environments.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/gamification/why-students-engage-in-gaming-the-system-behavior-in-interactive-learning-environments.pdf>)
217 - garbage-collection
218 - [incremental_mature_garbage_collection_using_the_train_algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/garbage-collection/incremental_mature_garbage_collection_using_the_train_algorithm.pdf>)
219 - [parallel_generational_copying_garbage_collection_with_a_block_structured_heap.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/garbage-collection/parallel_generational_copying_garbage_collection_with_a_block_structured_heap.pdf>)
220 - [the_lisp_ii_garbage_collector.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/garbage-collection/the_lisp_ii_garbage_collector.pdf>)
221 - information-retrieval
222 - [authoritative-sources-in-a-hyperlinked-environment.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/information-retrieval/authoritative-sources-in-a-hyperlinked-environment.pdf>)
223 - [graph_of_word_and_tw_idf.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/information-retrieval/graph_of_word_and_tw_idf.pdf>)
224 - [okapi-at-trec3.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/information-retrieval/okapi-at-trec3.pdf>)
225 - [the-pagerank-citation-ranking-bringing-order-to-the-web.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/information-retrieval/the-pagerank-citation-ranking-bringing-order-to-the-web.pdf>)
226 - information-theory
227 - [a-mathematical-theory-of-communication-1948.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/information-theory/a-mathematical-theory-of-communication-1948.pdf>)
228 - languages-paradigms
229 - functional_programming
230 - [concatenative-programming-an-overlooked-paradigm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf>)
231 - [equal-rights-for-functional-objects.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf>)
232 - [functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf>)
233 - [optimal-purely-functional-priority-queues.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf>)
234 - [organizing-programs-without-classes.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/organizing-programs-without-classes.pdf>)
235 - [purely-functional-data-structures.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/purely-functional-data-structures.pdf>)
236 - [why-functional-programming-matters.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_programming/why-functional-programming-matters.pdf>)
237 - functional_reactive_programming
238 - [a-survey-of-functional-reactive-programming.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf>)
239 - [deprecating-the observer-pattern.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf>)
240 - [frp-in-plt-scheme.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf>)
241 - [functional-reactive-animation.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf>)
242 - [ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf>)
243 - new_paradigms
244 - [cognitive-computing-programming-paradigm-corelet-language.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf>)
245 - languages-theory
246 - [composable-and-compilable-macros-you-want-it-when.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf>)
247 - [fundamental-concepts-in-programming-languages.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/fundamental-concepts-in-programming-languages.pdf>)
248 - [on-understanding-types-data-abstraction-polymorphism.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf>)
249 - [predicate-dispatching.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/predicate-dispatching.pdf>)
250 - [principal-type-schemes-for-functional-programs.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/principal-type-schemes-for-functional-programs.pdf>)
251 - [programming-languages-application-and-interpretation.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/programming-languages-application-and-interpretation.pdf>)
252 - [propositions-as-types.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/propositions-as-types.pdf>)
253 - [the-derivative-of-a-regular-type-one-hole-contexts.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf>)
254 - [theory-in-programming-practice.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages-theory/theory-in-programming-practice.pdf>)
255 - languages
256 - clojure
257 - [a-practical-optional-type-system-for-clojure.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/clojure/a-practical-optional-type-system-for-clojure.pdf>)
258 - haskell
259 - [a-poor-mans-concurrency-monad.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/haskell/a-poor-mans-concurrency-monad.pdf>)
260 - [making-a-fast-curry-push-enter-versus-eval-apply-for-higher-order-languages.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/haskell/making-a-fast-curry-push-enter-versus-eval-apply-for-higher-order-languages.pdf>)
261 - [tackling-the-awkward-squad-monadic-input-output-concurrency-exceptions-and-foreign-language-calls-in-haskell.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/haskell/tackling-the-awkward-squad-monadic-input-output-concurrency-exceptions-and-foreign-language-calls-in-haskell.pdf>)
262 - [scp91-felleisen.ps.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/scp91-felleisen.ps.gz>)
263 - smalltalk
264 - [Design-Principles-Behind-Smalltalk.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/smalltalk/Design-Principles-Behind-Smalltalk.pdf>)
265 - [The-Early-History-Of-Smalltalk.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/languages/smalltalk/The-Early-History-Of-Smalltalk.pdf>)
266 - logic-and-programming
267 - [event-calculus.txt](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/logic-and-programming/event-calculus.txt>)
268 - [on-the-meanings-of-the-logical-constants.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/logic-and-programming/on-the-meanings-of-the-logical-constants.pdf>)
269 - [representing-game-dialogue-as-expressions-in-first-order-logic.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/logic-and-programming/representing-game-dialogue-as-expressions-in-first-order-logic.pdf>)
270 - machine-learning
271 - [General-self-similarity--an-overview.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/machine-learning/General-self-similarity--an-overview.pdf>)
272 - [Understanding-Deep-Convolutional-Networks.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/machine-learning/Understanding-Deep-Convolutional-Networks.pdf>)
273 - dimensionality_reduction
274 - [a-sparse-johnson-lindenstrauss-transform.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/machine-learning/dimensionality_reduction/a-sparse-johnson-lindenstrauss-transform.pdf>)
275 - [toward-a-unified-theory-of-sparse-dimensionality-reduction-in-euclidean-space.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/machine-learning/dimensionality_reduction/toward-a-unified-theory-of-sparse-dimensionality-reduction-in-euclidean-space.pdf>)
276 - mathematics
277 - [from-dominoes-to-hexagons.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/mathematics/from-dominoes-to-hexagons.pdf>)
278 - [graph-isomorphism-and-representation-theory.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/mathematics/graph-isomorphism-and-representation-theory.pdf>)
279 - [intro-to-tropical-algebraic-geometry.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/mathematics/intro-to-tropical-algebraic-geometry.pdf>)
280 - [tilings.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/mathematics/tilings.pdf>)
281 - [transcendence-of-pi.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/mathematics/transcendence-of-pi.pdf>)
282 - memory-management
283 - [making-lockless-synchronization-fast.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/memory-management/making-lockless-synchronization-fast.pdf>)
284 - [scatteralloc-massively-parallel-dynamic-memory-allocation-for-the-gpu.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/memory-management/scatteralloc-massively-parallel-dynamic-memory-allocation-for-the-gpu.pdf>)
285 - non-blocking-algorithms
286 - [a-wait-free-queue-as-fast-as-fetch-and-add.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/non-blocking-algorithms/a-wait-free-queue-as-fast-as-fetch-and-add.pdf>)
287 - [a-wait-free-stack.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/non-blocking-algorithms/a-wait-free-stack.pdf>)
288 - [efficient-lock-free-b+trees.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/non-blocking-algorithms/efficient-lock-free-b+trees.pdf>)
289 - operating-systems
290 - [jails-confining-the-omnipotent-root..pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/operating-systems/jails-confining-the-omnipotent-root..pdf>)
291 - [solaris-zones-operating-system-support-for-consolidating-commercial-workloads.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/operating-systems/solaris-zones-operating-system-support-for-consolidating-commercial-workloads.pdf>)
292 - [therac.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/operating-systems/therac.pdf>)
293 - [unix-time-sharing-system.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/operating-systems/unix-time-sharing-system.pdf>)
294 - pattern-matching
295 - [aho-corasick-string-matching.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/pattern-matching/aho-corasick-string-matching.pdf>)
296 - [compiling-pattern-matching-to-good-decision-trees.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/pattern-matching/compiling-pattern-matching-to-good-decision-trees.pdf>)
297 - [extensible-pattern-matching-extensible-language.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/pattern-matching/extensible-pattern-matching-extensible-language.pdf>)
298 - [warnings-for-pattern-matching.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/pattern-matching/warnings-for-pattern-matching.pdf>)
299 - physics
300 - [buridans-principle.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/physics/buridans-principle.pdf>)
301 - [on-the-attraction-of-two-perfectly-conducting-plates.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/physics/on-the-attraction-of-two-perfectly-conducting-plates.pdf>)
302 - [on-the-electrodynamics-of-moving-bodies.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/physics/on-the-electrodynamics-of-moving-bodies.pdf>)
303 - processes
304 - [communicating-sequential-processes-paper.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/processes/communicating-sequential-processes-paper.pdf>)
305 - [communicating-sequential-processes.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/processes/communicating-sequential-processes.pdf>)
306 - quantum-computing
307 - [advance_in_quantum_machine_learning.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/quantum-computing/advance_in_quantum_machine_learning.pdf>)
308 - [grovers_algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/quantum-computing/grovers_algorithm.pdf>)
309 - [shors_algorithm.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/quantum-computing/shors_algorithm.pdf>)
310 - security
311 - [ids-evasion-ptacek-newsham.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/security/ids-evasion-ptacek-newsham.pdf>)
312 - [macaroons-cookies-with-contextual-caveats.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/security/macaroons-cookies-with-contextual-caveats.pdf>)
313 - [sok-eternal-war-in-memory.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/security/sok-eternal-war-in-memory.pdf>)
314 - software-engineering-orgs
315 - [common-ground-and-coordination-in-joint-activity.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/software-engineering-orgs/common-ground-and-coordination-in-joint-activity.pdf>)
316 - sports-analytics
317 - [2014-ssac-pointwise-predicting-points-and-valuing-decisions-in-real-time.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/sports-analytics/2014-ssac-pointwise-predicting-points-and-valuing-decisions-in-real-time.pdf>)
318 - sublinear-algorithms
319 - [1985-Flajolet-Probabilistic-counting.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/sublinear-algorithms/1985-Flajolet-Probabilistic-counting.pdf>)
320 - [An-Elementary-Proof-of-a-Theorem-of-Johnson-and-Lindenstrauss.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/sublinear-algorithms/An-Elementary-Proof-of-a-Theorem-of-Johnson-and-Lindenstrauss.pdf>)
321 - systematic-review
322 - [systematic-review-in-software-engineering.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/systematic-review/systematic-review-in-software-engineering.pdf>)
323 - time-series
324 - [operators-on-inhomogeneous-time-series.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/time-series/operators-on-inhomogeneous-time-series.pdf>)
325 - [ts-asap.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/time-series/ts-asap.pdf>)
326 - virtual-machines
327 - [kvm-linux-virtual-machines-monitor.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/virtual-machines/kvm-linux-virtual-machines-monitor.pdf>)
328 - [live-migration-of-virtual-machines.pdf](<https://mitjafelicijan.fra1.digitaloceanspaces.com/papers/virtual-machines/live-migration-of-virtual-machines.pdf>)
329- public-projects
330 - alternator
331 - [alternator-1.0.0-linux-amd64.md](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/alternator/alternator-1.0.0-linux-amd64.md>)
332 - [alternator-1.0.0-linux-amd64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/alternator/alternator-1.0.0-linux-amd64.tar.gz>)
333 - [alternator-1.0.0-linux-arm64.md](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/alternator/alternator-1.0.0-linux-arm64.md>)
334 - [alternator-1.0.0-linux-arm64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/alternator/alternator-1.0.0-linux-arm64.tar.gz>)
335 - errand
336 - [errand-0.1.0-darwin-arm64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-darwin-arm64.md5>)
337 - [errand-0.1.0-darwin-arm64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-darwin-arm64.tar.gz>)
338 - [errand-0.1.0-linux-amd64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-linux-amd64.md5>)
339 - [errand-0.1.0-linux-amd64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-linux-amd64.tar.gz>)
340 - [errand-0.1.0-linux-arm64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-linux-arm64.md5>)
341 - [errand-0.1.0-linux-arm64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/errand/errand-0.1.0-linux-arm64.tar.gz>)
342 - jbmafp
343 - [jbmafp-v0.1.tar.xz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/jbmafp/jbmafp-v0.1.tar.xz>)
344 - [jbmafp-v0.1.zip](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/jbmafp/jbmafp-v0.1.zip>)
345 - simpleapi
346 - [sapi-0.1.0-darwin-amd64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-darwin-amd64.md5>)
347 - [sapi-0.1.0-darwin-amd64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-darwin-amd64.tar.gz>)
348 - [sapi-0.1.0-darwin-arm64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-darwin-arm64.md5>)
349 - [sapi-0.1.0-darwin-arm64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-darwin-arm64.tar.gz>)
350 - [sapi-0.1.0-linux-amd64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-linux-amd64.md5>)
351 - [sapi-0.1.0-linux-amd64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-linux-amd64.tar.gz>)
352 - [sapi-0.1.0-linux-arm64.md5](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-linux-arm64.md5>)
353 - [sapi-0.1.0-linux-arm64.tar.gz](<https://mitjafelicijan.fra1.digitaloceanspaces.com/public-projects/simpleapi/sapi-0.1.0-linux-arm64.tar.gz>)
354- video
355 - [Building the Simplest Possible Linux System - Rob Landley.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/Building the Simplest Possible Linux System - Rob Landley.webm>)
356 - [Go webserver, HTMX Integration, Template Fragments.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/Go webserver, HTMX Integration, Template Fragments.webm>)
357 - [Toybox vs BusyBox - Rob Landley, hobbyist.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/Toybox vs BusyBox - Rob Landley, hobbyist.webm>)
358 - plan9-videos
359 - [9Front Basic Install.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/9Front Basic Install.webm>)
360 - [9Front on the Desktop; IRC, web, and video in plan9 terminals.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/9Front on the Desktop; IRC, web, and video in plan9 terminals.webm>)
361 - [A Quick Intro to C Programming, for Plan 9 and 9 Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/A Quick Intro to C Programming, for Plan 9 and 9 Front.mp4>)
362 - [Adding to the Grid; Listening to CO2 Levels and Speaking to Light Bulbs with Plan9.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Adding to the Grid; Listening to CO2 Levels and Speaking to Light Bulbs with Plan9.webm>)
363 - [Alternative 9Front Partition Schemes.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Alternative 9Front Partition Schemes.webm>)
364 - [Auth & File Server Setup, using 9Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Auth & File Server Setup, using 9Front.mp4>)
365 - [Bonus Pipe Video; funny things you can do locally with named pipes in 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Bonus Pipe Video; funny things you can do locally with named pipes in 9Front.webm>)
366 - [Booting a Terminal off a USB drive, New User set up, and Disaster recover, for Plan9 using 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Booting a Terminal off a USB drive, New User set up, and Disaster recover, for Plan9 using 9Front.webm>)
367 - [Building a Better Grid with 9Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Building a Better Grid with 9Front.mp4>)
368 - [Consorting With Daemons! Running 9Front in bhyve on FreeBSD.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Consorting With Daemons! Running 9Front in bhyve on FreeBSD.webm>)
369 - [Doing Custom Work. Basic Configuration Files in Plan9 ⧸ 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Doing Custom Work. Basic Configuration Files in Plan9 ⧸ 9Front.webm>)
370 - [Drivers Part 2; Doing some initial reads and writes to a USB device in 9Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Drivers Part 2; Doing some initial reads and writes to a USB device in 9Front.mp4>)
371 - [Getting 9 Front to run on an Arm SBC, featuring the Pine A64 LTS.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Getting 9 Front to run on an Arm SBC, featuring the Pine A64 LTS.webm>)
372 - [Getting Plan9 and Linux to play (audio) together & Bonus Rant!.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Getting Plan9 and Linux to play (audio) together & Bonus Rant!.webm>)
373 - [Grave Robbing my way out of The Global Chip Shortage, feat; 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Grave Robbing my way out of The Global Chip Shortage, feat; 9Front.webm>)
374 - [Hot Time with 9Front on Arm.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Hot Time with 9Front on Arm.webm>)
375 - [Intro to USB drivers for Plan9 and 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Intro to USB drivers for Plan9 and 9Front.webm>)
376 - [Introduction to Grids; or, what can I do with all these Plan9 machines?.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Introduction to Grids; or, what can I do with all these Plan9 machines?.webm>)
377 - [Introduction to getting around. The User Interface of Plan9 ⧸ 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Introduction to getting around. The User Interface of Plan9 ⧸ 9Front.webm>)
378 - [MIPS Rides Again; my presentation for the International Workshop on Plan 9.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/MIPS Rides Again; my presentation for the International Workshop on Plan 9.webm>)
379 - [Making New Namespaces in Plan9 with auth⧸newns.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Making New Namespaces in Plan9 with auth⧸newns.webm>)
380 - [Making Your Server Do More; Hosting services on your Plan9 server.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Making Your Server Do More; Hosting services on your Plan9 server.webm>)
381 - [Making a sythetic filesystem: making fake files for fun and profit on Plan9 and 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Making a sythetic filesystem: making fake files for fun and profit on Plan9 and 9Front.webm>)
382 - [Meanwhile, In the Laboratory; finishing house chores and starting computer projects.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Meanwhile, In the Laboratory; finishing house chores and starting computer projects.webm>)
383 - [PXE Boot 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/PXE Boot 9Front.webm>)
384 - [Plan9 File Server, pt. 1; Installing 9Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Plan9 File Server, pt. 1; Installing 9Front.mp4>)
385 - [Plan9's rio, and how to modify it.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Plan9's rio, and how to modify it.webm>)
386 - [Plan9, gpsfs & Raspberry Pi; Using 9Front to get the most out of Soviet Technology.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Plan9, gpsfs & Raspberry Pi; Using 9Front to get the most out of Soviet Technology.mp4>)
387 - [Planning a Plan9 Ethernet switch filesystem, feat: a stream of consciousness.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Planning a Plan9 Ethernet switch filesystem, feat: a stream of consciousness.webm>)
388 - [Raspberry Pi Plan9 Server; Using a Pi and 9Front to serve up sensor data.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Raspberry Pi Plan9 Server; Using a Pi and 9Front to serve up sensor data.webm>)
389 - [Raspberry Pi on your Plan9 Network, featuring 9Front on a Pi 3B.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Raspberry Pi on your Plan9 Network, featuring 9Front on a Pi 3B.webm>)
390 - [Reading from a USB Device with 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Reading from a USB Device with 9Front.webm>)
391 - [Show and Tell; some stuff to throw 9Front at.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Show and Tell; some stuff to throw 9Front at.webm>)
392 - [Some Useful Tools in Plan9. Mouse Chording, VT, and Acme.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Some Useful Tools in Plan9. Mouse Chording, VT, and Acme.mp4>)
393 - [Still poking around a USB Device with 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Still poking around a USB Device with 9Front.webm>)
394 - [Using Bridges and Network Aliasing in Plan9 & 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Using Bridges and Network Aliasing in Plan9 & 9Front.webm>)
395 - [Using Drawterm to access your Plan9 server.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Using Drawterm to access your Plan9 server.webm>)
396 - [Using Listen1 on Plan9 to Debug Networking Code.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Using Listen1 on Plan9 to Debug Networking Code.webm>)
397 - [Using vmx; Running Linux Mint in a virtual machine on 9Front.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Using vmx; Running Linux Mint in a virtual machine on 9Front.webm>)
398 - [When Tech Bubbles Burst & Other Strange Tales.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/When Tech Bubbles Burst & Other Strange Tales.webm>)
399 - [Where to Find Kernel Code in 9front and Plan9.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Where to Find Kernel Code in 9front and Plan9.webm>)
400 - [Why is Plan9 like this? An intermediate guide to namespaces with rio.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Why is Plan9 like this? An intermediate guide to namespaces with rio.webm>)
401 - [Why is Plan9 like this? An introduction to Namespaces.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Why is Plan9 like this? An introduction to Namespaces.webm>)
402 - [Working with Kernels; Modifying and Installing a Kernel in 9Front.mp4](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Working with Kernels; Modifying and Installing a Kernel in 9Front.mp4>)
403 - [Writing Plan9 Kernels; 9Front on the MT7688.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/Writing Plan9 Kernels; 9Front on the MT7688.webm>)
404 - [wizfs: A 9Front file server for Wiz light bulbs.webm](<https://mitjafelicijan.fra1.digitaloceanspaces.com/video/plan9-videos/wizfs: A 9Front file server for Wiz light bulbs.webm>)
405