<?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 (Vaguery)</title>
    <link>https://pinboard.in/u:Vaguery/public/</link>
    <description>recent bookmarks from Vaguery</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://arxiv.org/abs/1412.4395"/>
	<rdf:li rdf:resource="http://ducktypo.blogspot.com/2010/08/metaprogramming-spell-book.html"/>
	<rdf:li rdf:resource="http://fingernailsinoatmeal.com/post/292301859/metaprogramming-ruby-vs-javascript"/>
	<rdf:li rdf:resource="http://rubigen.rubyforge.org/"/>
	<rdf:li rdf:resource="http://blog.rubybestpractices.com/posts/gregory/anonymous_class_hacks.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://arxiv.org/abs/1412.4395">
    <title>[1412.4395] Dafny: Statically Verifying Functional Correctness</title>
    <dc:date>2015-09-20T21:57:09+00:00</dc:date>
    <link>http://arxiv.org/abs/1412.4395</link>
    <dc:creator>Vaguery</dc:creator><description><![CDATA[This report presents the Dafny language and verifier, with a focus on describing the main features of the language, including pre- and postconditions, assertions, loop invariants, termination metrics, quantifiers, predicates and frames. Examples of Dafny code are provided to illustrate the use of each feature, and an overview of how Dafny translates programming code into a mathematical proof of functional verification is presented. The report also includes references to useful resources on Dafny, with mentions of related works in the domain of specification languages.
]]></description>
<dc:subject>programming-language rather-interesting annotations metaprogramming testing representation</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:Vaguery/b:783cba7436fd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:programming-language"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:rather-interesting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:annotations"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:testing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:representation"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ducktypo.blogspot.com/2010/08/metaprogramming-spell-book.html">
    <title>Duck Typo: A Metaprogramming Spell Book</title>
    <dc:date>2011-06-20T11:49:36+00:00</dc:date>
    <link>http://ducktypo.blogspot.com/2010/08/metaprogramming-spell-book.html</link>
    <dc:creator>Vaguery</dc:creator><dc:subject>via:arsyed metaprogramming Ruby design-patterns</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:Vaguery/b:bff1fca12233/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:via:arsyed"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:Ruby"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:design-patterns"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://fingernailsinoatmeal.com/post/292301859/metaprogramming-ruby-vs-javascript">
    <title>fingernails in oatmeal, Metaprogramming: Ruby vs. Javascript</title>
    <dc:date>2010-03-07T14:03:33+00:00</dc:date>
    <link>http://fingernailsinoatmeal.com/post/292301859/metaprogramming-ruby-vs-javascript</link>
    <dc:creator>Vaguery</dc:creator><description><![CDATA["To be honest, there’s not much to say about the Javascript example because it is so simple. We avoid the whole metaclass business because Javascript uses prototypal inheritance. This means that Javascript does not distinguish between classes/prototypes and instances and, therefore, we can add our desired behavior directly to the instance. We use the exact same technique for adding a method to the prototype, but this time we simply add the function directly to the instance. Again, this function is a closure. And again, this function has access to the instance’s state using this.…
Closures are so ingrained in the language’s design that metaprogramming seems to happen without even trying. This little exercise has left me very excited about the potential of Javascript not only as a great language for the web, but also as a powerful server-side language. You should be excited too."
]]></description>
<dc:subject>metaprogramming javascript ruby OOP scripting tutorial comparison</dc:subject>
<dc:identifier>https://pinboard.in/u:Vaguery/b:fb280e208fbf/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:ruby"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:OOP"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:scripting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:tutorial"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:comparison"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://rubigen.rubyforge.org/">
    <title>rubigen</title>
    <dc:date>2009-11-19T18:00:04+00:00</dc:date>
    <link>http://rubigen.rubyforge.org/</link>
    <dc:creator>Vaguery</dc:creator><description><![CDATA["A framework to allow Ruby applications to generate file/folder stubs (like the rails command does for Ruby on Rails, and the ‘script/generate’ command within a Rails application during development)."
]]></description>
<dc:subject>Ruby generator software-development distribution automation user-experience metaprogramming coding gem via:thetrek</dc:subject>
<dc:identifier>https://pinboard.in/u:Vaguery/b:4620a1dea024/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:Ruby"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:generator"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:software-development"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:distribution"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:automation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:user-experience"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:coding"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:gem"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:via:thetrek"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.rubybestpractices.com/posts/gregory/anonymous_class_hacks.html">
    <title>Ruby Best Practices - Fun with Class.new</title>
    <dc:date>2009-05-05T11:59:27+00:00</dc:date>
    <link>http://blog.rubybestpractices.com/posts/gregory/anonymous_class_hacks.html</link>
    <dc:creator>Vaguery</dc:creator><description><![CDATA["I think you’ll agree that this second sample induces the kind of familiar sugar shock that Ruby coders know and love. It accomplishes the same goals and actually wraps the lower level code rather than replacing it. But is there some sort of dark magic behind this? Let’s peek behind the curtain:..."
]]></description>
<dc:subject>programming Ruby metaprogramming tips Nudge</dc:subject>
<dc:identifier>https://pinboard.in/u:Vaguery/b:b359b3c9c1d9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:Ruby"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:tips"/>
	<rdf:li rdf:resource="https://pinboard.in/u:Vaguery/t:Nudge"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>