brianmckenna.org

BAM Weblog

Constraints are for methods, not data. 10x Engineers were the Silver Bullet. Tool Subsumption and Silver Bullets. Haskell on Android using Eta. Running Unpatched Binaries on NixOS. How to stop functional programming. Don't write code on line #45. This Blog Uses Idris. EvenOdd in Agda, Idris, Haskell, Scala. Idris as a Library. Scala Code Linting via WartRemover 0.4. Odd Odd Even Agda Proof, Take (suc (suc zero). Bottom-up Type Annotation with the Cofree Comonad. Row Polymorphism Isn't Subtyping. S-expres...

http://www.brianmckenna.org/

OVERVIEW OF brianmckenna.org

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR BRIANMCKENNA.ORG

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

September

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Wednesday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.1 out of 5 with 15 reviews

5 star

8

4 star

2

3 star

4

2 star

0

1 star

1

Hey there! Start your review of brianmckenna.org

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.6 seconds

FAVICON PREVIEW

16x16
32x32
64x64
128x128
160x160
192x192

CONTACTS AT BRIANMCKENNA.ORG

A Happy DreamHost Customer

Private Registrant

417 Ass●●●●●●●Rd #324

B●a , CA, 92821

US

1.71●●●●4182

br●●●●●●●●●●●●●●@proxy.dreamhost.com

View this contact

A Happy DreamHost Customer

Private Registrant

417 Ass●●●●●●●Rd #324

B●a , CA, 92821

US

1.71●●●●4182

br●●●●●●●●●●●●●●@proxy.dreamhost.com

View this contact

A Happy DreamHost Customer

Private Registrant

417 Ass●●●●●●●Rd #324

B●a , CA, 92821

US

1.71●●●●4182

br●●●●●●●●●●●●●●@proxy.dreamhost.com

View this contact

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED: n/a
UPDATED: 2014 April 07
EXPIRATION: EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

NAME SERVERS

1: ns1.dreamhost.com
2: ns2.dreamhost.com
3: ns3.dreamhost.com

REGISTRAR

New Dream Network, LLC dba DreamHost Web Hosting (R173-LROR)

WHOIS : whois.publicinterestregistry.net

REFERRED :

CONTENT

PAGES IN
THIS WEBSITE

20

SSL

EXTERNAL LINKS

26

SITE IP

192.30.35.209

LOAD TIME

0.628 sec

SCORE

6.2

PAGE TITLE

BAM Weblog | brianmckenna.org Reviews

<META> DESCRIPTION

Constraints are for methods, not data. 10x Engineers were the Silver Bullet. Tool Subsumption and Silver Bullets. Haskell on Android using Eta. Running Unpatched Binaries on NixOS. How to stop functional programming. Don't write code on line #45. This Blog Uses Idris. EvenOdd in Agda, Idris, Haskell, Scala. Idris as a Library. Scala Code Linting via WartRemover 0.4. Odd Odd Even Agda Proof, Take (suc (suc zero). Bottom-up Type Annotation with the Cofree Comonad. Row Polymorphism Isn't Subtyping. S-expres...

<META> KEYWORDS

1 bam weblog

2 polymorphic programming

3 brian mckenna

4 mdash; permalink

5 quickchecking non haskell code

6 bilbyjs quickcheck

7 introducing bilby js

8 dripper git support

9 osxmonad using stackset

10 spainjs

CONTENT

Page content here

KEYWORDS ON PAGE

bam weblog,polymorphic programming,brian mckenna,mdash; permalink,quickchecking non haskell code,bilbyjs quickcheck,introducing bilby js,dripper git support,osxmonad using stackset,spainjs,foldable1/traverse1 for scalaz,naggly,haskell on heroku,climacs

SERVER

nginx/1.6.2 (Ubuntu)

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

BAM Weblog | brianmckenna.org Reviews

https://brianmckenna.org

Constraints are for methods, not data. 10x Engineers were the Silver Bullet. Tool Subsumption and Silver Bullets. Haskell on Android using Eta. Running Unpatched Binaries on NixOS. How to stop functional programming. Don't write code on line #45. This Blog Uses Idris. EvenOdd in Agda, Idris, Haskell, Scala. Idris as a Library. Scala Code Linting via WartRemover 0.4. Odd Odd Even Agda Proof, Take (suc (suc zero). Bottom-up Type Annotation with the Cofree Comonad. Row Polymorphism Isn't Subtyping. S-expres...

