The proof assistant you already know
Typescript as a proof asistent
#ssi #web5 and #metamodernism #aiagents
Typescript as a proof asistent
AI companions is everywhere
AI agent to agent communication protocols
Evolution of decentralized persistence from blockchain to DWN
What kind of persistent layer we need for private and decentralized internet ?
How make you better learner
What is a real price of internet-based products ?
AI agent ideal for Journaling . how to get maximum from a free tools
I believe that future of programming is a mouldable IDE where developer could learn about code and ask code base questions maybe together with AI .
New Chat GPT 4 updates . Now AI is visual and with voice
Revolution in IDE and Personal Knowledge managment
In the era of data-driven applications, the need for a more flexible, secure, and decentralized approach to data management is more pressing than ever. The Data-Driven Manifesto aims to shift the paradigm from application-centric to data-centric architectures. One technology that aligns closely with this vision is Decentralized Web Nodes (DWN). In this article, we'll explore how DWN can serve as a building block for data-centric architectures, focusing on its permission layers, authorization mechanisms, and the concept of protocols.
My second secret mind shaping tool - walking
Build a second brain
Highlightr books , notes , pdfs and even Highlight already Highlighted notes in Obsidian
Types In js with out transcompilation and new language overhead
Stack-based architectures have dominated Virtual machines over a few decades. We hide this complexity from a developer and move it to the VM or compiler side. With rise of decentralized computing, web3, and smart contracts we get a new challenge that could be solved by stack languages. Even more - web assembly is a stack-based architecture. I see a big benefit for developers to understand mechanics deeply.
IPVM change a view how decentralized compute works
Ideas around new did method
CoSi (collective signing) one more digital trust tool