azdavis

7 ms·

1. 1.▲
   by azdavis 6mo ago

   Nice post, I like the benchmarking and property testing. I had a somewhat similar post: https://azdavis.net/posts/unrecur/
2. 2.▲
   by azdavis 10mo ago

   Thanks! But I don’t think it quite worked?
3. 3.▲
   by azdavis 10mo ago

   I wrote a small post on that: https://azdavis.net/posts/lambda-cube/ Hope it’s helpful!
4. 4.▲
   by azdavis 1y ago

   This is likely in response to https://news.ycombinator.com/item?id=43863937
5. 5.▲
   by azdavis 1y ago

   I didn’t realize that “docs like code” was a noun phrase and was trying to figure out how docs can be liking code that is in basic terms.
6. 6.▲
   by azdavis 3y ago

   Might this help? I wrote it: https://azdavis.net/posts/define-pl-01/
7. 7.▲
   by azdavis 3y ago

   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 motiva
8. 8.▲
   by azdavis 3y ago

   I made a language server for SML with a focus on attempting to provide good error messages: https://azdavis.net/posts/millet/
9. 9.▲
   by azdavis 3y ago

   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:/&
10. 10.▲
    by azdavis 3y ago

    For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/
11. 11.▲
    by azdavis 3y ago

    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 curren
12. 12.▲
    by azdavis 4y ago

    The biggest reason why you'd want a formal semantics for your PL, as opposed to just a "human" language specification, is so that you can do proofs about the formal semantics. You can prove your PL, as defined, satisfies cert
13. 13.▲
    by azdavis 4y ago

    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
14. 14.▲
    by azdavis 4y ago

    Hoping Millet doesn't mean anything offensive in any language… Studio Ghibli had this problem mildly with their film "Laputa" ("la puta" = "the whore" in Spanish).
15. 15.▲
    by azdavis 4y ago

    There's https://github.com/standardml/smackage
16. 16.▲
    by azdavis 4y ago

    It’s a group of mostly current/former CMU 15-150 TAs working on various SML tools, like: https://github.com/brandonspark/mulligan https://github.com/T-Brick/molasses https://github
17. 17.▲
    by azdavis 4y ago

    Just 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&
18. 18.▲
    by azdavis 4y ago

    Author here, hope you like it!
19. 19.▲
    by azdavis 4y ago

    You can enforce this with a clippy lint: https://rust-lang.github.io/rust-clippy/rust-1.62.0/index.ht...
20. 20.▲
    by azdavis 4y ago

    https://azdavis.net/ I often write about programming languages.
21. 21.▲
    by azdavis 5y ago

    Thanks!
22. 22.▲
    by azdavis 5y ago

    Thanks! I updated it and replied to the parent comment.
23. 23.▲
    by azdavis 5y ago

    Do you mean the inline code or code blocks? In any case, I tweaked the background to be more different from the page background (in both light and dark mode) and also gave inline code that same background. Does that help? https:/&#x2
24. 24.▲
    by azdavis 5y ago

    The definition I gave at the end of the article (the thing starting with `t ::=`) is basically a context-free grammar describing the syntax for terms of the calculus of constructions. `t ::= ...` is saying "A CoC term, called t, can ha
25. 25.▲
    by azdavis 5y ago

    Wow thanks! Never had my stuff shared out before to my knowledge but I appreciate it! I’ll take a look :D
26. 26.▲
    by azdavis 5y ago

    Thank you!
27. 27.▲
    by azdavis 5y ago

    Thank you! I’ve tried to make sure that my site reads well and loads fast, even on mobile. There’s actually no JS on my site at load time, I run it all as a build step that transforms Markdown with inline LaTeX into pure HTML and CSS. http
28. 28.▲
    by azdavis 5y ago

    I really appreciate your feedback, thank you! > interesting tangents Yeah, I’ve found that explaining things by first giving an example and then generalizing often works better than trying to start with raw theory.
29. 29.▲
    by azdavis 5y ago

    I 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.
30. 30.▲
    by azdavis 6y ago

    This is an old way of writing the type of parameters to a function. I believe the modern equivalent is char* combine(char* s, char* t) { ... } which means combine takes in two pointers-to-char and returns a pointer-to-char. Opinions