#programming
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.iss.one/cation_lang
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.iss.one/cation_lang
🤔2🔥1🆒1
#programming #AI #Devin
It looks powerful. What is your opinion on this?
https://x.com/cognition_labs/status/1767548763134964000
It looks powerful. What is your opinion on this?
https://x.com/cognition_labs/status/1767548763134964000
X (formerly Twitter)
Cognition (@cognition) on X
Today we're excited to introduce Devin, the first AI software engineer.
Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs…
Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs…
🔥1😁1🤯1