Reflections on two years of writing Rust: https://dtrace.org/blogs/bmc/2020/10/11/rust-after-the-honeymoon/
miniblog.
Excellent discussion of translation units, definition order, and the design tradeoffs in C++ language proposals: https://cor3ntin.github.io/posts/translation_units/
I'm really glad that iOS and Android compete with each other: they're both better as a result.
That said, the switching costs are significant. Most people I know are firmly in one camp.
Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
Microcaching, an interesting idea where you cache fast-changing content for a few seconds to reduce backend load: https://www.nginx.com/blog/benefits-of-microcaching-nginx/
We pack 5 introduces a slew of new static analysis features, including /*#__pure__*/
https://webpack.js.org/blog/2020-10-10-webpack-5-release/
(Every sufficiently advanced dev tool contains an ad-hoc, informally specified compiler?)
TIL Clojure has #_ which discards the next expression: https://betweentwoparens.com/rich-comment-blocks
It's handy for commenting things out written debugging.
An amazing project to use Squeak Smalltalk as a phone operating system, and comparing modern phones to the OpenMoko: https://eighty-twenty.org/tag/squeak-phone/
Computing trust for npm packages by running a pagerank algorithm on who depends on what!
https://www.btao.org/2020/10/02/npm-trust.html
I've seen markdown projects leverage link syntax for custom extensions, e.g. [click me](button://).
Markdown also supports embedded HTML. Perhaps you could add custom tags for extensions?
Zig is adding a self-hosting compiler that can do incremental compilation by patching the final binary from a previous compile! https://kristoff.it/blog/zig-new-relationship-llvm/
I'm sympathetic to the view that package namespaces are best avoided (e.g. https://samsieber.tech/posts/2020/09/registry-structure-influence/ ).
If I release a package wilfred/foo, that makes it harder for it to become a community project later.
I'm really impressed that Zig supports Windows! It's so common for smaller programming languages to settle for just *nix.
https://ziglang.org/#Zig-competes-with-C-instead-of-depending-on-it
emacs-lsp: https://github.com/emacs-lsp/lsp-mode is *really* good. Every time I play with it, it's improved.
I've been playing with rust-analyzer today and everything just works: hover types, interactive code refactorings, the whole shebang.
Zulip has some really nice onboarding features. You get a private thread to learn the UI, and it helpfully lets you ignore any unread messages.
Formally verifying a whitespace cleanup editor function in Coq! https://c9x.me/articles/trust/
Both the Rust and Zig communities are exploring building their own compiler backends for fast debug builds.
Perhaps there's a place for a super-reusable "LLVM lite"?
Unison has a really nice docstring model, with helpers to interpolate values or function syntax!
https://www.unisonweb.org/docs/documentation/
Types are erased in typescript, but you can write generics with `extends typeof Thing` and do runtime type checks: https://effectivetypescript.com/2020/07/27/safe-queryselector/
Discussing different ways of passing values through nested React components: https://blog.logrocket.com/mitigating-prop-drilling-with-react-and-typescript/
In addition to showing examples of each, they count lines of code as a rough verbosity measure!
Showing 61-80 of 378 posts