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://peppe.rs/posts/turing_complete_type_systems/">Turing Complete Type Systems</a></h4>
52 <p>Rust’s type system is Turing complete:
53
54FizzBuzz with Rust Traits
55A Forth implementation with Rust Traits
56
57It 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>
58
59 <p>via <a href="https://peppe.rs">nerdypepper's μblog</a> on Jun 18, 2020</p>
60 </div>
61
62
63 <div class="openring-feed">
64 <h4><a href="https://jcs.org/2020/05/15/surface_go2">OpenBSD on the Microsoft Surface Go 2 (notaweblog)</a></h4>
65 <p>I used OpenBSD on the
66original Surface Go
67back in 2018 and many things worked with the big exception of the internal
68Atheros WiFi.
69This meant I had to keep it tethered to a USB-C dock for Ethernet or use
70a small USB-A WiFi dongle plugged into a less-than-…</p>
71
72 <p>via <a href="https://jcs.org/">joshua stein</a> on May 15, 2020</p>
73 </div>
74
75
76 <div class="openring-feed">
77 <h4><a href="https://k1ss.org/blog/20200625a">25/06/2020: This month in KISS (#3)</a></h4>
78 <p>Welcome to the third monthly update for KISS Linux. The focus this month was on documentation and the reopening of the distribution's Wiki. A big thank you to those filling the Wiki with words.…</p>
79
80 <p>via <a href="https://k1ss.org">KISS Linux Blog</a> on Jun 25, 2020</p>
81 </div>
82
83
84
85 </div>
86 <div style="float: right">
87 <small>
88 Generated by <a href="https://github.com/icyphox/openring.py">
89 openring.py
90 </a>
91 </small>
92 </div>
93 </div>
94 </div>
95 <div class="pull-right">
96 {{ footer }}
97 </div>
98 </div>
99 </body>
100</html>