Ben
@kaleidawave.bsky.social
π€ 232
π₯ 275
π 159
Mathematics and compilers.
https://kaleidawave.github.io
π§
github.com/kaleidawave/...
loading . . .
Release Release 0.1.0 Β· kaleidawave/depict
Initial release of Depict. Instructions to come later. See .github/workflow/publish.yml for usage and the latest run for output.
https://github.com/kaleidawave/depict/releases/tag/v0.1.0
about 11 hours ago
0
3
0
Achievement alert, JSON parsing in Rust now under 250 LOC *. Will write a post this week, so LMK any details that would be interesting!!
7 days ago
1
12
0
reposted by
Ben
Hazel Weakly
18 days ago
The two hardest problems in Computer Science are 1. Human communication 2. Getting people in tech to believe that human communication is important
12
290
80
congratulations everyone, we have successfully asked all the questions
add a skeleton here at some point
7 days ago
0
19
0
productive afternoon π
7 days ago
0
2
0
Is there are faster way that `cargo check` to update local entries in the Cargo lockfile? `cargo generate-lockfile` seems to update all dependency entries, even under `--offline`
8 days ago
0
1
0
Anybody know what these files generated by Cargo (Rust) are?
19 days ago
1
1
0
reposted by
Ben
MichiganTypeScript
about 1 month ago
βοΈintroducing TypeSlayerβοΈ A
#typescript
type performance benchmarking and analysis tool. A summation of everything learned from the benchmarking required to make the Doom project happen. It's got MCP support, Perfetto, Speedscope, Treemap, duplicate package detection, and more.
13
95
28
May have got working on ARM64!!
add a skeleton here at some point
25 days ago
1
1
0
2026?
about 1 month ago
0
4
0
no `option_include_str!` in standard library π a crate exists
docs.rs/include_opti...
π it has a known bug because of a Rust limitation to proc-macro caching π there is a fix in nightly π
about 1 month ago
0
1
0
where '\'`"\\/`\\\'"\`"\`'|
about 2 months ago
0
1
0
SoundCloud but playlists can be sorted by recently added first
about 2 months ago
0
1
0
Any recommendations for an iPhone app for taking *partial* hemisphere images? Requirement: partial images (rest black, don't need floor or other 180deg azimuth). Sort of panorama on 2x mode but using gyro-meter to capture more of above?
about 2 months ago
0
0
0
Not related to any recent events
loading . . .
about 2 months ago
0
1
0
about 2 months ago
0
1
0
Working on adding Rust dynamic libraries as a spectra test runner
loading . . .
about 2 months ago
1
5
0
reposted by
Ben
Rust Language
about 2 months ago
It is time for the annual State of Rust Survey! πβ¨οΈοΈ Whether you've just begun using Rust, are an experienced Rust user, stopped using Rust, or might use Rust in the future, we'd like to hear from you! π¦ Available in ten languages and open until December 17th:
blog.rust-lang.org/2025/11/17/l...
loading . . .
Launching the 2025 State of Rust Survey | Rust Blog
Empowering everyone to build reliable and efficient software.
https://blog.rust-lang.org/2025/11/17/launching-the-2025-state-of-rust-survey/
2
107
55
all fun and games until I have seven regions to try and understand how they parse
add a skeleton here at some point
about 2 months ago
0
3
0
we already have declarations in conditionals at home
add a skeleton here at some point
about 2 months ago
3
28
2
hmm
about 2 months ago
0
0
1
2 months ago
0
2
0
Working on the parser again. 99.29% without unexpected parse errors on test262
2 months ago
0
8
0
2 months ago
0
0
0
reposted by
Ben
Josh Goldberg
2 months ago
I am looking for a full-time job. Being independent in open source for 3.5+ years has been wonderful. I've gotten done most of the high-level goals I wanted to, and miss having people & structure around me. If you know of a role for a staff-level TypeScript+web developer, let me know! π
10
215
91
Does this library already exist? Or should I go ahead and publish it to crates and JSR?
3 months ago
0
0
0
Codespan 0.13.0 out now. With a new feature for greater emit styling customisation and a bug fix
github.com/brendanzab/c...
loading . . .
Release Codespan 0.13.0 Β· brendanzab/codespan
Release 0.13.0 adds a new rendering decoration system for reporting. It also includes a bug fix. New features In #387 @urisinger changed diagnostic emitting to be based on a new writer trait WriteS...
https://github.com/brendanzab/codespan/releases/tag/release%2Fcodespan-0.13.0
3 months ago
1
7
0
I have learnt that you can write *objects* inline in YAML and now I cannot go back
3 months ago
3
12
0
is there a reason that `std::io::Stdout` does not implement `std::fmt::Write`?
3 months ago
0
2
0
β face brightness (based off normals) β shadow map
loading . . .
3 months ago
0
2
0
Getting the hang of the webgl 3d thingy. Leave good resources that aren't 500 lines of code and 3 libraries
loading . . .
4 months ago
3
5
0
The 3rd and final blog post for Ezno week. "TypeScript sans annotations". An overview of two kind of inference
kaleidawave.github.io/posts/ideas-...
loading . . .
Ideas on type inference
TypeScript sans annotations
https://kaleidawave.github.io/posts/ideas-on-inference/
4 months ago
1
4
0
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...
loading . . .
Specification, speed and (a) schedule
356, 11.16 and a future 0.1.0 ?
https://kaleidawave.github.io/posts/specification-speed-schedule/
4 months ago
1
15
4
New blog post on implementing type narrowing!
kaleidawave.github.io/posts/implem...
loading . . .
Implementing narrowing
Narrowing types
https://kaleidawave.github.io/posts/implementing-narrowing/
4 months ago
2
8
2
www.intel.com/content/www/...
πππ
add a skeleton here at some point
4 months ago
1
1
1
4 months ago
1
1
0
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...
5 months ago
0
3
0
5 months ago
1
1
0
5 months ago
0
0
0
state = fn(ui)
6 months ago
2
4
0
6 months ago
0
2
0
More progress on infrastructure
6 months ago
0
1
0
types 4 partial evaluated unknowns
6 months ago
0
0
0
Wrote a quick update on my type checker and compiler project
kaleidawave.github.io/posts/ezno-25/
loading . . .
Ezno 2025
An update on the project
https://kaleidawave.github.io/posts/ezno-25/
6 months ago
2
25
4
all coming together
7 months ago
0
3
0
Is there any preference between these two from proc-macro output?
7 months ago
1
1
0
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/...
loading . . .
Add language tool by kaleidawave Β· Pull Request #9 Β· kaleidawave/experiments
Intially: experiment with dynamic loading of tree-sitter libraries Want Rename Rust items Add parameters to Rust types and functions Also work with .tsx, .py etc Find comments
https://github.com/kaleidawave/experiments/pull/9#issuecomment-2993760373
7 months ago
1
1
0
ac_nf (associative & commutative normal form) to the rescue
7 months ago
0
2
0
Have I missed anything?
github.com/kaleidawave/...
loading . . .
https://github.com/kaleidawave/simple-markdown-parser/blob/improvements/tests/specification.md
7 months ago
1
0
0
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.
7 months ago
1
0
1
Load more
feeds!
log in