202602 Snippets

Site update, linkpost for February 2026. Student loan discharge, chickenpox vaccines, realistic birth lottery.
by Luna Nova

Site update§

Experimenting with a new quick reference handbook section which collates tagged snippets and extracts from articles.
Plan to iterate on how this is presented and loaded somewhat over the coming days. Not sure if the feature will stick around.

Dev§

pattern-wishcast is getting a major rework to allow intersecting patterns when recursively storing Self to handle my usecase for it in a dependently typed language's evaluator. It will likely look like this:

pattern_wishcast! {
    enum Value {
        Number { value: i32 },
        Slot { name: String, size: Box<Self & Number> },
        StuckValue,
    };

    restriction Number of Value = Value::Number | Value::StuckValue;
    restriction Strict of Value = _ - Value::StuckValue;
}

Strict::Slot's size field can only be Strict::Number, Value::Slot's size field can be StuckValue or Number.
If rust had a nicer way of enforcing having checked constructors/asserts on construct without messing with visibility I might not have bothered working out how to represent this in the type system properly, but it's fun to have an excuse to use type level fix again.


Cite as BibTeX
@misc{202602-snippets,
    author = {Luna Nova},
    title = {202602 Snippets},
    year = {2026},
    url = {https://lunnova.dev/articles/202602-snippets/},
    urldate = {2026-02-15}
}

tagged