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://drewdevault.com/2020/07/15/Status-update.html">Status update, July 2020</a></h4>
65 <p>Hello again! Another month of FOSS development behind us, and we’re back again
66to share the results. I took a week off at the end of June, so my progress this
67month is somewhat less than usual. Regardless, I have some updates for you,
68mainly in the domain …</p>
69
70 <p>via <a href="https://drewdevault.com">Drew DeVault's Blog</a> on Jul 15, 2020</p>
71 </div>
72
73
74 <div class="openring-feed">
75 <h4><a href="https://www.bellingcat.com/news/uk-and-europe/2020/07/18/worlds-most-wanted-man-jan-marsalek-located-in-belarus-data-points-to-russian-intel-links/">World’s Most Wanted Man Jan Marsalek Located in Belarus; Data Points to Russian Intel Links</a></h4>
76 <p>It can safely be assumed that Jan Marsalek is currently one of the most hunted-for persons on earth. The company he oversaw operationally, Germany’s Wirecard, collapsed overnight last month after auditors brought attention to a nearly 2 billion Euro gaping…</p>
77
78 <p>via <a href="https://www.bellingcat.com">bellingcat</a> on Jul 18, 2020</p>
79 </div>
80
81
82
83 </div>
84 <div style="float: right">
85 <small>
86 Generated by <a href="https://github.com/icyphox/openring.py">
87 openring.py
88 </a>
89 </small>
90 </div>
91 </div>
92 </div>
93 <div class="pull-right">
94 {{ footer }}
95 </div>
96 </div>
97 </body>
98</html>