Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
EdiX
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
60 ms
·
601.
▲
by
EdiX
16y ago
> The major releases support things like unicode, networking, packaging, threading, cbindings. But every implementation does it differently. > No one is kept up late at night in a quandry over the choice between cython, jython and u
602.
▲
by
EdiX
16y ago
I alreaady know about clojure and I quite like it.
603.
▲
by
EdiX
16y ago
In my experience packaging, TDD and images have nothing to do with the problems that Common Lisp had (has?). I tried to use Common Lisp for all my "home" projects between 2005 and 2006 and eventually gave up. My conclusion was that the pr
604.
▲
by
EdiX
16y ago
I vaguely remember that this has to do with more with the paper than with printing technology, the paper being very expensive until recently.
605.
▲
by
EdiX
16y ago
I would have been much happier if they had decided on 8138 or 16276, the latter being better.
606.
▲
by
EdiX
16y ago
> Mind you, I took the high deductible route since I'm only concerned with catastrophic illness at right now. Also, the moment anything serious comes up, they can cleverly drop me, since they have ludicrous things on their forms like, "
607.
▲
by
EdiX
16y ago
God bless its resilience to all the non-round manholes around the world.
608.
▲
by
EdiX
16y ago
The problem with automatic and invisible update is this: say you are using chrome in your company as the interface to an internal tool of some sort. Since the tool is used internally it's messy and one day chrome changes and now, automatica
609.
▲
by
EdiX
16y ago
Same thing happens with every TV show produced in US if you do not live in the US yourself.
610.
▲
by
EdiX
16y ago
On the other hand we may have been just lucky, we have had an infection of upwards of 10 million systems of unknown size, origin and purposes, but fortunately its owners decided to not use it.
611.
▲
by
EdiX
16y ago
Read this sentence three times a day for five weeks: "The definition of insanity is doing the same thing over and over and expecting different results."
612.
▲
by
EdiX
16y ago
Erlang is not a logic programming language. They started with a logic programming language and eventually removed every feature that made it a logic programming language.
613.
▲
by
EdiX
16y ago
We will know if it was successful when seL4 is used by someone and actually shows that it doesn't have bugs.
614.
▲
by
EdiX
16y ago
I just realized that someone may be upset that I didn't give any motivation for the last statement. There are four reasons why formal proofs do not really work for computer programming: 1) the fact that you wrote a formal proof doesn't mean
615.
▲
by
EdiX
16y ago
I have a hard time that a person living in the same world as me can reach such wrong conclusions. > If a piece of code is buggy, how do you fix it? You add debug statements and observe the output, not construct a formal semantics and th
616.
▲
by
EdiX
16y ago
Using an addictive substance as a reward can be a great way to cement addiction, I suggest not doing it.
617.
▲
by
EdiX
16y ago
This is an article that to me, non-designer, says nothing at all. See: http://news.ycombinator.com/item?id=1869728
618.
▲
by
EdiX
16y ago
> Yes, taxpayers fund science, but commenting, beautifying and documenting code is not what a physicist/mathematician/climate researcher wants to spend his time. Usually you want to be doing research Hunting down all the right citations
619.
▲
by
EdiX
16y ago
Coming from a country with a "socialist" healthcare I was very surprised by how much money I'm paying in the US for health insurance, it's more than what I was paying in taxes and when I actually want to use my health insurance I still have
620.
▲
by
EdiX
16y ago
There are only one or two ways if you know what the program is doing, there are many ways to write the one or two solutions in a programming language.
621.
▲
by
EdiX
16y ago
> Also the non-rich often succeed in an investment, startup, etc. For very small values of often...
622.
▲
by
EdiX
16y ago
You are not talking about the Open Systems Interconnection model, right? That's a protocol stack that died in the '90s and has been supplanted by a networking stack that was deliberately designed to not be like the OSI model. http://tools.
623.
▲
by
EdiX
16y ago
This is not how the patent system currently works. Patents with broad application are constantly issued that don't have nearly enough informations attached to build a prototype of the invention (and the existence of said prototype is not ve
624.
▲
by
EdiX
16y ago
If you consider you employee mindless drones who do not notice or care that their colleagues have been laid off on the spot without any advance notice or severance, then, by all means, lay off left and right as much as you please.
625.
▲
by
EdiX
16y ago
I'm glad your family made it but you should realise that it could have gone wrong in a million ways outside of your ancestry's control.
626.
▲
by
EdiX
16y ago
> Isn't ask.com another search engine In a way they still are but they also to a lot of ehow type SEO.
627.
▲
by
EdiX
16y ago
the lore is: they had serious technical problems the day before the launch day and decided to pull through anyways. The load on the already faulty system caused additional failures bringing the cuil's quality to it's lowest point, and that'
628.
▲
by
EdiX
16y ago
http://stackoverflow.com/questions/945288/saving-current-dir...
629.
▲
by
EdiX
16y ago
There is another problem with this type of tools, you can read about it here: http://blog.regehr.org/archives/226 most of what it's found while still a bug may never lead to erratic behaviour, it's hard to estimate the severity of each bu
630.
▲
by
EdiX
16y ago
> vim can crash It can?
More ›