Recent Posts
-
Transaction ManagementWhat is under the hood of DB magic
-
Note of Alloy AnalyzerLight Weighted Formal Methods
-
Hoare Logic - Decorated ProgramDecoration and Automated Verification
-
Hoare Logic BasicAssertions, Hoare Triples and Proof Rules.
-
Program EquivalenceFormalize equivalence relations.
-
Language Models and N-GramsWhat is a language models (LMs), and the very basic example of LMs -- the n-grams