B̸̡̠̀̋̓̀̓̕ư̶̧̰̖̅͂̀͋̔̽̽͝g̷̩̰̼̖̙̗̝̞̣͋͊̿̋͌ͅ ⛩️🌸🍥☯
4.3K posts

B̸̡̠̀̋̓̀̓̕ư̶̧̰̖̅͂̀͋̔̽̽͝g̷̩̰̼̖̙̗̝̞̣͋͊̿̋͌ͅ ⛩️🌸🍥☯
@theartofbug
Art.Designs | Draw | Stuff | Trench | Build Building @RatRepublicApp and @cok_fun

SafeCircle is now officially registered in Spain’s Intellectual Property Registry as a computer program. This matters because it protects our software, strengthens trust with partners and investors, and shows we’re building with a long-term, defensible foundation. We’re also in the process of registering across Europe. Big step forward for SafeCircle.


Really happy to see people already depositing their tokenised stocks as collateral and starting to play on lend.casino. Watching users put the protocol to work on mainnet is exciting. This is just the beginning, and we're looking forward to seeing more tokenised RWAs and $LEND being used as collateral every day. Thank you to everyone who's tried it so far.


A pleasure to help @wtgowers and his colleagues get their preprint formalised with Aristotle (@HarmonicMath). The long case analysis that a referee would understandably prefer not to check by hand is now formally verified in @LeanProver. The code should be available on @GitHub before long. After some further cleanup, parts of the supporting API may also be suitable for upstreaming to Mathlib.








It’s time to say goodbye to the noise. Introducing Tracked Dev Highlights - Track individual dev wallets on Trenches feed - Highlight in any color - Get in notable launches faster than ever before Only on Terminal.




one $button. one billion ideas. our token and v2 are officially live 🟩 CA: 0x86e5ac7ec60eeec0a8989f1f1d617ae18c15fa0c → Launch coins paired with real stocks. → Give your coin an AI agent. → Launch/Buy directly from X. → Earn 55% creator rewards, forever. never stop clicking.










