freyrs3

38 ms·

331.
by freyrs3 14y ago
> The GIL and the lack of foresight in designing Python are problems that are too fundamental to the language. The GIL isn't part of the Python language, it's part of the implementation of CPython. Jython for example doesn't have a GIL.
332.
by freyrs3 14y ago
As much as I'd like to believe that there is a Python interpreter without a GIL, type inference, and LLVM backend that can support the full standard library I'm doubtful until I see evidence.
333.
by freyrs3 14y ago
> Haskell is a relatively recent language Not really, it's older than both Ruby and Python. Compared to Prolog and C, yes I suppose so.
334.
by freyrs3 14y ago
I think operating systems are harder to formally verify than programming languages.
335.
by freyrs3 14y ago
Here's a presentation of the mathematician the article is about. It's on the nature of "Inter-universal Teichmuller Theory"[1] which apparently was the work leading up to the proof. [1] http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-unive
336.
by freyrs3 14y ago
It silently executes arbitrary code from a remote server.
337.
by freyrs3 14y ago
CTypes is neat for simple tasks but Cython is the industrial strength solution for large extensions.
338.
by freyrs3 14y ago
Honestly I don't see this kind of thing happening in the Python community. Python devs constantly complain about Py3 and unicode all the time but I don't think it ever gets to the level of "drama" or vitriol.
339.
by freyrs3 14y ago
musl & klib are great together if you're going to live in C land. I'd also add ``caffeine`` and ``libev`` if you're targeting a platform a Unix like platform and need to do network programming. http://github.com/dmw/caffeine http://s
340.
by freyrs3 14y ago
Looks like powerful numeric software but the site is so astoundingly bad. It looks like a throwback to Geocities.
341.
by freyrs3 14y ago
There's been a steady decline in amount of work students are willing to put in for study over the past decade. By and large undergraduates at university just refuse to put in the hours for study. If you assign any reading of more than 50 pa
342.
by freyrs3 14y ago
And for every anecdotal UI problem you bring up I could also come up with a corresponding anecdotal pain point with Cygwin on Windows or BSD/GPL header file craziness on OS X. Personally manually rebuilding a font hash doesn't irk me so muc
343.
by freyrs3 14y ago
> Design is about usability and understanding the user Here's the point you're missing. The overwhelming majority Linux users don't give a flying hoot about the average user or mass adoption. They just want a system that gets out of the
344.
by freyrs3 14y ago
> However to do anything even remotely large or complex with it you're still stuck with the same old problems of software development that the general public sucks at. Except that bad LabView code takes spaghetti code to a whole new lev
345.
by freyrs3 14y ago
The barrier is convincing researchers that their code doesn't have to be beautiful to open source it, it just has to be checkable by someone else with the same domain knowledge. Fortunately, a lot of the scientific Python community seems to
346.
by freyrs3 14y ago
There's also "Good to Great Python Reads": http://jessenoller.com/good-to-great-python-reads/
347.
by freyrs3 14y ago
He does seem to have a mental block on Haskell being too "mathematical or abstract" which is something I see a lot of in imperative programmers and am not sure I fully understand. > I would like to be able to enable even more restricti
348.
by freyrs3 14y ago
None of the libraries or patterns I mentioned above are designed for the purpose of exploring category theory. Though some people do do that, but they tend to live in their own world. A lot of Haskellers just happen to exploit bits of CT it
349.
by freyrs3 14y ago
> Pipes, conduits, and most of the stuff by Kmett appear to be libraries implementing other abstractions that themselves would have be justified by use in a practical program. I'm not sure I understand what you mean by "practical progra
350.
by freyrs3 14y ago
Sure, look at most Haskell libraries. A lot of them expose some of their APIs as monads, arrows, functors, and kleisli categories. Some good examples: hakyll, Pandoc, pipes, conduits, warp, scotty, or anything by Edward Kmett ( https://git
351.
by freyrs3 14y ago
On an aside if you haven't checked out Gabriel's ``pipes`` library, its definitely worth a read. It's some of the most elegant Haskell I've had the pleasure of reading. http://hackage.haskell.org/packages/archive/pipes/2.2.0/doc/...
352.
by freyrs3 14y ago
Get your tickets and hotel rooms early this year, last year they sold out months in advance.
353.
by freyrs3 14y ago
There are plently of ways of holding connections open using Python. Twisted, Gevent, and other connection pools have all solved this problem. Though, some of them are not quite as elegant as Haskell's approach.
354.
by freyrs3 14y ago
It's worth noting that Flask can be upgraded to a "realtime framework" using like 5 lines of code and a WSGI server that supports websocket. https://gist.github.com/8d233bfa42b0d131a19c Flask and gevent are an excellent combination for re
355.
by freyrs3 14y ago
Your comment makes the implicit assumption that code exists entirely for the purpose of powering a business. Code is also a creative medium for expressing ideas and the craft of programming in and of itself is of interest to many people.
356.
by freyrs3 14y ago
ZeroMQ isn't a MQ ( Message Queue ). It's a message passing library. You can use it to build message queues though.
357.
by freyrs3 14y ago
It could be taken off the Android market, but Google doesn't forbid alternative installation modes. It's not foolproof, but at least with Android you own the software and can install it without having to go through a corporate monolith like
358.
by freyrs3 14y ago
How is that even a function of the operating system?
359.
by freyrs3 14y ago
> Its a pity that there is no real operating system available for a Thinkpad. What would constitute a real operating system? Last time I checked Windows/Linux/BSD are very much real operating systems.
360.
by freyrs3 14y ago
> Find me a single PC that can do this Every computer can do this, its not a function of hardware. You'll have to write your own scripts to do it but thats just part of the Arch Linux ethos. To wake and reconfigure displays on in your e

More ›