jhck

5 ms·

1.
by jhck 7mo ago
There is RustRover from JetBrains.
2.
by jhck 2y ago
Congrats on launching the early access! I'm familiar with data-oriented programming from Clojure and F#, and I'm interested in seeing how you approach it in Java, so I just picked up a copy (ebook). Wish you all the best on comple
3.
by jhck 3y ago
Worth mentioning that there's a companion book to this website: https://cses.fi/book/book.pdf The problems are indeed of very high quality. But it can be a difficult place to start. For example, even the very firs
4.
by jhck 3y ago
I think it's a fine place to start for the following reasons: * It has a large selection of problems with many good starter problems. * Once you've solved a problem, you can see how others have solved it (wish more sites had this
5.
by jhck 3y ago
I share that sentiment. I've been practicing Competitive Programming off-and-on for some years now. I still struggle a lot with it. But sometimes I manage to come up with a nice solution, and that makes it all worth it to me. When I ma
6.
by jhck 4y ago
You're right that the searching and sorting methods discussed are elementary, but note that the article is about how to prove the correctness of the methods (validity and termination); so it's not just the usual fare about binar
7.
by jhck 5y ago
Thanks a lot, I'll give it a watch! Also, thanks dunham for the sixten suggestion!
8.
by jhck 5y ago
Those are some very nice insights, thanks for sharing them! Can you recommend a good resource on writing a parser by hand that doesn't bail on the first error? Or would you instead suggest studying the source code for e.g. the rust-ana
9.
by jhck 5y ago
Maybe it's this one? https://ericlippert.com/2020/03/27/new-grad-vs-senior-dev/
10.
by jhck 8y ago
I felt the same way when I first wanted to try the language (have to use Windows for work). I went to clojure.org only to find the message: Installation on Windows: Not yet available - see Leiningen or Boot instead. That was a disapp
11.
by jhck 9y ago
Tao's Analysis I is fantastic. There's a review available from the MAA: https://www.maa.org/publications/maa-reviews/analysis-i-0 The book doesn't touch on applications. Since you're studying a
12.
by jhck 9y ago
David Runciman: How Democracy Ends https://www.talkingpoliticspodcast.com/blog/2017/71-how-demo...
13.
Brian Goetz: FP Is Dead – Long Live FP [video](youtube.com)
2 points by jhck 9y ago|0 comments
14.
by jhck 10y ago
In a book review from 1988 [1, p. 892] the mathematician Underwood Dudley claimed: > First-semester calculus has NO applications. That said, the central ideas of calculus are firmly grounded in daily life (as Strang points out in the vid
15.
JVMLS: Adventures in Parametric Polymorphism [video](youtube.com)
1 points by jhck 10y ago|0 comments
16.
by jhck 10y ago
To cite Brian Goetz (Java language architect) [1]: "It is totally in Oracle's self-interest for Java to remain vibrant. We have billions of lines of Java code. We have tens of billions of dollars a year in revenue from Java-based
17.
by jhck 10y ago
Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket; it can be found here: https://www.youtube.com/watch?v=XTl7Jn_kmio
18.
bilby.js - Serious functional programming library for JavaScript(brianmckenna.org)
3 points by jhck 14y ago|1 comments
19.
Language Implementation Tips(lambda-the-ultimate.org)
1 points by jhck 14y ago|0 comments
20.
by jhck 15y ago
It's a shame that the "piracy is a matter of convenience" argument is dismissed so quickly. Living in the US you can easily get legal access to lots of creative content through the web, but for people outside of the US it's a different stor
21.
by jhck 15y ago
No, Knuth's version doesn't handle those words either. Here's how he defines a word in his literate program: Let's agree that a word is a sequence of one or more contiguous letters; "Bentley" is a word, but "ain't" isn't. The sequence of
22.
by jhck 15y ago
Re: IDE: 09.50: Now they are demoing a full eclipse based IDE for dart, very cool too, wow From http://dartinside.com/2011/live-from-dart-launch/
23.
by jhck 15y ago
No, kd0amg is right. Here's a simple example of a recursive regular grammar: S → aS | ε This grammar is right linear (see http://en.wikipedia.org/wiki/Regular_grammar ).
24.
by jhck 16y ago
I was introduced to formal reasoning about programs in an introductory course on algorithms and data structures in March. Most of the curriculum was from CLRS,[1] which presents proofs of correctness for many algorithms but doesn't explain
25.
by jhck 16y ago
I think the site name is a reference to 'Anything But iPod'[1], which has been around since 2005. [1] http://www.anythingbutipod.com/
26.
by jhck 16y ago
Supposedly it's pretty dated, though; see the author's comment here: http://www.reddit.com/r/programming/comments/bv9gt/dive_into... I would recommend http://diveintopython3.org/ instead.
27.
by jhck 16y ago
So it was easy to check that you couldn't add a int to a strongly typed list of strings, but only in source. (I think, I'm not as well read as javac / JVM internals) You're right. Here's Jim Waldo's explanation from Java: The Good Parts