41554 blogs · [ { "id": "01a0875a-a5c4-702a-a7d8-c08cb570a42a", "title": "Programming Language Semantics and Memory Safety", "url": "https://burakemir.ch/post/formal-semantics/", "published_at": "2026-08-21T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a0e42787a", "title": "Building a Wasm Runner with Cloud Hypervisor", "url": "https://burakemir.ch/post/building-wasm-runner/", "published_at": "2025-12-16T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a0eca132a", "title": "Indexed Reverse Polish Notation, an Alternative to AST", "url": "https://burakemir.ch/post/indexed-rpn/", "published_at": "2025-12-12T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a0fafc6d2", "title": "From Operations to Effects: A Journey Through M-Sets", "url": "https://burakemir.ch/post/from-operations-to-effects/", "published_at": "2025-09-25T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a102ef43a", "title": "Three meanings of Effects", "url": "https://burakemir.ch/post/three-meanings-of-effects/", "published_at": "2025-09-19T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a1066d3e0", "title": "Memory Safety - the missing definition", "url": "https://burakemir.ch/post/memory-safety-the-missing-def/", "published_at": "2025-09-04T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a1099d9d0", "title": "Rust and Carbon, why not both", "url": "https://burakemir.ch/post/rust-carbon-why-not-both/", "published_at": "2025-08-27T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a11165fb5", "title": "CEK and Control Operators", "url": "https://burakemir.ch/post/cek-and-control/", "published_at": "2024-01-05T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a11974a59", "title": "CBPV and Natural Deduction - Part 4. Polarized Logic", "url": "https://burakemir.ch/post/cbpv-pt4-polarized/", "published_at": "2023-09-16T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a1198d732", "title": "CBPV and Natural Deduction - Part 3. Linear Logic", "url": "https://burakemir.ch/post/cbpv-pt3-linear-logic/", "published_at": "2023-08-25T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a11a1d9a5", "title": "CBPV and Natural Deduction - Part 2. Sums and Products", "url": "https://burakemir.ch/post/cbpv-pt2-sum-product/", "published_at": "2023-08-20T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a1200b86a", "title": "CBPV and Natural Deduction - Part 1. Small steps", "url": "https://burakemir.ch/post/cbpv-pt1-small-steps/", "published_at": "2023-07-22T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a1212c62c", "title": "about this site and author", "url": "https://burakemir.ch/about/", "published_at": "2023-06-12T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a12c6ddbd", "title": "artifacts", "url": "https://burakemir.ch/pages/artifacts/", "published_at": "2023-06-12T00:00:00+00:00" }, { "id": "01a0875a-a5c5-70d4-822b-a53a12ee9848", "title": "First post", "url": "https://burakemir.ch/post/first-post/", "published_at": "2023-06-12T00:00:00+00:00" } ] posts Claim your blog

Back to burakemir.ch

Blog · corpus.blog/blogs/burakemir.ch/posts

burakemir.ch

burakemir.ch

2026

Programming Language Semantics and Memory Safety original ↗

21 Aug 2026

2025

Building a Wasm Runner with Cloud Hypervisor original ↗

16 Dec 2025

Indexed Reverse Polish Notation, an Alternative to AST original ↗

12 Dec 2025

From Operations to Effects: A Journey Through M-Sets original ↗

25 Sept 2025

Three meanings of Effects original ↗

19 Sept 2025

Memory Safety - the missing definition original ↗

4 Sept 2025

Rust and Carbon, why not both original ↗

27 Aug 2025

2024

CEK and Control Operators original ↗

5 Jan 2024

2023

CBPV and Natural Deduction - Part 4. Polarized Logic original ↗

16 Sept 2023

CBPV and Natural Deduction - Part 3. Linear Logic original ↗

25 Aug 2023

CBPV and Natural Deduction - Part 2. Sums and Products original ↗

20 Aug 2023

CBPV and Natural Deduction - Part 1. Small steps original ↗

22 Jul 2023

about this site and author original ↗

12 Jun 2023

artifacts original ↗

12 Jun 2023

First post original ↗

12 Jun 2023