<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (randombit)</title>
    <link>https://pinboard.in/u:randombit/public/</link>
    <description>recent bookmarks from randombit</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://tomasp.net/academic/drafts/cultures/cultures.pdf"/>
	<rdf:li rdf:resource="https://hal.inria.fr/tel-01944510/document"/>
	<rdf:li rdf:resource="https://www.cl.cam.ac.uk/~pes20/sail/sail-popl2019.pdf"/>
	<rdf:li rdf:resource="http://cacr.uwaterloo.ca/techreports/2015/cacr2015-02.pdf"/>
	<rdf:li rdf:resource="http://vaurien.readthedocs.org/en/1.8/"/>
	<rdf:li rdf:resource="http://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html"/>
	<rdf:li rdf:resource="http://landley.net/aboriginal/"/>
	<rdf:li rdf:resource="http://nplusonemag.com/sad-as-hell"/>
	<rdf:li rdf:resource="http://www.1stworks.com/ref/RuskeyCombGen.pdf"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://tomasp.net/academic/drafts/cultures/cultures.pdf">
    <title>Cultures of programming - cultures.pdf</title>
    <dc:date>2019-06-16T13:52:56+00:00</dc:date>
    <link>http://tomasp.net/academic/drafts/cultures/cultures.pdf</link>
    <dc:creator>randombit</dc:creator><dc:subject>via:graydon</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:b7788fe7b709/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://hal.inria.fr/tel-01944510/document">
    <title>Verifying Constant-Time Implementations in a Verified Compilation Toolchain</title>
    <dc:date>2018-12-31T22:27:13+00:00</dc:date>
    <link>https://hal.inria.fr/tel-01944510/document</link>
    <dc:creator>randombit</dc:creator><dc:subject>via:graydon</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:393993bfa28d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.cl.cam.ac.uk/~pes20/sail/sail-popl2019.pdf">
    <title>ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS</title>
    <dc:date>2018-11-22T17:52:14+00:00</dc:date>
    <link>https://www.cl.cam.ac.uk/~pes20/sail/sail-popl2019.pdf</link>
    <dc:creator>randombit</dc:creator><dc:subject>hardware capabilities via:graydon</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:e00c7e8d830d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:hardware"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:capabilities"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://cacr.uwaterloo.ca/techreports/2015/cacr2015-02.pdf">
    <title>SoK: Secure Messaging</title>
    <dc:date>2016-02-17T00:16:03+00:00</dc:date>
    <link>http://cacr.uwaterloo.ca/techreports/2015/cacr2015-02.pdf</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[In this paper, we evaluate and systematize current secure
messaging solutions and propose an evaluation framework for
their security, usability, and ease-of-adoption properties. We consider
solutions from academia, but also identify innovative and
promising approaches used “in the wild” that are not considered
by the academic literature. We identify three key challenges
and map the design landscape for each: trust establishment,
conversation security, and transport privacy. Trust establishment
approaches offering strong security and privacy features perform
poorly from a usability and adoption perspective, whereas some
hybrid approaches that have not been well studied in the
academic literature might provide better trade-offs in practice.
In contrast, once trust is established, conversation security can
be achieved without any user involvement in most two-party
conversations, though conversations between larger groups still
lack a good solution. Finally, transport privacy appears to be
the most difficult problem to solve without paying significant
performance penalties.]]></description>
<dc:subject>security messaging text chat p2p crypto via:graydon</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:98e1c0f8d7d3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:messaging"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:text"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:chat"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:p2p"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:crypto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vaurien.readthedocs.org/en/1.8/">
    <title>Vaurien, the Chaos TCP Proxy — Vaurien 1.8 documentation</title>
    <dc:date>2014-03-27T16:52:12+00:00</dc:date>
    <link>http://vaurien.readthedocs.org/en/1.8/</link>
    <dc:creator>randombit</dc:creator><dc:subject>networking testing chaos via:graydon</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:489681ba6121/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:networking"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:testing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:chaos"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html">
    <title>Josh Haberman: LL and LR Parsing Demystified</title>
    <dc:date>2014-02-15T13:22:01+00:00</dc:date>
    <link>http://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>parsing parser ll lr algorithm compilers via:graydon</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:e7956c8ca690/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:parsing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:parser"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:ll"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:lr"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:compilers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://landley.net/aboriginal/">
    <title>Aboriginal Linux - We cross compile so you don't have to.</title>
    <dc:date>2013-06-13T01:14:47+00:00</dc:date>
    <link>http://landley.net/aboriginal/</link>
    <dc:creator>randombit</dc:creator><dc:subject>linux porting via:graydon</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:84e27b0a7d16/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:linux"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:porting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://nplusonemag.com/sad-as-hell">
    <title>n+1: Sad as Hell</title>
    <dc:date>2012-01-28T04:39:31+00:00</dc:date>
    <link>http://nplusonemag.com/sad-as-hell</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Opening Safari is an actively destructive decision. I am asking that consciousness be taken away from me.]]></description>
<dc:subject>books culture internet alienation via:graydon</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:82ab6a5d7646/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:books"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:internet"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:alienation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.1stworks.com/ref/RuskeyCombGen.pdf">
    <title>Combinatorial Generation</title>
    <dc:date>2009-03-07T23:18:37+00:00</dc:date>
    <link>http://www.1stworks.com/ref/RuskeyCombGen.pdf</link>
    <dc:creator>randombit</dc:creator><dc:subject>combinatorics algorithm book via:graydon</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:33fa56d55e83/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:combinatorics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:graydon"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>