Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
freyrs3
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
69 ms
·
271.
▲
by
freyrs3
13y ago
It'll never happen, CPython is the reference implementation and a change as drastic as rewriting all of ceval.c is too drastic for any point release.
272.
▲
by
freyrs3
13y ago
Learning category theory is about as important to programming in Haskell as denotational semantics are to programming in C. Which is to say, not very important unless you're interested in deeper computer science.
273.
▲
by
freyrs3
13y ago
This is quite unreadable with the low contrast colors and the columns are much too small. If you pick a random paper on the arxiv[1] and imagine how much vertical space it will take to just to show the text you'll see the problem. [1]
274.
▲
by
freyrs3
13y ago
This is explicitly not a writeup for beginners ( ergo the title ), it's a side-by-side description of the /very/ general categorical description and how you can model that in Haskell. The three parameter form of morphism comp
275.
▲
Navigating the Postmodern Python World
(stephendiehl.com)
253 points
by
freyrs3
13y ago
|
119 comments
276.
▲
Koka - A programming language with effect inference
(rise4fun.com)
6 points
by
freyrs3
13y ago
|
0 comments
277.
▲
by
freyrs3
13y ago
See also Quipper language, which is a DSL on top of Haskell for quantum programming. [1] [1] http://www.mscs.dal.ca/~selinger/quipper/
278.
▲
by
freyrs3
13y ago
With the growing use of LLVM to compile numeric Python down to code nearly as fast as C there should be a lot of new opportunities to replace old Fortran code. Albeit this will probably happen over the next 5 years or so.
279.
▲
by
freyrs3
13y ago
Expect a response pretty much like this: https://petitions.whitehouse.gov/response/why-we-cant-commen...
280.
▲
by
freyrs3
13y ago
> The majority of Linux users would complain that it was expensive, closed source, and continue using the free, open alternatives. I don't know what you're user base you're sampling but the vast majority of Linux users are
281.
▲
by
freyrs3
13y ago
> Right now, the file system is more than just a data storage layer, it's also a set of concepts (files, directories, etc) with which the user interacts through almost all applications. A filesystem is an API for making system calls
282.
▲
by
freyrs3
13y ago
Then the author is conflating the term "file manager" with "file system".
283.
▲
by
freyrs3
13y ago
Completely sensational, file systems will continue to exist as long as we use storage devices. The end-user interacting with the low-level interface may be phased out though.
284.
▲
by
freyrs3
13y ago
Depending on your definition of "real world", Benjamin Pierce (of TAPL fame) wrote a book about typing semantics using Coq. Of interest to compiler designers. http://www.cis.upenn.edu/~bcpierce/sf/toc.ht
285.
▲
by
freyrs3
13y ago
> , rather than targeting LLVM (most native programming languages) Native languages targeting LLVM are the exception not the norm. The vast majority of native compilers do emit assembly. [1] http://llvm.org/ProjectsWithLLVM/
286.
▲
by
freyrs3
13y ago
It's possible to do most of your work in a functional manner in most imperative languages, including C. Doesn't make them any more functional.
287.
▲
by
freyrs3
13y ago
> JavaScript: What they got right? It's functional. Really. It's really not, it's a language that encourages unrestricted mutable state which is very not functional.
288.
▲
by
freyrs3
13y ago
At least in CPython sum() will go through PyNumber_Add over heap allocated Python objects. With numpy.sum, the inner loop of the ufunc is summing over an contiguous block of machine types.
289.
▲
by
freyrs3
13y ago
Yes, it is well known that allocating 100000000 PyObjects is slow.
290.
▲
by
freyrs3
13y ago
> Go performs much better than Python or Erlang[1-3]. I'm going to go out on a limb and say that performance is more subtle than can be reduced to a single "is better than" about throughput in HTTP requests or computing mandelbrot fract
291.
▲
by
freyrs3
13y ago
Followed by "How and Why We Switched from Go to Erlang" completing the cycle.
292.
▲
by
freyrs3
13y ago
LLVM especially llvm-polly seems to be the state of the art, at least of the open source auto-vectorization routines.
293.
▲
by
freyrs3
13y ago
> Try running a profiler on a native Mac application that does a fair amount of drawing. You'll see references to function calls like: sse64CGSFill8by1 Try running a disassembler on any compiled graphic applications of the last 10 years
294.
▲
by
freyrs3
13y ago
The command line IPython does work with the PyPy interpreter.
295.
▲
by
freyrs3
13y ago
> in which humans with rabbit heads wander an urban apartment muttering non sequiturs I don't know how you could sit through this film without already being disturbed. [1] https://www.youtube.com/watch?v=5jSBVo59j9U
296.
▲
by
freyrs3
14y ago
Stephen here, yes boothead is right. Using a combination of Haskell and Python you can make a really powerful trading system. Python has a lot of user-facing algorithm tools and Haskell has the robustness and parallelism for the backend tha
297.
▲
by
freyrs3
14y ago
I also work for the company that produces Numba. We do have an issue tracker for Numba, if you're having problems then it might help to post your code. https://github.com/numba/numba/issues
298.
▲
by
freyrs3
14y ago
http://dev.stephendiehl.com/hask/flat.html
299.
▲
by
freyrs3
14y ago
The problem with bringing jQuery into the discussion is that it's not a monad . Don Stewart explains this more elegantly than I can [1] but the crux of the argument is that chaining together computations is not enough to be a monad, one ne
300.
▲
by
freyrs3
14y ago
Here's an example that brings together Aeson, Lens, Acid-State and Scotty together in one file. Haskell really does have some great offerings for building very solid and fast web applications. [1] https://github.com/sdiehl/haskell-warp-res
More ›