Skip to content

Commit ae34149

Browse files
soimortsoimort
committed
add archive
1 parent e844958 commit ae34149

File tree

2 files changed

+279
-0
lines changed

2 files changed

+279
-0
lines changed

‎archive/index.html

+125
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,125 @@
1+
<!DOCTYPE html>
2+
<!-- Akai (pandoc HTML5 template)
3+
designer: soimort
4+
last updated: 2016-05-06
5+
last adapted: 2016-11-01 -->
6+
<html>
7+
<head>
8+
<meta charset="utf-8">
9+
<meta name="generator" content="pandoc">
10+
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
11+
<meta name="author" content="">
12+
<title>…Up to Mortality</title>
13+
<link rel="canonical" href="https://www.soimort.org/archive">
14+
<style type="text/css">code { white-space: pre; }</style>
15+
<link rel="stylesheet" href="//cdn.soimort.org/normalize/5.0.0/normalize.min.css">
16+
<link rel="stylesheet" href="//cdn.soimort.org/fonts/latest/URW-Palladio-L.css">
17+
<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
18+
<link rel="stylesheet" href="/__/css/style.css">
19+
<link rel="stylesheet" href="/__/css/pygments.css">
20+
<!--[if lt IE 9]>
21+
<script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
22+
<![endif]-->
23+
<script src="//cdn.soimort.org/jk/latest/jk.min.js"></script>
24+
<script src="/__/js/main.js"></script>
25+
<link rel="icon" href="/favicon.png">
26+
<link rel="apple-touch-icon" href="/favicon.png">
27+
<link rel="alternate" type="application/atom+xml" href="/feed.atom">
28+
</head>
29+
<body>
30+
<link rel="stylesheet" href="/index.css">
31+
<article>
32+
<header>
33+
<h1 class="title"><a href="https://www.soimort.org/archive">…Up to Mortality</a></h1>
34+
</header>
35+
<div id="content">
36+
<figure>
37+
<img src="https://i0.wp.com/dl.dropboxusercontent.com/s/ih8m0t6mdvfhs0x/header-170909.jpg" alt="Man can believe what he argues, but he cannot argue what he argues." style="width:32.0%" /><figcaption>Man can believe what he argues, but he cannot argue what he argues.</figcaption>
38+
</figure>
39+
<section id="my-study-track-summaries-expositions" class="level2">
40+
<h2>My Study Track <strong>/ Summaries &amp; Expositions</strong></h2>
41+
<div style="text-align:right">
42+
<p><small></p>
43+
<p><a href="https://wiki.soimort.org/"><i class="fa fa-edit" aria-hidden="true"></i> My Wiki</a></p>
44+
</small>
45+
</div>
46+
<ul>
47+
<li><a href="/mst/9/">The Semantic Truth</a> <strong>#philosophy</strong> <strong>#logic</strong> <em>7 Oct 2017</em></li>
48+
<li><a href="/mst/8/">The Referential Use</a> <strong>#philosophy</strong> <strong>#logic</strong> <em>26 Sep 2017</em></li>
49+
<li><a href="/mst/7/">The Logical Implication</a> <strong>#logic</strong> <em>6 Sep 2017</em></li>
50+
<li><a href="/mst/6/">The Stateful Automata</a> <strong>#formal languages</strong> <strong>#automata</strong> <strong>#computability</strong> <em>12 Apr 2017</em></li>
51+
<li><a href="/mst/5/">The Fundamental Justification</a> <strong>#philosophy</strong> <em>6 Feb 2017</em></li>
52+
<li><a href="/mst/4/">The Measurable Entropy</a> <strong>#information theory</strong> <strong>#statistics</strong> <em>11 Jan 2017</em></li>
53+
<li><a href="/mst/3/">The Adversarial Computation</a> <strong>#cryptography</strong> <em>1 Jan 2017</em></li>
54+
<li><a href="/mst/2/">The Probable Outcome</a> <strong>#probability theory</strong> <em>23 Dec 2016</em></li>
55+
<li><a href="/mst/1/">The Decisional Hardness</a> <strong>#algorithms</strong> <strong>#complexity</strong> <em>1 Nov 2016</em></li>
56+
</ul>
57+
</section>
58+
<section id="reading-thinking-notes" class="level2">
59+
<h2>Reading &amp; Thinking <strong>/ Notes</strong></h2>
60+
<ul>
61+
<li><a href="/notes/171109/">Underrated Gems (1) – Tarski’s Undefinability Theorem</a> <em>9 Nov 2017</em></li>
62+
<li><a href="/notes/170306/">An Intuitive Exposition of “Proof by Contradiction vs. Proof of Negation”</a> <em>6 Mar 2017</em></li>
63+
<li><a href="/reports/bloom-filters-in-adversarial-environments/">Bloom Filters in Adversarial Environments (Reading Report)</a> <em>15 Nov 2016</em></li>
64+
</ul>
65+
</section>
66+
<section id="hacking-notes" class="level2">
67+
<h2>Hacking <strong>/ Notes</strong></h2>
68+
<div style="text-align:right">
69+
<p><small></p>
70+
<p><a href="/about/foss/"><i class="fa fa-wrench" aria-hidden="true"></i> Selected software</a></p>
71+
</small>
72+
</div>
73+
<ul>
74+
<li><a href="/notes/171103/">Go Away, tracker-store</a> <em>3 Nov 2017</em></li>
75+
<li><a href="/notes/170902/">When GNOME Shell Freezes (But You Have Unsaved Stuff There)</a> <em>2 Sep 2017</em></li>
76+
<li><a href="/notes/170407/">Recovering from a Corrupted Arch Linux Upgrade</a> <em>7 Apr 2017</em></li>
77+
<li><a href="/notes/170323/">A Pandoc Filter for Typesetting Operational Semantics</a> <em>23 Mar 2017</em></li>
78+
<li><a href="/notes/161208/">Remember My Last Tabs, File Manager</a> <em>8 Dec 2016</em></li>
79+
<li><a href="/notes/161117/">Boilerplating Pandoc for Academic Writing</a> <em>17 Nov 2016</em></li>
80+
</ul>
81+
</section>
82+
<section id="math-computation-essays" class="level2">
83+
<h2>Math &amp; Computation <strong>/ Essays</strong></h2>
84+
<ul>
85+
<li><a href="https://blog.soimort.org/comp/c/boolean-circuit/">What I Wish I Knew When Learning Boolean Circuits</a> <em>24 Feb 2017</em></li>
86+
</ul>
87+
</section>
88+
<section id="math-perception-essays" class="level2">
89+
<h2>Math &amp; Perception <strong>/ Essays</strong></h2>
90+
<ul>
91+
<li><a href="https://blog.soimort.org/cv/colors/">Understanding Colors – A Walkthrough of Modern Color Theory and Practice</a> <em>3 Aug 2017</em></li>
92+
</ul>
93+
</section>
94+
<section id="art-philosophy-essays" class="level2">
95+
<h2>Art &amp; Philosophy <strong>/ Essays</strong></h2>
96+
<ul>
97+
<li><a href="https://blog.soimort.org/art/manabu-yamanaka/">The Anatomy of Impermanence – On Buddhist Photography by Manabu Yamanaka</a></li>
98+
</ul>
99+
<p><br />
100+
</p>
101+
<div style="text-align:right">
102+
<p><small></p>
103+
<p><a href="http://poetry.soimort.org/"><i class="fa fa-tumblr-square" aria-hidden="true"></i> Poetry</a><br />
104+
<em>(Personal, graphical and potentially NSFW stuff)</em>   <a href="http://log.soimort.org/"><i class="fa fa-tumblr-square" aria-hidden="true"></i> Photolog</a> | <a href="http://microblog.soimort.org/"><i class="fa fa-tumblr-square" aria-hidden="true"></i> AKB48 fanblog</a></p>
105+
<hr />
106+
<p><a href="https://www.soimort.org/feed.atom"><i class="fa fa-rss" aria-hidden="true"></i> Subscribe</a> | <a href="/about"><i class="fa fa-user" aria-hidden="true"></i> About me</a><br />
107+
<strong>Mort</strong> <i class="fa fa-envelope" aria-hidden="true"></i> [email protected] | <a href="https://keybase.io/soimort/key.asc"><i class="fa fa-key" aria-hidden="true"></i> <code>07DA00CB78203251</code></a><br />
108+
<strong>@soimort</strong> on <a href="https://github.com/soimort" rel="nofollow"> <i class="fa fa-github" aria-hidden="true"></i> GitHub</a> | <a href="https://twitter.com/soimort" rel="nofollow"> <i class="fa fa-twitter" aria-hidden="true"></i> Twitter</a></p>
109+
<p><br />
110+
</p>
111+
<p></small></p>
112+
</div>
113+
<aside id="soimort-links">
114+
<a title="Feed" href="https://www.soimort.org/feed.atom"> <i class="fa fa-rss-square" aria-hidden="true"></i></a> <a title="GitHub" href="https://github.com/soimort" rel="nofollow"> <i class="fa fa-github-square" aria-hidden="true"></i></a> <a title="About me" href="/about" id="soimort"> <img src="/favicon.png" width="42px"></a> <a title="Twitter" href="https://twitter.com/soimort" rel="nofollow"> <i class="fa fa-twitter-square" aria-hidden="true"></i></a> <a title="Email" href="#" onclick="window.open(atob('bWFpbHRvOg==') +
115+
'soi' + atob('QA==') + 'mort.ninja')"> <i class="fa fa-envelope-square" aria-hidden="true"></i></a>
116+
</aside>
117+
</section>
118+
</div>
119+
<!-- (www.soimort.org) last updated: 2016-05-07 -->
120+
<aside id="soimort-toolbar">
121+
<a href="/"><i class="fa fa-home" aria-hidden="true"></i></a>
122+
</aside>
123+
</article>
124+
</body>
125+
</html>

