Interesting idea.

Langium is an open source language engineering tool with first-class support for the Language Server Protocol, written in TypeScript and running in Node.js.

What textX couldn’t be.

via: https://www.youtube.com/watch?v=Rniw5QPddmI

Despite being formally dual to monads, they don’t seem to be “all the rave” like monads are. Just because you get ‘em by just reversing some arrows doesn’t mean that comonads aren’t independently interesting!

Monads look pretty different in math vs in programming… what exactly are they? (Don’t say they’re just monoids in the category of endofunctors,… I mean it.)

Spreadsheets are particularly useful for thinking through financial models, budgets, or any situation that involves considering lots of possible scenarios. Instead of laboriously redoing a bunch of math, you can quickly ask “what if?” questions and see the effects.

Very nice work by Litt and the Ink and Switch crew. Wondering if there’s a way to combine Ambsheets v1 and v2 to have both a nice interactive grid and clear formulas when you need them.

This post is quietly profound. Very Zen of Python-core.

A programming language for multilingual grammar applications

Horn clauses are a Turing-complete subset of predicate logic. Horn clauses are the logical foundation of Prolog.

see: https://www.metalevel.at/prolog/logic

Interesting math relevant to compiler optimization.

A topic first heavily covered in my learning by Wadler, now reintroduced to by by Baez. Happy to see it has a name.

via: https://www.youtube.com/watch?v=DAGJw7YBy8E

This page presents a video-based tutorial on using the Church programming language.

Also a great hub of resources for probabilistic programming.

A “quine” is a deterministic program that prints itself. In this essay, I will show you a “gauguine”: a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings. This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how—and why—we might write a gauguine, and what we stand to learn by constructing one.

Beautiful paper. Church also looks to be tremendously powerful; I ought to give it a try.

Open-source CQL and its integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science.

I’m currently a Principal Scientist at Galois, Inc.. My research addresses problems in software reliability through advances in program analysis, computer-checkable proofs, and their combination. Recently I have been working on new programming languages for data privacy and secure computation, and new verification techniques for software defined networking. I used to help run and still actively collaborate with the UVM PLAID Lab.

Open-source CQL and its integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science.

A great tutorial from ratfactor about the editing semantics of sam