is there a reason that `std::io::Stdout` does not implement `std::fmt::Write`?

✅ face brightness (based off normals) ❌ shadow map

Getting the hang of the webgl 3d thingy. Leave good resources that aren't 500 lines of code and 3 libraries

The 3rd and final blog post for Ezno week. "TypeScript sans annotations". An overview of two kind of inference kaleidawave.github.io/posts/ideas-...

New post on big general type-checker improvements. How `specification.md` can be used to test both features and performance. And perhaps what is up for version 0.1.0...

New blog post on implementing type narrowing! kaleidawave.github.io/posts/implem...

www.intel.com/content/www/... 👀👀👀

I wrote two lines of code last week that were so good I decided to write a library, command line and blog post on it: kaleidawave.github.io/posts/format...

state = fn(ui)

More progress on infrastructure

types 4 partial evaluated unknowns

Wrote a quick update on my type checker and compiler project kaleidawave.github.io/posts/ezno-25/

all coming together

Is there any preference between these two from proc-macro output?

Having some problems (`STATUS_ACCESS_VIOLATION`) running tree-sitter generate language "dll"s. If you have any experience with this then the help is much appreciated! github.com/kaleidawave/...

ac_nf (associative & commutative normal form) to the rescue

Have I missed anything? github.com/kaleidawave/...

Has anybody written an x86 emulator specifically for benchmarking. Want something that can run a program and then prints: x jumps, y syscalls and z mem reads between events a and b.

firmly believe "AI" peaked at DALLE-2 and everything since has been lacklustre

tool for pedants

60163 “Tornado” out today!

Last week, as a new maintainer, I released a new version of the codespan crate! github.com/brendanzab/c...

this is not possible to do in the same program, right?

Currently satisfied with the progress on my sat project

anyone else have vscode uninstall *itself* randomly in the past two weeks?

Found this the other day. I am getting closer to the perfect TODO list / reminder tracker setup mostlymaths.net/2021/12/scri...

👀

Find git tags preceding and following a commit!

Changed my gmail inbox type "multiple inboxes" to see what it was and now it won't change back 🤦‍♂️

🤦‍♂️

Samply can now generate flamegraphs on Windows! Anybody got any good resources on reading and using flamegraphs?

@brendanzab.bsky.social any plans for the "codespan" project? I have had a lot of success with it but it seems to have accumulated a backlog of PRs and would be nice to see some improvements. LMK if you want any help with managing it :) github.com/brendanzab/c...

@rsms.me any idea why this isn't working? Pulling hairs out trying to get some SVG path data on the page.

Realised I haven't posted about my JSON parser that I built a while back. Written in Rust, no allocation for the source. Just yields a callback on each value found. Handles comments and more. github.com/kaleidawave/...

Is this the best way to safety convert f64 to u8 in Rust? Is there a reason why there are no TryFrom implementations based on f32 or f64? play.rust-lang.org?version=stab...

New blog post on the PR that almost defeated me but in the end I got 10 new specification tests from kaleidawave.github.io/posts/mapped...

Wrote up about the experimental types I added to the Ezno type checker over this summer! kaleidawave.github.io/posts/experi...

😍

🙃

Go follow @monica-dev.bsky.social. Amazing 3 PRs merged in one week to the type checker

Thought I would write up most of what I know about sets, types and type checking. If you are looking for a short read you should come back next week :) kaleidawave.github.io/posts/sets-t...