-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
427 lines (326 loc) · 24.1 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<link rel="icon" type="image/x-icon" href="./static/favicon.ico">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="color-scheme" content="light dark" />
<meta name="generator" content="Marmite" />
<meta property="og:title" content="Agente Aleatório">
<meta property="og:description" content="Constantemente aumentando a entropia do universo.">
<meta property="og:url" content="https://rcalsaverini.github.io/blog">
<meta property="og:type" content="website">
<meta property="og:site_name" content="Agente Aleatório">
<link rel="me" href="https://bertha.social/@rcalsaverini">
<script type="application/ld+json">
{
"@context": "https://schema.org",
"@type": "Organization",
"name": "Agente Aleatório",
"url": "https://rcalsaverini.github.io/blog"
}
</script>
<title>Agente Aleatório</title>
<link rel="stylesheet" type="text/css" href="./static/pico.min.css">
<link rel="stylesheet" type="text/css" href="./static/marmite.css">
<link rel="stylesheet" type="text/css" href="./static/colorschemes/github.css">
<link rel="stylesheet" type="text/css" href="./static/custom.css">
<link rel="alternate" type="application/rss+xml" title="index" href="index.rss">
<link rel="alternate" type="application/rss+xml" title="draft" href="draft.rss">
<link rel="alternate" type="application/rss+xml" title="tag: programming" href="tag-programming.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Music Theory" href="tag-music-theory.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Haskell" href="tag-haskell.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Monads" href="tag-monads.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Negative Harmony" href="tag-negative-harmony.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Set Theory (Music)" href="tag-set-theory-music.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Type safety" href="tag-type-safety.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Deep Learning" href="tag-deep-learning.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Python" href="tag-python.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Chord transformations" href="tag-chord-transformations.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Free Vector Space" href="tag-free-vector-space.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Type-level programming" href="tag-type-level-programming.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Probability Monad" href="tag-probability-monad.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Ethics" href="tag-ethics.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Density Learning" href="tag-density-learning.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Free Monads" href="tag-free-monads.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Symbolic Optimization" href="tag-symbolic-optimization.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Xenophobia" href="tag-xenophobia.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Category Theory" href="tag-category-theory.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Neural Networks" href="tag-neural-networks.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Machine Learning" href="tag-machine-learning.rss">
<link rel="alternate" type="application/rss+xml" title="tag: modes of limited transposition" href="tag-modes-of-limited-transposition.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Fascism" href="tag-fascism.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Liberalism" href="tag-liberalism.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Mypy" href="tag-mypy.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Neo-Riemannian Theory" href="tag-neo-riemannian-theory.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Unsupervised Learning" href="tag-unsupervised-learning.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Racism" href="tag-racism.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Type encodings" href="tag-type-encodings.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Stochastic Processes" href="tag-stochastic-processes.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Records" href="tag-records.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Functional programming" href="tag-functional-programming.rss">
<link rel="alternate" type="application/rss+xml" title="tag: music theory" href="tag-music-theory.rss">
<link rel="alternate" type="application/rss+xml" title="tag: composition" href="tag-composition.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Humanism" href="tag-humanism.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Monad Transformers" href="tag-monad-transformers.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Operational Monads" href="tag-operational-monads.rss">
<link rel="alternate" type="application/rss+xml" title="tag: messiaen modes" href="tag-messiaen-modes.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Moral growth" href="tag-moral-growth.rss">
<link rel="alternate" type="application/rss+xml" title="tag: Centrism" href="tag-centrism.rss">
<link rel="alternate" type="application/rss+xml" title="author: Rafael S. Calsaverini" href="author-rafael-s-calsaverini.rss">
<link rel="alternate" type="application/rss+xml" title="author: rafael.calsaverini" href="author-rafael-calsaverini.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2022" href="archive-2022.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2021" href="archive-2021.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2019" href="archive-2019.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2018" href="archive-2018.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2017" href="archive-2017.rss">
<link rel="alternate" type="application/rss+xml" title="year: 2010" href="archive-2010.rss">
<link rel="alternate" type="application/feed+json" title="JSON index" href="index.json">
<link rel="alternate" type="application/feed+json" title="JSON draft" href="draft.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: programming" href="tag-programming.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Music Theory" href="tag-music-theory.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Haskell" href="tag-haskell.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Monads" href="tag-monads.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Negative Harmony" href="tag-negative-harmony.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Set Theory (Music)" href="tag-set-theory-music.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Type safety" href="tag-type-safety.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Deep Learning" href="tag-deep-learning.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Python" href="tag-python.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Chord transformations" href="tag-chord-transformations.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Free Vector Space" href="tag-free-vector-space.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Type-level programming" href="tag-type-level-programming.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Probability Monad" href="tag-probability-monad.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Ethics" href="tag-ethics.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Density Learning" href="tag-density-learning.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Free Monads" href="tag-free-monads.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Symbolic Optimization" href="tag-symbolic-optimization.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Xenophobia" href="tag-xenophobia.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Category Theory" href="tag-category-theory.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Neural Networks" href="tag-neural-networks.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Machine Learning" href="tag-machine-learning.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: modes of limited transposition" href="tag-modes-of-limited-transposition.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Fascism" href="tag-fascism.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Liberalism" href="tag-liberalism.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Mypy" href="tag-mypy.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Neo-Riemannian Theory" href="tag-neo-riemannian-theory.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Unsupervised Learning" href="tag-unsupervised-learning.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Racism" href="tag-racism.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Type encodings" href="tag-type-encodings.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Stochastic Processes" href="tag-stochastic-processes.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Records" href="tag-records.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Functional programming" href="tag-functional-programming.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: music theory" href="tag-music-theory.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: composition" href="tag-composition.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Humanism" href="tag-humanism.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Monad Transformers" href="tag-monad-transformers.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Operational Monads" href="tag-operational-monads.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: messiaen modes" href="tag-messiaen-modes.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Moral growth" href="tag-moral-growth.json">
<link rel="alternate" type="application/feed+json" title="JSON tag: Centrism" href="tag-centrism.json">
<link rel="alternate" type="application/feed+json" title="JSON author: Rafael S. Calsaverini"
href="author-rafael-s-calsaverini.json">
<link rel="alternate" type="application/feed+json" title="JSON author: rafael.calsaverini"
href="author-rafael-calsaverini.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2022" href="archive-2022.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2021" href="archive-2021.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2019" href="archive-2019.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2018" href="archive-2018.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2017" href="archive-2017.json">
<link rel="alternate" type="application/feed+json" title="JSON year: 2010" href="archive-2010.json">
<style>
@import url("https://fonts.googleapis.com/css2?family=Just+Another+Hand&display=swap");
</style>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.13.11/dist/katex.min.css"
integrity="sha384-Um5gpz1odJg5Z4HAmzPtgZKdTBHZdw8S29IecapCSB31ligYPhHQZMIlWLYQGVoc" crossorigin="anonymous" />
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.13.11/dist/katex.min.js"
integrity="sha384-YNHdsYkH6gMx9y3mRkmcJ2mFUjTd0qNQQvY9VYZgQd7DcN7env35GzlmFaZ23JGp"
crossorigin="anonymous"></script>
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.13.11/dist/contrib/auto-render.min.js"
integrity="sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl"
crossorigin="anonymous"></script>
<script>
document.addEventListener("DOMContentLoaded", function () {
renderMathInElement(document.body, {
// customised options
// • auto-render specific keys, e.g.:
delimiters: [
{ left: "$$", right: "$$", display: true },
{ left: "$", right: "$", display: false },
{ left: "\\(", right: "\\)", display: false },
{ left: "\\[", right: "\\]", display: true },
],
// • rendering keys, e.g.:
throwOnError: false,
});
});
</script>
</head>
<link rel="stylesheet" type="text/css" href="https://tikzjax.com/v1/fonts.css">
<script src="https://tikzjax.com/v1/tikzjax.js"></script>
<body>
<main class="container">
<header class="header-content">
<nav class="header-nav">
<ul class="header-name">
<li>
<hgroup>
<h2><a href="./" class="contrast">Agente Aleatório</a></h2>
<p>Constantemente aumentando a entropia do universo.</p>
</hgroup>
</li>
</ul>
<button id="menu-toggle" class="hamburger">☰</button>
<ul class="header-menu" id="header-menu">
<li>
<a class="menu-item secondary" href="./about.html" >About</a>
</li>
<li>
<a class="menu-item secondary" href="./pages.html" >Pages</a>
</li>
<li>
<a class="menu-item secondary" href="./tags.html" >Tags</a>
</li>
<li>
<a class="menu-item secondary" href="./streams.html" >Streams</a>
</li>
<li>
<a class="menu-item secondary" href="https://github.com/rcalsaverini/"
target="_blank" >Github</a>
</li>
<li>
<a class="menu-item secondary" href="https://bertha.social/@rcalsaverini"
target="_blank" >Follow me</a>
</li>
<li><span class="theme-toggle secondary" title="dark mode">☽</span></li>
<li><a href="#" id="search-toggle" class="secondary" title="Search (Ctrl + Shift + F)"> <span
class="search-txt">Search</span><span class="search-magnifier"></span></a></li>
<div class="underline"></div>
</ul>
</nav>
<div class="marmite-background-overlay" id="overlay-close"></div>
<div class="marmite-search-bar hidden">
<span>Busca</span>
<button class="marmite-close-button" id="search-close">X</button>
<input placeholder="Search" id="marmite-search-input" />
<div class="marmite-search-bar-result">
<ul id="marmite-search-bar-result"></ul>
</div>
</div>
</header>
<section class="main-content">
<div class="content-list ">
<div class="left">
<article class="content-list-item">
<div class="content-title-wrapper">
<h2 class="content-title"><a href="./preserve-harmonies-swapping-3rds-7ths.html">Does swapping 3rds and 7ths preserve harmonic feel?</a></h2>
</div>
<p class="content-excerpt">
Do chords that swapp thirds and sevenths retain the same \harmonic feel\
<a class="secondary" href="./preserve-harmonies-swapping-3rds-7ths.html">read more →</a>
</p>
<footer class="data-tags-footer">
<span class="content-date"><a class="secondary" href="./preserve-harmonies-swapping-3rds-7ths.html">Sunday, 13 March 2022</a></span>
<ul class="content-tags overflow-auto">
<li><a href="./tag-music-theory.html">Music Theory</a></li><li><a href="./tag-chord-transformations.html">Chord transformations</a></li>
</ul>
</footer>
</article>
<article class="content-list-item">
<div class="content-title-wrapper">
<h2 class="content-title"><a href="./neural-nets-for-symbolic-optimization.html">Could neural nets be used for symbolic optimization? maybe.</a></h2>
</div>
<p class="content-excerpt">
What's Symbolic Optimization
A while ago I was entertaining problems in the intersection of symbolic manipulation of expressions and Deep Learning. In particular I was interested in finding "optimal" expressions in some way. So, imagine you ...
<a class="secondary" href="./neural-nets-for-symbolic-optimization.html">read more →</a>
</p>
<footer class="data-tags-footer">
<span class="content-date"><a class="secondary" href="./neural-nets-for-symbolic-optimization.html">Friday, 02 July 2021</a></span>
<ul class="content-tags overflow-auto">
<li><a href="./tag-machine-learning.html">Machine Learning</a></li><li><a href="./tag-neural-networks.html">Neural Networks</a></li><li><a href="./tag-deep-learning.html">Deep Learning</a></li>
</ul>
</footer>
</article>
<article class="content-list-item">
<div class="content-title-wrapper">
<h2 class="content-title"><a href="./transforming-modes.html">Transforming modes</a></h2>
</div>
<p class="content-excerpt">
Intro
I want to continue the discussion in the last post about transformations of modes and sets of tones. I want to explore the following question: what are transformations that make sense and what are they effect on scales, tone sets and modes.
The ...
<a class="secondary" href="./transforming-modes.html">read more →</a>
</p>
<footer class="data-tags-footer">
<span class="content-date"><a class="secondary" href="./transforming-modes.html">Monday, 22 February 2021</a></span>
<ul class="content-tags overflow-auto">
<li><a href="./tag-music-theory.html">Music Theory</a></li><li><a href="./tag-negative-harmony.html">Negative Harmony</a></li><li><a href="./tag-set-theory-music.html">Set Theory (Music)</a></li>
</ul>
</footer>
</article>
<article class="content-list-item">
<div class="content-title-wrapper">
<h2 class="content-title"><a href="./negative-harmony-inverts-brightness-modes.html">Negative harmony inverts brightness of modes</a></h2>
</div>
<p class="content-excerpt">
Intro
Recently I've been listening to a 12tone video on YouTube about negative harmony, a concept recently popularized by musician Jacob Collier. On the related links I found a bunch of videos from this channel with "negative harmony" versi ...
<a class="secondary" href="./negative-harmony-inverts-brightness-modes.html">read more →</a>
</p>
<footer class="data-tags-footer">
<span class="content-date"><a class="secondary" href="./negative-harmony-inverts-brightness-modes.html">Saturday, 20 February 2021</a></span>
<ul class="content-tags overflow-auto">
<li><a href="./tag-music-theory.html">Music Theory</a></li><li><a href="./tag-negative-harmony.html">Negative Harmony</a></li><li><a href="./tag-set-theory-music.html">Set Theory (Music)</a></li>
</ul>
</footer>
</article>
<article class="content-list-item">
<div class="content-title-wrapper">
<h2 class="content-title"><a href="./boehm-beraducci-encoding-for-trees-in-python-a-preview.html">Boehm-beraducci encoding for trees in python - a preview</a></h2>
</div>
<p class="content-excerpt">
A few years ago I was very impressed for learning the Boehm-Berarducci encoding, which is a way for encoding
Algebraic Data Types (ADTs) into a kind of lambda calculus that is well typed called System F.
The first thing I asked myself was in which la ...
<a class="secondary" href="./boehm-beraducci-encoding-for-trees-in-python-a-preview.html">read more →</a>
</p>
<footer class="data-tags-footer">
<span class="content-date"><a class="secondary" href="./boehm-beraducci-encoding-for-trees-in-python-a-preview.html">Monday, 21 January 2019</a></span>
<ul class="content-tags overflow-auto">
<li><a href="./tag-programming.html">programming</a></li><li><a href="./tag-python.html">Python</a></li><li><a href="./tag-functional-programming.html">Functional programming</a></li>
</ul>
</footer>
</article>
<div class="pagination">
<nav>
<ul>
</ul>
<ul>
<li><small>1/2</small></li>
</ul>
<ul>
<li><a href="index-2.html"><strong>→</strong></a></li>
</ul>
</nav>
</div>
</div>
</div>
</section>
<footer class="footer-content grid">
<div>Powered by <a href="https://github.com/rochacbruno/marmite">Marmite</a> | <small><a href="https://creativecommons.org/licenses/by-nc-sa/4.0/">CC-BY_NC-SA</a></small></div>
<div class="colorscheme-toggle-div">
colorscheme: <select name="colorscheme" class="colorscheme-toggle">
<option value="default">default</option>
</select>
<span class="theme-toggle secondary" title="dark mode">☽</span>
</div>
</footer>
</main>
<script src="./static/marmite.js"></script>
<script src="./static/custom.js"></script>
<script type="module" src="./static/search.js"></script>
<script type="application/javascript">
colorschemeSwitcher();
</script>
</body>
</html>