Viewing profile — jhck

There is RustRover from JetBrains.

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 …

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…

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 ho…

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 so…

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 terminati…

Thanks a lot, I'll give it a watch! Also, thanks dunham for the sixten suggestion!

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…

Maybe it's this one? https://ericlippert.com/2020/03/27/new-grad-vs-senior-dev/

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 availab…

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'…

David Runciman: How Democracy Ends https://www.talkingpoliticspodcast.com/blog/2017/71-how-demo...

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 firml…

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 bill…

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_kmi…

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…

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…

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/

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 ).

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 pr…

I think the site name is a reference to 'Anything But iPod'[1], which has been around since 2005. [1] http://www.anythingbutipod.com/