Top all-time · #16708
azdavis.net
Personal blog · azdavis.net/postsprogramming
azdavis.net is a personal blog at azdavis.net about programming. Since 2022, 4 different Hacker News readers have linked it 16 times, most often “Millet, a Language Server for SML”. It is still writing: the last post was on 2026-07-08, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked as a post with useful ideas about documentation as code, such as testing that docs don't link to code that no longer exists. The post itself is a test repo, per its URL.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
the personal website of azdavis
Most-linked posts?
- Millet, a Language Server for SML3 people · 6 mentions · first linked 2022-08-18
What Hacker News says?
https://azdavis.net/ I often write about programming languages.
Comment linking /
on “Ask HN: Share your personal site”Submitted Millet, a Language Server for SML as a story · 129 points
HN discussionI actually wrote a bit about this on my website: https://azdavis.net/posts/lambda-cube/ I’ve been using my website as a way to practice writing, so please let me know what you think.
Comment linking /posts/lambda-cube/
on “The λ-Cube”Submitted Millet: A language server for Standard ML (2022) as a story · 14 points
HN discussionJust to make the MVP simpler. I note in the caveats that the current approach is to recompute everything whenever even one file is changed. But that’s probably not sustainable, as I admit myself in https://azdavis.net/posts/pl-idea-tooling/ : > As an example, it would be unsustainable if, every time we changed a single function’s body, the language server had to re-typecheck the entire codebase. This might work for…
Comment linking /posts/pl-idea-tooling/
on “Millet, a Language Server for SML”I wrote a small post on that: https://azdavis.net/posts/lambda-cube/ Hope it’s helpful!
Comment linking /posts/lambda-cube/
on “Dependent types and how to get rid of them”I’ve been working on a language server for Standard ML called Millet: https://azdavis.net/posts/millet/ There was some past discussion about it on HN: https://news.ycombinator.com/item?id=32512715 For my part, I think it’s unfortunate that virtually no mainstream language has a formal semantics in the style of SML’s Definition. I wrote a bit about formal programming language semantics in a series of posts: https://a…
Comment linking /posts/define-pl-01/
on “Memories: Edinburgh ML to Standard ML”Yeah that’s one way. And you can test that docs don’t link to code that does not exist. Here are some other Good Ideas in a blog post I stumbled upon the other week: https://azdavis.net/posts/test-repo/
Comment linking /posts/test-repo/
on “Docs as code (2017)”SML pops up now and again on HN, which is always nice to see. I wrote a language server for SML in an attempt to improve the tooling situation around the language: https://azdavis.net/posts/millet/ The main motivator for why I did this is because we use SML as a teaching language at my university and students always seem to struggle with the error messages and tooling from the compiler.
Comment linking /posts/millet/
on “Four Lectures on Standard ML (1989) [pdf]”I made a language server for SML with a focus on attempting to provide good error messages: https://azdavis.net/posts/millet/
Comment linking /posts/millet/
on “Four Lectures on Standard ML (1989) [pdf]”For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/
Comment linking /posts/millet/
on “Flunct: Well-typed, fluent APIs in SML”For editor support for Standard ML you can try Millet, a language server. https://azdavis.net/posts/millet/ There’s also https://smlhelp.github.io/book/ which is mostly put together by current/past CMU students. Note: I made Millet.
Comment linking /posts/millet/
on “Programming in Standard ML [pdf]”Nice post, I like the benchmarking and property testing. I had a somewhat similar post: https://azdavis.net/posts/unrecur/
Comment linking /posts/unrecur/
on “Removing recursion via explicit callstack simulation”Might this help? I wrote it: https://azdavis.net/posts/define-pl-01/
Comment linking /posts/define-pl-01/
on “A decade of developing a programming language”Glad to see new languages designed around having good support for IDEs. matklad (rust analyzer) and I wrote a bit about this: - https://matklad.github.io/2023/08/01/on-modularity-of-lexica... - https://azdavis.net/posts/pl-idea-tooling/ I think pure functions, sum/product types, and pattern matching are generally accepted as an excellent way to model and manipulate pure data. I wonder what the team’s thoughts are ab…
Comment linking /posts/pl-idea-tooling/
on “Moonbit: The fast, compact and user friendly language for WebAssembly”