SUBDOMAINS

roy.brianmckenna.org

Roy

Roy is an experimental programming language that targets JavaScript. It tries to meld JavaScript semantics with some features common in static functional languages:. Try the current version below. The code is on GitHub. For news on development. IEEE Internet Computing article. IRC channel (#roy on Freenode).

INTERNAL PAGES

brianmckenna.org

1

Scala Code Linting via WartRemover 0.4 - BAM Weblog

https://brianmckenna.org/blog/wartremover_point_four

Scala Code Linting via WartRemover 0.4. I was recently on a panel with some smart people discussing Rod Johnsons' infamous "Scala 2018" keynote. Most agreed that we should start enforcing code standards. Sadly, the tools for doing that are a bit lacking. For a while I've had an idea on a flexible tool for writing lint rules over Scala code. I already had WartRemover which was a linter for things I considered bad. I decided to rewrite WartRemover into the flexible tool I imagined. To run a rule as a macro:.

2

OSXMonad using StackSet - BAM Weblog

https://brianmckenna.org/blog/osxmonad_stacks

This week I made OSXMonad use the internal XMonad StackSet data type to have its windows managed. This means that eventually ordinary XMonad Layouts will be able to work with OSXMonad. I'm getting close. I've been having some trouble with the XMonad configurations and I'm not able to run the code via GHCi. Please enable JavaScript to view the comments powered by Disqus. Hi, my name is Brian McKenna. I'm a software developer in Boulder, Colorado. You can find my open-source projects on GitHub.

3

OSXMonad as an XMonad library - BAM Weblog

https://brianmckenna.org/blog/osxmonad_library

OSXMonad as an XMonad library. This week I managed to get OSXMonad. Running as an XMonad library. That means you can write a. Import XMonad import OSXMonad.Core main = osxmonad defaultConfig. Command will launch OSXMonad to manage Cocoa windows using the default XMonad configuration. Hardly any XMonad features work except some layouts at the moment, but it's still pretty cool to see:. I've been working on support for key bindings. Things like this currently work:. Command usually calls out to GHC like so:.

4

bilby.js - QuickCheck - BAM Weblog

https://brianmckenna.org/blog/bilby_quickcheck

I've added a QuickCheck. Implementation to bilby.js. The existing JavaScript implementations:. Make it hard to create generators. Require a specific test runner. Bilby's implementation fixes both problems. You can register generators using the multimethod environment:. Λ = require('bilby') .method('arb', strictEquals(Boolean), function(a, s) { return Math.random() 0.5; }) .method('shrink', isBoolean, function() { return b? False] : []; });. Please enable JavaScript to view the comments powered by Disqus.

5

Row Polymorphism Isn't Subtyping - BAM Weblog

https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping

Row Polymorphism Isn't Subtyping. I've been working on Roy's new type system which uses a concept called. I've also been thinking about TypeScript's unsound variance issues. With its implementation of structural subtyping. That lead to an interesting discussion. On Twitter about row polymorphism compared to structural subtyping. Both are trying to type code like the following:. Let f x = x.a x.b f {a: 1, b: 2, c: 100}. Also known as static duck typing. Structural subtyping of course uses. Is a subtype of.

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

functionalgeekery.com

John De GoesFunctional Geekery | Functional Geekery

https://www.functionalgeekery.com/tag/john-de-goes

Functional Geeks, Geeking Functionally. Tag Archives: John De Goes. Functional Geekery Episode 47 – John A. De Goes. MP3 Audio [38 MB]. In this episode I talk with John De Goes. We cover his introduction to functional programming, reasons for starting a functional programming conference, evolution of LambdaConf, what to look forward to at LambdaConf 2016, the choice to pick PureScript at SlamData, and more. Our Guest, John De Goes. To submit your talk proposal. LambdaConf 2015 episodes, Part 1. Immutable...

functionalgeekery.com

Matt FarmerFunctional Geekery | Functional Geekery

