View FunDeps.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{- stack script --resolver lts-20.5 -} | |
-- @FunctionalDependencies@ is a useful extension allowing us to resolve the | |
-- ambiguity inherently arising in multi-parameter typeclasses. Such typeclasses | |
-- can be useful, but sometimes unergonomic as it can be impossible to solve for | |
-- certain type variables. | |
-- | |
-- For a multiparam typeclass @X@ over two parameters @a@, @b@, there is a | |
-- potentially infinite combination of @a@s and @b@s. This means that if I | |
-- have a member function @f :: X a b => a -> b@ then I can't know the type |
View promises-as-monads.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Proposition: Promise is equivalent to a loosely typed `ExceptT e IO a` for | |
// javascript, and fundamentally obeying the monad laws, making it a | |
// helpful construction for writing computations. | |
// class Monad m where | |
// return :: a -> m a | |
// (>>=) :: m a -> (a -> m b) -> m b | |
// | |
// Monad laws: | |
// Left identity: return a >>= f ≡ f a |
View results.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
~/sandbox > node strings-vs-ints.js 1000000 32 | |
Sorting 1000000 numbers of magnitude 10^32 | |
Sorting 1000000 strings of length 32 | |
Numbers: 461 | |
Strings: 1445 | |
~/sandbox > node strings-vs-ints.js 1000000 32 | |
Sorting 1000000 numbers of magnitude 10^32 | |
Sorting 1000000 strings of length 32 | |
Numbers: 494 | |
Strings: 1500 |
View pageload.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$(window).on('load', function() { | |
var fragment = window.location.hash; | |
if(fragment != "") { | |
$('body').animate({ | |
scrollTop: $(fragment).offset().top | |
}); | |
} | |
}); |
View npm-debug.log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
0 info it worked if it ends with ok | |
1 verbose cli [ 'node', | |
1 verbose cli '/usr/local/bin/npm', | |
1 verbose cli 'install', | |
1 verbose cli '--save', | |
1 verbose cli 'gfarrell/state.js~0.1.0' ] | |
2 info using npm@1.4.10 | |
3 info using node@v0.10.28 | |
4 verbose node symlink /usr/local/bin/node | |
5 warn package.json PresenceMonitor@0.0.1 No repository field. |
View dabblet.css
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* RAVN Preloader | |
*/ | |
body { | |
background: black; | |
text-align: center; | |
} | |
.logo { |
View Simple $_GET example for Leo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
// First we get the variable we want to look at from the $_GET array | |
$page = $_GET['p']; | |
// We should never trust the user's input to be safe | |
// So let's restrict the possibilities with a switch() statement | |
// If the input is invalid, we return some sort of error | |
switch($page) { | |
case 'home': | |
// show the home page text |
View dabblet.css
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* Octagon | |
*/ | |
.octagon { | |
width: 100px; | |
height: 100px; | |
position: absolute; | |
top: 0; | |
bottom: 0; |
View dabblet.css
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* Quattro progress indicator | |
*/ | |
.quattro-progress { | |
border: #CCC 10px solid; | |
border-radius: 50%; | |
width: 100px; | |
height: 100px; | |
transform: rotate(45deg); |
View dabblet.css
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* Round progress indicator | |
*/ | |
.round-progress-indicator { | |
width:150px; | |
height: 150px; | |
} | |
.round-progress-indicator span { |
NewerOlder