Metadata
| Source Table | resources |
| Source ID | 7acb6f30f08f57b4 |
| Description | This is the personal homepage of David A. Dalrymple, known as davidad, a researcher working on technical AI safety. He is associated with formal methods, open agency architecture, and provably safe AI systems. The page serves as a hub for his CV and research activities. |
| Source URL | davidad.org/ |
| Children | — |
| Created | Apr 13, 2026, 10:45 AM |
| Updated | May 18, 2026, 12:24 PM |
| Synced | — |
Record Data
id | 7acb6f30f08f57b4 |
url | davidad.org/ |
title | David A. Dalrymple (davidad) - Personal Homepage |
type | web |
summary | This is the personal homepage of David A. Dalrymple, known as davidad, a researcher working on technical AI safety. He is associated with formal methods, open agency architecture, and provably safe AI systems. The page serves as a hub for his CV and research activities. |
review | — |
abstract | — |
keyPoints | [ "Personal homepage of David A. Dalrymple (davidad), a notable figure in technical AI safety research.", "Associated with open agency architecture and formal verification approaches to AI alignment.", "Links to CV and other professional information relevant to his AI safety work.", "Dalrymp… |
publicationId | — |
authors | — |
authorEntityIds | — |
publishedDate | — |
tags | [ "ai-safety", "alignment", "technical-safety", "formal-verification", "governance" ] |
localFilename | — |
credibilityOverride | — |
fetchedAt | — |
contentHash | ccf3b9b07a8e33ec |
stableId | sid_1BeK7kESfY |
fetchStatus | ok |
lastFetchedAt | May 18, 2026, 12:24 PM |
archiveUrl | — |
stance | — |
contextNote | Personal homepage of David A. Dalrymple (davidad), a researcher known for work on open agency architecture and formal verification approaches to AI safety, relevant to technical AI safety efforts. |
resourcePurpose | homepage |
resourceSubtype | homepage |
typeMetadata | — |
publisherEntityId | — |
relatedEntityIds | — |
enrichmentStatus | enriched |
enrichmentDate | May 18, 2026, 12:24 PM |
importanceScore | 0.42 |
contentLifecycle | — |
Debug info
Thing ID: sid_1BeK7kESfY
Source Table: resources
Source ID: 7acb6f30f08f57b4