https://www.functionalgeekery.com/tag/matt-farmer

Functional Geeks, Geeking Functionally. Tag Archives: Matt Farmer. Functional Geekery Episode 22 – LambdaConf 2015, Part 1. MP3 Audio [20 MB]. This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview. This episode is sponsored by PurelyFunctional.tv. Visit http:/ purelyfunctional.tv/geekery. And make sure to thank them for being a sponsor.

functionalgeekery.com

Brian McKennaFunctional Geekery | Functional Geekery

https://www.functionalgeekery.com/tag/brian-mckenna

Functional Geeks, Geeking Functionally. Tag Archives: Brian McKenna. Functional Geekery Episode 22 – LambdaConf 2015, Part 1. MP3 Audio [20 MB]. This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview. This episode is sponsored by PurelyFunctional.tv. Visit http:/ purelyfunctional.tv/geekery. Differences between PureScript and Haskell.

functionalgeekery.com

Zeeshan LakhaniFunctional Geekery | Functional Geekery

https://www.functionalgeekery.com/tag/zeeshan-lakhani

Functional Geeks, Geeking Functionally. Tag Archives: Zeeshan Lakhani. Functional Geekery Episode 22 – LambdaConf 2015, Part 1. MP3 Audio [20 MB]. This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview. This episode is sponsored by PurelyFunctional.tv. Visit http:/ purelyfunctional.tv/geekery. Differences between PureScript and Haskell.

functionalgeekery.com

Functional Geekery Episode 22 – LambdaConf 2015, Part 1Functional Geekery | Functional Geekery

https://www.functionalgeekery.com/episode-22-lambdaconf-2015-part-1

Functional Geeks, Geeking Functionally. Functional Geekery Episode 22 – LambdaConf 2015, Part 1. MP3 Audio [20 MB]. This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview. This episode is sponsored by PurelyFunctional.tv. Visit http:/ purelyfunctional.tv/geekery. And make sure to thank them for being a sponsor. Barrier to Entry of Idris.

functionalgeekery.com

XanFunctional Geekery | Functional Geekery

https://www.functionalgeekery.com/tag/xan

Functional Geeks, Geeking Functionally. Functional Geekery Episode 22 – LambdaConf 2015, Part 1. MP3 Audio [20 MB]. This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview. This episode is sponsored by PurelyFunctional.tv. Visit http:/ purelyfunctional.tv/geekery. And make sure to thank them for being a sponsor. Barrier to Entry of Idris.

github.com

puffnfresh (Brian McKenna) · GitHub

https://github.com/puffnfresh

X62;rian@brianmckenna.org. Dec 2, 2008. Small functional language that compiles to JavaScript. Flexible Scala code linting tool. Serious functional programming library for JavaScript. Tiny tool to toggle window shadows on OS X. OS X application to draw a border around the focused window. 311 contributions in the last year. Summary of pull requests, issues opened, and commits. Learn how we count contributions. Pushed 1 commit to NixOS/nixpkgs. Idris: fix build not finding dynamic library.

blog.fogus.me

fogus: Code painting

http://blog.fogus.me/2015/02/16/code-painting

On life, programming. Follow me on Twitter. Run this blog in mobile. Feb 16, 2015. I have a confession to make. I have a lot of ongoing projects. From a trilogy of books on programming, to a re-read of the masterworks of science fiction. To various love letters to Lisp. To baseball, to abstract strategy. I like to flit my mind from topic to topic. However, aside from the books that I’ve written, very little of what I create tells a story. Therefore, rather than trying my hand at fiction. Trust me, no one...

UPGRADE TO PREMIUM TO VIEW 18 MORE

TOTAL LINKS TO THIS WEBSITE

26

SOCIAL ENGAGEMENT

dyokomizo/status/330096592378003457

OTHER SITES

brianmckean.blogspot.com

Brian's Blog

Just a guy trying to get close to God, and take his family with him. I'm a very blessed guy living in Keller, Texas, with my wife and two kids, all of whom I love to make laugh. I worship and play bass guitar with the band at Southlake Blvd Church, and I wonder why the God of the universe would give a rip about a guy like me. View my complete profile. Houston Dynamo - Soccer. Patrick Mead (Blog 1 of 2). Patrick Mead (Blog 2 of 2). Friday, August 22, 2008. Burrito right about now. Friday, August 22, 2008.

