gtani

69 ms·

631.
by gtani 14y ago
That's a good question that i had previously noted for followup, but I never followed up. slide 50: how does agda check termination. http://www.seas.upenn.edu/~sweirich/ssgip/main.pdf http://research.microsoft.com/en-us/news/features/ter
632.
by gtani 14y ago
Not exactly. There's multiple types to divide by multiple kinds of zero, and multiple ways to accomplish it. Remember they're Num, they're not integers http://stackoverflow.com/questions/9354016/division-by-zero-... http://www.reddit.co
633.
by gtani 14y ago
Without taking sides, I would say look at some books on each. Kinda like comparing plutonium and uranium, or a cello to a guitar. Maybe these comparisons are silly. While youre at it look at scala and O'Caml. You can look at the Yesod bo
634.
by gtani 14y ago
It lasted til 2004: http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/t... The closest proxies are Lambda the Ultimate and videos/lists of papers from conferences like the JVM languages summit, strange loop, ICFP, CUFP, and http
635.
by gtani 14y ago
I like UDub even tho I never went there (in fact i'm headed there right now) but I really hope they enforce the stated minimal program qualifications, i.e. applicants show aptitude in math, engineering, database design, programming, or the
636.
Why Do Some Programming Languages Live and Others Die?(wired.com)
32 points by gtani 14y ago|25 comments
637.
by gtani 14y ago
1. people get tired of hosting blogs on dreamhost 2. list mirrors like nabble do wholesale migrations without redirects (Google groups is gong thru this now with new format (but with redirects, I hope): groups.google.com/forum/#!msg
638.
by gtani 14y ago
Good info. Did percona fix the load nulls ticket? (LOAD DATA INFILE has this ticket from 2006, that,sometime during the 2000's was converted to a feature request http://bugs.mysql.com/bug.php?id=23212 I think that's why my load does
639.
by gtani 14y ago
I don't remember details, but my colleagues at Merrill Lynch used to say you could look at somebody's APL code and tell if they came from Sharp (Toronto), IBM (Yorktown Heights or San Jose CA), STSC or Morgan Stanley. In APL2, the equivalen
640.
Haskell: Three Flavors of MVar(neilmitchell.blogspot.com)
2 points by gtani 14y ago|0 comments
641.
Most Important GHC (Haskell) extensions to learn/use?(permalink.gmane.org)
1 points by gtani 14y ago|0 comments
642.
by gtani 14y ago
Kind of like there's Sphinx fulltext indexing and Sphinx doc generation lib for python and CMU's sphinx speech recognition/generation framework, you have to specify which but google seems ok with them.
643.
by gtani 14y ago
Not sure if these opt-out cookies have much effect but anyways: http://www.networkadvertising.org/managing/opt_out.asp
644.
by gtani 14y ago
might help, but also have risk of overdoing it: - Dynaflex and powerweb exercises http://fitter1.com/Catalog/Category/35/HandWrist.aspx - wrist curls: http://ecx.images-amazon.com/images/I/41z5INkAENL._SL500_AA3...
645.
by gtani 14y ago
Thanks for the info. I made an acquaintance of a concert pianist maybe 8 years ago, and started reading about Gould, different pianos. My friend has a mental catalog of all the pianos she's performed on, the hall acoustics, and the tuners
646.
by gtani 14y ago
I would recommend the various accounts of Glenn Gould's GV recordings, his Chickering and how it was voiced, as an example of the scope of the project. Voicing a grand piano by itself is a serious undertaking (read about inharmonicity and
647.
by gtani 14y ago
Cf the windows sounds by Fripp and Eno: http://www.loosewireblog.com/2006/11/fripp_eno_and_t.html
648.
by gtani 14y ago
Addendum: i have a Korean Squier strat ($79.95) and a Samick fretless bass ($220) that I'm very fond of. I have another cheap guitar and bass that are just meh. Also i'd add Squier Classic Vibes to the list of mfrs with at least passable QC
649.
by gtani 14y ago
I dunno, I wish them well, cause i used to drag my guitar to Dolores and Duboce parks just like him. But they don't get my $. This looks like it'll teach one critical skill, fretboard knowledge, and then... folks will try to play real gui
650.
by gtani 14y ago
You are correct. I've spent a lot fo time in instrument shop, craigslist and pawnshops (California, Seattle, Ohio, Wisconsin), looking at pianos, fluets/sax/clarinets and double bass/cellos, in addition to guitars and bass guitars. I'd co
651.
by gtani 14y ago
for < US $250, you can buy playable solid body electrics from Yamaha, Ibanez, Peavey or Axl, new. For $100 you'll find something that's tolerably playable on Craigslist in most large markets. There aren't other "real" instruments that
652.
by gtani 14y ago
Well i rode MUNI a few days a week for 15 years becuase otherwise I'd get $300/week in parking tickets, but read last month's anecdotal stories in the Chron and Examiner https://www.google.com/search?q=sf+muni+bus+robbery&ie=u...
653.
by gtani 14y ago
Perfectly valid question. This explains the practice in incremental dev or refactoring of using "undefined" in stub/placeholder functions to get the type signatures but not function bodies in: http://www.fatvat.co.uk/2009/09/generating-tex
654.
by gtani 14y ago
This is very much a nontrivial achievement. I took 2 years of Latin and I remember the classics majors telling me 3rd year Latin and Ancient Greek could be seriously painful unless you were seriously devoted. Enough to dissuade me from go
655.
by gtani 14y ago
Depends, he had classical chops and attended Juilliard briefly (in those days it was uptown by Columbia) and could produce beautiful tone in all registers, but critics have commented that he couldn't produce the dazzling topspeed runs that
656.
by gtani 15y ago
When i started skiing, I used to have bags of chips explode on me while driving from the California coast to Lake Tahoe, scared the crap out of me. I just decided to buy vacuum packed stuff up there.
657.
by gtani 15y ago
http://goto.ucsd.edu/~pmr/papers/liquid-types-pldi08.pdf Probably should have noted submitted URL is Silverlight video, or large download.
658.
Liquid Types, static verification: deduction, model checking, type systems (research.microsoft.com)
79 points by gtani 15y ago|14 comments
659.
by gtani 15y ago
There's probably a lot more cheats and cookbooks, but: http://pleac.sourceforge.net/ http://hyperpolyglot.org/
660.
by gtani 15y ago
read it to rags I like that. My LY and RW are pretty raggedy, and I've basically written my own indexes for those books. (Let's not forget the other books: Hutton, Thompson, Road to Logic, Bird's Pearls (which i haven't read))

More ›