So I’ve decided to actually start learning Rust. I’ve considered it a couple of times before but I always found some reasons to avoid going deep. For example: There’s was no mainline support for RISC-V I’ve done some small hobby work with RISC-V in C, b... (more…)

Empowering everyone to build reliable and efficient software. - rust-lang/rust... (more…)

Video game development, hacking, and debugging. Brought to you by Kodewerx! (more…)

Pijul is a version control system based on patches. Its fundamental promise is that two patches producible in parallel always commute. This makes the whole system more correct, and much simpler to use, as explained in the manual. (more…)

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will ... (more…)