6ren

116 ms·

871.
by 6ren 15y ago
What if you make a mistake in checking the proof? Sure, that may sound silly, but mistakes are the point at issue here. The usual rejoinder is that you can use an automated proof checker/assistant like COQ. Now you're relying on a program.
872.
by 6ren 15y ago
"There are only two hard things in Computer Science: cache invalidation and naming things" - Phil Karlton http://people.famouswhy.com/phil_karlton/ (NB: "hard" things) While we're being flippant: Every problem in computer science can be s
873.
by 6ren 15y ago
How do you prove the proof is correct? And how do you prove that your mathematical representation correctly corresponds to the problem you are modeling? This is why I am bitter and disillusioned about mathematics: it promises certainty, bu
874.
by 6ren 15y ago
> JVM byte code to Python byte code translator Yes; or a JVM that starts up faster, and split the code between them in the same way. I'm assuming there's a fundamental trade-off between startup delay and average speed, or we'd have had
875.
by 6ren 15y ago
Sorry, I don't follow. Doesn't Scala have the same JVM startup delay as Java? Can do the same thing for Scala.
876.
by 6ren 15y ago
Yeah, it's a pain to setup and maintain. Bizarre idea: a source transformer that knows about a CLI parsing library, to detect your usage of it and create the help option in a scripting language - and also provide the packaging (for the scri
877.
by 6ren 15y ago
Yeah, I'm puzzled by them not caching, e.g. they could copy an image of the JVM in its starting state. Maybe the "unix hostility" is due to platform agnosticism ("run everywhere"), servant of two (or three) masters. e.g. issues in file libr
878.
by 6ren 15y ago
re "count both": It seems that many many YC startups have shown their work here, and they will swamp any others. From the title, I thought this would be about projects that began as "Show HN" (not began as YC startups, and then showed HN)
879.
by 6ren 15y ago
That's my experience too. It's something of an ordeal. Perhaps each time we look from a different angle, while done for the purpose of convincing oneself, also forms a new connection (which is known to aid memory)?
880.
by 6ren 15y ago
Speaking for CLI utilities (not apps in general), startup time is a killer. Python, Ruby, Perl etc are so much faster (despite Java improvements) since they began as "scripting" languages. One solution is to reuse a warmed-up JVM (even fast
881.
by 6ren 15y ago
Came across this while researching Turing's proof that a turing machine can compute anything that is computable†. It's Church, comparing his and Turing's approaches: > computability by a Turing machine ... has the advantage of making th
882.
by 6ren 15y ago
This seems to be about memorization as opposed to understanding (or skills). I've always seen myself as having a poor memory, but found that if I focused on understanding, I could remember easily. I thought this was because understanding it
883.
by 6ren 15y ago
> code written in IcedCoffeeScript no longer compiles into more-or-less recognizable JavaScript So this is a more fundamental fork than first appears... And it explains why it includes debugging information (loading up the code examples
884.
by 6ren 15y ago
Regarding development burden, if ICS is implemented as additions to the language, then it can get all updates to the rest of CoffeeScript from "underneath" - the only proviso is that CoffeeScript syntax doesn't change incompatibly with it
885.
by 6ren 15y ago
Thanks a second time, I'm getting there! I realized one can look at the transformed javascript output, to see just what it does. The setting of the variable in the defer becomes: $.getJSON(url, __iced_deferrals.defer({ assign_f
886.
by 6ren 15y ago
Thank you for your thoughtful answer, it's clarified some issues. I'm afraid it also raises more questions for me (I probably need to go study CoffeeScript some more). BTW, the text I added is actually from the first example - the simplest:
887.
by 6ren 15y ago
Just on the website itself: it's very impressive presentation and usability for playing with examples. Couple of issues: 1. The floating title looks cool esp with greying out above it, but it page-down/space moves down more than a page (in
888.
by 6ren 15y ago
> The function defer returns a callback, and a callee in an await block can fulfill a deferral by simply calling the callback it was given. I'm wanting in CoffeeScript knowledge and/or intelligence, so could someone explain the above pl
889.
by 6ren 15y ago
So might they too fall prey to the same issue, of losing sight of the problem they are solving? i.e. that the equivalent of a README would also help pure mathematicians? I guess that would be a statement of the problem: a formal definition
890.
by 6ren 15y ago
Eyeballs aren't necessary, if you accept that automated consultative selling is possible (unproven so far!). The model stops being advertisement-riding-on-content, and instead is a message sent directly to you (or that you request). Well,
891.
by 6ren 15y ago
Caustic Graphics got acquired? They seemed to be quite prominent around here, though I didn't see anything about the acquisition.
892.
by 6ren 15y ago
The value of one eyeball-hour is not fixed. The more targeted the advertising, the more effective and therefore valuable it is. In fact, for sufficiently well-targeted advertising, it doesn't need anything - as when you seek a product. Ove
893.
by 6ren 15y ago
This is very important, but he's making a deeper point, that the README ties it to the problem it solves. It's possible to make a beautiful, intuitive, natural solution that nobody needs (not even yourself). From the user to the code, it g
894.
by 6ren 15y ago
Google's market cap is 188B, and they are changing everything to compete with Facebook. Google is based on information that people want. Facebook is based on the social interactions of people themselves. That's one giant leap closer to whe
895.
Is there a CoffeeScript debugger yet?(quora.com)
2 points by 6ren 15y ago|0 comments
896.
by 6ren 15y ago
> Currently we are UK-only. We will be rolling out internationally soon.
897.
by 6ren 15y ago
github would be better for browsing. But the source is only 117k - I'm surprised how much of a barrier a few clicks and a few seconds was for me. (Partly, I expected it to be bigger.) The 21 files total 18832 lines; there's bison, lex, and
898.
by 6ren 15y ago
There's yet another set of examples from gaming e.g. http://www.reddit.com/r/gaming/comments/owhaz/dear_nimblebit... Alan Kay claimed there's only three new things in computers since 1980 (though he couldn't remember what they were): ht
899.
The HP Way(jimcollins.com)
4 points by 6ren 15y ago|0 comments
900.
How Much Processing Power Does it Take to be Fast?(prog21.dadgum.com)
86 points by 6ren 15y ago|38 comments

More ›