Commits

Branch selector

 1988866

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 17, 2023

• Merge pull request #41 from dckc/dckc-patch-1

  Show description for 1988866
  dckc

  authored
  1988866

  Copy full SHA for 1988866

• genode 23.10 update

  dckc

  authored
  69a51e3

  Copy full SHA for 69a51e3

Commits on Mar 3, 2023

• link to Devriese 2016 paper went 404

  Show description for b177636
  dckc

  authored
  b177636

  Copy full SHA for b177636

Commits on Feb 16, 2023

• Merge #36: Add Cadence

  Show description for c758ebf
  dckc

  authored
  c758ebf

  Copy full SHA for c758ebf

• Add Cadence

  turbolent

  authored
  c3916c0

  Copy full SHA for c3916c0

Commits on Dec 19, 2022

• 2022-10: 4th seL4 Summit

  dckc

  authored
  7f6913b

  Copy full SHA for 7f6913b

Commits on Dec 12, 2022

• 2002 DarpaBrowser report

  dckc

  authored
  d4fc630

  Copy full SHA for d4fc630

Commits on Nov 17, 2022

• go-capnproto2

  dckc

  authored
  b810277

  Copy full SHA for b810277

• Austral systems language

  dckc

  authored
  7a3ad0b

  Copy full SHA for 7a3ad0b

• ocaps in 15min: Navigating the Attack Surface

  dckc

  authored
  36b4e5e

  Copy full SHA for 36b4e5e

• KataOS and Sparrow from Google, on seL4

  dckc

  authored
  811487b

  Copy full SHA for 811487b

• capnproto-rust

  dckc

  authored
  8ee511b

  Copy full SHA for 8ee511b

• Cloudflare Workers. duh.

  dckc

  authored
  fd10d35

  Copy full SHA for fd10d35

• rust cap-std 1.0!

  dckc

  authored
  0ef95ce

  Copy full SHA for 0ef95ce

• cloudflare/workerd

  dckc

  authored
  38b9d7d

  Copy full SHA for 38b9d7d

• 2012-03: [Belay 5 min demo]

  dckc

  authored
  a58d346

  Copy full SHA for a58d346

• OCapN standardization funding for spritely

  dckc

  authored
  e3fad2b

  Copy full SHA for e3fad2b

• recent LavaMoat talk

  dckc

  authored
  e82c36b

  Copy full SHA for e82c36b

Commits on Mar 17, 2022

• add lavamoat

  dckc

  committed
  8ecb509

  Copy full SHA for 8ecb509

Commits on Mar 16, 2022

• picturebook and 2 talks by Stiegler

  dckc

  authored
  d791cae

  Copy full SHA for d791cae

Commits on Jan 20, 2022

• 2022-01 Arm releases CHERI-enabled Morello board

  dckc

  authored
  140edac

  Copy full SHA for 140edac

Commits on Dec 27, 2021

• Merge pull request #25 from mlinksva/fixlinks

  Show description for 942e2b8
  dckc

  authored
  942e2b8

  Copy full SHA for 942e2b8

• fix broken links

  mlinksva

  committed
  8c19d90

  Copy full SHA for 8c19d90

Commits on Nov 28, 2021

• add Newspeak

  dckc

  authored
  aae941a

  Copy full SHA for aae941a

Commits on Nov 26, 2021

• fix spritely link markup

  dckc

  authored
  98d5b3d

  Copy full SHA for 98d5b3d

• Caja is no longer active

  Show description for 363ebce
  dckc

  authored
  363ebce

  Copy full SHA for 363ebce

Commits on Oct 13, 2021

• split usable tech from learning materials in TOC

  dckc

  authored
  e5ac795

  Copy full SHA for e5ac795

• CapDesk demo video from 2002

  dckc

  authored
  4b3bccb

  Copy full SHA for 4b3bccb

• wasmedge-seL4

  dckc

  authored
  4950481

  Copy full SHA for 4950481

Commits on Sep 23, 2021

• oops

  dckc

  authored
  edb84ab

  Copy full SHA for edb84ab

• 2018-10: Miller @ SOSP 50th Anniversary Panel

  dckc

  authored
  4174365

  Copy full SHA for 4174365

• 2019-06: Higher\-order Smart Contracts across Chains / Miller

  dckc

  authored
  aebaccf

  Copy full SHA for aebaccf

• 2019-12: Making 'npm install' Safe / Sills

  dckc

  authored
  c189be0

  Copy full SHA for c189be0

• Spritely 2021-07: conversational programming, CapTP

  dckc

  authored
  a33418e

  Copy full SHA for a33418e

• move Fuchsia up based on 2021-06 headline

  dckc

  authored
  144888e

  Copy full SHA for 144888e

Pagination

Previous

Next