miniblog.

I am delighted and honoured that some of the users of my Emacs packages are using them on Remacs and finding bugs! https://github.com/Wilfred/remacs/issues/731
A lovely analogy from Play Emacs like an Instrument: https://200ok.ch/posts/2018-04-27_Play_Emacs_like_an_Instrument.html 3d printers are awesome, but text editors have a powerful generic utility that make them a very valuable part of your toolbox.
Photo
I'm gradually coming round to the view of the Discourse developers that comment trees are harmful. If I have a long discussion with someone, our comments get very narrow. Nonetheless, understanding the structure of conversation is valuable. I wish I knew of better tools.
Teaching Programming Languages by Experimental and Adversarial Thinking: https://cs.brown.edu/~sk/Publications/Papers/Published/pkf-teach-pl-exp-adv-think/ A fascinating approach to teaching programming paradigms. Implement different language semantics in the same syntax, and ask students to write programs that distinguish between them!
Photo Photo Photo
It's relatively common to see a backlash against something online, leading to far more attention to the original act. At what point do we say "that's just an individual with an odd worldview" rather than "this is a viewpoint that I want to discuss/dissect"?
Anchor: https://anchor.fm/ is a podcast app with social features, analytics, *and* provides the ability to create your own podcasts. It's nice to see apps that promote content creation on mobile devices, not just consumption.
Villages: building social networks that are smaller, but have explicit shared values: https://randsinrepose.com/archives/welcome-back-to-the-village/
Donating money to charity every time a build fails: https://medium.com/football-whispers-engineering-and-data-sci/failed-builds-cost-more-than-just-time-4e7c196cc8bc (Also a nice example of the @monzo API)
https://www.virtuouscode.com/2015/07/08/ruby-is-defined-by-terrible-tools/ Despite the title, this is a good article on the relationship between programming languages, tooling, the resulting ecosystems and our mental models.
Wow, it's remarkable how many apps have their own option of a clipboard. It's a shame platforms don't offer a multiple entry clipboard by default. From
Photo
I'm very much enjoying the Emacs Dracula theme. It's pretty and has colours for a ton of different Emacs packages.
Photo
Oni is an interesting editor project I've not seen before. It pitches itself as "combining the best bits of NeoVim, Atom and VSCode" https://www.onivim.io/ and looks pretty polished.
On making metrics actionable: Medical trials in the US are required to publish their results, but many trials do not currently obey this requirement. Rather than only measuring it, a live tool encourages researchers to publish and see the results! https://ebmdatalab.net/our-fdaaa-trialstracker-is-already-helping-to-get-new-trials-reported/
An interesting commit in GNU Emacs: optimising the format command by allowing (format "%s" x) to just return x, saving a string allocation. This was already the place in some parts of elisp, but it's now documented and taken advantage of :) https://github.com/emacs-mirror/emacs/commit/3db388b0bf83d3138562f09ce25fab8ba89bcc81
Node.js 10: better errors, a new module system, and a stable ABI (independent of V8) for native modules! https://levelup.gitconnected.com/whats-new-in-node-10-ad360ae55ee4
Why do so many blogging platforms require commenters to provide an email address? I don't think I've ever received an email as a result of a comment I've made.
The assumptions C/C++ compilers make, and an argument in favour of giving the compiler more flexibility regarding struct layout and padding. (I believe Rust gives the compiler more freedom for structs that don't cross an FFI boundary.) https://twitter.com/shafikyaghmour/status/991370524008759296
Superb article on type systems, open vs closed world soundness, and type systems intentionally not offering soundness: https://frenchy64.github.io/2018/04/07/unsoundness-in-untyped-types.html
Interesting article on research progress on the Unique Games Conjecture and its ramifications for solving programs with constraints: https://www.quantamagazine.org/computer-scientists-close-in-on-unique-games-conjecture-proof-20180424/
Exploring a MIPS CPU that isn't RISC and even uses variable length instructions: https://www.eejournal.com/article/mips-i7200-breaks-the-chain/ (In embedded markets it's a lot easier to sell a new ISA apparently!)
Showing 2,781-2,800 of 7,508 posts