jhck
Re:Neocaml – Rubocop Creator's New OCaml Mode for Emacs
on Monday March 02, 2026 @12:15PM (#47220882)
There is RustRover from JetBrains.
Re:Show HN: I Wrote a Book on Java
on Monday September 23, 2024 @03:45PM (#41629761)
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!
Re:Role of Algorithms
on Sunday October 08, 2023 @04:58AM (#37808930)
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...
Re:Role of Algorithms
on Sunday October 08, 2023 @04:31AM (#37808807)
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.
Re:Role of Algorithms
on Sunday October 08, 2023 @03:54AM (#37808648)
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
Re:Algorithms and Data Structures – Transition systems (2004) [pdf]
on Sunday April 17, 2022 @05:48AM (#31059705)
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.
Re:Tree Sitter and the Complications of Parsing Languages
on Wednesday November 24, 2021 @02:12PM (#29333891)
Thanks a lot, I'll give it a watch!
Also, thanks dunham for the sixten suggestion!
Re:Tree Sitter and the Complications of Parsing Languages
on Wednesday November 24, 2021 @11:28AM (#29331698)
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?
Re:The rise of never-ending job interviews
on Monday August 02, 2021 @12:37PM (#28038975)
Maybe it's this one? https://ericlippert.com/2020/03/27/new-grad-vs-senior-dev/
Re:Problem Solving and Clojure 1.9 with Rich Hickey
on Thursday August 09, 2018 @01:34PM (#17726409)
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.
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.
Re:Ask HN: Resources to learn real analysis?
on Saturday March 24, 2018 @12:57PM (#16667529)
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
Re:Ask HN: What’s your favorite talk from 2017?
on Monday January 01, 2018 @09:14AM (#16046115)
David Runciman: How Democracy Ends
https://www.talkingpoliticspodcast.com/blog/2017/71-how-demo...
Re:Big Picture of Calculus (2010) [video]
on Monday February 13, 2017 @10:28AM (#13635928)
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...
JVMLS: Adventures in Parametric Polymorphism [video]
Re:Lisp as an Alternative to Java (1999)
on Sunday July 31, 2016 @12:44PM (#12197640)
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."
Re:Racket v6.6
on Sunday July 24, 2016 @09:58AM (#12153312)
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
bilby.js - Serious functional programming library for JavaScript
Language Implementation Tips
Re:Alexis Ohanian vs NBC - Debating SOPA
on Sunday January 15, 2012 @01:18PM (#3467776)
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.
Re:Knuth and the Unix Way
on Thursday December 08, 2011 @03:32PM (#3330992)
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.
Re:Dart language
on Monday October 10, 2011 @04:29AM (#3092845)
Re: IDE:
09.50: Now they are demoing a full eclipse based IDE for dart, very cool too, wow
Re:Oh Yes You Can Use Regexes to Parse HTML
on Friday July 08, 2011 @01:33PM (#2743333)
No, kd0amg is right. Here's a simple example of a recursive regular grammar:
S → aS | ε
Re:Dijkstra on the cruelty of really teaching computing science (1988)
on Monday September 06, 2010 @01:56PM (#1667081)
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
Re:HTC Working on Android Tablet
on Wednesday August 18, 2010 @04:38AM (#1613576)
I think the site name is a reference to 'Anything But iPod'[1], which has been around since 2005.
Re:Ask HN: Okay okay, I'll learn to program...now what?
on Tuesday August 17, 2010 @04:39AM (#1610599)
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.
Re:My Thoughts on Oracle v Google
on Monday August 16, 2010 @12:33PM (#1608263)
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:
"the inability to change the VM or bytecodes [due to requirements of backwards compatibility] meant that parameterized types could occur only in the source code. The type system of the runtime hasn’t changed, and doesn’t include generics or parameterized types. What we see in our code as a Set<Player> is seen in the bytecodes as simply a Set of objects."