gtani

63 ms·

571.
by gtani 14y ago
Here's another UofC admissions package https://news.ycombinator.com/item?id=4726157 I liked the UofC, but I think I liked Harold's chicken more.
572.
by gtani 14y ago
another thread, blog ref'g this paper https://news.ycombinator.com/item?id=4871661
573.
by gtani 14y ago
the shootout says http://shootout.alioth.debian.org/u64q/performance.php?test=...
574.
by gtani 14y ago
Here's where the "most dynamic/static/whatever" probably came from http://james-iry.blogspot.com/2010/05/types-la-chart.html
575.
by gtani 14y ago
move from perhaps the most dynamic language to what is perhaps the most static? I don't think this continuum has any meaning, but s/he should look at GHC Typeables, deferred type checking and the type holes work in the "most static
576.
by gtani 14y ago
It's incomplete reporting without the JRE heap, inlining, GC and other options used and some kind of residency and median memory usage data. Also, warmups, hardware and OS (Windows seems to frequently produce interesting results. (I haven
577.
by gtani 14y ago
Let me point out that the haskell / GHC toolset is broad and deep and constantly being expanded, and also the most common causes of space leaks are becoming documented (the wiki and many stackoverflow threads. Tools: ghc-vis, to visualize
578.
by gtani 14y ago
Yes and no. There are "issues" with those structures in GHC, i.e. how the Functor/Applicative/Monoid hierarchy evolved in GHC (applicatives were discovered a little late) http://stackoverflow.com/questions/7595023/why-is-this-decla... ht
579.
by gtani 14y ago
Hmm, no mention of Prof. Cope at UCSC http://artsites.ucsc.edu/faculty/cope/experiments.htm
580.
by gtani 14y ago
Werner's book has value for software devs or mathematicians that read it, if you're the kind that falls into a trance, given a suitable problem to think about. These also http://sivers.org/berklee http://sivers.org/kimo http://sivers.o
581.
by gtani 14y ago
Can you detail, or point to background info? There've been type system debates between proponents of Haskell, ocaml, SML, scala, and F#, i've never seen a D to Haskell comparison, and I've never seen D mentioned as a "free theorems" langua
582.
by gtani 14y ago
Here's a ZNGA funny https://twitter.com/maxticket/status/260825571712458752
583.
by gtani 14y ago
There's no comprehensive list, you could ask around at Cafe, consulting firms (Galois, Well Typed, FPcomplete), or meetups/user groups. http://www.reddit.com/r/haskell/comments/x8qnh/do_you_use_ha... http://www.hnsearch.com/search#reques
584.
by gtani 14y ago
The argument is that agda is relatively straightforward for haskellers and similarly, coq for ocaml devs to adopt. This is a good succinct example of former. Coq has lots of tutorials http://www.cs.uu.nl/education/scripties/pdf.php?SID=I
585.
by gtani 14y ago
Best o luck. I tried something similar with Stanford, submitting some APL code and a detailed explanation... didn't work that well. I love the U of C, great school but not necessarily an easy place to go to school. The CS people are one o
586.
by gtani 14y ago
These're good too http://linear.ups.edu/xml/latest/fcla-xml-latest.xml#fcla-xm... http://joshua.smcvt.edu/linearalgebra/book.pdf Also, the common 1st year texts (Anton, Lang, Hoffman/Kunze and Friedberg/insel/Spence) can be found easily
587.
by gtani 14y ago
It's likely lots of intellectually challenging activities produce structural/chemical changes in the brain: piano tuning http://www.bbc.co.uk/news/health-19398413 playing musical instrument http://www.sott.net/articles/show/216086-Mental
588.
by gtani 14y ago
Very nice. (Some prior threads on lines of influence) http://news.ycombinator.com/item?id=4194460 http://news.ycombinator.com/item?id=3409774 http://news.ycombinator.com/item?id=3920619
589.
by gtani 14y ago
the Freebord was also a Stanford engineering project which went to production http://freebord.com/
590.
by gtani 14y ago
I had these exact same questions: riding in Seattle/SF and Cleveland. I don't think there's any way to make a safe powerful brake system for skateboards unless you're ready to do the stale fish maneuver, i.e. hit the brake button and grab t
591.
by gtani 14y ago
There's lots of books, you can find RealWorld and Road to Logic online too (not sure if RtL is legit) http://alexott.net/en/fp/books/#sec7 and tuts http://www.haskell.org/haskellwiki/Learning_Haskell http://www.haskell.org/haskellwiki/
592.
by gtani 14y ago
Don't have anything substantive to contribute but this is risible : http://blog.atnnn.com/p/cheating/
593.
by gtani 14y ago
folks will also want to check out Harper's (CMU) Practical Foundations for PL http://www.cs.cmu.edu/~rwh/plbook/book.pdf
594.
by gtani 14y ago
Look at Suereth's "In Depth" (also Horstmann's book is an excellent intro http://www.amazon.com/Scala-Depth-Joshua-Suereth-D/dp/193518... http://www.manning.com/suereth/
595.
by gtani 14y ago
This is a difficult issue. I've worked with blind skiers in California and Utah. The categories for "VI" visually impaired are simply high partial vision, low partial and total loss (B3 thru B1). So competitors with extremely restricted f
596.
Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems(cs.bham.ac.uk)
1 points by gtani 14y ago|0 comments
597.
by gtani 14y ago
I would guess you're thinking about http://blog.sigfpe.com/2009/10/what-category-do-haskell-type... http://dorchard.wordpress.com/2011/10/18/subcategories-in-ha...
598.
by gtani 14y ago
related http://golem.ph.utexas.edu/category/2012/06/the_gamification... http://golem.ph.utexas.edu/category/2012/08/categorical_unif... http://math.ucr.edu/home/baez/rosetta.pdf
599.
by gtani 14y ago
this was Leroy's post in 2002 about multithreaded runtimes http://web.archive.org/web/20110724004117/http://caml.inria.... Here are recent commentaries: http://stackoverflow.com/questions/1302272/is-inria-going-to... http://www.reddit.
600.
by gtani 14y ago
Parallel procedure described in this book, reattaching optic nerve to intact retina, if I remember correctly. http://www.amazon.com/Crashing-Through-Story-Adventure-Dared...

More ›