‎archive/src.md

+154
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,154 @@
1+
---
2+
title: ...Up to Mortality
3+
subtitle:
4+
author:
5+
6+
include-before: <link rel="stylesheet" href="/index.css">
7+
---
8+
9+
![Man can believe what he argues, but he cannot argue what he argues.
10+
](https://i0.wp.com/dl.dropboxusercontent.com/s/ih8m0t6mdvfhs0x/header-170909.jpg){ width=32% }
11+
12+
13+
14+
## My Study Track **/ Summaries & Expositions**
15+
16+
<div style="text-align:right"><small>
17+
18+
[<i class="fa fa-edit" aria-hidden="true"></i> My Wiki](https://wiki.soimort.org/)
19+
20+
</small></div>
21+
22+
* [The Semantic Truth](/mst/9/)
23+
**#philosophy** **#logic**
24+
*7 Oct 2017*
25+
* [The Referential Use](/mst/8/)
26+
**#philosophy** **#logic**
27+
*26 Sep 2017*
28+
* [The Logical Implication](/mst/7/)
29+
**#logic**
30+
*6 Sep 2017*
31+
* [The Stateful Automata](/mst/6/)
32+
**#formal languages** **#automata** **#computability**
33+
*12 Apr 2017*
34+
* [The Fundamental Justification](/mst/5/)
35+
**#philosophy**
36+
*6 Feb 2017*
37+
* [The Measurable Entropy](/mst/4/)
38+
**#information theory** **#statistics**
39+
*11 Jan 2017*
40+
* [The Adversarial Computation](/mst/3/)
41+
**#cryptography**
42+
*1 Jan 2017*
43+
* [The Probable Outcome](/mst/2/)
44+
**#probability theory**
45+
*23 Dec 2016*
46+
* [The Decisional Hardness](/mst/1/)
47+
**#algorithms** **#complexity**
48+
*1 Nov 2016*
49+
50+
## Reading & Thinking **/ Notes**
51+
52+
* [Underrated Gems (1) -- Tarski's Undefinability Theorem
53+
](/notes/171109/)
54+
*9 Nov 2017*
55+
* [An Intuitive Exposition of "Proof by Contradiction vs. Proof of Negation"
56+
](/notes/170306/)
57+
*6 Mar 2017*
58+
* [Bloom Filters in Adversarial Environments (Reading Report)
59+
](/reports/bloom-filters-in-adversarial-environments/)
60+
*15 Nov 2016*
61+
62+
## Hacking **/ Notes**
63+
64+
<div style="text-align:right"><small>
65+
66+
[<i class="fa fa-wrench" aria-hidden="true"></i> Selected software](/about/foss/)
67+
68+
</small></div>
69+
70+
* [Go Away, tracker-store](/notes/171103/)
71+
*3 Nov 2017*
72+
* [When GNOME Shell Freezes (But You Have Unsaved Stuff There)](/notes/170902/)
73+
*2 Sep 2017*
74+
* [Recovering from a Corrupted Arch Linux Upgrade](/notes/170407/)
75+
*7 Apr 2017*
76+
* [A Pandoc Filter for Typesetting Operational Semantics](/notes/170323/)
77+
*23 Mar 2017*
78+
* [Remember My Last Tabs, File Manager
79+
](/notes/161208/)
80+
*8 Dec 2016*
81+
* [Boilerplating Pandoc for Academic Writing
82+
](/notes/161117/)
83+
*17 Nov 2016*
84+
85+
## Math & Computation **/ Essays**
86+
87+
* [What I Wish I Knew When Learning Boolean Circuits
88+
](https://blog.soimort.org/comp/c/boolean-circuit/)
89+
*24 Feb 2017*
90+
91+
## Math & Perception **/ Essays**
92+
93+
* [Understanding Colors -- A Walkthrough of Modern Color Theory and Practice
94+
](https://blog.soimort.org/cv/colors/)
95+
*3 Aug 2017*
96+
97+
## Art & Philosophy **/ Essays**
98+
99+
* [The Anatomy of Impermanence -- On Buddhist Photography by Manabu Yamanaka
100+
](https://blog.soimort.org/art/manabu-yamanaka/)
101+
102+
103+
104+
:|
105+
106+
<div style="text-align:right">
107+
<small>
108+
109+
[<i class="fa fa-tumblr-square" aria-hidden="true"></i>
110+
Poetry](http://poetry.soimort.org/)
111+
\
112+
*(Personal, graphical and potentially NSFW stuff)* &nbsp;
113+
[<i class="fa fa-tumblr-square" aria-hidden="true"></i>
114+
Photolog](http://log.soimort.org/)
115+
| [<i class="fa fa-tumblr-square" aria-hidden="true"></i>
116+
AKB48 fanblog](http://microblog.soimort.org/)
117+
118+
***
119+
120+
[<i class="fa fa-rss" aria-hidden="true"></i>
121+
Subscribe](https://www.soimort.org/feed.atom)
122+
| [<i class="fa fa-user" aria-hidden="true"></i>
123+
About me](/about)
124+
\
125+
**Mort**
126+
<i class="fa fa-envelope" aria-hidden="true"></i>
127+
[email protected]
128+
| [<i class="fa fa-key" aria-hidden="true"></i>
129+
`07DA00CB78203251`](https://keybase.io/soimort/key.asc)
130+
\
131+
**\@soimort** on
132+
<a href="https://github.com/soimort" rel="nofollow">
133+
<i class="fa fa-github" aria-hidden="true"></i> GitHub</a>
134+
| <a href="https://twitter.com/soimort" rel="nofollow">
135+
<i class="fa fa-twitter" aria-hidden="true"></i> Twitter</a>
136+
137+
:|
138+
139+
</small>
140+
</div>
141+
142+
<aside id="soimort-links">
143+
<a title="Feed" href="https://www.soimort.org/feed.atom">
144+
<i class="fa fa-rss-square" aria-hidden="true"></i></a>
145+
<a title="GitHub" href="https://github.com/soimort" rel="nofollow">
146+
<i class="fa fa-github-square" aria-hidden="true"></i></a>
147+
<a title="About me" href="/about" id="soimort">
148+
<img src="/favicon.png" width="42px"></a>
149+
<a title="Twitter" href="https://twitter.com/soimort" rel="nofollow">
150+
<i class="fa fa-twitter-square" aria-hidden="true"></i></a>
151+
<a title="Email" href="#" onclick="window.open(atob('bWFpbHRvOg==') +
152+
'soi' + atob('QA==') + 'mort.ninja')">
153+
<i class="fa fa-envelope-square" aria-hidden="true"></i></a>
154+
</aside>

0 commit comments

Comments
 (0)