https://yazandaba.hashnode.dev 2026-09-15T13:04:46.209Z always 1.0 https://yazandaba.hashnode.dev/llvm-clang-static-analyzers-and-smt-solvers 2026-05-22T13:43:26.946Z daily 0.8 https://yazandaba.hashnode.dev/implementing-c-consteval-compile-time-evaluation-a-deep-dive-into-roslyn-s-compiler-pipeline 2026-04-17T05:44:24.652Z daily 0.8 https://yazandaba.hashnode.dev/inside-clang-cpp-compile-time-evaluators-ast-evaluator-and-bytecode-interpreter 2026-02-17T16:57:57.419Z daily 0.8 https://yazandaba.hashnode.dev/the-chords-the-colors-the-registers-the-ssa-optimality 2026-01-28T11:34:15.406Z daily 0.8 https://yazandaba.hashnode.dev/ssa-to-stack-retargeting-llvm-to-stack-machinesa-deep-dive-through-the-webassembly-backend 2025-12-16T07:07:15.611Z daily 0.8 https://yazandaba.hashnode.dev/widelips-a-multi-gbs-lisp-parser-and-parsing-framework 2025-11-21T05:19:14.383Z daily 0.8 https://yazandaba.hashnode.dev/dante-a-case-study-in-compiler-assisted-verification-using-model-checking 2025-06-08T17:28:48.799Z daily 0.8 https://yazandaba.hashnode.dev/archive 2026-09-15T13:04:46.209Z daily 0.5 https://yazandaba.hashnode.dev/recommendations 2026-09-15T13:04:46.209Z weekly 0.4