RSSAmplifier

Blog

eikopf

Recent Posts {{ posts | limit:7 }}...

eikopf.bearblog.devRSS feed ↗3 posts

Latest posts

Subtractive Synthesis

A few years ago, I got really into synthesisers. There are broadly two main ways to produce a sound with a synthesizer: additive synthesis, and subtractive synthesis. You might be more familiar with the difference between additive and subtractive manufacturing if you're closer to hardware, and you're almost certainly aware of the difference between additive and subtractive color . In any event,…

Calendars Aren't Just Plain Data

I've spent the past three months working on-and-off on a Rust implementation of RFC 5545 and its various cousins called calico , after finding that the existing crates were variously either incomplete or extremely stringly-typed. Having now largely finished with the parser implementation, I thought it would be useful to stop and write down some of my thoughts. Briefly: iCalendar An iCalendar (…

Newtyped Indices are Proofs

It's pretty well-known at this point that the solution for complex webs of ownership in Rust is just to use newtyped indices. Graphs are the prototypical example; the earliest post on this subject I'm aware of was posted by Niko Matsakis in 2015. For my part, I first came across the idea in a 2018 post from Matklad , which also points out that the std::ops::Index trait can provide a uniform…