Skip to content

Instantly share code, notes, and snippets.

michaelochurch

View GitHub Profile
View Ternary Solution
I believe this is correct. Please let me know if there are errors.
X | - 0 +
---------
- | + 0 -
0 | - 0 +
+ | 0 + -
Call this gate "R". It's universal, assuming we have fan-out (trit-copying) and the constants. That is, a circuit of R's can be built
to represent any function f: T^n -> T where T = {-, 0, +}.
@michaelochurch
michaelochurch / setbang-powerset
Created Apr 29, 2016
Building up a power-set operator in FiniteSetBang3
View setbang-powerset
: There is probably a mistake in here...
: Macroexpanded prod in FSB3 with %-comprehensions:
: Keep in mind that [] are *-loops in this language.
: prod : ... X Y -> ... {(x, y) for x in X, y in Y}
prod:%[{~/~/>~{~/~/~/{%[{~/~/>~{~/~/~/>{~/~/>~~{{~/~/>/{~/~/>/{~/~/~/>{{~/~/>/{~/~/>/{{~/~/>/{~/~/>/~{{~/~/>/{~/~/>/]{~/~/>_]{~/~/>_
Conversion of %-comprehensions:
View GLA_chat.txt
Never gonna give you up,
never gonna let you down,
never gonna run around and
desert you.
View Farisa.txt
Name of a character in another writing project.
View TH_error.txt
ihaskell-inline-r-0.1.0.0: build
HaskellR-examples-0.1.0.0: build
-- While building package ihaskell-inline-r-0.1.0.0 using:
/Users/michaelchurch/.stack/setup-exe-cache/setup-Simple-Cabal-1.18.1.5-x86_64-osx-ghc-7.8.4 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.18.1.5/ build lib:ihaskell-inline-r --ghc-options -hpcdir .stack-work/dist/x86_64-osx/Cabal-1.18.1.5/hpc/.hpc/ -ddump-hi -ddump-to-file
Process exited with code: ExitFailure 1
Logs have been written to: /Users/michaelchurch/stack-explore/HaskellR/.stack-work/logs/ihaskell-inline-r-0.1.0.0.log
Preprocessing library ihaskell-inline-r-0.1.0.0...
[1 of 1] Compiling IHaskell.Display.InlineR ( src/IHaskell/Display/InlineR.hs, .stack-work/dist/x86_64-osx/Cabal-1.18.1.5/build/IHaskell/Display/InlineR.o )
@michaelochurch
michaelochurch / buglog.txt
Last active Sep 15, 2015
Replication of steps leading to Stack bug found on 2015-09-10 (v. 1.4.0)
View buglog.txt
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.10.2
$ which ghc
/usr/bin/ghc
$ ghc-pkg list -v
Timestamp 2015-09-10 20:43:28 UTC for /Users/michaelchurch/.ghc/x86_64-darwin-7.10.2/package.conf.d/package.cache
Timestamp 2015-09-10 20:43:28 UTC for /Users/michaelchurch/.ghc/x86_64-darwin-7.10.2/package.conf.d (same as cache)
using cache: /Users/michaelchurch/.ghc/x86_64-darwin-7.10.2/package.conf.d/package.cache
View gist:59dd3d50aba701929fbb
-- src/Data/Sum.purs
module Data.Sum where
import Data.Monoid
newtype Sum = Sum {getSum :: Number}
instance monoidSum :: Monoid Sum where
mempty = Sum 0
@michaelochurch
michaelochurch / fix.hs
Created Jul 7, 2014
Another non-exploding use of Haskell's fix
View fix.hs
import Control.Monad.Fix
factorial :: Integer -> Integer
factorial = fix (\fct x -> if x == 0 then 1 else x * fct (x - 1))
main :: IO ()
main = putStrLn $ "5! = " ++ (show $ factorial 5)
@michaelochurch
michaelochurch / hackernews-banned-post
Created Jan 9, 2014
This is the reply I can't write on Hacker News, because PG is a fucking child and I get the "submitting too fast" error after ~3 posts per day.
View hackernews-banned-post
In reply to: https://news.ycombinator.com/item?id=7031552
*People, as a group, really aren't interested in learning any more than the bare minimum they need to
get what they want. That's what MOOCs are really up against.*
True, and the people who are motivated tend to rely on each other, if not for support, at least to have
peers who are similarly interested. It's like the fact that people whose friends are obese are more likely
to gain weight.
If your motivation/work ethic/freedom-from-external-distraction level is 9-10, then you're fine working
@michaelochurch
michaelochurch / 911-real-estate-boom
Last active Jan 2, 2016
Explanation of NYC's 9/11 Boom.
View 911-real-estate-boom
Real estate (like oil in the short term, cf. "oil shocks" of the 1970s) is extremely supply-inelastic,
such that a 1% loss of supply might cause prices to go up *a lot* more than 1%-- possibly 10%, 20%,
even 2x. The result of this is that a destruction of real estate supply will actually increase the
*total* market value: a cataclysmic loss of 5% of NYC's real estate would drive prices through the roof
and make the price level look "healthy" (from the buyer-centric perspective common in the US when it
comes to housing). But no value was created! Much was destroyed.
The 2000s run-up in NYC's housing costs was driven largely by speculation after 9/11. While we
*actually* had 12+ subsequent years with no major domestic terror attacks, there were a large number of
(esp. foreign) speculators who expected future attacks in major cities and bought lots of RE in
You can’t perform that action at this time.