4 ms·

He may be biased, but you may be too. Are you a Java developer (or android)? That said, I know some great software can be produced in Java, ElasticSearch been

by acoye 9y ago

He may be biased, but you may be too. Are you a Java developer (or android)? That said, I know some great software can be produced in Java, ElasticSearch been one on top of my mind. If Security is the goal, nor CPP nor Java is great. Proven Haskell or Rust might be more of a valid option.

seanwilson 9y ago
I wonder if something like OCaml would be a good choice. It's a safe language with good performance plus it gives you an easier route to formally verify the important parts of it. Cross platform is going to be trickier though.
- chrisco255 9y ago
  That's what Texas is supposed to use but it's wrapped up in lawsuits at the moment.
  - chrisco255 9y ago
    Tezos, not Texas, auto correct...
    - seanwilson 9y ago
      Hmm, interesting. I wasn't sure if they were only name dropping that formal verification was possible but they say their developers have backgrounds in it. People mention about making Ethereum more secure using formal verification for example but it's not something you can just do as an afterthought.
catwell 9y ago
AFAIK Cardano (ADA), which is booming (passed IOTA and became the 6th largest coin this week), is implemented in Haskell.
- mhluongo 9y ago
  A coin "booking" doesn't imply technical strength- that's the problem here.
  - mhluongo 9y ago
    *booming
- twayamznacct 9y ago
  What I don't get about Cardano is that it has almost NO use at all. The number of transactions per MINUTE can be counted using only your hands (every so often you may need to include your toes): https://cardanoexplorer.com/ https://cardanoexplorer.com/ I'm having a really hard time reconciling that with the fact that it's got a market cap in the billions at this point...
amenod 9y ago
Different tools have different advantages and Java is as suitable as many others. IOTA needs to prove that protocol is sound, so it doesn't matter if it's in Java, Rust, Go, Python... This point makes the author much less credible in my eyes. That said, I steer clear of IOTA too. Relevant search terms for me are "IOTA roll your own crypto", "IOTA ternary logic" and "IOTA hash collision". And their whitepaper is indecipherable. Red flags all over the place, IMHO it's a scam.
jerkstate 9y ago
Cardano is a cryptocurrency written in Haskell with the goal of conforming to "high assurance" standards. Looks pretty promising, but like all 3rd gen cryptocurrencies, it is still early days (seems more functional than IOTA though.. no pun intended)

by acoye 9y ago

seanwilson 9y ago

I wonder if something like OCaml would be a good choice. It's a safe language with good performance plus it gives you an easier route to formally verify the important parts of it. Cross platform is going to be trickier though.

chrisco255 9y ago
That's what Texas is supposed to use but it's wrapped up in lawsuits at the moment.
- chrisco255 9y ago
  Tezos, not Texas, auto correct...
  - seanwilson 9y ago
    Hmm, interesting. I wasn't sure if they were only name dropping that formal verification was possible but they say their developers have backgrounds in it. People mention about making Ethereum more secure using formal verification for example but it's not something you can just do as an afterthought.

catwell 9y ago

AFAIK Cardano (ADA), which is booming (passed IOTA and became the 6th largest coin this week), is implemented in Haskell.

mhluongo 9y ago
A coin "booking" doesn't imply technical strength- that's the problem here.
- mhluongo 9y ago
  *booming
twayamznacct 9y ago
What I don't get about Cardano is that it has almost NO use at all. The number of transactions per MINUTE can be counted using only your hands (every so often you may need to include your toes): https://cardanoexplorer.com/ https://cardanoexplorer.com/ I'm having a really hard time reconciling that with the fact that it's got a market cap in the billions at this point...

amenod 9y ago

Different tools have different advantages and Java is as suitable as many others. IOTA needs to prove that protocol is sound, so it doesn't matter if it's in Java, Rust, Go, Python... This point makes the author much less credible in my eyes. That said, I steer clear of IOTA too. Relevant search terms for me are "IOTA roll your own crypto", "IOTA ternary logic" and "IOTA hash collision". And their whitepaper is indecipherable. Red flags all over the place, IMHO it's a scam.

jerkstate 9y ago

Cardano is a cryptocurrency written in Haskell with the goal of conforming to "high assurance" standards. Looks pretty promising, but like all 3rd gen cryptocurrencies, it is still early days (seems more functional than IOTA though.. no pun intended)