Viewing profile — schrodingerzhu

Alex Chi was in the project. He is now writing TinyLLM.

"if the IDE autocompletes the type declaration for me somehow". Then you will need type inference to some extend. :D

Typst symbol classifier Static website: works offline. Tiny model: 1.1 MiB (ONNX), fast to load and run. Decent symbol set: recognizes 300+ symbols.

The fact is that in many languages, type checking and type inference are coupled together (for languages with DT, bidirectional type checking is needed). When writing proofs, it is…

Parser generators have long been a savior for programmers, liberating them from the daunting task of crafting correct and maintainable parsers. Yet, this much-needed simplicity oft…

This crate provides a data structure to handle dynamic tree connectivity. Both incremental and decremental operations are supported with amortized O(log n) time complexity. As the …

As a side note, LLVM is developing its own libc. It is not usable for now. But it will finally grow into a fully functional one in a year or two.

[dead]