This is a case study on the Lichess product. A free and open source chess platform with over 4 million monthly active users and 1 core developer. The stack he uses is Scala, MongoDB and Snabbdom hosted on bare metal. This is an incredibly interesting project…

CN separation logic refinement type system for C. Contribute to rems-project/cn development by creating an account on GitHub.

This article describes a variadic extension to the default fixed-point combinator – namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).

:books: Interaction net resources. Contribute to marvinborner/interaction-net-resources development by creating an account on GitHub.

The power of Zig's comptime code execution

This study explores the neural and behavioral consequences of LLM-assisted essay writing. Participants were divided into three groups: LLM, Search Engine, and Brain-only (no tools). Each completed...

Cambridge Core - Logic, Categories and Sets - Handbook of Practical Logic and Automated Reasoning

A Lévy-optimal lambda calculus reducer with a backdoor to C - etiamz/optiscope