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

Precautionary AGI Governance
$75
30 days ago

Comments

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

Samuel Gélineau

8 days 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

about 1 month 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
Precautionary AGI Governance30 days agoproject donation75
Manifund Bankabout 1 month agodeposit+75