Another kernel written in Rust!
https://github.com/hermitcore/libhermit-rs
Rust tooling/docs must be making operating system development more accessible, as there is an impressive number of these projects.
Today I learnt about Solargraph, an LSP for Ruby which includes an impressive amount of type inference and type checking! https://solargraph.org/guides/type-checking
Type signatures are parsed from doc comments, similar to JSDoc with TypeScript.
Sweep is a really impressive demo of LLMs with coding: given your source code and an issue, it will generate a PR! Example: https://github.com/edreisMD/plugnplai/issues/65
I'd want to have a really thorough test suite if I was accepting LLM PRs though.