DEV Community

# ailang

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
LOOM: a language that proves what AI-written code is allowed to do
umbraaeternaa profile
umbra

LOOM: a language that proves what AI-written code is allowed to do

#ailang #go #aisafety #opensource
Comments
4 min read
Day 10: my AI-code trust gate now leaves evidence — signed, one-use, receipted
umbraaeternaa profile
umbra

Day 10: my AI-code trust gate now leaves evidence — signed, one-use, receipted

#ailang #computerscience #aisafety #opensource
Comments
2 min read
Day 9: my AI-code language is now honest all the way down to WebAssembly
umbraaeternaa profile
umbra

Day 9: my AI-code language is now honest all the way down to WebAssembly

#webassembly #compiler #ailang #opensource
Comments
2 min read
"Day 8: my AI-code trust layer now compiles to real WebAssembly — guarantees and all"
umbraaeternaa profile
umbra

"Day 8: my AI-code trust layer now compiles to real WebAssembly — guarantees and all"

#webassembly #compiler #ailang #opensource
Comments
3 min read
"Day 7: the organism that grows my language learned to improve itself"
umbraaeternaa profile

"Day 7: the organism that grows my language learned to improve itself"

#ailang #compiler #aisafety #opensource
1
Comments
2 min read
Day 6: my language now compiles to WebAssembly — and I emit the bytes by hand
umbraaeternaa profile

Day 6: my language now compiles to WebAssembly — and I emit the bytes by hand

#webassembly #compiler #ailang #opensource
Comments
3 min read
I don't write my language by hand — an organism grows it (Day 5)
umbraaeternaa profile

I don't write my language by hand — an organism grows it (Day 5)

#ailang #compiler #security #opensource
Comments
3 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.