have been working on using Verso to get lean developments to render on my blog with hover over proof state - feel happy with the result and will probably write up something about kripke semantics as a reasonable test run
working on basic kripke semanics
moratorium needed on four word sentences with a comma in the middle, no more “same X, different Y”
Wrote a blog post developing the basics of the theory of well-founded relations in agda discussing some of the details of how the theory is handled in a constructive setting:
Wrote a blog post developing the basics of the theory of well-founded relations in agda discussing some of the details of how the theory is handled in a constructive setting:
decided to revive my blog and wrote up my project I did over christmas developing the semantics for simply-typed lambda calculus in a CCC using agda-categories:
plenty of contemporary people also believe adamantly in homo-pessimism/npc-ist social theory and just substitute the adherents to their brand of political theory as signifying who the great men of history - those that transcend such conditions - are
tech companies simply love doing five rounds of interviews and then saying nothing more than that they won’t be moving forward
just received another rejection from the biggest haskell shop after 5 rounds, who offer “no individual feedback” - truly despairing
We're hiring for Bombadil! Come work with me on the future of browser testing — specification languages and temporal logic, JS runtimes, bundlers, and WASM frontends in Rust, and lots and lots of property-based testing. This is onsite in London.
Apply here: antithesis.com/company/care...