Hello stranger, you've found my blog. Too bad I hardly ever write anything.

(Believe me I had the best of intentions when making this website.)


Soft. Dev. / Comp. Sci.

Programming Language Semantics via Hoare Logic

2021-07-21

In 1967, as an alternative to \(\lAngle\) operational \(\rAngle\) semantics, Floyd produced his seminal paper ‘Assigning Meanings to Programs’ in which a program is given semantics via attachment of propositions to the connections in a flow chart with nodes as commands.

Making a Responsive Portfolio/Blog Site with the Haskell Static Site Generator Hakyll

2021-10-09

Making a Responsive Portfolio/Blog Site with the Haskell Static Site Generator Hakyll

2021-10-09

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Other Stuff

This is a Test Blog Post of No Importance

2021-10-01

This is a Test Blog Post of No Importance

2021-10-01

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

End of List