Software engineering studio. Blockchain infrastructure, AI products, and SaaS.
Philippines
- Tweets 1,728
- Following 345
- Followers 1,477
- Likes 2,629
Developer Experience β β³3.6M. cardano-init, ContractsLibrary, Developer HUB, bounties.
Target: +30% developer growth. Fix onboarding and every other proposal in Momentum gets a bigger denominator.
nitter.net/theroberm/status/20528β¦
Most community members don't have time to read all the proposals in depth. I've been told they have a life outside Cardano.π€―This translates into (in my case) a lot of misunderstandings. So, I figured I'll provide the TLDR here and answer any questions in the replies.
π§΅π
1
1
3
405
Cardano High Assurance β β³13.08M. Formal verification integrated into Aiken, Pebble, Scalus, and Futura. Cheap correctness is the only path institutional capital ever takes. This is the floor every other proposal stands on.
nitter.net/RSoulatIOHK/status/205β¦
With our current treasury withdrawal and a consortium of 7 partners, @lantr_io, @hlabs_tech, @saibdev, Midgard Labs, @txpipe_tools, @nowitnesslabs, and @IOGroup we want to make formal verification easy to use for every developer, no matter the on-chain language used, from the very start of DApp development.
Feel free to reach out with questions!
iog.io/news/cardano-high-assβ¦
1
2
1,030
It hasn't been easy.
To make this real, we operate our own fork of @SundaeSwap V3 on Cardano preprod testnet.
Per @Quantumplation: outside Sundae itself, Wizard is the only team in Cardano that has ever stood up another live instance of the SundaeSwap validators. β¨
Cross-DEX routing isn't theory here. It's been settling against a real pool every day. π§ββοΈ
1
10
344
AutoLimit orders price off live oracle feeds. Set "buy 0.5% below mid" or "sell 1% above" β the order re-prices itself on every fill.
No manual repricing. No getting picked off when the market moves. Stop-loss, trailing, and real-time market making all work natively.
Nobody else on Cardano has this. β‘
1
8
314
Tired of leaking spread to AMM LPs? Cardano finally has a real CLOB.
Makers: quote both sides with one order. Buyers hit your bid β ADA in. Sellers hit your ask β tokens in. Inventory auto-rebalances. No impermanent loss, no slippage tax β just clean spread you keep.
Matchers: when two orders overlap, anyone can combine them in one TX and pocket the spread.
Bidder fills at their max β Asker fills at their min β Matcher walks with the spread π°
1
1
11
575
Adding @MinswapDEX ? @wingriderscom ? A DEX that doesn't exist yet?
Deploy a new rules validator. Wizard's script hash never changes. Existing orders keep their original trust model.
No liquidity migration. No protocol upgrade. Per-order, the user picked which validator they trust.
The layer extends. Liquidity stays put. π§±
1
1
10
448
Same Wizard order, alternate route. Spent into a native Sundae order β the kind their batcher already handles.
Universal: works for any DEX, even ones whose order format isn't extensible.
The maker doesn't sign anything. The price floor is enforced on-chain before the redirect lands. Sundae settles the rest. β
1
1
9
525
Place a Wizard order. Anyone can route it to @SundaeSwap.
No multi-step shuffle. No moving the funds first. The Sundae pool reaches in and settles your order in a single transaction β at your limit price, never below.
One trade. One block. Done.
1
1
11
777
π§ββοΈ the liquidity layer of Cardano is here.
@WizardCardano is the protocol beneath the DEXes β a universal limit-order primitive any Cardano DEX can settle. Routing is permissionless and happens at execution time, not at order creation.
one order. every venue.
mainnet imminent. π§΅
9
26
112
147,105
Seven products. Pure @dotnet
All open source. We're just getting started.
Follow us for updates, check out the code, or try the tools yourself:
π¦ @saibdev
π» github.com/SAIB-Inc
π saib.dev
The complete .NET stack for Cardano β from data nodes to smart contracts.
3
8
326
Futura β write Cardano smart contracts in F# instead of Haskell.
Familiar syntax. Full @dotnet tooling. Visual Studio-style breakpoint debugging for UPLC β step through on-chain execution like any .NET code.
From UI to smart contract. One ecosystem. Powered by Chrysalis.
1
2
8
335
COMP β Cardano Open Metadata Project.
One unified REST API for ALL Cardano metadata. Tokens, NFTs, stake pools, DReps β same endpoint, same schema, sub-millisecond responses.
Built on Chrysalis for CBOR decoding and Argus for chain indexing. Our own tools powering our own products β dogfooding at its best.
2
3
6
239