brianmckeand.blogspot.com

Flab2Abs

Join me in my adventure from Flab to Abs. I have a bike, 2 legs and Wii Fit to help me on my way. Friday, 19 June 2009. No cycling today, but I did manage to get just shy of an hour on the badminton court with Caryne. Back in time to hear Take That at Hampden. can't wait for the next two nights - NOT! Blah, blah, blah, planf! It was the Kasabian. The gig was ACE! Given my lack of exercise. I went to Kasabian. Gig last night and have Alton Towers next week to look forward too! Wednesday, 17 June 2009.

brianmckee.com

Coming Soon - Future home of something quite cool

Future home of something quite cool. If you're the site owner. To launch this site. If you are a visitor. Please check back soon.

brianmckeestudio.com

Brian McKee

Brian McKee was born in 1977 in Excelsior Springs, Missouri and attended the Interlochen Arts Academy and Bard College. While at Bard College he studied photography with Stephen Shore, Larry Fink and Barbara Ess. For five years he was the assistant to the photographer Lynn Davis. He currently lives and works in New York City and Istanbul, Turkey. Current and Upcoming Exhibitions. Hilger Contemporary, Vienna, Austria, April 4 - June 5, 2016. May 19 - 22, 2016. Detritus #25, Afghanistan. SOK #11, Turkey.

brianmckenna.net

Web Hosting by InMotion Hosting

InMotion Hosting Support Center. Log Into Your Control Panel. Log Into Your Webmail. This page belongs to a member of the InMotion Hosting. If you are visiting this site, please check back soon. If you own this site, your new web hosting account is now activated! Please make sure to replace this page with your own index.htm page.

brianmckenna.org

BAM Weblog

Constraints are for methods, not data. 10x Engineers were the Silver Bullet. Tool Subsumption and Silver Bullets. Haskell on Android using Eta. Running Unpatched Binaries on NixOS. How to stop functional programming. Don't write code on line #45. This Blog Uses Idris. EvenOdd in Agda, Idris, Haskell, Scala. Idris as a Library. Scala Code Linting via WartRemover 0.4. Odd Odd Even Agda Proof, Take (suc (suc zero). Bottom-up Type Annotation with the Cofree Comonad. Row Polymorphism Isn't Subtyping. S-expres...

brianmckenna.tripod.com

McKenna's Page

70's and 80's Links. The Good, the Bad, the Cheezy of the 80's. A terrific site that categorizes 80's information. Although you may not agree with the author's opinions on what was cool and what was not, you will agree that the information is overwhelming. A list of 70's pop culuture items for sale at this Chicago store. Super Seventies Rock Site. A comprehensive look at what made it on the radio in the 1970's. Children of the Eighties. Once Upon a Time in the Eighties. The Presidents of the United States.

brianmckenzie.com

Brian McKenzie | Official site of singer/songwriter Brian McKenzie

brianmckevitt.com

GEEKPROPAGANDA - Please Stand By.

brianmckie.wordpress.com

brianmckie | Just another WordPress.com site

Just another WordPress.com site. Stay updated via RSS. Commitment…. Not just what your girlfriend wants. Commitment…. Not just what your girlfriend wants. Nutrition, Nutrition, Nutrition…. Why Must We Fight? Give the People What They Want. From class to the real world. Commitment…. Not just what your girlfriend wants. Posted: February 9, 2012 in America. Commitment…. Not just what your girlfriend wants. Commitment…. Not just what your girlfriend wants. Posted: February 9, 2012 in America. Please feel fre...

brianmckiernan.com

RE/MAX Northern Illinois

For My Property Finder Click Here. Send me an Email. 20 Tips for Selling Your Home. Movers - US Postal Service Guide. 60 Amp Electrical Service. Glossary Of House Terms. Outlet Buttons - GFIs. Leading Local Market Share. RE/MAX Around the World. Dream with your eyes open. Search thousands of locations with our comprehensive search tool. Office is Independently Owned and Operated.