Ubiquitous deterministic computing laboratories. Strict Types, Cation Language @CationLang, AluVM

Joined March 2024
1 Photos and videos
Pinned Tweet
17 Sep 2024
A site dedicated to #Cation - the new programming language based on Category theory - is out. Please check our work in progress on the language design and let us know what do you think cation-lang.org
2
2
13
12,344
The crate which we did for the #Rust ecosystem to amplify the capabilities of Rust programming language, has achieved a milestone of more than 1 million downloads!
3
UBIDECO Labs retweeted
31 Jul 2025
Today, as a part of @indcs_org, together with @rgbconsortium, @ubideco and @pandoraprime_ch we are glad to present the formal specification for RGB smart contracts
RGB yellow paper is released: the first formally specified scalable smart contract system for Bitcoin & Lightning, made with client-side validation github.com/RGB-WG/yellowpape… Follow us for more updates!
6
43
2,296
22 May 2025
Proudly built on UNIDECO stack: Strict Types, AluVM, zk-AluVM, SONIC polynomial computer
22 May 2025
LNP/BP Standards Association announces RGB version 0.12 with the release candidate 1. As of today, it is the most tested and robust version. Over the last half of the year, we have brought zk-STARK readiness to the RGB (making it "zk-STARKy"), a huge performance boost, and a lot of simplification and security improvements. The release candidate is for all developers working with RGB, so they can integrate it into their software.
1
7
77
UBIDECO Labs retweeted
9 Jun 2024
New #RGB milestone: beta 6 of v0.11 is out with improvements on interfaces inheritance, scripting, data containers and invoicing. Beta 6 comes with API stabilization & ~100 of end-to-end tests, ensuring that even most complex user stories are working. rgb.tech/blog/release-v0-11-…
11
24
84
23,100