Skip to content

Instantly share code, notes, and snippets.

View kayceesrk's full-sized avatar

KC Sivaramakrishnan kayceesrk

404 followers · 154 following
View GitHub Profile
@stedolan
stedolan / gc.md
Created January 5, 2021 12:03

OCaml GC Pacing

Current OCaml GC logic

I'm going to make the following simplifying assumptions:

  • There aren't many custom_alloc_custom_mem blocks (caml_dependent_size ~= 0)

  • There aren't many caml_alloc_custom blocks with nonzero mem/max

@andrejbauer
andrejbauer / README.md
Last active February 24, 2022 14:40
How to formulate and prove the statement "all functions are continuous" in an effectful functional language?

Are all functions continuous?

Mathematical background

Brouwer's statement "all functions are continuous" can be formulated without reference to topology as follows.

Definition: A functional f : (N → N) → N is continuous at a : N → N when there exists m : N such that, for all b : N → N, if ∀ k < m, a k = b k then f a = f b.