miniblog.

← Back to all posts
Apr 1, 2014 at 14:56
Discovered git grafts and git-replace today. Git is one of those tools you never fully master (it seems).

Related Posts

Jun 29, 2024 at 07:20
Today I learnt that Lua projects often use *3* spaces for indentation! https://github.com/luarocks/lua-style-guide/blob/master/README.md#indentation-and-formatting I initially thought something was very wrong with editor config.
lua-style-guide/README.md at master · luarocks/lua-style-guide
lua-style-guide/README.md at master · luarocks/lua-style-guide
Lua Style Guide, as used by LuaRocks. Contribute to luarocks/lua-style-guide development by creating an account on GitHub.
Nov 2, 2023 at 07:17
Clippy has a delightful lint against 'A'..'Z' because this is an exclusive range, so it only covers 'A' through 'Y'! https://rust-lang.github.io/rust-clippy/master/index.html#/almost_complete_range Saved me a tedious bug today.
Clippy Lints
A collection of lints to catch common mistakes and improve your Rust code.
Aug 22, 2018 at 18:41
Elegant demo of SAT solvers: take a list of locks and which keys should unlock the (e.g. master keys unlock multiple), plus a set of manufacturing constraints. Feed it to a solver and calculate how to cut all the keys! https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-2-of-n/ A real industry usecase of SAT.
Modern SAT solvers: fast, neat and underused (part 2 of N)
Modern SAT solvers: fast, neat and underused (part 2 of N)
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.