OCaml scanner adapted from the Crafting Interpreters book - scanner.ml

Typecheckers built for fun

I got a bit concerningly obsessed with birds for a few months.

Follow Sarah and The Mouth! https://linktr.ee/inkydragon
Older bat vid: https://www.youtube.com/watch?v=X4eqkaHkTAI

💗 Support this channel and join an amazing community: https://www.patreon.com/bennjordan…

A survey of type systems for memory safety.

Uncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ).

Fully Homomorphic Encryption (FHE) is a cryptographic scheme that enables computations to be performed directly on encrypted data, as if the data were in plaintext. After all computations are...

As a software engineer, you must be familiar with information security. In your work projects, you may have gone through security audits, including static code scanning, vulnerability scanning, or penetration testing. You may have even done more comprehensive…