a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)

An exploration into the transition from Node.js to Rust for Bearer's log ingestion service. (more…)

Comparing performance of Rust vs Crystal talking to a Redis database... (more…)

In this post, we'll look at flow-sensitive type-checking rules - and implement our own version of "Non Lexical Lifetimes" used in Rust's borrow checker. (more…)

Logs you can search :rocket: :rocket:. Contribute to pathivu/pathivu development by creating an account on GitHub. (more…)