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
about 1 month ago

Comments

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

Samuel Gélineau

12 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 Governanceabout 1 month agoproject donation75
Manifund Bankabout 1 month agodeposit+75