miniblog.

It's common to be pessimistic about block-based programming, usually due to the scaling difficulties. https://kakaroto.homelinux.net/2017/11/introduction-to-reverse-engineering-and-assembly/ comments how valuable (and common!) block-based visualisation of logic is!
Photo Photo
Cognitive technology, thought augmentation and reifying interfaces: https://cognitivemedium.com/tat/index.html
Address Sanitizer is a great debugging tool, but apparently you shouldn't use it for hardening release builds: https://seclists.org/oss-sec/2016/q1/363
I miss the usize type when I'm not coding in Rust. I find distinguishing between 'an integer representing a quantity' and 'an integer representing an array index' to be very helpful sometimes.
org-mode has a lovely high level introduction, with basic usage, screenshots, and a few pointers on more advanced features: https://orgmode.org/worg/org-tutorials/orgtutorial_dto.html
Elixir 1.6 introduces a code autoformatter, reformats the entire stdlib, and adds an elegant pattern match syntax for defining breakpoints! https://elixir-lang.org/blog/2018/01/17/elixir-v1-6-0-released/
Git is rather timid with merge conflicts. If you change two adjacent lines, it assumes they conflict! https://softwareengineering.stackexchange.com/questions/194788/why-doesnt-git-merge-adjacent-lines-without-conflict In my experience they don't, and it causes problems when library imports change at the top of the file. Interestingly, Subversion happily merges.
Writing setq in Rust for Remacs! https://github.com/Wilfred/remacs/pull/600 Today I learnt that (setq) is legal Emacs lisp.
Regular expressions being greedy seems like a bad default. They tend to work fine on small inputs but capture too much on larger inputs. Too late to change in most situations though.
I see mypy more as a refactoring tool, but I'm always pleasantly surprised when it catches issues. It caught a bug here! demo.py:96: error: Unsupported operand types for >= ("int" and "Optional[int]") (In the code I've checked max_val is not None, but used min_val.)
Photo
When I look at tools like Tor and other strong anonymity tools, the complexity is daunting. Only one mistake and suddenly you've outed yourself. I used to suspect that strong anonymity is essentially impossible, but Satoshi Nakamoto has demonstrated otherwise. Remarkable.
What Developers Want and Need from Program Analysis: An Empirical Study https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ase-2016.pdf Static analysis tools should have very few checks enabled by default, and great editor integration!
Photo Photo
jq is an awesome tool for manipulating big blobs of JSON, which are increasingly common outputs from dev tools. Today I learnt that jq even supports TCO! Impressive!
Photo
How would you describe the architecture of real-world compilers? https://mrale.ph/blog/2015/03/29/browser-as-an-interactive-disassembler.html sums it up as a structure that should be treated as a black box until you know your way around!
Photo
Defining if, cond and progn in Rust in Remacs! https://github.com/Wilfred/remacs/pull/598 The lispiest code I've read in ages :)
Showing 2,941-2,955 of 7,508 posts