<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>PRISM on Hillel Wayne</title>
    <link>https://www.hillelwayne.com/tags/prism/</link>
    <description>Recent content in PRISM on Hillel Wayne</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en-us</language>
    <lastBuildDate>Mon, 02 Nov 2020 00:00:00 +0000</lastBuildDate>
    
	<atom:link href="https://www.hillelwayne.com/tags/prism/index.xml" rel="self" type="application/rss+xml" />
    
    
    <item>
      <title>Two workers are quadratically better than one</title>
      <link>https://www.hillelwayne.com/post/queueing-prism/</link>
      <pubDate>Mon, 02 Nov 2020 00:00:00 +0000</pubDate>
      
      <guid>https://www.hillelwayne.com/post/queueing-prism/</guid>
      <description>For latency, anyway.
A common architecture pattern is the &amp;ldquo;task queue&amp;rdquo;: tasks enter an ordered queue, workers pop tasks and process them. This pattern is used everywhere from distributed systems to thread pools. It applies just as well to human systems, like waiting in line at a supermarket or a bank. Task queues are popular because they are simple, easy to understand, and scale well.
There are two primary performance metrics for a task queue.</description>
    </item>
    
    <item>
      <title>Probabilistic Modeling with PRISM</title>
      <link>https://www.hillelwayne.com/post/prism/</link>
      <pubDate>Mon, 17 Jun 2019 00:00:00 +0000</pubDate>
      
      <guid>https://www.hillelwayne.com/post/prism/</guid>
      <description>In my job I dig up a lot of obscure techniques. Some of them are broadly useful: formal specification, design-by-contract, etc. These I specialize in. Some of them are useful, but for a smaller group of programmers. That&amp;rsquo;s stuff like metamorphic testing, theorem proving, constraint solving. These I write articles about.
Then there&amp;rsquo;s the stuff where I have no idea how to make it useful. Either they&amp;rsquo;re so incredibly specialist or they could be useful if it weren&amp;rsquo;t for some deep problems.</description>
    </item>
    
  </channel>
</rss>