Exploring the intersection of #AI and #Mathematics? Check out this article on LeanDojo! It's an open-source playground equipped with toolkits, benchmarks, and models to let large language models prove formal theorems in the Lean theorem prover.
https://t.co/1RPGeD7kjV
Do you know that you can connect @VigvamApp to any dapp using @MetaMask? It's a safe and quick way to enjoy all #Vigvam benefits. For example, changing the #blockchain in the chosen #dapp will automatically switch it in your #cryptowallet. Join our #betatesting and get #NFTdrop!
Back to the Basics: Uniswap, Balancer, Curve
Understanding DeFi fundamentals is crucial for analyzing newer projects. In this thread I’ll summarize over 100 pages of AMM research and explain exactly how these three protocols work. Try to follow the math, it’s interesting.
1/55
AMMs have been arguably the biggest innovation in DeFi and yet they haven't really evolved much since Bancor launched the first one in 2017. Most dexes today differ only in front-ends. I crave for substantial innovation and I think it's close. Let's talk about @Bancor v3.
🧵👇
I have just completed an amazing new Figma plugin: Pro Layout Panel, it is an overhaul of part of the native panel but aimed to further increase the workflow efficiency and some other unique stuff that you can do with it... 👀
Come have a look → https://t.co/8pF0f61j7q
The Metaverse is live on @Polkadot.
After years of intensive research and development, #Efinity has launched!
A historic milestone for the Enjin community and wider NFT ecosystem.
➡️ https://t.co/3IgU2ZZPcV
#Enjin $ENJ $EFI #Polkadot
Save all your apps for later with just one click 🖱️
Later is a Mac menu bar app that clears and restores your workspace 💻 Switch off from work, tidy up your desktop before a meeting, save battery, schedule apps for later, and more.
👉 https://t.co/mV8ma90EtB
What is Proof of Humanity and how could it open the door for healthier social media platforms? We speak to Santiago Siri, the lead creator of Proof of Humanity, to find out https://t.co/lMuTnCg50f
Blockchain game developers are finding novel ways to use #Chainlink VRF as a secure #RNG to unlock provably fair player outcomes.
Learn why @SphynxNetwork integrated VRF to help randomize Sphynx Society #NFTs and, soon, combat gameplay in Sphynx Wars.
https://t.co/ZD6hDBozfY
📝 I wrote about how I approach coding interviews and how I decide what to focus on.
To illustrate, I worked through an interview question a friend of mine got step by step, and built a spreadsheet using Preact hooks.
👇
https://t.co/glu0uBvgOy