templates/text.html (view raw)
1<!DOCTYPE html>
2<html lang=en>
3 <link rel="stylesheet" href="/static/style.css" type="text/css">
4 <link rel="stylesheet" href="/static/syntax.css" type="text/css">
5 <link rel="shortcut icon" type="images/x-icon" href="/static/favicon.ico">
6 <meta charset="UTF-8">
7 <meta name="description" content="{{ subtitle }}">
8 <meta name="viewport" content="initial-scale=1">
9 <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
10 <meta content="#151B1B" name="theme-color">
11 <meta name="HandheldFriendly" content="true">
12 <meta name="twitter:card" content="summary_large_image">
13 <meta name="twitter:site" content="@icyphox">
14 <meta name="twitter:title" content="{{ title }}">
15 <meta name="twitter:description" content="{{ subtitle }}">
16 <meta name="twitter:image" content="/static/icyphox.png">
17 <meta property="og:title" content="{{ title }}">
18 <meta property="og:type" content="website">
19 <meta property="og:description" content="{{ subtitle }}">
20 <meta property="og:url" content="https://icyphox.sh">
21 <meta property="og:image" content="/static/icyphox.png">
22 <title>
23 {{ title }}
24 </title>
25 <body>
26 <div class="container">
27 <div class="pull-left">
28 <div class="content">
29 <header>
30 {{ header }}
31 </header>
32 <div style="float: right">
33 view in <a href="/txt/{{ url }}.txt">plain-text</a>
34 </div>
35 <div style="float: left">
36 {{ date }}
37 </div>
38 <div style="clear: both" align="left">
39 <h1>{{ title }}</h1>
40 <h2 class="subtitle">{{ subtitle }}</h2>
41 {{ body }}
42 </div>
43 <p class="muted">Questions or comments?
44 Send an email to
45 <a href="mailto:~icyphox/x@lists.sr.ht?Subject=Re: {{ title }}">~icyphox/x@lists.sr.ht</a>—my <a href="https://lists.sr.ht/~icyphox/x">public inbox</a>.</p>
46
47 <hr>
48 <div class="openring">
49
50 <div class="openring-feed">
51 <h4><a href="https://k1ss.org/blog/20200525a">25/05/2020: This month in KISS (#2)</a></h4>
52 <p>Welcome to the second monthly update for KISS. This post will be
53quite a long one, we've seen some nice changes this month and some
54great work by the Community.…</p>
55
56 <p>via <a href="https://k1ss.org">KISS Linux Blog</a> on May 25, 2020</p>
57 </div>
58
59
60 <div class="openring-feed">
61 <h4><a href="https://peppe.rs/posts/turing_complete_type_systems/">Turing Complete Type Systems</a></h4>
62 <p>Rust’s type system is Turing complete:
63
64FizzBuzz with Rust Traits
65A Forth implementation with Rust Traits
66
67It is impossible to determine if a program written in a generally Turing complete system will ever stop. That is, it is impossible to write a program…</p>
68
69 <p>via <a href="https://peppe.rs">nerdypepper's μblog</a> on Jun 18, 2020</p>
70 </div>
71
72
73 <div class="openring-feed">
74 <h4><a href="https://drewdevault.com/2020/06/15/Status-update.html">Status update, June 2020</a></h4>
75 <p>Like last month, I am writing to you from the past, preparing this status update
76a day earlier than usual. This time it’s because I expect to be busy with
77planned sr.ht maintenance tomorrow, so I’m getting the status updates written
78ahead of time.
79
80aerc ha…</p>
81
82 <p>via <a href="https://drewdevault.com">Drew DeVault's Blog</a> on Jun 15, 2020</p>
83 </div>
84
85
86
87 </div>
88 <div style="float: right">
89 <small>
90 Generated by <a href="https://github.com/icyphox/openring.py">
91 openring.py
92 </a>
93 </small>
94 </div>
95 </div>
96 </div>
97 <div class="pull-right">
98 {{ footer }}
99 </div>
100 </div>
101 </body>
102</html>