Unsolicited Discourse

This is a mixture of my personal diary, my idle musings, my technical notes, and occasionally some things actually written for an audience. I make no promises as to consistency of topic, relevance, theme, or sanity. I do, however, promise that everything published here will be interminably long and of insufferable grammatical construction.

There is an RSS feed available, if you are interested in push notifications of my work! If your browser isn’t showing the feed available right now, the direct link is: https://myrrlyn.net/blog.rss

My articles, in increasing order of age:

Bits of Rank

Published on .

An overview of what “endianness” means, based on my own schooling and work experiences, and being interviewed by Sunjay Varma.

Convert Trait

Published on . Part of RFCs.

Create a partner trait to From that allows conversion in a method chain.

Battlestar Astrodynamica

Published on .

I accidentally got way too invested in the astrodynamics of a complex stellar system and the mechanics of teleporting.

Rust Flow, Part Two

Published on .

Rust doesn’t have a language-level concept of generic mutability, which makes “method threading” (which take self by some handle, and return it in the same way) hard to write. This article covers how to write in that pattern in a less painful way.

Rust Flow

Published on .

Rust allows for a very functional style of value “flow” without sacrificing the performance of a more traditionally imperative sequence. Furthermore, the functional flow may offer more clarity about value lifetimes and error handling that the imperative sequence might obscure.

Lightning Talk – Rust Belt Rust 2018

Published on . Part of Talks.

I accidentally gave a lightning talk at Rust Belt Rust 2018.

Type Solidity

Published on . Part of Type Theory.

I have strong opinions about how generic type systems ought to work and only by writing them down in a fully specified manner can people who actually know type theory tell me why I’m wrong.

Rolling My Own RSS Feed

Published on .

My previous post was about writing blogs. This one is about reading them.

To All the Posts I’ve Blogged Before

Published on .

A self-involved reflection on why I have this section of my site. Blame Manish.

Adventures with nom

Published on .

Some things I learned while using the nom library on a parser project.

Lint Level Reasons

Published on . Part of RFCs.

A draft RFC for attaching rationale directly to lint attributes.

Crate Directory

Published on . Part of RFCs.

A draft RFC for solidifying the library usage mechanisms for non-Cargo Rust projects.

Cargo Book

Published on . Part of RFCs.

A draft RFC for adding a book subcommand to Rust’s Cargo tool.

Unless, Until

Published on . Part of RFCs.

A draft RFC for adding unless and until keywords to Rust.

On Safety, and How Rust Can Help

Published on .

The Rust community issued a call for blog posts about Rust’s potential in 2018 and this is my response. It’s not very much about Rust.

New Year’s Resolutions

Published on .

New Year’s Resolutions for 2018.

DV

Published on .

A story about an abusive, violent relationship of mine. I cannot emphasize enough that if you feel incapable of reading about these things, do not open this.

Type Alchemy

Published on . Part of Type Theory.

We regularly work with data whose size is not fixed or known ahead-of-time – text, especially C strings, are a prominent example of this – and manipulating it safely requires effort. Part of my work involves using streams of structured, unsized, data, with as little indirection and discontinuity as possible.

Solar Eclipse Geometry

Published on .

Far too much information about why the moon’s shadow does what it does in an eclipse.

Inverted Discourse

Published on .

I wrote about an event I observed on Twitter and how it pertains to popularity effects I’ve seen in real life and especially amplified on social media.

Road Trip UT-MI

Published on .

The snapchat story of a four-day trip between Utah and Michigan

AHCA

Published on .

The House of Representatives passed a bill that would significantly alter healthcare law in America. I wrote about some of my family’s experience with medicine. The Senate rejected the bill a month later.

ASCII-Centrism

Published on .

An article about a small, small subset of problems with using software tools that have ASCII- and/or English- only syntax elements.

Data Structure Punning

Published on . Part of Type Theory.

Complex data records are often only used as subsets of themselves. In languages such as C++, Java, and C♯, the class and interface systems are built in a way to allow this polymorphism using compile- or run- time typing systems, but this is often expensive or siloed within an artifact or language. This article talks about record composition and destructuring, and ways a language might aid the use of parts of a record in place of the whole.

Data Types

Published on . Part of Type Theory.

An exploration of how programs assign meaning to patterns of data, and the theories behind that behavior.

Immigration Ban

Published on .

I have some strong thoughts about immigration and social attitudes.

Computers Are Hard

Published on .

A brief, evergreen note about why sometimes you can’t read my website. Posting it on that website was, perhaps, foolish.

Processors Part II

Published on . Part of How Computers Work.

A continued exploration of computer processors and memory.

Processors

Published on . Part of How Computers Work.

This is a very long piece which I should probably split apart, that covers the assembly of logic elements into decision evaluators, arithmetic operators, and eventually a primitive processor.

Transistors and Logic Gates

Published on . Part of How Computers Work.

An overview of how transistors work and how they can be assembled into Boolean logic elements.

How Computers Work

Published on . Part of How Computers Work.

A general introduction to computing and the topics I intend to cover in more depth in following posts.

Hermaeus and Simple Tools

Published on .

I wrote a tool to ease archival work for a subreddit I frequent.