Duncan Ogilvie mrexodia

The Interaction Calculus

The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:

Vars are affine: they can only occur up to one time.
Vars are global: they can occur anywhere in the program.
There is a new core primitive: the superposition.

An IC term is defined by the following grammar:

This document explains how I would implement an SSA-based compiler if I was writing one today.

This document is intentionally opinionated. It just tells you how I would do it. This document is intended for anyone who has read about SSA and understands the concept, but is confused about how exactly to put it into practice. If you're that person, then I'm here to show you a way to do it that works well for me. If you're looking for a review of other ways to do it, I recommend this post.

My approach works well when implementing the compiler in any language that easily permits cyclic mutable data structures. I know from experience that it'll work great in C++, C#, or Java. The memory management of this approach is simple (and I'll explain it), so you won't have to stress about use after frees.

I like my approach because it leads to an ergonomic API by minimizing the amount of special cases you have to worry about. Most of the compiler is analyses and transformations ov

Here's a much more complete description of how I do SSA, beyond just how I do Phis.

This describes how I do SSA form, which avoids the need to have any coupling between CFG data structures and SSA data structures.

Let's first define a syntax for SSA and some terminology. Here's an example SSA node:

A = Add(B, C)

In reality, this will be a single object in your in-memory representation, and the names are really addresses of those objects. So, this node has an "implicit variable" called A; it's the variable that is implicitly assigned to when you execute the node. If you then do:

mpengine.dll-mpengine.dll Diff

3 months ago, I discovered a unique 0-click deanonymization attack that allows an attacker to grab the location of any target within a 250 mile radius. With a vulnerable app installed on a target's phone (or as a background application on their laptop), an attacker can send a malicious payload and deanonymize you within seconds--and you wouldn't even know.

I'm publishing this writeup and research as a warning, especially for journalists, activists, and hackers, about this type of undetectable attack. Hundreds of applications are vulnerable, including some of the most popular apps in the world: Signal, Discord, Twitter/X, and others. Here's how it works:

Cloudflare

By the numbers, Cloudflare is easily the most popular CDN on the market. It beats out competitors such as Sucuri, Amazon CloudFront, Akamai, and Fastly. In 2019, a major Cloudflare outage k

Cursor Settings Sync Extension

A VSCode extension for Cursor that enables seamless synchronization of settings, keybindings, and extensions across multiple workspaces and machines.

Features

Sync settings across multiple Cursor installations
Export/Import functionality
Automatic workspace state preservation
Keybinding synchronization

	-- OldCheck:
	-- (omitted)

	# The Interaction Calculus

	The [Interaction Calculus](https://github.com/VictorTaelin/Interaction-Calculus)
	is a minimal term rewriting system inspired by the Lambda Calculus (λC), but
	with some key differences:
	1. Vars are affine: they can only occur up to one time.
	2. Vars are global: they can occur anywhere in the program.

	I want you to refine this brainstorming document into a prompt for a deep research system that will be tasked with writing a technical spike
	research document on a software engineering project. The goal of this research is to help guide future agentic coding systems into
	having a good understanding of the technical landscape around the software the user wants to create.

	<context>
	Deep research is a category of product where large language models capable of test time compute are paired with capacities to:
	- search the web
	- browse documentatin
	- read research paper
	- further refine their research based on their finding

	#include <windows.h>
	#include <stdio.h>
	#include <wchar.h>
	#include <Unknwn.h>

	typedef enum _TTD_LOG_LEVEL
	{
	TTD_LOG_LEVEL_ERROR = 1,
	TTD_LOG_LEVEL_WARNING,
	TTD_LOG_LEVEL_INFO,

	#include "CertInjector.h"

	#include "MinHook.h"

	#include <string>
	#include <unordered_set>

	#define COUNT_OF(arr) (sizeof(arr) / sizeof(*arr))

	// #define PRINT_DEBUG