Manifund foxManifund
Home
Login
About
People
Categories
Newsletter
HomeAboutPeopleCategoriesLoginCreate
gelisam avatargelisam avatar
Samuel Gélineau

@gelisam

Haskell programmer

gelisam.com
$0total balance
$0charity balance
$0cash balance

$0 in pending offers

Projects

Verifiably-Safe Transformers

Outgoing donations

AI Safety YouTube Channel
$100
3 days ago
Precautionary AGI Governance
$75
2 months ago

Comments

Stratum: A Programming Language with Structural AI Safety Properties
gelisam avatar

Samuel Gélineau

about 2 months ago

Hi! I love the idea of a programming language for AI Safety, but I have a hard time understanding your list of features. Perhaps some example code would help? Do you have some documentation, or at least a github page for your programming language? The docs don't have to be polished; I know that the documentation I wrote for my team's programming language (https://github.com/gelisam/klister) has a lot of room for improvement 😅

Precautionary AGI Governance
gelisam avatar

Samuel Gélineau

3 months ago

I think providing AIs an incentive to behave well is a brilliant idea, and limited legal personhood does sound like something an AIs might desire and which they can't build themselves from stolen resources.

Transactions

ForDateTypeAmount
AI Safety YouTube Channel3 days agoproject donation100
Manifund Bank6 days agodeposit+100
Precautionary AGI Governance2 months agoproject donation75
Manifund Bank3 months agodeposit+75