My personal repository of formally verified mathematics.
It's always a pleasant surprise to see people using Coq and other formal verification technology. We need more rigor in programming! If this article gave you a thirst for interactive theorem proving and you want to learn it from the ground up, I've recently written a Coq tutorial  which covers topics like programming with dependent types, writing proofs as data, and extracting verified code. That repository also contains a handy tactic called `eMagic`  (a variant of another useful tactic called `magic` which solve goals with existentials) which can automatically prove the theorem from the article.
Testing out a Zero Cost Abstraction in Rust compared to similar approaches in C# and Java
Your "run-time" code with iterators vs with a hand made for loop tends to result in the same set of instructions. Often the iterator usage will also enable optimizations that make the loop faster.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.
A complete compiler and VM in 150 lines of code
4 projects | news.ycombinator.com | 16 Jul 2022
Recommend me a language to learn for fun.
1 project | reddit.com/r/learnprogramming | 19 Nov 2022
Abusing the algebra of algebraic data types – why does this work?
1 project | news.ycombinator.com | 10 Oct 2022
Great Works in Programming Languages
1 project | news.ycombinator.com | 2 Oct 2022
Advice for Taking Set Theory with no real math background
2 projects | reddit.com/r/math | 21 Sep 2022