[русский]



Go has good support for calling into assembly, and a lot of the fast cryptographic code in the stdlib is carefully optimized assembly, bringing speedups of over 20 times.


However, writing assembly code is hard, reviewing it is possibly harder…

This paper presents the Functional Machine Calculus (FMC) as a simple model of higher-order computation with "reader/writer" effects: higher-order mutable store, input/output, and probabilistic...

I have spent some time in online spaces dedicated to the discussion of Guix. As such, I am familiar with a lot of the mistakes new Guix users make, and I would like to go over some of the most common ones now. Please note that this list isn't final...

Compose NYC 2019
Speaker: James Koppel

Every problem can be solved by many designs. Often the relation between two designs is that one is a transformation of another. When we understand how to mechanically transform designs, we can more easily explore the…

Main Web Site (Online Books). Contribute to RayTracing/raytracing.github.io development by creating an account on GitHub.

An experimental proof assistant based on a type theory for synthetic ∞-categories. - rzk-lang/rzk

Isometric games are extremely popular. Let's learn the theory behind isometric projection and how it is used by gamedevs to write isometric-looking games.

Sometimes you just really need an arena. Sometimes for performance reasons, other times for lifetime-related reasons.
In their most basic forms, they're just a vec with some extra guarantees. However, it's those extra guarantees that matter.
I've found myself…

An overview of how to compile an ARM Cortex-M based project with LLVM/Clang and an exploration of the neat features available in the toolchain such as static analysis to identify memory leaks and deadlocks

A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.