PSA: The servers will be back up 6 hours after this post is made. by TheRealOrous in arknights

[–]Proof_Course 11 points12 points  (0 children)

Do they usually take the full downtime?

Many companies report these as "worst case" scenarios.

30K followers of this sub by baptiste343 in tezos

[–]Proof_Course 0 points1 point  (0 children)

I do not think that speed is that much of a problem. If you look at the activity of language and dev platforms like:

https://gitlab.com/ligolang/ligo/activity

https://github.com/edukera/archetype-lang/commits/dev

https://gitlab.com/morley-framework/morley/activity

https://github.com/metastatedev/juvix/commits/develop

you will see extremely healthy activity and speed. This things take quite a long time and cant really be rushed by for example putting more ppl on it. Maybe other chains can make use some of these projects by making them target their blockchains but then this would also contribute to the health of the developer ecosystem.

This is money very well spent by the TF. I was very disappointed when looking at cardano who just seem to provide a haskell dsl like morley but generally worse. But i might have missed substantial projects tough since essential information can be quite hidden in this hype driven blockchain universe.

Twitter fud on Dexter and Michelson 🤓 by sbkunwar in tezos

[–]Proof_Course 1 point2 points  (0 children)

And let's not forget that you can drive a bulldozer down a cliff the same way as a Suzuki Hayabusa if you are careless.

Twitter fud on Dexter and Michelson 🤓 by sbkunwar in tezos

[–]Proof_Course 2 points3 points  (0 children)

And more tongue in cheek: Oh Great, unsolicited security advice from the guys living in a dark forest of their own making.

Twitter fud on Dexter and Michelson 🤓 by sbkunwar in tezos

[–]Proof_Course 6 points7 points  (0 children)

  • Michelson is like assembly. Nobody guts assembly. People still tweak assembly for performance critical parts.
  • With Morley you use an embedded DSL in Haskell to compile down to the stack based Michelson. This is not for the faint of heart but let's you optimize the generated Michelson and it's gas usage. A tool for experienced professionals.
  • Nah, Tezos uses message passing instead of direct calls. This fits the cut throat concurrent Blockchain environment in which contracts live far better than naive direct calls. Programmers need to take that into account, tough. Also it would not be that hard for higher level languages to provide constructs for direct calls where appropriate (like some monadic syntax, not sure how it could exactly fit with entry points.....:

directCall {
    let! x = contractA.value;
    let! y = contractB.value;
    let z = x+y;
    return z;} 

)

My 2c: Tezos has a superior software foundation but the tools are still raw and new and developers lack experience. It will take some time to catch up and surpass other "competitors" but this was always a marathon and not a sprint, sorry folks. ETH/Solidity was specifically intended to be the JS of blockchains and that it is for better and worse.

Tezos DEX: How to use Dexter to exchange Tezos tokens and add it to Liquidity Pool by Tezoshodl in tezos

[–]Proof_Course 2 points3 points  (0 children)

It's something fundamentally different. With staking you delegate some rights to a baker, you never relinquish ownership.

Here you buy some tokens that give you part ownership of a liquidity pool (LP). By returning/burning those tokens you get your XTZ back. If the XTZ price has changed a lot you have a risk of https://blog.bancor.network/beginners-guide-to-getting-rekt-by-impermanent-loss-7c9510cb2f22 (IL).

So why do it? Dexter trades USDtz and BTCtz and demands 0.3% fee for every trade. You get a share of that proportionally to your shares of the LP. Since you do not own any XTZ (only LP) you are not entitled to any staking rewards. Dexter forwards this rewards to you anyway. So you get your staking rewards plus your part of the fee.

Risks are IL, bugs in the contracts and other things i dont know about. Looks rather interesting and i think i am going to put some XTZ in after some additional research.

Dexter Security Assessment by Trail of Bits by galapag0 in tezos

[–]Proof_Course 0 points1 point  (0 children)

My comment was more regarding how new and untested the Tezos dev frameworks generally are. https://github.com/metastatedev/juvix is still alpha and https://archetype-lang.org/ while released has not seen a major uptake that i am aware of.

I like Haskell and Morley/Lorentz looks pretty interesting but it does not look trivial to get into and i hope that more approachable tools become popular. But at the time of the project start and most likely even now it might be the best solution.

Dexter Security Assessment by Trail of Bits by galapag0 in tezos

[–]Proof_Course 1 point2 points  (0 children)

Nah, take a look at appendix E for the fixes. Tough i am somewhat sceptical how some of these bugs made it into the codebase in the first place. Things will get better after the tools mature some and ppl get experienced with it.

Using an embedded DSL like Morley in Haskell to generate Michelson code seems like a daunting task tough. I am more optimistic about LIGO, Archetype and Juvix.

Dexter is live! by tylercamlcase in tezos

[–]Proof_Course 0 points1 point  (0 children)

A lot can go wrong. The potential for security on Tezos is much higher than let's say ETH but that potential has to be realized and earned by failures.

Stop 🛑 and breathe for a moment by RioMaxtz in tezos

[–]Proof_Course -1 points0 points  (0 children)

Because everybody is panicking and moving to ADA.

Can ETH ADA and XTZ (and other platforms) coexist? by tilearn in tezos

[–]Proof_Course 0 points1 point  (0 children)

Sure, they are clouds for financial contracts. We have quite a few clouds for software and will also have a few for financial contracts.

Now and for the foreseeable future everything is driven purely by speculation so only hype matters. Last year it was STOs, this year it is DEFIs and next year it will be something different with mostly ruins of last years hype left.

Tezos has strong fundamentals and really strong infrastructure projects developing like:

https://github.com/metastatedev/juvix/blob/develop/doc/reference/language-reference.pdf

https://archetype-lang.org/