spinda

(English translation of Le Code Civil français, sous Git)

The French Civil Code, in Git

Introduction

Here is a little hack, the result of an afternoon of code: the Civil Code in Git.

If one considers the law as a set of texts modified by the various assemblies of the state, one can consider them as a set of text files created collaboratively.

spinda

Native Haskell Type Encoding for LiquidHaskell

Abstract

LiquidHaskell is a correctness-checking system that brings refinement types to Haskell. The current implementation parses type signatures and other specifications from special comments in Haskell source code. The majority of user issues - crashes and unclear error messages - trace back to this portion of the codebase, hampering widespread adoption. I propose to replace this with a system that encodes refinement types in Haskell's type system, achieving code reuse and deeper integration with GHC.

Questions

What is the goal of the project you propose to do?

spinda

Keybase proof

I hereby claim:

• I am spinda on github.
• I am spinda (https://keybase.io/spinda) on keybase.
• I have a public key whose fingerprint is 2400 F3E1 4EFC F00C 6487 CF9B 9AAE FBB8 E1D5 0026

To claim this, I am signing this object:

spinda

Loading http://themes.getbootstrap.com/products/application works fine, but https://themes.getbootstrap.com/products/application doesn't.

From the preview page:

<iframe class="iframe-preview js-iframe" src="//bootstrap-themes.github.io/application"></iframe>

spinda

explanation of https://twitter.com/getify/status/780249160662605824 in terms of SpiderMonkey (Firefox) internals

edit: The tweet linked above has since been deleted, but the original code read something like:

' \t\n\r\u000c\u000b\uFEFF\u0020' == 0 // true

1. The script is parsed and compiled to bytecode.

spinda

<?xml version='1.0' encoding='UTF-8'?>
<rss xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" version="2.0"><channel><title>The Digital Antiquarian</title><link>http://www.filfre.net</link><description>A history of computer entertainment by Jimmy Maher</description><docs>http://www.rssboard.org/rss-specification</docs><generator>python-feedgen</generator><language>en</language><lastBuildDate>Tue, 21 Feb 2017 02:35:24 +0000</lastBuildDate><item><title>Introducing a new blog…</title><link>http://www.filfre.net/2011/03/introducing-a-new-blog/</link><guid isPermaLink="false">http://www.filfre.net/2011/03/introducing-a-new-blog/</guid></item><item><title>Filfre version 1.00</title><link>http://www.filfre.net/2011/03/filfre-version-1-00/</link><guid isPermaLink="false">http://www.filfre.net/2011/03/filfre-version-1-00/</guid></item><item><title>The Madness Spreads…</title><link>http://www.filfre.net/2011/03/the-madness-spreads/</link><guid isPermaLink="false">http://w

spinda

addthis.com/addthis_widget_rewritten.js application/javascript
{
  const $___stub_b2b8ba4a533aaeb8 = {};
  (exports => {
    'use strict';
    const dataSymbol = Symbol('data');
    const keysSymbol = Symbol('keys');
    let canConstructStorage = true;
    class Storage {
      constructor() {

spinda

Give me JavaScript code implementing a React frontend for the app.

spinda

Here is OCR'd text from a receipt:

"Dine-In

#15

<restaurant name redacted>

<address redacted> Phone <phone redacted>