miniblog.

← Back to all posts
Aug 26, 2024 at 05:29
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv

Related Posts

May 29, 2026 at 07:09
3
I find that I'm choosing AI tools based on the quality of the harness rather than the model. For example, I'm using Claude Code Web because its model of remote VMs is extremely convenient. I'm using Perplexity because it's tuned really well for web searches.
May 25, 2026 at 15:13
2
Go has an os.Root API that allows you to enforce all paths are subdirectories of a given root. It fixes users accessing foo/../../../etc/passwd and similar. Seems like a really nice solution for a relatively common problem.
Traversal-resistant file APIs - The Go Programming Language
New file access APIs in Go 1.24.
May 13, 2026 at 22:47
nREPL is a really interesting protocol for developer tools. It's extensible, but one of the basic operations is eval(). If your nREPL server doesn't support a given operation, you can just send an eval request to achieve the same result!