-
Notifications
You must be signed in to change notification settings - Fork 0
/
blog.html
29 lines (23 loc) · 1.97 KB
/
blog.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
<!DOCTYPE html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title></title>
<link rel="stylesheet" href="/homepage.css">
<script type="text/javascript" src="hilbert.js" defer="true"></script>
</head>
<canvas id="hilbert"></canvas>
<root><p><ul class="menu"><li><a href="index.html">Home</a></li><li><a href="research.html">Research</a></li><li><a href="about.html">About</a></li><li class="active"><a href="blog.html">Blog</a></li></ul></p>
<p>My (sparse) blog is at <a href="https://blog.burakemir.ch">blog.burakemir.ch</a></p>
<p>Here is an index to some of those posts.
<ul><li><a href="https://blog.burakemir.ch/2021/12/worked-example-of-automata-runs-as.html">(2021) Worked example of automata runs as sheaves</a></li>
<li><a href="https://blog.burakemir.ch/2021/01/what-are-commuting-conversions.html">(2021) What are Commuting Conversions</a></li>
<li><a href="https://blog.burakemir.ch/2020/07/relating-partial-evaluation-multi-stage.html">Relating partial evaluation, multi-stage programming and macros</a></li>
<li>(2020) Intuitionistic Logic:
<ul><li><a href="https://blog.burakemir.ch/2020/05/intuitionistic-propositional-logic-and.html">Intuitionistic Propositional Logic and Natural Deduction</a></li><li><a href="https://blog.burakemir.ch/2020/06/kripke-semantics-and-tableaux-for.html">Kripke semantics and Tableaux for Intuitionistic Logic</a></li></ul></li>
<li>(2020) Higher-order Logic:
<ul><li><a href="https://blog.burakemir.ch/2020/04/higher-order-logic-and-equality.html">Higher-order Logic and Equality</a></li><li><a href="https://blog.burakemir.ch/2020/09/intuitionistic-higher-order-logic-and.html">Intuitionistic Higher-Order Logic and Equality</a></li></ul></li>
<li><a href="https://blog.burakemir.ch/2010/12/yacc-is-of-living-dead.html">(2010) Yacc is of the Living Dead</a></li></ul></p>
</root>
<img src="https://puzzle.burakemir.ch/track/blog.html/1x1.png"></img>
</html>