the avatar image of Jalil David Salamé Messina

Direnv and Nix devShells: A match made in heaven

Deep dive into nix dev shells

I use NixOS since last year and I recently started making use of devShells (development shells). They are very useful and more people should know about them! Especially when used in combination with direnv.


Continue Reading...

Crates.io Namespaces

My thoughts on crates.io namespaces

Crates.io is great in many ways, but falls short in some important places. This are my thoughts on missed opportunities and interesting design decitions.


Continue Reading...

What should a Rust 2.0 look like?

My thoughts on a successor language to Rust

I have used Rust for about 1.5 years now, and the hype has settled. Although I am pleased with the language, I do think it is by no meas perfect, this is a meta post about all the improvements I think could be made to it.


Continue Reading...

Rust's missing Reference type

Thoughts about a missing reference type in Rust

Rust references are great & is a real const* and &mut being exclusive makes so much sense, but there is a missing reference type, do you know whaich one it is?


Continue Reading...

N-Sudoku Solver

A Generalized Sudoku solver In Rust

This is an in progress blog post about my sudoku solver: nsudoku-solve


Continue Reading...

(WIP) Rust SAT-solver

A SAT solver in rust

This is a (WIP) post about my (WIP) SAT solver: rsat


Continue Reading...