Bluish Coder

Programming Languages, Martials Arts and Computers. The Weblog of Chris Double. Capturing program invariants in ATS. Ive been reading the book Building High Integrity Applications with Spark. To learn more about the SPARKAda. Language for formal verification. Its a great book that goes through lots of examples of how to do proofs in Spark. I wrote a post on SparkAda. Earlier this year and tried some of the examples in the GNAT edition. The example Im looking at from the book is from the. This is qui.

OVERVIEW

This website bluishcoder.co.nz currently has an average traffic ranking of zero (the lower the superior). We have explored two pages inside the website bluishcoder.co.nz and found one hundred and seventy-eight websites linking to bluishcoder.co.nz.
Pages Crawled
2
Links to this site
178

BLUISHCODER.CO.NZ RANKINGS

This website bluishcoder.co.nz has seen varying quantities of traffic until the end of the year.
Traffic for bluishcoder.co.nz

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for bluishcoder.co.nz

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for bluishcoder.co.nz

Date Range

All time
This Year
Last Year
Last Month

LINKS TO WEB SITE

bholley.work.blog Things Im Working On

On Brendan Eich and the Thought Police. To see them leveled against. It is not enough for him to pledge to uphold an inclusive work environment. He must publicly repent his private sins.

Brendan Eich

Yesterday in Paris, I gave the closing keynote at the dotJS. A Brief History of JavaScript. Long-timer readers may notice that I re-presented a few still-on-point slides from my TxJS 2011 talk.

The Awesome Factor

Thursday, November 21, 2013. New Rackspace server for Factorcode. I happened across a random tweet. From Jesse Noller about free hosting on Rackspace Cloud. For open source projects back in July and immediately requested an account for Factor. It took me awhile, but I just finished moving most of our services to the new machine. But even then their unlimited disk space seemed to fill up. I will be moving downloads to Rackspace soon to complete the transition.

Compucolor II Tribute

A Tribute to the Compucolor II. Startrek on a Compucolor II computer. The Compucolor II computer was produced by Intelligent Systems Corp. It was a personal computer version of an earlier computer aimed at the professional market, the Compucolor 8001.

Factor a practical stack language

S weblog, primarily about Factor. Saturday, September 18, 2010. 94 is now available from the Factor website. Five months after the previous release, Factor 0. Binaries are provided for 10 platforms. The PowerPC architecture is no longer supported. Word now supports dependencies on multiple vocabularies.

planet-factor

Is a fun game that was probably made most popular by its inclusion in various Microsoft Windows versions. I thought it would be fun to build a simple Minesweeper clone using Factor. You can run this by updating to the latest code.

WHAT DOES BLUISHCODER.CO.NZ LOOK LIKE?

Desktop Screenshot of bluishcoder.co.nz Mobile Screenshot of bluishcoder.co.nz Tablet Screenshot of bluishcoder.co.nz

BLUISHCODER.CO.NZ HOST

I identified that a single page on bluishcoder.co.nz took one thousand one hundred and ninety-three milliseconds to load. Our parsers detected a SSL certificate, so therefore our crawlers consider bluishcoder.co.nz secure.
Load time
1.193 secs
SSL
SECURE
Internet Protocol
45.79.171.137

SERVER OS AND ENCODING

I diagnosed that this domain is using the nginx/1.10.3 (Ubuntu) server.

PAGE TITLE

Bluish Coder

DESCRIPTION

Programming Languages, Martials Arts and Computers. The Weblog of Chris Double. Capturing program invariants in ATS. Ive been reading the book Building High Integrity Applications with Spark. To learn more about the SPARKAda. Language for formal verification. Its a great book that goes through lots of examples of how to do proofs in Spark. I wrote a post on SparkAda. Earlier this year and tried some of the examples in the GNAT edition. The example Im looking at from the book is from the. This is qui.

CONTENT

This website bluishcoder.co.nz states the following, "Programming Languages, Martials Arts and Computers." We viewed that the webpage also said " The Weblog of Chris Double." It also said " Capturing program invariants in ATS. Ive been reading the book Building High Integrity Applications with Spark. To learn more about the SPARKAda. Its a great book that goes through lots of examples of how to do proofs in Spark. I wrote a post on SparkAda. Earlier this year and tried some of the examples in the GNAT edition. The example Im looking at from the book is from the."

VIEW SUBSEQUENT WEB SITES

Bluishgreen

The Queen and her outfits. Si am realizat ca desi se investeste atat de mult aici in educatie, si totul este in teorie excelent, romanii tind sa leneveasca cam mult. Parisian cats- the goth cat, the biker cat.

Bluish Joggers

Tuesday, September 9, 2008. Have a recent post you think is good? Fill out the form on the side, giving the full URL of the blog post, as well as the blog title. If you are on the approved list, your post will be listed almost immediately.

Bluishmuse Art, Design and Coloring products

The Art of Now Color Me. No products in the cart. February 2018 Free Coloring Page.

bluishorange

I should probably keep my pretty mouth shut. This blog post was going to be about the election. This blog post was going to be about how none of it is fucking funny.