Top all-time · #15746
Chronicles of a Restless Mind
Personal blog · arestlessmind.orgprogrammingsystems
Chronicles of a Restless Mind is a personal blog at arestlessmind.org about programming and systems. Since 2016, 5 different Hacker News readers have linked it 7 times. No feed was found, so read it on the site itself.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
Chronicles of a Restless Mind, by Dr. Becher, is linked for its posts on StrongForth, a statically typed Forth that checks stack annotations. Commenters cite it as the reference for that language.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- /2009/02/03/intro.html3 people · 5 mentions · first linked 2016-09-05
What Hacker News says?
That's actually been done. It's called StrongForth. http://www.arestlessmind.org/2009/02/03/intro.html
Comment linking /2009/02/03/intro.html
on “Sectorforth: A 16-bit x86 Forth that fits in a boot sector”Submitted Introduction to StrongForth as a story · 3 points
HN discussionWhat do you make of the two other statically typed Forth-like languages, StrongForth and Kitten? Did you use them as a reference for the project? Links: * (StrongForth) http://www.arestlessmind.org/2009/02/03/intro.html * (Kitten) https://kittenlang.org/
Comment linking /2009/02/03/intro.html
on “Play: Statically typed Forth, compiled to WASM”While back I wrote a Forth interpreter. (2.4kloc of portable C, passes nearly all the ANS Forth test suite.) I recommend this to anybody interested in programming languages; you don't have to finish it, but once you get the core interpreter working (in mine, the inner loop is two lines of C!) there's this aha moment and you finally get what the fuss is about, and you can feel your brain expanding. But as a programmi…
Comment linking /2009/02/03/intro.html
on “Plan9 from?”There are some strongly typed Forths --- although I've never seen one that was out of prototype. Here's one I had a brief look at: http://www.arestlessmind.org/2009/02/03/intro.html Of course, since Forths are built around a REPL, to do type checking you need to keep the type objects around at run time, so it may not be suitable for very small systems.
Comment linking /2009/02/03/intro.html
on “PunyForth: Forth inspired programming language for the ESP8266”Personally I prefer Dr. Becher's follow-on project, StrongForth.f, which is just a library to load into a standard system like gforth (which is probably in your OS's package repo). http://www.arestlessmind.org/2013/08/17/
Comment linking /2013/08/17/
on “Retro: A Modern, Pragmatic Forth”StrongForth ( http://www.arestlessmind.org/2009/02/03/intro.html ) is a statically typed Forth that checks (and requires!) the annotations. It traces how the stack changes after every operation, and guarantees that every function is passed the correct number and types of parameters, and leaves the correct parameters on the stack when it returns. It's impossible to underflow the stack, and overflows are as likely as…
Comment linking /2009/02/03/intro.html
on “Forth: The programming language that writes itself”