zee.town

Search CTRL + K

zee.town

Search CTRL + K

codememories

oxide>codememory>1

links

always_reading

blog-posts-2024-09-10.md at master · frankmcsherry-blog · GitHub

Joe Duffy - A (brief) retrospective on transactional memory

The Bitter Lesson

What Type Soundness Theorem Do You Really Want to Prove- - SIGPLAN Blog

cmu

Funding Conferences - Office of Graduate and Postdoctoral Affairs - Carnegie Mellon University

cs

5th HLF – Lecture Leslie Lamport

[1hr Talk] Intro to Large Language Models

Aaron Schlesinger&39;s Personal Site

Autolab Autograding for All

Basic memory allocators explained in 10 minutes

Beehive lab notebook Local-first access control

Better Benchmarks Through Graphs - Marc&39;s Blog

blogposts2024-09-10.md at master · frankmcsherryblog

C0 VSCode Language Support - Visual Studio Marketplace

Claiming, auto and otherwise · baby steps

Classic HCI demos

Compiler Development Rust or OCaml

Controlling Queue Delay - ACM Queue

cps in hoot — wingolog

CS 15-122 Principles of Imperative Computation (Spring 2023)

CTAN Package annotate-equations

div style="max-width 480px;"What Is ChatGPT Doing … and Why Does It Workdiv

Dynamic Programming versus Memoization

Getting Started with Category Theory - Ryan Brewer

Guide for Lab Authors - Autolab Documentation

How fast is bit packing

Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek

Introduction to Software Construction

Jepsen Datomic Pro 1.0.7075

Joe Duffy - A (brief) retrospective on transactional memory

Let futures be futures

Maybe Everything Is a Coroutine - Adam Nelson

Metastable failures in the wild

Mix-testing revealing a new class of compiler bugs

More thoughts on claiming · baby steps

My binary vector search is better than your FP32 vectors

New Stack Maps for Wasmtime and Cranelift

newca12awesome-rust-formalized-reasoning An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification

Open Data Structures

Post 1 Datalog, Chain-Forward Computation, and Relational Algebra

Programming ZKPs From Zero to Hero

Quickly identifying a sequence of digits in a string of characters

References are like jumps

Review Performance Modeling and Design of Computer Systems Queueing Theory in Action

The plan-execute pattern

The sad state of property-based testing libraries

The Solid-State Register Allocator

Tree-Structured Concurrency

Union Types in Rust with Type-Level Lists Shun Kashiwa&39;s Blog

Vector databases (3) Not all indexes are created equal

other

Irssi tricks navigating around Joost&39;s blog

oxide

21 - User Networking API RFD Oxide

63 - Network Architecture RFD Oxide

add bgp message tracking, use real maghemite client by rcgoodfellow · Pull Request 5271 · oxidecomputeromicron

BGP support by rcgoodfellow · Pull Request 3986 · oxidecomputeromicron

External networking by rcgoodfellow · Pull Request 2645 · oxidecomputeromicron

HC30-S4 Security

Home · Dogfood 🐶🦴

omicrondocshow-to-run-simulated.adoc at main · oxidecomputeromicron

omicrondocshow-to-run.adoc at main · oxidecomputeromicron

oxidecomputerdendrite The components needed to drive and manage the Oxide rack switch

testbeda4x2 at main · oxidecomputertestbed

pl

[Haskell&39;23] The Evolution of Effects

A refinement type by any other name weaselhat

Compiling Swift generics, Part I - Development Compiler - Swift Forums

Context Sensitive Subtyping

copilot-explorer

Down and Dirty with Semantic Set-theoretic Types (a tutorial) v0.4

Elegant and performant recursion in Rust

Gentle intro to type-level recursion in Rust from zero to HList sculpting

graydon2 Some notes on Rust, mutable aliasing and formal verification

How To Prove It With Lean

Hyperproperties and why they&39;re hard

I&39;m betting on Call-by-Push-Value

Introduction - Counterexamples in Type Systems

journal.stuffwithstuff.com

Kell14in author version

Laurence Tratt Compiled and Interpreted Languages Two Ways of Saying Tomato

Linear Types One-Pager

Oxidizing OCaml Locality

Pattern Types ⊆ Refinement Types - HackMD

Polarized Subtyping CodeArtifact

Proc macro support in rust-analyzer for nightly rustc versions

Programming with Refinement Types

Race Conditions Can Be Useful for Parallelism

Scones, Logical Relations, and Parametricity The n-Category Café

Semantic Subtyping in Luau - Roblox Blog

Semantic Subtyping in Luau

Template for CMU SCS PhD thesis (2006)

The algebra (and calculus!) of algebraic data types

The Better Parts. Douglas Crockford. JS Fest 2018

The borrow checker within · baby steps

The Flix Programming Language

Two little interpreters

Universal domain types

What is logical relations

What is realizability

papers

A calculus with recursive types, record concatenation and subtyping

A refinement type by any other name

A tale of intersection types

Call-by-push-value_ A subsuming paradigm

Contextual refinement types

Hybrid intersection types for PCF (extended version)

Inheritance is subtyping

Intersection and union types_ Syntax and semantics

Intersection types and computational effects

Monadic intersection types, relationally

Operations on records

Polarized Subtyping

Practical refinement-type checking

Programming with union, intersection, and negation types

Refinement kinds_ type-safe programming with practical type-level computation

Refinement types and computational duality

Refinement types for haskell

Semantics of types for mutable state

Sequent calculi for induction and infinite descent

Step-indexed syntactic logical relations for recursive and quantified types

Structural refinement types

The duality of classical intersection and union types

Tree automata techniques and applications

Type refinements in an open world (extended abstract)

Types are not sets

How Did This (research) Get Made?

Research and Reading

Thesis Proposal - Polarized Subtyping

Enter to select

to navigate

ESC to close

The plan-execute pattern

#raindrop #links

Metadata

Source URL:: https://mmapped.blog/posts/29-plan-execute

A ubiquitous pattern you won’t find in your textbook.

Highlights

Connected Pages

Depth

On this page

Metadata
1. Highlights

Pages mentioning this page

No other pages mentions this page