Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gtani
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
53 ms
·
481.
▲
PC sales plunge, Microsoft and Windows 8 blamed
(blogs.seattletimes.com)
46 points
by
gtani
14y ago
|
53 comments
482.
▲
by
gtani
14y ago
Interesting. As a player of piano, woodwinds, and others I've gotten used to different systems of scribbling over the staff to convey something that's not metadata but not primary info. Well-tempered Klavier is a good bad example, there's
483.
▲
by
gtani
14y ago
He sort of concedes as much re: static typing https://twitter.com/laurencetratt/status/321612459741958146
484.
▲
by
gtani
14y ago
Languages with good type systems (haskell, scala, ocaml) can certainly address these. I haven't been following liftweb (scala) closely but I give the author, DPP, credibility, when he says that he's addressed the first three. http://sevent
485.
▲
by
gtani
14y ago
!!! I'm sure you're not an idiot. Have you tried the School of Haskell, it incorporates the minimum viable skills for learning haskell (pulling code apart in the REPL, and understanding type signatures, pattern matches and compiler type che
486.
▲
by
gtani
14y ago
what about disciple and mu ? http://stackoverflow.com/questions/10784124/non-lazy-branch-... http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf
487.
▲
by
gtani
14y ago
this thread is an exhaustive list of things to examine on used bass, most applies to guitars http://www.reddit.com/r/Bass/comments/mbbn9/things_to_look_f... The most important thing on a used or inexpensive instrument is checking that the
488.
▲
by
gtani
14y ago
http://tratt.net/laurie/tech_articles/articles/fast_enough_v...
489.
▲
by
gtani
14y ago
I make my own indexes. Example: http://www.flickr.com/photos/41758452@N00/sets/7215763232553...
490.
▲
by
gtani
14y ago
Missed some haskell books, if that's your site http://www.reddit.com/r/haskell/comments/1af3iw/9_best_free_... http://www.linuxlinks.com/article/20130316105209238/BestFree... and scala staircase 1st ed http://www.artima.com/pins1ed/
491.
▲
by
gtani
14y ago
You could look at how pyMC calls out to Fortran (windows and POSIX FFI, source translation is sketchy without thorough unit test suites http://pymc-devs.github.com/pymc/INSTALL.html
492.
▲
by
gtani
14y ago
maybe http://scholar.google.com/scholar?hl=en&q=+%22haskell+me... or: http://www.doc.ic.ac.uk/~amc4/Papers/thesis.pdf
493.
▲
by
gtani
14y ago
Learn thoroughly how to read type signatures, compiler warning/errors, GHCi ouput. The 4th thing on my Learn to Read list for other languages is bytecode/Core/assembler but that's not easy My first languages were APL and C, I learned them
494.
▲
by
gtani
14y ago
This guy reminds me of Uncle Bob
495.
▲
by
gtani
14y ago
i suppose by "exotics" he/she means - Theorems for Free languages: haskell, scala, ocaml, - lisps: CL, Scheme/racket, clojure - logic programming/unification: prolog, mercury - stack-based/concatenative: joy, forth, factor - O-O paradigm:
496.
▲
by
gtani
14y ago
There's no hidden/default parameters in haskell (records have default values but that's different), that line is eta reduced because those 2 functions always behave identically number = return You have to figure what you did in tha
497.
▲
by
gtani
14y ago
People might want to check out Roger Linn, Ed Goldfarb, Geert Bevin (I'd really like to have a continuum and eigenharp), and actuated instruments site. http://www.youtube.com/watch?v=O1s-neJs8IY http://actuatedinstruments.com/ _________
498.
▲
by
gtani
14y ago
The one from UCI is a very rough draft, shdn't have included that
499.
▲
by
gtani
14y ago
2 disconnected thoughts: - if anybody hasn't heard of death sentences for traffickers in Asia, or had the experience in the airport, when you're waiting to clear Customs/Immigration, of seeing the labrador retriever decide that somebody's b
500.
▲
by
gtani
14y ago
other free drafts/full open content books http://www.ics.uci.edu/~welling/teaching/273ASpring10/IntroM... http://alex.smola.org/drafts/thebook.pdf http://www.p-value.info/2012/11/free-datascience-books.html http://web4.cs.ucl.ac.uk/s
501.
▲
by
gtani
14y ago
Craziness is not zero sum game, but it's hard to convince people that complain about "expression problem", "modular abstractions", "better DI", all the phrases to capture part of the problem, to read Real world haskell or Scala in Depth, bo
502.
▲
by
gtani
14y ago
They're conventions that work because you see them over and over in small functions, the "small functions" being key. (go), type parameters, (x:xs) "\ds ->", "import qualified This as That". I think it's just like a java progra
503.
▲
by
gtani
14y ago
I see this a lot in my friends who've decided to raise tiger kids, so lots of math, python programming, foreign languages, music lessons at a young age. You'll never know how they respond. A couple turned into academic and musical prodigi
504.
▲
by
gtani
14y ago
you could look into hsenv and cabal-dev. https://github.com/cakesolutions/the-pragmatic-haskeller http://bob.ippoli.to/archives/2013/01/11/getting-started-wit... Also, problems in the haskell ecosystem don't stay problems for long, this
505.
▲
by
gtani
14y ago
You can write simple scala, if you use case classes, type inference, wildcards, optional parens/periods, return "this" to make little pointfree method chains etc. You also need to avoid parameterized types and many corners of the type syst
506.
▲
by
gtani
14y ago
Yeah, pretty fluffy article, no mention of HOL, dependent types, other camps. I was hoping to see libs like Isabelle, metaMath, Corbineau's coq lib etc mentioned
507.
▲
As Math Grows More Complex, Will Computers Reign?
(wired.com)
32 points
by
gtani
14y ago
|
39 comments
508.
▲
by
gtani
14y ago
ok, what about (among others - desmopressin, - galantamine, - Phenylpiracetam
509.
▲
by
gtani
14y ago
If you were writing for haskell/scala/ML'ers, x::xs, for C#ers, head::tail I haven't been tracking closely but no Forward declarations was one of common complaints, along with organizing projects in subdirectoris (I think they have fixes fo
510.
▲
by
gtani
14y ago
No Meh: you and the blogger are substantially in accord on your optimal tech stack: someone would inevitably point out a language that gracefully handled that particular issue in a much nicer way than Haskell, ML, or Erla
More ›