miniblog.

← Back to all posts
Jan 24, 2020 at 05:10
I attended a bunch of great talks at #POPL yesterday. My highlight yesterday was a delightful talk applying program synthesis techniques for generating visualisations! Elegant and practical.
Visualization by Example (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Related Posts

Mar 15, 2026 at 20:42
Really elegant developer tool: Go's inline IDE feature is used with deprecation markers, so call sites are autofixed from OldApi() to NewApi() based on the implementation of OldApi.
//go:fix inline and the source-level inliner - The Go Programming Language
How Go 1.26's source-level inliner works, and how it can help you with self-service API migrations.
Feb 15, 2025 at 23:12
In LSP, a position is represented as a line number and a column offset (in Unicode code units): https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#position This is pretty elegant. You'll get the correct line regardless of encoding bugs, and the editor already knows the line number so it's cheap to compute.
Specification
This document describes the 3.17.x version of the language server protocol. An implementation for node of the 3.17.x version of the protocol can be found here.
Jan 10, 2025 at 01:33
Go has an elegant approach to defining example functions, which are shown in docs as `main()` with the output:
Testable Examples in Go - The Go Programming Language
How to add examples, which double as tests, to your packages.