サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
WWDC24
www.chriswarbo.net
Update: I’ve now published part 2 I’ve been really excited to try out egglog, since it seems like a great complement and application for the theory exploration systems I spent a few years playing with. Egglog can be thought of as a powerful database, combining Datalog (a restricted form of Prolog, which is essentially first-order logic) and equality-saturation. The latter is most interesting to me
Click here for more of my Nix/NixOS pages This page describes what Nix fundamentally is, at its core; what it is actually doing when it runs; and why it makes the choices that it does. This won’t tell you what commands you need to run, or which of the Nixpkgs override functions you should call to swap out that broken dependency you’ve found; but hopefully it will give you a clearer picture of what
このページを最初にブックマークしてみませんか?
『www.chriswarbo.net』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く