jhck

vor 5 Monatendiscuss

There is RustRover from JetBrains.

vor 2 Jahrendiscuss

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 completing the book!

jhck

vor 3 Jahrendiscuss

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 first problem has an overflow gotcha built into it. Also, Kadane's Algorithm appears as an early problem even though several mathematicians and computer scientists failed to discover it: https://en.wikipedia.org/wiki/Maximum_subarray_problem#Histo...

jhck

vor 3 Jahrendiscuss

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

* You don't have to write I/O code, so you can just focus on the problem.

jhck

vor 3 Jahrendiscuss

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 make no progress at all, I take comfort in an anecdote I once read about the statistician Jimmie Savage [1]:

"Jimmie had what he called 'a long-standing neurosis about Pólya-Szegö' (the most famous and long-lived problem book in analysis). Even when he was working on his first (and major) book in Paris, he was spending evenings on that neurosis. 'Pólya-Szegö humiliates me', he wrote. 'I never really know what's going on, but I can now work quite a few of the problems and seem to learn thereby some things of general interest.'" [2]

[1] https://en.wikipedia.org/wiki/Leonard_Jimmie_Savage

[2] Quote from Paul Halmos's Automathography

jhck

vor 4 Jahrendiscuss

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 binary search and insertion sort - the article's treatment of those methods actually builds on the transition system theory developed at the beginning. That said, this note is indeed used for CS 101 at Aarhus University - more specifically, it's used in the "Algorithms and Data Structures" course that first year CS students go through.

jhck

vor 5 Jahrendiscuss

Thanks a lot, I'll give it a watch!

Also, thanks dunham for the sixten suggestion!

jhck

vor 5 Jahrendiscuss

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-analyzer parser?

jhck

vor 5 Jahrendiscuss

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

jhck

vor 8 Jahrendiscuss

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 disappointment to me, seeing as the language has been around for more than 10 years now. Also, when I went to try the Leiningen route I found that the installer wouldn't work on Windows 10:

https://github.com/technomancy/leiningen/issues/2412

So I decided to try another language instead... But eventually I returned to Clojure and managed to get it up and running by using the fix that's suggested in the GitHub issue above. I'm really enjoying the language, but I fully agree that it can be frustrating to install on Windows.

jhck

vor 8 Jahrendiscuss

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 applied math, you might want to supplement it with something like "Calculus with Applications" by Peter Lax and Maria Terrell.

On YouTube one can find lecture videos from a real analysis course given by Francis Su (former president of the MAA): https://www.youtube.com/playlist?list=PL0E754696F72137EC

jhck

vor 9 Jahrendiscuss

David Runciman: How Democracy Ends

https://www.talkingpoliticspodcast.com/blog/2017/71-how-demo...

jhck

vor 9 Jahrendiscuss

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 video): Differential calculus is about investigating speed (or, more generally, rate of change), and integral calculus is about investigating area.

[1]: http://www.maa.org/sites/default/files/0002989051112.di99173...

jhck

vor 10 Jahrendiscuss

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 products. We employ 10-15 thousand Java developers. If Java were to become irrelevant we wouldn't be able to hire new developers, we would have to pay a lot of money to retrain those developers, we would have to rewrite billions of lines of code. Much better to make sure that Java remains a productive platform for development. And if it happens to benefit the rest of the world that's collateral damage."

[1]: https://youtu.be/Dq2WQuWVrgQ?t=56m14s

jhck

vor 10 Jahrendiscuss

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

jhck

vor 15 Jahrendiscuss

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

jhck

vor 15 Jahrendiscuss

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 letters should be maximal, in the sense that it cannot be lengthened without including a nonletter.

jhck

vor 15 Jahrendiscuss

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/

jhck

vor 15 Jahrendiscuss

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

jhck

vor 16 Jahrendiscuss

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 how to develop such proofs. The curriculum for the last two weeks of the course, however, was a handout titled Transition Systems,[2] which I found to be an excellent introduction to the subject.

Since that time I've been interested in the idea of proving programs correct. On weekends I'm currently making my way through David Gries's The Science of Programming. Similar books include

- A Discipline of Programming by Dijkstra

- The Evolution of Programs by N. Dershowitz

[1] http://mitpress.mit.edu/algorithms/

[2] http://www.cs.au.dk/dADS1/daimi-fn64.pdf

Submissions

Brian Goetz: FP Is Dead – Long Live FP [video]

JVMLS: Adventures in Parametric Polymorphism [video]

bilby.js - Serious functional programming library for JavaScript

Language Implementation Tips

comments