all repos — site @ 988814af9eba22d600e2f5cd8397ccd6f0ac08fa

source for my site, found at icyphox.sh

templates/text.html (view raw)

 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
 
<!DOCTYPE html>
<html lang=en>
  <link rel="stylesheet" href="/static/style.css" type="text/css">
  <link rel="stylesheet" href="/static/syntax.css" type="text/css">
  <link rel="shortcut icon" type="images/x-icon" href="/static/favicon.ico">
  <meta charset="UTF-8">
  <meta name="description" content="{{ subtitle }}">
  <meta name="viewport" content="initial-scale=1">
  <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
  <meta content="#151B1B" name="theme-color">
  <meta name="HandheldFriendly" content="true">
  <meta name="twitter:card" content="summary_large_image">
  <meta name="twitter:site" content="@icyphox">
  <meta name="twitter:title" content="{{ title }}">
  <meta name="twitter:description" content="{{ subtitle }}">
  <meta name="twitter:image" content="/static/icyphox.png">
  <meta property="og:title" content="{{ title }}">
  <meta property="og:type" content="website">
  <meta property="og:description" content="{{ subtitle }}">
  <meta property="og:url" content="https://icyphox.sh">
  <meta property="og:image" content="/static/icyphox.png">
  <title>
    {{ title }}
  </title>
  <body> 
    <div class="container">
      <div class="pull-left">
        <div class="content">
          <header>
            {{ header }}
          </header>
          <div style="float: right">
            view in <a href="/txt/{{ url }}.txt">plain-text</a>
          </div>
          <div style="float: left">
            {{ date }}
          </div>
          <div style="clear: both" align="left">
            <h1>{{ title }}</h1>
            <h2 class="subtitle">{{ subtitle }}</h2>
            {{ body }} 
          </div>
          <p class="muted">Questions or comments? 
          Send an email to 
          <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>

          <hr>
            <div class="openring">
              
               <div class="openring-feed">
    <h4><a href="https://peppe.rs/posts/turing_complete_type_systems/">Turing Complete Type Systems</a></h4>
    <p>Rust’s type system is Turing complete:

FizzBuzz with Rust Traits
A Forth implementation with Rust Traits

It 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>

    <p>via <a href="https://peppe.rs">nerdypepper's μblog</a> on Jun 18, 2020</p>
    </div>
    
              
               <div class="openring-feed">
    <h4><a href="https://drewdevault.com/2020/07/15/Status-update.html">Status update, July 2020</a></h4>
    <p>Hello again! Another month of FOSS development behind us, and we’re back again
to share the results. I took a week off at the end of June, so my progress this
month is somewhat less than usual. Regardless, I have some updates for you,
mainly in the domain …</p>

    <p>via <a href="https://drewdevault.com">Drew DeVault's Blog</a> on Jul 15, 2020</p>
    </div>
    
              
               <div class="openring-feed">
    <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>
    <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>

    <p>via <a href="https://www.bellingcat.com">bellingcat</a> on Jul 18, 2020</p>
    </div>
    
              

           </div>
           <div style="float: right">
            <small>
              Generated by <a href="https://github.com/icyphox/openring.py">
                openring.py
              </a>
            </small>
           </div>
        </div>
      </div>
      <div class="pull-right">
        {{ footer }}
      </div>
    </div>
  </body>
</html>