gtani

70 ms·

601.
by gtani 14y ago
Road to Logic: recommended, and only about $25 http://homepages.cwi.nl/~jve/HR/
602.
Physics, Topology, Logic, Computation: A Rosetta Stone (2009) [pdf](math.ucr.edu)
2 points by gtani 14y ago|0 comments
603.
by gtani 14y ago
Detailed account of using Spark and PVS theorem prover in such an app http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.disse...
604.
by gtani 14y ago
Simon Thompson's text (3rd ed) is also a good learning text. It was updated in 3rd ed for GHC
605.
by gtani 14y ago
Compilers that are verified/validated (in some sense): http://compcert.inria.fr/compcert-C.html http://www.cs.utah.edu/~regehr/papers/ http://lambda-the-ultimate.org/node/4571 ------------- The "Related Work" section in this UVa disse
606.
by gtani 14y ago
I've seen a fair number of bike riders around Seattle and Bay Area with the helmet cam's, and seen that a few hit and runs solved by them. Also, I've seen some amazing perspectives with these and "drone" quad copters, for < $4k, I think
607.
by gtani 14y ago
Here's a more detailed http://book.realworldhaskell.org/read/code-case-study-parsin... (also you can read about the F# (|>) forward pipe, and there'll be operator precedence/associativity and thunk forcing issues)
608.
by gtani 14y ago
I discovered her music a few months back when i walked past her concert venue (a theater by the Univ of Washington) and thinking it was the Laurie Anderson/Phillip Glass crowd. I don't know a lot about cello (yet) but her left hand techniq
609.
by gtani 14y ago
Heres one perspective on how artists might choose channels http://www.noisemademedoit.com/how-to-earn-money-with-music/...
610.
Functional programming Books Review/Reading List(alexott.net)
6 points by gtani 14y ago|0 comments
611.
Oregon programming languages summer school: Logic, Compilation, Verification(cs.uoregon.edu)
2 points by gtani 14y ago|0 comments
612.
by gtani 14y ago
A good video can be a huge time saver for showing workflow, how an experienced coder uses the editor/IDE, REPL, debugger, git and testing libs/CI
613.
by gtani 14y ago
Also for parts and service down the road, I tell people to stick with Yamaha, Roland and Korg for < $1200 instruments. You're not likely to find a Kurzweil or Nord used in that price range. Casio's play pretty well, but they've only be
614.
by gtani 14y ago
http://www.reddit.com/help/faqs/piano#ChoosingaKeyboard
615.
by gtani 14y ago
Thx. Some others you have to pay for, but worth it IMHO: http://www.musimathics.com/ http://www.amazon.com/Music-Probability-David-Temperley/dp/0... also Prof Cope from UCSC: http://artsites.ucsc.edu/faculty/cope/experiments.htm
616.
Are functional languages inherently slow? (flyingfrogblog.blogspot.co.uk)
34 points by gtani 14y ago|48 comments
617.
K framework: An Executable Formal Semantics of C with Applications(lambda-the-ultimate.org)
1 points by gtani 14y ago|0 comments
618.
by gtani 14y ago
juicing your brain was all the rage a few months ago http://news.ycombinator.com/item?id=3557074 http://news.ycombinator.com/item?id=3525744 --------------- I'm partial to eating blueberries and playing clarinet and piano, http://www.s
619.
Lambda Calculus, detailed history (D Scott)[PDF, 30pgs](turing100.acm.org)
7 points by gtani 14y ago|0 comments
620.
by gtani 14y ago
Do you mean like how erlang, haskell and ocaml can be run on bare Xen slices? http://corp.galois.com/blog/2010/11/30/galois-releases-the-h... http://halvm.org/wiki/ http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf http://erlangon
621.
ICFP 2012 papers(ACM Internat.Conference on Functional Programming(PDF drafts)(github.com)
2 points by gtani 14y ago|0 comments
622.
Mapping How Programming Languages Influenced Each Other According to Wikipedia(blog.ouseful.info)
42 points by gtani 14y ago|14 comments
623.
by gtani 14y ago
dont' give up! Remmeber your friends. Hoogle is your friend the REPL is your friend (typeclassopedia, too, but that's for later). The point is to get into the REPl and start defining the contours of the type system, monomorph
624.
by gtani 14y ago
The threshold question: what is your definition of FP, are you a schemer, ML, haskell, or maybe scala or F#? I could recommend a lot of things to read, (but you've probably already read them), by language designers Wadler, John Hughes, X. L
625.
by gtani 14y ago
Having type-safe/correct software is a huge benefit when you're controlling machinery program vehicle computers that control hybrid powertrains for heavy duty trucks -- garbage to be specific. Our systems interface with engi
626.
by gtani 14y ago
php, perl, python, ruby and R are the GCD, it's reasonable to expect an experienced dev to be productive in them in 3 days. If you offer to teach the other devs scala or Haskell you'll probably get interest. Probably they won't know what S
627.
by gtani 14y ago
GHC/Haskell is edging towards what could be called weak dependent typing or type-level programming, look at Weirich deck and phantom types: http://www.cis.upenn.edu/~sweirich/plmw12/Slides/plmw12-Pier... http://www.haskell.org/haskellwik
628.
by gtani 14y ago
and the guarantees (both random and exhaustive testing) for GenCheck http://permalink.gmane.org/gmane.comp.lang.haskell.general/1...
629.
by gtani 14y ago
related: http://www.artima.com/forums/flat.jsp?forum=106&thread=3... http://tratt.net/laurie/tech_articles/articles/a_modest_atte... http://www.tbray.org/ongoing/When/201x/2011/12/27/Type-Syste... http://blog.jcoglan.com/2011/12/
630.
by gtani 14y ago
TYpe classes and the ML module system overlap in capabilities http://www.cse.unsw.edu.au/~chak/papers/WC06.html

More ›